【１】球面三角法

　半径１の球面（単位球面）上に３点Ａ，Ｂ，Ｃがあり，それぞれが大円の弧で結ばれているものとします．球面三角形ＡＢＣの３辺の長さ（球面距離）をａ，ｂ，ｃで表すとそれぞれ大円の中心角となります．すなわち，単位球では球面距離を中心角と同一視できるわけです．また，内角Ａ，Ｂ，Ｃは大円同士が交わる面角の大きさです．

　球面三角法の公式は多数ありますが，計算に便利なように単位球における式として与えられています．「サイコロの数理」で用いたのは平面三角形の余弦定理に該当する

　　ｃｏｓｃ＝ｃｏｓａ・ｃｏｓｂ＋ｓｉｎａ・ｓｉｎｂ・ｃｏｓＣ

とその巡回置換，それに球面三角形ＡＢＣの面積Ｓを角過剰として表した

　　Ｓ＝Ａ＋Ｂ＋Ｃ−π

の２つだけです．

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

【２】正多面体群

　ＳＯ（３）の運動群Ｔ，Ｏ，Ｉ

　　Ｔ＝Ａ3，Ｏ＝Ｓ4，Ｉ＝Ａ5

をそれぞれ正四面体群，正八面体群，正二十面体群と呼ぶ．正八面体群を立方体群，正二十面体群を正十二面体群と呼んでも良いのかもしれないが，面が三角形であるほうで呼ぶのが慣例である（不公平？）．

　今回のコラムでは正四面体，正八面体，正二十面体の辺が中心においてなす角を求めてみたい

　　ｃｏｓｃ＝ｃｏｓａ＝ｃｏｓｂ，Ｃ＝Ａ＝Ｂ

ですから

　　ｃｏｓＣ＝（ｃｏｓｃ−ｃｏｓ^2ｃ）／ｓｉｎ^2ｃ

　　　　　　＝ｃｏｓｃ／（１＋ｃｏｓｃ）

　　Ｃ＝ａｒｃｃｏｓ（ｃｏｓｃ／（１＋ｃｏｓｃ））

　Ｃ＝Ａ＝Ｂですから，Ａ＋Ｂ＋Ｃ＝３Ｃ．したがって，球面三角形ＡＢＣの面積Ｓ3は

　　Ｓ3＝３Ｃ−π

で与えられることがわかります．

　また，それぞれ，

　　４Ｓ3＝４π（全表面積）

　　８Ｓ3＝４π（全表面積）

　　２０Ｓ3＝４π（全表面積）

ですから，

　　Ｃ＝２π／３（正四面体）→ｃｏｓｃ＝−１／３（１０９．５°で，ダイヤモンド結晶の隣りあった原子間の角度）

　　Ｃ＝π／２（正八面体）→ｃｏｓｃ＝０（９０°）

　　Ｃ＝２π／５（正二十面体）→ｃｏｓｃ＝１／√５

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