■正多面体の外接球と内接球(その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

===================================