■対蹠点までの距離(その87)
φ^2=φ+1
φ^3=φ^2φ=φ^2+φ=2φ+1
φ^4=φ^3φ=2φ^2+φ=3φ+2
φ^5=φ^4φ=3φ^2+2φ=5φ+3
φ^6=8φ+5
φ^7=13φ+8
φ^8=21φ+13
φ^9=34φ+21
φ^10=55φ+34
φ^11=89φ+55
1/φ=φ−1
1/φ^2=1−1/φ=−φ+2
1/φ^3=−1+2/φ=2φ−3
1/φ^4=2−3/φ=−3φ+5
1/φ^5=−3+5/φ=5φ−8
1/φ^6=−8φ+13
1/φ^7=13φ−21
1/φ^8=−21φ+34
1/φ^9=34φ−55
1/φ^10=−55φ+89
1/φ^11=89φ−144
σ=3τー1
σ’=3τー2
τ√5=τ^2=τ+2
===================================
正120胞体の1辺の長さを、Coxeter, Regular polytopes, appendixの表から計算してみると
3/τ^2+(σ-4)^2
=3(2−τ)+(3τ-5)^2
=9τ^2-33τ+31
=40-24τ
(τ−1/τ)^2+2(1/τ^2-1/τ)^2+(τ√5−σ)^2
=1+2(3−2τ)^2+(3−2τ)^2
=1+3(9-12τ+4τ~2)
=1+3(13-8τ)
以下も同様であろう。
===================================