■アリスタイオスの証明(その19)
紀元前320年、アリスタイオスは「5つの正多面体の比較」という本を出し、その中で
「正12面体と正20面体が同一の球に内接するとき、正12面体の5角形と正20面体の3角形は同じ円に内接する」
ことを証明した。
同じく双対の
「正8面体と正6面体が同一の球に内接するとき、正8面体の3角形と正6面体の4角形は同じ円に内接する」
は成り立つこともわかった。
===================================
[1]紀元前6世紀、ピタゴラスが正4面体、立方体、正12面体を発見
[2]紀元前4世紀、プラトンと同時代のテアイテトスが正八面体、正20面体を論ずる
[3]紀元前360年、プラトンは立方体に土、正20面体に水、正8面体に空気、正四面体に火、正12面体に天を割り当てた。
[4]紀元前300年、ユークリッド原論に5つの正多面体が記述される。
[5]1735年、オイラーは正多面体の性質を掘り下げ、多面体公式v-e+f=2を示した
===================================