紀元前320年、アリスタイオスは「５つの正多面体の比較」という本を出し、その中で

「正12面体と正20面体が同一の球に内接するとき、正12面体の５角形と正20面体の３角形は同じ円に内接する」

ことを証明した。計算して確かめてみたい。

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

ｄを球の直径、ｓを内接する正多面体の辺の長さとすると

(a)正四面体：d^2=3/2・s^2

(b)正八面体：d^2=2・s^2

(c)立方体：d^2=3・s^2

(d)正20面体：d^2=(5+√5)/2・s^2

(e)正12面体：d^2=3(3+√5)/2・s^2

改めて計算しなおしてみると

(d)正20面体では横幅^2=4φ^2,s^2=3

d^2=4φ^2+（φ^2-2)^2=4φ^2+1/φ^2=4φ+4-φ+2=3φ+6＝3√5φ

d^2/s^2=√5φ＝(5+√5)/2が成り立つ

(e)正12面体では横幅^2=4φ^2,s^2=√5/φ

d^2=4φ^2+（φ^2-2)^2=4φ^2+1/φ^2=4φ+4-φ+2=3φ+6＝3√5φ

d^2/s^2=3φ^2＝3(3+√5)/2が成り立つ

単位円に内接する5角形と3角形の辺の長さはそれぞれ

s12=2sin36＝{(10-2√5)^1/2}/2

s20=2sin60=√3

(5+√5)/2・3=3(3+√5)/2・{(10-2√5)}/4は成り立つだろうか？

(5+√5)=(3+√5)・{(10-2√5)}/4・・・OK

単位円に外接する5角形と3角形の辺の長さはそれぞれ

s12=2tan36＝2{(5-2√5)^1/2}

s20=2tan60=2√3

(5+√5)/2・12=3(3+√5)/2・4{(5-2√5)}は成り立つだろうか？

(5+√5)=(3+√5){(5-2√5)}・・・NG

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝