4月3日付で京都大学(RIMS)教授の望月先生の書かれたABC予想についての論文が数学の専門雑誌「PRIMES」に掲載されるとの報道がありました。
望月先生、おめでとうございます!
興味深いニュースでしたが私自身はあまりABC予想について詳しいことを知らなかったので、このニュースを機にABC予想について勉強してまとめてみました。
参考文献
(1) ABC予想入門 (PHPサイエンス・ワールド新書)(2) 宇宙と宇宙をつなぐ数学 IUT理論の衝撃
ABC予想は整数論のお話です
ABC予想とは数学の中でも整数論と呼ばれる分野に分類される予想です。その名の通り整数論とは整数\begin{align}
x^n+y^n=z^n \label{Fe}
\end{align}の自然数の解を考える問題に関する定理です。このように方程式の自然数(または整数)の解を探すという問題をDiophantus方程式論と呼んだりします。ちょっとだけ式\eqref{Fe}について考えてみましょう。
(の場合) この場合は、たとえば
とすれば
\begin{align}
3^2+4^2=5^2
\end{align}となって式\eqref{Fe}を満たすことがわかります。もっと一般に、任意の自然数 に対して
\begin{align}
x=m^2-n^2,y=2mn,z=m^2+n^2
\end{align}とおけば は式\eqref{Fe}を満たす自然数の組になっていることが分かります。
このように では自然数解が(無限に)存在することが分かります。
ちなみに の場合のは直角三角形に関する三平方の定理(Pythagorasの定理)と関係が深くて、式\eqref{Fe}を満たす自然数の組をPythagoras数と呼んだりします。
では の場合はどうでしょうか？
を代入すれば式\eqref{Fe}が成立することは明らかですね*1。他の場合はどうでしょう…
実は の場合、式\eqref{Fe}の自然数解は存在しないことが証明されています！それがいわゆるFermatの最終定理です。
のとき式\eqref{Fe}を満たす自然数
は存在しない。
この定理は17世紀に数学者Pierre de Fermatによって予想され、それからなんとおよそ360年も後に数学者Andrew Wilesによる高度な手法を用いることで証明されました。
この定理は360年も未解決だったことや定理の主張が簡単なこと、ネーミングのかっこよさなどが相まって数学とは無縁な人にまでその名が広く知られることとなりました。
Wilesの論文は数学の論文としてはわりと長めの129ページもあり、使われている道具も代数幾何学という数学系大学生憧れがちの一大理論だったりして簡単に理解できるものではありません(わたしはまっっったく読めないです)。
そこで出てくるのがABC予想です。実は世紀の大定理であるFermatの最終定理はABC予想を認めるとあっさりと証明できるのです。
ABC予想
ではABC予想について紹介したいと思います。まず自然数自然数 は素因数分解が
\begin{align}
n=p_1^{r_1}p_2^{r_2}\cdots p_t^{r_t}
\end{align}と与えられているとする。このとき を
\begin{align}
\mathrm{rad}(n)=p_1p_2\cdots p_t
\end{align}と定め、これを の根基と呼ぶ。つまり根基は
の相異なる素因子の積。
例をいくつか計算してみましょう。
例1
例2
例3 素数 に対しては
定義より一般に となることもわかりますね。
さて、特に数学において興味があるのは、互いに素な３つの自然数 が
\begin{align}
a+b=c \label{abc}
\end{align}という関係にあるときの の根基
についてです。
具体的に式\eqref{abc}を満たす を取って
を計算してみましょう。
例1 とすると
例2 とすると
皆さんもお手元に紙を用意して実際にいくつか計算してみましょう！
\begin{align*}
\cdots \; \mathrm{計算中} \; \cdots
\end{align*}
では計算結果を観察してみましょう！お手元の計算結果では
\begin{align}
c< \mathrm{rad}(abc) \label{3}
\end{align}が成り立ってはいませんか？
どうやらあれこれ計算しても大抵は式\eqref{3}が成り立つみたいです。
では逆向きの不等式
\begin{align}
\mathrm{rad} (abc)<{c} \label{4}
\end{align}を満たすような自然数 は見つけられるでしょうか？
実は以下のように逆向きの不等式を満たす組 を見つけることができちゃいます。
自然数 に対して式\eqref{abc}を満たす３つの自然数
を
\begin{align}
a=1,b=3^{2^n}-1,c=3^{2^n}
\end{align}と置く。このとき任意の自然数 に対して不等式\eqref{4}が成立する。
証明 を因数分解すると
\begin{align}
3^{2^n}-1=(3^{2^{n-1}}+1)(3^{2^{n-1}}-1)
\end{align}となる。同様の操作を繰り返せば
=(3^{2^{n-1}}+1)(3^{2^{n-2}}+1)\cdots (3^2+1)(3+1)(3-1)
\end{align}
\mathrm{rad}(abc)&=\mathrm{rad}(3^{2^n}-1) \mathrm{rad}(3^{2^n}) \\
&\le 6 \cdot \frac{3^{2^n}-1}{2^{n+2}} < \frac{3}{2^{n+1}}3^{2^n} =\frac{3}{2^{n+1}}c
\end{align}
残念ながら不等式\eqref{4}を満たす を無限個見つけることができてしまいました。しかし式\eqref{3}を満たす自然数が圧倒的にたくさんあるのも事実です。そこで\eqref{4}の根基の部分をすこーしだけ大きくしたらどうでしょうか？
それこそがABC予想なのです。
任意の に対し、互いに素な自然数
で\eqref{abc}を満たすもので
\begin{align}
(\mathrm{rad}(abc))^{1+\varepsilon} <{c}
\end{align}を満たすものは有限個しか存在しない。
アルファベットのa,b,cが使われるのでABC予想と呼ばれます。望月先生が証明したのはこれだったのですね！
ABC予想とFermatの最終定理
ではFermatの最終定理をABC予想のもとで示してみましょう。ただ、上のABC予想をそのまま使うと話が少し複雑になるのでここでは次の修正版ABC予想を仮定したいと思います。互いに素な自然数 で\eqref{abc}を満たすもので
\begin{align}
(\mathrm{rad}(abc))^2<{c}
\end{align}を満たすものは存在しない。つまり常に
\begin{align}
c \le (\mathrm{rad}(abc))^2
\end{align}となる。
※望月教授が証明したのは修正前のABC予想であって、修正版ABC予想ではありません。わかりやすさのためにここでは修正版を用いています。
修正版ABC予想が成立するならFermatの最終定理が成立する。
証明 互いに素な自然数 が
を満たしていると仮定する*2。このとき
\begin{align}
x^n , y^n < x^n+y^n=z^n
\end{align}であることと修正版ABC予想より
\begin{align}
z^n \le (\mathrm{rad}(x^n y^n z^n))^2 =(\mathrm{rad}(xyz))^2 \le (xyz)^2 < z^6
\end{align}となる。これより が従うがその場合はEuler、Fermat、Dirichletなどによって示されている。したがってFermatの最終定理が示された*3。(QED)
少し修正が必要ですがABC予想を認めれば360年間未解決だった超難問も解けてしまうのですね。ABC予想の凄さが分かった気がします。
ふとした疑問
ふと思ったのですがABC予想を次の形にしたらどうなるのでしょうか？を満たす互いに素な自然数で
\begin{align}
\mathrm{rad}(abc)\log (\mathrm{rad}(abc)) {<} c
\end{align}となるものは有限個しか存在しないか？
もし何か思いついたらコメントください！
追記 この問題についてintegersさんの連載記事に解説が載っていました。
参考 : Q&ABC (その１) - INTEGERS
おわりに
ABC予想について勉強してきました。Fermatの最終定理以外にもABC予想やその類似から導ける数学的に重要な問題がたくさんあります。ABC予想はとっても重要なのですね。ところでWilesによるFermatの最終定理の証明は129ページもある長くて難しい論文だったのですが、望月先生の論文はどうなのでしょうか。実は今回ニュースになった論文はなんと驚愕の600ページ越えだそうです... 最初に提出されてから論文の正しさが認められるまでになんと8年もかかっています。
