>>727
ありがとうございます！
q1=arctan((p2×p1)/(p2・p1))
この式って括弧の中身が常に１になりませんか？
https://dotup.org/uploda/dotup.org1533339.jpg

コンパクトかどうかの証明ですが単に関節の数＜＝n次元数であればコンパクトである。というふうに解釈すればいいですか？
あと３次元まではわかりますが４次元以上ってどういうふうに考えたらいいんでしょうか。

質問ばかりですみません…