（問）１つの３角形を辺に関して次々折り返していって，３角形が互いに重なることなく，平面を埋めつくすことができるか？

（答）この問題は平面を鏡映三角形で埋めるというものですが，１つの頂点に会する三角形は偶数に限る必要はありません．

　頂点の角度をαとおくと，頂点を一回りしたので，

　　α＝２π／ｐ　　　ただし，ｐは３以上の自然数．

まったく，同様に残り２つの内角に対しても

　　β＝２π／ｑ，γ＝２π／ｒ

また，α＋β＋γ＝πより

　　１／ｐ＋１／ｑ＋１／ｒ＝１／２

が成り立ちます．

　ここで，３≦ｐ≦ｑ≦ｒと仮定すると

　　１／２＝１／ｐ＋１／ｑ＋１／ｒ≦３／ｐ

より，３≦ｐ≦６

　さらに，ｐが奇数のとき，頂点Ａからでる２辺の長さは等しくならなければなりません．そうしないと，折り返しでうまく重ならないからです．したがって，

(i)ｐ＝３のとき，ｑ＝ｒなので，

　　ｑ（ｑ−１２）＝０

これより，（ｐ，ｑ，ｒ）＝（３，１２，１２）

(ii)ｐ＝４のとき，（ｑ−４）（ｒ−４）＝１６

これより，（ｐ，ｑ，ｒ）＝（４，５，２０），（４，６，１２），（４，８，８）ですが，（ｐ，ｑ，ｒ）＝（４，５，２０）は必要条件を満たすものの，十分条件を満たさない，すなわち，１点のまわりだけは完全に埋められても平面のタイル張りになりません．凸な多角形では七角以上になるとどんな型のものも平面充填はうまくいかないのです．

(iii)ｐ＝５のとき，ｑ＝ｒより，

　　ｑ（３ｑ−２０）＝０

これを満たす３以上の整数はありません．

(iv)ｐ＝６のとき，（ｑ−３）（ｒ−３）＝９

これより，（ｐ，ｑ，ｒ）＝（６，６，６）

　結局，求めるタイル張りは

　　（６，６，６）　→　正三角形

　　（４，８，８）　→　直角二等辺三角形

　　（４，６，１２）　→　３０°，６０°，９０°の三角形

　　（３，１２，１２）→　３０°，３０°，１２０°の三角形

の４通りあることになり，実際に十分条件を満たします．

　３０°，３０°，１２０°の角をもつ三角形は，正三角形格子（３，６）の各面を３個の合同な三角形に分解することによってできるモザイク模様です．「麻の葉」文様と呼ばれるくり返し文様なのですが，日本では古くから装飾工芸品や寄木細工のデザインなどとして用いられていますから，ご存じの方も多いと思います．

　３０°，６０°，９０°のモザイクは，３０°，３０°，１２０°の三角形からなるモザイクをさらに２個の直角三角形に分解してできる模様，直角二等辺三角形モザイクは正方格子（４，４）を４分割したもの，正三角形は正三角形格子（３，６）そのものです．

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

【１】高次元の正多胞体とルート系

　基本単体を鏡映も許しながら自分自身に重ねていく操作がルート系であり，それは，アメリカのキリングやフランスのカルタンによって成し遂げられた単純リー群の分類と関係しています．

　ｎ次元空間において高度の対称性をもったベクトルの集合がルート系なのですが，ｎ次元正単体とｎ次元立方体の対称群は，それぞれＡn-1，Ｂn（Ｃn）で表されます．

　ルート系では，ベクトルの間の角度は３０°，４５°，６０°，９０°またはその補角に限られるので，２次元の可能なルート系は

　　Ａ2（正六角形：正三角形格子）

　　Ｂ2＝Ｃ2（正方形）

　　Ｇ2（星形六角形：正６角形を２個合わせたもの）

しかありません．

　また，このようにルート系のベクトルの末端を結んでできるｎ次元図形が正多胞体になるのは比較的少数です．他には

　　Ｄ4（正２４胞体の３対性）

　　Ｃn（双対立方体）

　　Ｆ4（正２４胞体を２個合わせたもの）

があげられます．

　正２４胞体は，すべての次元を通じて，単体以外の唯一の自己双対な正則胞体です．この２４胞体の対称性を，鏡映で生成される既約な有限群（ルート系）との関係でみても興味深いものがあります．たとえば，正２４胞体に含まれる正１６胞体は互いに６０°をなしますから，Ｄ4の３対性をもっているというわけです．

　また，正２４胞体は１つの例外型対称群Ｆ4をもつことが知られています．２個の正２４胞体を中心を一致させて重ねて回転させます．これはちょうど平面上でダビデの星が２つの正六角形を３０°ずらして重ねたものと似ているわけですが，この対称性がＦ4に相当します．正２４胞体は単体以外の唯一の自己双対な正則胞体であるという事実がＦ4と関係しているのですが，この点もまた注目すべきものでしょう．

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