【面白い数学】正多面体が5種類しか存在しないことのエレガントな証明

こんにちは。福田泰裕です。

高校の数学で学習する、正多面体を覚えていますか？

今回は、この正多面体が5種類しか存在しないことのエレガントな証明をご紹介します。

最後まで読んでいただけると嬉しいです。

正多面体は5種類しか存在しない

まず、正多面体について説明します。

つまり、正多面体を構成する正多角形の辺の数と、頂点にあつまる面の数が決まれば、正多角形が1つに決まるということです。

正多面体を構成する面が正 \(p\) 角形、1つの頂点に集まる面の数を \(q\) とすると、正多面体は
\((p,q)\)
のように表すことができます。
（この数を「シュレーフリ記号」と呼びます。）

そしてこの正多面体は、正四面体、正六面体、正八面体、正十二面体、正二十面体の5つしか存在しないことが分かっています。

シュレーフリ記号を使うと、

• 正四面体は \((3,3)\)
• 正六面体は \((4,3)\)
• 正八面体は \((3,4)\)
• 正十二面体は \((5,3)\)
• 正二十面体は \((3,5)\)

と表されます。

直観では、

と思いませんか？

それでは、正多面体が5種類しか存在しないことのエレガントな証明を見ていきましょう。

正多面体が5種類しか存在しないことのエレガントな証明

この証明では、正多面体の展開図を考えます。

ここで、立体を構成するためには、1つの頂点に集まる面の数は3以上でなければなりません。
（頂点にあつまる面の数が2だと、山折りできるだけで立体にはならない。）

また、1つの頂点に集まる角の和が360°未満でなければ展開図が描けません。

この2つの事実を使い、証明を進めていきましょう。

正多面体を “正三角形” で構成する場合

まず、正三角形 \((p=3)\) で構成する場合を考えます。

正三角形の内角は60°です。
「1つの頂点に集まる面の数は3以上」かつ「1つの頂点に集まる角の和が360°未満」であるためには、\(q=3,4,5\) であることが必要です。
（\(q \geq 6\) だと、360°以上になってしまうので不適。）

よって、\(p=3\) のとき、
\((3,3),(3,4),(3,5)\)
の3種類となります。

正多面体を “正四角形” で構成する場合

次に、正四角形 \((p=4)\) で構成する場合を考えます。

正三角形の内角は90°です。
「1つの頂点に集まる面の数は3以上」かつ「1つの頂点に集まる角の和が360°未満」であるためには、\(q=3\) でなければなりません。
（\(q \geq 4\) だと、360°以上になってしまうので不適。）

よって、\(p=4\) のとき、
\((4,3)\)
の1種類のみとなります。

正多面体を “正五角形” で構成する場合

次に、正五角形 \((p=5)\) で構成する場合を考えます。

正三角形の内角は108°です。
「1つの頂点に集まる面の数は3以上」かつ「1つの頂点に集まる角の和が360°未満」であるためには、\(q=3\) でなければなりません。
（\(q \geq 4\) だと、360°以上になってしまうので不適。）

よって、\(p=5\) のとき、
\((5,3)\)
の1種類のみとなります。

正多面体を “正六角形” で構成する場合

この調子で、正六角形 \((p=6)\) で構成する場合も考えてみましょう、

正六角形の内角は120°です。
「1つの頂点に集まる面の数は3以上」なので \(q=3\) から考えますが…

これだと、「1つの頂点に集まる角の和が360°未満」という条件を満たしていません。
ぴったり360°だと、立体を構成することができません。

つまり、正六角形 \(p=6\) のとき、条件を満たす \(q\) は存在しないことになります。

更にこれから先を考えると、\(p\) が大きくなると内角も大きくなります。
よって、\( p \geq 7\) だと \(q=3\) でも360°を超えてしまうので、条件を満たす \(q\) は存在しないことになります。

故に、\(p \geq 6\) のとき、条件を満たす \(q\) は存在しません。

以上から、条件を満たすのは、
\((p,q)=(3,3),(3,4),(3,5),(4,3),(5,3)\)
の5種類のみであることが証明できました。

まとめ：正多面体が5種類しか存在しないことは2300年以上前に分かっていた

いかがでしたでしょうか。

正多面体が5種類しか存在しないことは直観に反していますが、このように証明されました。

しかし驚くべき事に、この正多面体が5種類しか存在しないことは、紀元前3世紀頃に書かれたユークリッドの『原論』に記されています。
今から2300年以上前にすでに分かっていたなんて、驚きですよね…。

高校の授業でこの証明まで習うことは少ないかもしれませんが、ぜひ展開図を用いたエレガントな証明にも触れて、数学の面白さを知ってもらいたいです。

この多面体を語るうえで重要な「オイラーの多面体定理」というものがあります。
高校数学で学習しますが、ほとんど入試で出題されないために忘れられている定理です。
しかし、このオイラーの多面体定理もエレガントな証明があるので、ぜひご覧ください👇

最後まで読んでいただき、ありがとうございました！

質問やご意見、ご感想などがあればコメント欄にお願いします👇