■アリスタイオスの証明(その17)
紀元前320年、アリスタイオスは「5つの正多面体の比較」という本を出し、その中で
「正12面体と正20面体が同一の球に内接するとき、正12面体の5角形と正20面体の3角形は同じ円に内接する」
ことを証明した。
同じく双対の
「正8面体と正6面体が同一の球に内接するとき、正8面体の3角形と正6面体の4角形は同じ円に内接する」
は成り立つこともわかった。
それでは
円に内接する三角形と四角形、球に内接する正八面体と正六面体、
2次元ではどうなるのでしょうか? (佐藤郁郎)
===================================
同じ円に内接する正方形と45度回転した正方形の辺の長さは等しい
同じ円に内接する正三角形と正五角形の辺の長さは等しくない
===================================