■正多面体の外接球と内接球(その3)
tan(π/5)が現れたついでに,「φ形式の算法」を追加しておきたい.
===================================
[1]tan(π/5)=1/√(4φ+3)
[2]tan^2(π/5)=1/(4φ+3)=(7−4φ)/5
[3]φtan(π/5)=1/√(φ+2)
[4]φ^2tan^2(π/5)=1/(φ+2)=(3−φ)/5
[5]tan(π/6)=1/√3
[6]tan^2(π/6)=1/3
===================================