不可能の証明
解けることを証明するには、解いてみせればいいのだが
解けないことを証明するには、どうするのだろうと思って
日がたつほどそれが不思議でたまらなかった
− 岡 潔 −
これは、日本を代表する数学者の言である。天才 岡 潔 をも困らせる「不可能の証明」
は如何にあるべきかについて、「任意の角の3等分は不可能である」という古代ギリシャ
の3大作図不能問題の一つを題材に整理してみようと思う。
このページをおこすために、次の講演会に参加した。
平成18年8月5日(土)に 日本大学文理学部(京王線 「下高井戸駅」下車、徒歩10 分)で、サマースクールが開 かれた。今年で十年目にな るという。 これは、世田谷区の 「Do Math.Do Science」 活動の一環でもあり、区内に ある東京農業大学農学部や 武蔵工業大学工学部も日を 変えて参加している催しであ る。 (写真は、正門を入って直ぐ の1号館・・・校舎の配置が 美しい!) |
|
サマースクールは当初区 内の中学生が対象であった が、最近は多くの数学愛好 家に門戸を開いている。今 年は老若男女合わせて多分 200名近い方が集まったよ うに思う。 お昼には豪華なお弁当も 出され、しかもケーキやお菓 子がたくさん並ぶお茶会もあ って、本当にいたれりつくせ りだった!来年も是非参加 したい...。 (写真は、サマースクールが 開かれた図書館・・・玄関前 では縄跳びのアクロバット技 の練習に励む学生達) |
サマースクールでは、森 真 先生の「 π の話」、茂手木公彦 先生の「可能?それとも不
可能?」という2つの講演があった。どちらの話題も当HPのコンテンツと関係があり、終日
興味を持って拝聴することが出来た。両先生に感謝したい。
このページでは、そのうちの茂手木先生の話された話題を私なりに理解したものをまとめ
ていきたいと思う。
1995年、ワイルズ(Andrew Wiles (1953〜))によって証明されたフェルマーの予想:
自然数 n (n≧3) について、 xn+yn=zn を満たす自然数解 (x,y,z) はない
( 今は、この事実は、フェルマー・ワイルズの定理と呼ばれる。)
もある意味では不可能の証明(解が存在することは不可能という意味で!)と言えるだろう。
証明のあらましは次のようであるらしい。
自然数解が存在したとすると、ある特別な性質を持つ楕円曲線が存在することになるが、
楕円曲線は決してそのような性質は持たない。よって、自然数解は存在しない。
たった2行で人類350年の努力の結晶を表すのはとてもおこがましいが、その2行の行間
を埋めるために貢献した日本人数学者のことを考えると、とても感動的である。
茂手木先生の話された話題「角の3等分は不可能」も、基本的な証明の方針は、上記と同
じで、「角の3等分は可能」とすると、何やら変なことが起こるぞ!というものである。
いくつか基礎知識を準備しよう。
これから考えることは一つの平面上の話であるので、座標平面で考えることはごく自然な
ことである。
座標平面は、平面上の任意の1点 O で直交する直線と、それぞれの直線上の単位点が
与えられたものである。(下図参照)
これらの3点を出発点として、定木とコンパスを用 いて作図できる点をどんどん書き加えていこう。 茂手木先生の言葉を借りれば、これらの作図でき る点のことを作図可能点という。 定木とコンパスの役割を、この「作図可能」という キーワードを用いて表すと、 定 木=作図可能な2点を結ぶ直線が引ける コンパス=中心が作図可能点で、半径が作図可能 点を結ぶ線分の長さの円が描ける となる。 |
定木・コンパスを用いて、下図のように作図可能点を無限に作ることが出来る。
以上をまとめると、次の操作で得られる新しい点も作図可能点となる。
(1) 作図可能点同士を結ぶ直線(作図可能直線という)同士の交点
(2) 中心が作図可能点で、半径が作図可能点を結ぶ線分の長さの円(作図可能円という)
同士の交点
(3) 作図可能直線と作図可能円との交点
座標平面上の作図可能点の x 座標(または、 y 座標)のことを、作図可能値という。
数直線(実数全体 R と一対一に対応)上の作図可能値全体の集合を、K とおく。
集合 K には、どんな数が含まれているだろうか?
(1) 整数( ・・・,−2,−1,0,1,2,・・・ )を含むことは、上図から明らかだろう。
(2) 有理数( 1/2,2/3,・・・・ )を含むことも、例えば、下図から明らかだろう。
(3) 作図可能値 n の平方根 が作図可能値であることも、例えば、下図から明らか
だろう。
このようにして得られる集合 K に、自然に代数学で言うところの「体」の構造が入ることは
下図から明らかだろう。
和と差は、...
積は、....
商は、....
さて、体 k を一つ定める。( k を有理数全体からなる体 Qと思ってもいいだろう。)上記
で述べたことから、「作図可能値 n の平方根 も作図可能値」であった。
そこで、 n∈k (ただし、n=m2 となる m∈k は存在しないものとする。)に対して、集合
k()={ a+b | a∈k 、b∈k }
は、k の2次の拡大体になる。通常、拡大次数は、 [ k() : k ]=2 と表される。
このような操作を続けると、k に属さない作図可能値 p に対して次のことが言える。
ある自然数 n に対して、 k の拡大体の列 K1、K2、・・・、Kn が存在して、
Q=k⊂K1⊂K2⊂・・・⊂Kn⊂R かつ p∈Kn 、 p Kn-1
が成り立つ。
このとき、拡大次数に注目すれば、 [ Kn : Q ]=2n が成り立つ。
この事実を活用して、「任意の角の3等分は不可能である」ことが次のようにして示される。
それには、決して3等分され得ない角を与えれば十分だろう。
いま、120°の角をなす2つの直線があり、この角度を3等分するような2つの半直線が
作図可能であると仮定する。
すると、上図から、作図可能円との交点の x 座標 cos40°は作図可能値となる。
したがって、 cos40°∈Kn となる有理数体 Q の拡大体 Kn が存在して、
[ Kn : Q ]=2n
となる。
ところで、 θ=40°とおくと、 3θ=120°なので、
cos3θ=4cos3θ−3cosθ より、 8cos3θ−6cosθ+1=0
2cosθ=X とおくと、 X3−3X+1=0 で、 2cos40°はこの3次方程式の解となる。
ところで、この3次方程式は、有理数の解を持たない。
もし、有理数解 m/n (m、n は整数で、n>0、m と n は互いに素)を持つとすると、
m3/n3−3m/n+1=0 すなわち、 m3/n=3mn−n2
右辺は整数なので、 m3 すなわち m は、n で割り切れる。
m と n は互いに素なので、 n=1 でなければならない。
よって、解は整数となり、 1=X(3−X2) から、1の約数でなければならない。
すなわち、 解は、1 または −1。 しかし、何れも、X3−3X+1=0 を満たさない。
以上から、 3次方程式 X3−3X+1=0 は有理数の解を持たない。
このことから、 1 と X はQ上1次独立であることが分かる。
実際に、 Q上1次独立でないと仮定すると、 m−nX=0 となるような少なくとも一つは
0 でない m、n∈Q が存在する。 X3−3X+1=0 なので、
X3−3X+1=(m−nX)(2次式) と因数分解され、方程式 X3−3X+1=0 は、有理
数の解 m/n を持つ。これは、矛盾である。
よって、 1 と X はQ上1次独立である。
同様にして、 1 と X と X2 はQ上1次独立である。
ところで、 X3−3X+1=0 から、 1 と X と X2 と X3 はQ上1次独立にはならない。
このことから、 [ Q(X) : Q ]=3 であることが分かる。
このとき、 cos40°∈Kn となる有理数体 Q の拡大体 Kn と Q(X) の交わりを H
とおくと、Hは、 Q⊂H⊂Kn 、Q⊂H⊂Q(X) を満たす体で、
[ H : Q ][ Kn : H ]=2n 、 [H : Q ][ Q(X) : H ]=3
であることから、 拡大次数 [ H : Q ] は、 2n および 3 の約数となる。
したがって、 [ H : Q ]=1 でなければならないが、これは、 H=Q を意味し、
2cos40°∈Q となる。
2cos40°は、方程式 X3−3X+1=0 の解で、方程式 X3−3X+1=0 は有理数解
を持たないので、これは矛盾である。
したがって、120°の角をなす2つの直線に対して、この角度を3等分するような2つの
半直線を作図することは不可能である。
(コメント) 平成18年9月30日に、このページを書き始めて、ようやく年内にまとめを行う
ことができてホッとしている。
当HPではこれまで、角の3等分方程式 や 3次方程式と作図の問題 で角
の3等分を話題にしてきたが、あまりスッキリとしたものではなかった。
今回、茂手木先生のお話しを伺って、これまでモヤモヤしていた部分が一気に
解消されてスッキリした気分である。茂手木先生にこの場を借りて感謝したい。
(追記) 令和3年10月28日付け
当HPの「クイズ&パズル」には、いくつかの埋め込みパズルが掲載されている。
図形の埋め込み 、図形の埋め込み2 、図形の埋め込み4 、図形の埋め込み5
これらは、埋め尽くすことが可能な場合で、解を一つ見つければ、それで終わりである。
これに対して、次の問題はどうだろうか?
問題 4×4の正方形から対角線上に向かい合う2隅を切り落とした図形を考える。
これを、2×1のタイル
で埋め尽くせるか?(タイルは、縦にも横にも使ってよいものとする。)
このとき、どのような埋め込み方をしても埋め尽くすことは出来ないだろうということが分か
る。
埋め込みが不可能を証明するには、埋め尽くす方法を全て列挙して確かめればいいのだ
が、それは大変な労力を要する。
最善の方法は、埋め尽くせると仮定して、何かしらの矛盾を示すという方法だろう。
与えられた図形とタイルを次のように色分けする。
与えられた図形で、白は6個、黒は8個である。ところが、2×1のタイルで埋め尽くされた
とき、白と黒は同数の筈である。これは、矛盾である。
よって、2×1のタイルで、図形を埋め尽くすことは不可能である。
(追記) 令和3年10月30日付け
問題 5×5の正方形から、右上隅の2×2の正方形を切り落とした図形を考える。
これを、3×1のタイル
で埋め尽くせるか?(タイルは、縦にも横にも使ってよいものとする。)
この場合は、埋め尽くしが可能で、実際の埋め尽くしの状態を示せば十分である。
これに対して、次の問題はどうだろうか?
問題 7×7の正方形から、右上隅の2×2の正方形を切り落とした図形を考える。
これを、3×1のタイル
で埋め尽くせるか?(タイルは、縦にも横にも使ってよいものとする。)
この場合は、どんなに頑張っても埋め尽くすことは不可能である。
3×1のタイルに、次のように3つの数字(1、2、3)を割り当てる。(ただし、順不同)
与えられた図形にも、下図のように数字を割り当てる。
3×1のタイルをどのように配置しても、必ず3×1のタイル上には、数字(1、2、3)が割り
当てられる。
与えられた図形で、1:16個、2:15個、3:14個である。ところが、3×1のタイルで埋め
尽くされたとき、数字の1と2と3は同数の筈である。これは、矛盾である。
よって、3×1のタイルで、図形を埋め尽くすことは不可能である。
#当初、6×6の図形で出題していましたが、6×6−2×2=32は3の倍数ではないので
そもそも問題として不適切ではというご指摘を、当HP読者のHN「tetsu」様より、いただき
ました。確かに問題として自明だったということで、上記のように、より難しい3の倍数にな
る形に修正しました。tetsu様に感謝いたします。(令和3年11月2日付け)
以下、工事中!