せきゅーん: 指数持ち上げ補題 - INTEGERSを使えば似たようなやつはいくらでも構成できるんじゃない?えーっと、を奇素数として互いに素な正整数の組 を および を満たすように取るでしょ。それで
という分解を考えてみよう。指数持ち上げ補題によってだから
と評価できる。これが未満であればABC-hitになるから、
であればよくて、これは を固定しているときにとすれば無限族を与えるね。
ラムネ: の考え方が応用に効いてるな。例えば , , と選ぶとで、であれば が成り立つ。つまり、
はABC-hitsの無限族を与えていて、しかもを含まないABCトリプルになっている。
せきゅーん: あ、別に指数持ち上げ補題は使わなくてもよくて、奇素数に対してABCトリプルを考えれば、オイラーの定理より
だから
でABC-hitだ。こっちは固定した素数の指数が動くのではなく、素数が動いて無限族を作る。
ラムネ: 確かに。色々教えてくれてありがとう。どれも似た構造はしているけどABC-hitsの無限族はいくらでも作れることはわかった。それでメーソン・ストーサーズの定理の類似を狙った期待する不等式には無数に反例があったから、それでもがそんなに小さくならないという法則性を期待してちょっと大きくしてあげるんだよね。
せきゅーん: 実際にマッサーさんやエステルレさんがどう考えたかは知らないけど、1つの考え方としては悪くないと思う。
ラムネ: 大きくするためにと累乗するわけだ。単に累乗すると考えたらと表現するのが自然だけど、1乗で駄目だったのだからを考える。それで例のいわゆる「強い予想」によれば少なくともの時点で例外がなくなりそうだし、は小さければ小さいほどそのものの小さくなさを測ることができる。だから小さい実数によく用いるという記号によって乗と表現するのにも違和感はない。
せきゅーん: うむ。違和感があれば好きな文字を使えばいいだけだし。
ラムネ: でもさ、「大きくする」ってのは累乗が最初に考えることなのか? 1億倍するとかじゃ駄目なのか?
せきゅーん: いや、駄目かはやってみなくちゃわからないでしょ。今我々は予想の発見者になったつもりで追体験しているみたいなもんだけど、研究なんだから全部試すもんさ。
ただ、もう答えは出ているけどね。
ラムネ: え?あ、確かに任意に定数を選んだとしても、さっきのABCトリプルの例でいえばが十分大きければ
となって、やっぱりのに打ち勝てない例が無数に作れてしまう。
せきゅーん: 何倍しようとも無数に反例が作れちゃうから、もっと根本的に大きくしないといけない。乗を考えれば、の右辺はもはや殆ど全てのに対してに打ち勝ってしまってとりあえずABC予想の反例とは主張できないことがわかる。
ラムネ: 確かにがいくら小さかろうとも
はが十分大きいとよりも大きくなるもんなあ。
せきゅーん: ちなみに定数倍の次に大きくする手段として累乗は確かに思いつくんだけれど、もっと緩く
でどうかということだって考えてみたい。それで例外が有限になればそっちの方が数学的には強いからな。
の例を使って考えてみると、実は不等式
を満たすようなABCトリプルが無数に存在することが証明できる。
ラムネ: やってみる。ABCトリプルについてとおくと、の対数をとってが成り立つから、
が確かに成り立っている。うわ、のおかげでより強いことがわかるのか。
せきゅーん: 実はそうなんだ。これまでに与えた例だとこれぐらいしか言えないけれど、例えば1986年にStewartとTijdemanが十分小さいに対して
を満たすようなABCトリプルが無数に存在することを証明している。
ラムネ: として、
だからより強い結果だな。
だから勿論ABC予想の反例にはなっていない。というか、そんな無限族があるならそれを先に教えてよ。
せきゅーん: いや、証明には鳩の巣原理を使うんだ。
ラムネ: おう。あることは確かだが、どれであるかはわからないってやつか。一番ゾクゾクするやつじゃん。
せきゅーん: 証明する?
ラムネ: する!!!