今回のコラムでは,中川宏さんが製作された正二十面体に内接する最大の正多面体のアクリル模型を紹介します.
===================================
【1】O in I
正二十面体に内接する最大の正八面体の場合,6つの頂点を
(±1,0,0),(0,±1,0),(0,0,±1)
に置いたときよりも大きくすることができます.
正十二面体の場合と同様に,正二十面体の辺心図において,もとの立方体の1辺の長さを2,もとの立方体表面に残る1本の稜の長さを2dとします(0≦d≦1).すると切稜角φとの関係は
tanφ=1−d
で表されます.
正十二面体ではもとの立方体の表面の痕跡がないまったく新たに作られる頂点がありますが,正二十面体ではすべての頂点がもとの立方体の表面上にあります.ここで,三角面の頂点の座標を
A(0,1,d)
B(−d,0,1)
C(d,0,1)
D(0,d,0)
とおきます.
ABC面が正三角形となるための条件は,辺AC=辺BDより
d^2+(d−1)^2+1=4d^2 → d^2+d−1=0
ですから,これを解いて
d=(√5−1)/2
切稜角は
tanφ=1−d → φ=20.9052°
と計算されます.
また,三角形ACDにおいて
A(0,1,d)
C(d,0,1)
D(1,d,0)
ですから
辺AC=辺CD=辺DA={d^2+(d−1)^2+1}^(1/2)
すなわち,三角形ACDも正三角形です.
次に,正三角形ACDが切頂面であることを証明します.
OA=OC=OD={d^2+1}^(1/2)
より3点A,C,Dは原点Oから等距離にあり,ACD面の重心Gと原点Oを結ぶ線はACD面と直交することがわかります.
また,重心Gは
((1+d)/3,(1+d)/3,(1+d)/3)
したがって,重心Gは原点Oと(1,1,1)を結ぶ線上にあることから正三角形ACDが切頂面であることが理解されます.
ちなみに(1,1,1)はACD面の法線ベクトルですが,ACD面の単位法線ベクトルp↑は
p↑=(1/√3,1/√3,1/√3)
ですから,ACD面とxy平面(yz平面,zx平面)のなす角(切頂角)は π/2−arccos(1/√3)
=arctan(1/√2)=35.2644°
となって,切頂定規(1:√2:√3)が必要になるというわけです.
−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
正二十面体に内接する正八面体の2つの頂点を正二十面体の頂点E(1,d,0),F(1,−d,0)を結ぶ辺をy:1−yに内分する点G(1,d(1−2y),0)とその対蹠点H(−1,−d(1−2y),0)におきます.
このとき,原点Oを通りGH軸と垂直な平面は,正二十面体と10点で交わります.この10点から点(0,0,±1)を除いた8点からひとつおきに4点を選びます.この4点が正八面体の残りの頂点になるものとします.
私はこの4点の座標を解析幾何学的に定めて正八面体になるための条件から辺の長さを決定したのですが,かなり面倒な計算式になってしまいました.それに対して,クロフトの論文ではギリシア幾何学的にもっとスマートに求めています.ここではクロフトの計算方法を紹介しますが,次のように考えると複雑な計算を回避できます.
正二十面体の辺の長さを1とすると,正八面体の辺の長さは2通りの計算式
1+2ycos(2π/5)
(y^2+3(1−y)^2sin^2δ)^1/2
で表されます.2δは正二十面体の二面角で
cos2δ=1−2sin^2δ=−√5/3
sin^2δ=(3+√5)/6
ですから,
1+2ycos(2π/5)=(y^2+3(1−y)^2sin^2δ)^1/2
を解いて
y=1−1/√2=0.292893,1−y=1/√2=0.707107
これを
1+2ycos(2π/5)
に代入すると,正八面体の1辺の長さは
1+2ycos(2π/5)=(2−√10+√2+2√5)/4
と求められます.
このことから,体積比は
√2/3{(2−√10+√2+2√5)/4}^3/{(15+5√5)/12}=0.355934
と計算されます.
===================================
【2】T in I,C in I,D in I
クロフトのやり残した未解決問題です.
===================================