本記事の内容
本記事は『数学セミナー』(日本評論社)に掲載されている”エレガントな解答をもとむ”に出題されいている問題に、1時間で解けるか、という挑戦をする記事です。
本記事を読むにあたり、前提知識は基本的に必要ありませんが、以前紹介した記事の内容を使う場合はその旨を記述することにします。
今回も「エレガントな解答をもとむ selections」に掲載されいている問題です。
前回の問題については以下の記事を御覧ください！
では、問題
各面の頂点の番号の和がすべて等しくなるように立方体の頂点に\(1,2,\cdots,8\)の番号をふるふり方は全部で何通りありますか。
数学セミナー編集部編（2001）『エレガントな解答をもとむ selections』日本評論社 p17.
いざ、チャレンジ
チャレンジの結果…解けました。
今回は力技でも十分太刀打ちできるという意味で比較的難易度は優しかったように思えます。
筆者の解答
今回の問題を見た瞬間に「ああ…幾何の問題っぽく書いてあるけど、また魔法陣みたいな問題か…苦手なんだよな…」と思いました。
解いてみてもやっぱり苦手でした。
結局力技で解きました。
以下の図のように頂点に名前をつけました。
なにはともあれ、一番最初に知りたいのは、各面の各頂点の番号の和が一体何なのか、ということです。
これについては、なんてことありませんでした。
各面の頂点の番号の和を\(S\)と置くことにしましょう。
このとき、立方体には6つの面が存在するので、和は\(6S\)です。
そして、この\(6S\)には\(1,\dots,8\)のすべての番号が3回重複して和を取られていますので、
$$
3\times(1+2+3+4+5+6+7+8)=6S
$$
となります。
\(1+2+3+4+5+6+7+8=36\)なので、\(2S=36\)となり、\(S=18\)と求まるわけです。
さて、後は力技です。
力技といっても結局はパターン数を聞かれているに過ぎないので、場合の数を使えばそこまでゴリ押しというほどでもありません。
頂点\(A\)は回転を駆使することでほか全ての頂点の位置に移動が可能ですので、\(A=1\)としてもOKです。
\(1\)を含んで和が\(18\)となるような\(1,\dots,8\)までの数の4つ組の組み合わせは、
\begin{eqnarray}
(1,2,7,8),\quad (1,3,6,8),\quad (1,4,5,8),\quad (1,4,6,9)
\end{eqnarray}
のたった4つだけです。
頂点\(A\)を含む面は3つだから、上記の4つのパターンのうち、不適なものがない限りは3つを選ぶということになります。
- \((1,2,7,8),\quad (1,3,6,8),\quad (1,4,5,8)\)
→\(8\)が3回出現するため不適。 - \((1,2,7,8),\quad (1,3,6,8),\quad (1,4,6,7)\)
- \((1,2,7,8),\quad (1,4,5,8),\quad (1,4,6,7)\)
- \((1,3,6,8),\quad (1,4,5,8),\quad (1,4,6,7)\)
1.だけは\(8\)が3回出現するため、不適です。
ほかは、2回出てくる数を\(B,D,E\)に対応させるような場合を除けば2通りずつです。
その他の点は自動的に決まります。
したがって\(2\times3=6\)通りとなり、これが答えです。
投稿されたエレガントな解答
正解は、立方体を動かせないものと解釈したバア144通り、回転で重なり合うものを同じふり方とみなした場合6通り、さらに鏡像の関係になっているものも同じとみなした場合3通りです。どの解釈をしたかが明治されていれば、いずれの答でも正解です。
（中略）
以下、立方体を\(ABCD-EFGH\)とし、各頂点にふられる番号を\(a,b,\cdots,h\)とします。面の和と書いたら、面に属する頂点の番号の和を意味することにします。立方体を回転することにより、\(a=1\)と仮定しても一般性を失いません。
解１(場合分けによる解答) \(a=1\)としたので、次に2の場所により場合分けをする。回転により、\(b=2\)、\(c=2\)、\(g=2\)の3つの場合のみを考えればよい。それぞれの場合について、必要ならさらに場合分けをしていくと、\(b=2\)のときは不適、\(c=2\)のときは4通り、\(g=2\)のときは2通りの解が得られる。よって、合計6通り。
（中略）
さて、他の解法を紹介しましょう、次の事実は基本的です。
（１）各面の和は\(18\)である。
実際、一定の面の和を\(S\)とすると、拡張点はそれぞれ3つの面に登場し、面は全部で6個あるので、
$$
(1+2+\cdots+8)\times3=6S.
$$
これから\(S=18\)。(なお、他の正多面体では、\(S\)が正数になりません。)解２(面に着目) 和が\(18\)となる4つの数の組で\(1\)を含むものは\(\left\{1,2,7,8\right\},\left\{1,3,6,8\right\},\left\{1,4,5,8\right\},\left\{1,4,6,7\right\}\)の4組のみ。\(A\)を含む面は3つあるので、上記の4組のうち異なる3組を選ぶと、
- \((1,2,7,8),\quad (1,3,6,8),\quad (1,4,5,8)\)
- \((1,2,7,8),\quad (1,3,6,8),\quad (1,4,6,7)\)
- \((1,2,7,8),\quad (1,4,5,8),\quad (1,4,6,7)\)
- \((1,3,6,8),\quad (1,4,5,8),\quad (1,4,6,7)\)
となる。このうち、最初の組み合わせは\(8\)が3回登場するので不適。他の3つの組合せでは、2回答上する数を\(B,D,E\)に配置する方法が回転を除いて2通りずつあり、それにより残りの頂点の番号は自動的に決まってしまうので、合計6通りの配置ができる。ある面の和が\(18\)ならその対面の和も\(18\)になることは明らかなので、これらの配置が全て問題の条件を満たす。
次に辺についての性質に着目した解答を示しましょう。
（２）面を共有しない平行な2辺の和は互いに等しい。
隣り合う2面の和は等しく、それぞれから共通辺の和を引いた残りも等しいことから明らか。
（３）\(1\)の隣に\(2,3,5\)はない。
実際、\(1+2=3\)で、和が\(3\)となる数のペアは他にないので、(2)より\(1,2\)を端点にもつ辺はない。\(1+3=4\)で、和が\(4\)となるペアは他にないので、(2)より\(1,3\)を端点にもつ辺はない。\(1+5=6\)で、和が\(6\)となるペアはこれと\(2+4=6\)しかないが、残りの数\(3,6,7,8\)を和が\(12\)となる2組のペアに分けることはできない。
次は鍵となる命題です。（４）\(1\)の隣には必ず\(8\)がある。
実際、\(1\)の隣に\(8\)がないとすると、(3)より\(1\)の隣は\(4,6,7\)。\(1+4+6+7=18\)は面和\(S\)に等しいので、例えば\(1,4,6\)を含む面の第4の頂点に\(7\)がなければならず、数\(7\)が2箇所にあって矛盾。
以上の(1)、(2)、(4)から、次の著しい性質が示されます。（５）辺和が\(9\)となる平行な4辺がある。
解４(和が\(9\)となる辺に着目) \(1\)から\(8\)までの正数を和が\(9\)となるペアに分割すると\(1+8\)、\(2+7\)、\(3+6\)、\(4+5\)の4組のみ。(4)より、\(a=1\)、\(e=8\)としてよい。このとき、\(b+f=c+g=d+h=9\)である。(3)より\(b,d\)は\(4,6,7\)のうち異なる2つである。(1)より、\(b,c,d\)は\(4,6,7\)の並べ替え6通りの可能性がある。\(f,g,h\)の値は\(b,c,d\)の値に応じてそれぞれ決まる。どの場合も下面、側面の和が全て\(18\)であることは明らか。よって、回転を除き、6通りの番号のつけ方がある。
さて、正多面体の性質を調べるとき、中心に関して\mathcal{G}_nな頂点の性質に注目するのは、一つの常套手段です。そのような考え方による解答を紹介しましょう。
（６）中心に関して対称な頂点の番号の差は一定である。
実際、(2)よりたとえば\(a+d=f+g\)。移行して\(g-a=d-f\)。他の辺のペアについても行うと、\(g-a=b-h=e-c=d-f\)(\(=m\)とおく)となる。なお、\(a=1\)より、\(m>0\)。
（７）上記の差を\(m\)とすると、\(m=1,2\)または\(4\)である。
これは、より一般的な次の命題から分かります。
（８）\(1,2,\cdots,n\)を、差が\(m\)である2数のペアに分割することができるならば、\(m\)は\(\frac{n}{2}\)の約数である。
\(1,2,\cdots,m\)は(\(m\)を引くと\(1\)より小さくなってしまうので)\(m+1,m+2,\cdots,2m\)とペアを組むほかはない。残った数について同様な議論を繰り返す。
解４(対称点の値の差に着目) \(m=1\)のとき、正四面体\(ACFH\)の拡張点に\(1,3,5,7\)の番号をふるふり方が回転で重なり合うものを除いて2通り。立方体の中心に関しそれぞれに対称な点には\(m\)を加えた番号をふる。\(m=2\)、\(m=4\)のときも同様で、合計6通り。
次に、奇数の分布に注目した考え方を紹介しましょう。
（９）どの面も奇数を2箇所に含む。
実際、(1)より面和は偶数なので、どの面も奇数を偶数個含む。もし奇数がないとすると和は\(2+4+6+8=20\)、もし奇数が4個あるとすると和は\(1+3+5+7=16\)となり、いずれにしても(1)に矛盾する。
解５(奇数に着目) 両端がともに奇数である辺を奇辺とよぶ。(9)を満たす奇数の配置のうち、奇辺を含むものは、2つの奇辺が面を共有せずに平行である場合に限られ、(2)より\(1+7=3+5\)の形。また、奇辺を含まないものは、奇数が性4明太の頂点に並ぶ配置に限られ、(3)より\(2\)は\(1\)と対称な点に決まり、他の偶数の位置も順次決まる。
さて、(3)、(4)より、\(1\)を除く7数のうち、\(1\)と必ず隣り合う数が1つ、絶対に隣り合わない数が3つあることになります。解を調べると、残りの3つは隣り合うことも隣り合わないこともあることが分かります。
数学セミナー編集部編（2001）『エレガントな解答をもとむ selections』日本評論社 p128-p133.
（中略）しは、このことが、\(1\)だけではなくどの数についても成り立つことを、具体的にすべてのペアを分類することによって示しています。したがって、上では\(a=1\)と仮定して話を勧めましたが、実は、。どの数から出発しても全く同様に議論できるはずだったのです。このような高度の対称性はいったいどこから来るのでしょうか。
そのことを考えるために、解の変換に目を向けて見ましょう。明らかに、ひとつの解における各頂点の番号\(x\)を一斉に\(9-x\)に置き換えたものも条件を満たします。
この置き換えは2解繰り返すともとに戻り、実は事実(5)により、立方体を鏡に映すことと同じです。では、立方体の回転と鏡映以外にこのような「解の変換」はないのでしょうか。
（中略）氏は次の変換を発見しました。
$$
\begin{cases}
f(2n)=n+4\\
f(2n-1)=n
\end{cases}
$$
この変換は3解繰り返すと元に戻ります。さらに、各番号から\(1\)を引いた\(0,1,\cdots,7\)を2進3桁の\(0,1\)列で表わしたとき、上記の変換\(f\)はビットをサイクリックに入れ替えることに対応していること、6個の解は\(0,1\)の3次元世界でのビットの位置の入れ替えで説明できることを突き止めています。
鏡映で移りあわない3つの解は実はこのような自然な変換で移りあっていたのです。自然な変換で移りあうものを同じとみなすならば、解は本質的には1通りであるという答え方も許されるのではないでしょうか。設問の文章に若干の曖昧さがあったのはそのような解答を期待していたからでした。
読者の皆様への挑戦状！
次の不等式で表される空間図形はどんな形でしょうか。図示してください。
数学セミナー編集部編（2001）『エレガントな解答をもとむ selections』日本評論社 p18.
$$
\left|x+y+z\right|+\left|-x+y+z\right|+\left|x-y+z\right|+\left|x+y-z\right|\leq4
$$
（ヒント） \(\left|X\right|=\max\left( X,-X\right)\)
前回の問題は【１時間チャレンジシリーズ】挑戦⑱を御覧ください。
結
いかがでしたか？
今回は数セミの「エレガントな解答をもとむ」に挑戦してみる、という記事でした。
読者の皆様も是非一度挑戦してみて下さい！
そして、「読者の皆様への挑戦状」にも是非挑戦していただき、解答をコメントで教えて下さい！
質問、コメントなどお待ちしております！
どんな些細なことでも構いませんし、この記事に限らず、「定理〇〇の△△が分からない！」などいただければ全てお答えします！
お問い合わせの内容にもよりますが、ご質問はおおよそ３日以内にお答えします。
もし直ちに回答が欲しければその旨もコメントでお知らせください。直ちに対応いたします。
Twitterでもリプ、DM問わず質問、コメントを大募集しております！
コメントをする