芹沢あさひと26の不思議
これは京大アイマス研910Productionアドベントカレンダー21日目の記事です.
枠が余っているらしいので,途切れさせるのも何だしなあということで記事を書くことにしました.といっても事前準備とかは全くなく,なんならもう21日に突入してるので,自分がサクッと話せる範囲で万人受けしそう(本当に?)な話を書こうと思います.もちろん数学の話です.覚悟しろ.
今回は次の命題について話します.
無数にある自然数の中でも という数しか満たさないという,少し不思議な性質です. で , なので,たしかに の左は平方数で右は立方数です(左に平方数がある時点でそのような数はすべて自動的に自然数となります.なので上の命題にある『自然数』という言葉は『整数』に置き換えても成り立ちます).
厳密にやろうとすると前提知識が結構必要(たとえば雪江整数では第八章の後半にこの命題が書かれている)なので,めちゃくちゃ適当に話します.目標は,この記事を流し読みした全人類を分かった気にさせることです.
早速やっていきましょう.まずは命題を次のように書き換えます.
たとえば が上の方程式の正整数解なら ,あるいは同じ値ですが が『左を平方数,右を立方数に挟まれた数』になります.なので上の方程式の整数解を求めればいいわけですね( が左を平方数,右を立方数に挟まれる数字なら, はある平方数 に を足した数で,またある立方数 から を引いた数となるはずです.つまり で, を消去すると となり, は上の方程式の整数解となります).
というわけで上の方程式を解くんですが,まず,因数分解してみます.
たとえば模試とかでこんな因数分解をしたら,まあ間違いなく部分点ゲーになると思いますが,この問題を解く上ではこれが正解なのです.
皆さんは複素数というものを(流石に名前くらいは)知っていると思うのですが,それに似たような概念として Gauss 整数環 というものがあります.これは複素数 の を実数全体ではなく整数全体に制限したもので,たとえば なんかは Gauss 整数です. や , なんかは Gauss 整数ではないです(これは冗談ですが, は Gauss 整数ですね).
一応,集合として明記しておくと は次のようになります.
実は Gauss 整数環 には素数っぽいものが存在し,さらに素因数分解の一意性っぽいものが成り立ちます!
つまり,整数問題を解くときによく使う『互いに素』などの概念を,整数環 とほとんど同じように扱えるということです! これは嬉しい.
ここで話を戻します.先の因数分解の左辺に注目してください. という数が現れていますが,これは(整数)+(整数) という形をしています. の部分がもし ,つまり虚数単位 なら,これは Gauss 整数環 の数ですね.残念ながらいまは で考えるので Gauss 整数の出る幕はないのですが,しかしここで別の整数環を召喚します.察しのいいかたは勘付いているかと思いますが,それは です.
しかも整数環 では素因数分解の一意性っぽいものが成り立ちます.やったー!
(補足)
足し算や掛け算ができる集合のことを一般に環(ここでは可換なものしか考えない)といい,素因数分解の一意性が成り立つ環のことを一般に一意分解環(UFD)といいます.上の話をまとめると や は UFD だということですが,より強く,この二つは Euclid 環(割り算ができる環)です.一般に Euclid 環は UFD なので,『強い』という表現はここから来ています.
また や は『二次体の整数環』と呼ばれるものの一種です.他にも や なんかが二次体の整数環ですが,二次体の整数環ではいつでも素因数分解の一意性が成り立つわけではありません.なので,「今回は だったから特別うまくいっているだけ」であって,この方法が常にうまくいくわけではありません.
(補足ここまで)
ともかく, では素因数分解っぽいことができる! 素数っぽいものもある! 割と何でもできる! そういうこと!
最初の方程式に戻りましょう.再掲します.
これを普通の整数問題だと思えば,数学がある程度得意な人なら何となく次のステップは分かると思います.というのも,左辺は整数みたいなものですから,言ってしまえばこれは例えば『 の正整数解を求めよ.』みたいな問題と同じです.それで言えば,左辺にある二つの数の最大公約数は の約数ですから,もし が奇数なら,正整数 を用いて と表せるはずで,さらに は互いに素です.両辺引けば となって,あとは適当にしばけば,このような は存在しないことがわかります. が偶数なら を解けばよく,この場合も解なしです.
同じようなことをします.すなわち と を割り切る素数っぽいものがどのくらいあるかを考えてみます.
そのために『 における素数っぽいもの』をある程度正しく定式化しておく必要があります.どうでもええわって人は読み飛ばしてください.
(補足)
を の数(つまり整数 を使って の形でかける数)として, は にすべての の数をかけて作られる集合とします.たとえば や なんかが の要素です.
が『 における素数っぽいものである』とは次の条件が成り立つことを言います.
要するに,『二数の積が集合に入っていたら,うちどちらかが元々集合に入っている』ということです.これは素数の性質によく似ています.というのも,たとえば を 以上の整数として は の倍数全体としてみると,この場合 とは のことであり,上の条件は が素数のときのみに成立します(たとえば なら ですが, も も の倍数ではありません).
(補足ここまで)
以上がある程度正しい定義ですが,細かいことはまあどうでもいいです.最大公約数を求めていきましょう.どうすればよいかといえば(これは整数問題の常套手段ですが)いい感じに引きます(整数 の最大公約数を とすると,任意の整数 に対して は で割り切れます.これを使えば,たとえば であることから と の最大公約数は の約数であることがわかります).
は と をともに割り切る素数っぽいものとします.すると,
なので は を割り切ります.さらに,実は 自体が素数っぽいものであることが証明できます.
(補足)
が一意分解環(UFD)であることは先述の通りですが,UFD では既約元(簡単に言えば,ほとんどどんな数でもこれ以上割り切れない数)と素元(ここまで『素数っぽいもの』といっていたもの)が一致します(一般に,これら二つの概念は異なります).なので, が素数っぽいものであることを示すには, が の数ではこれ以上割り切れないことを示せばよいです.
が を割り切るとしましょう.二数のノルム(共役複素数を掛けたもの. のこと)を考えてみると は を割り切ることになります.そのような は,これらが整数であることに注意すると しか存在しないことがわかり.つまり の候補は と のみで,このことは はこれ以上割り切れないことを意味しています.よって は素数っぽいものです.
(補足ここまで)
話を戻します. は を割り切り,そもそも 自体が素数っぽいものなので です.ということは が で割り切れることになりますが,ここでまたノルム(直前の補足参照)を考えてみると が で割り切れ,つまり は偶数になります.しかし より も偶数となり より が で割り切れることになって矛盾.
以上で と をともに割り切る素数っぽいものがあるとすれば に限ることがわかり,そのうえで矛盾することが示せたので,この二数は( の中で)互いに素です.
ここまで来ると,もう解けたようなものです.
いや,本当にもう解けてます.
左辺の二つの因子は互いに素,そしてその積が立方数なので,これら二数は独立に立方数となります.つまり
となるような整数 が存在するということです.右辺を展開し, の係数に注目してみると,
が得られ,これより です. なら が整数とならず矛盾で なら が解として得られます.先の関係式の実部に注目すると,
が得られますが,これに先ほど手に入れた を代入すると となります.よって初めの方程式
に整数解があるならば,それは に限り,さらにこのときはちゃんと という整数解が存在します.以上で命題1が証明できました.
整数自体は無数にあるにもかかわらず,『左を平方数,右を立方数に挟まれる』という条件を課しただけでたった一つに定まってしまうというのが面白いですね.
以上です.明日の担当は……誰なんでしょう?
追伸:芹沢あさひ 26 歳概念,めちゃくちゃグッときませんか? 嗚呼,芹沢…….