せきゅーん: この議論を「乗」の場合に応用してみよう。すると、ABC予想の「深み」が見えて来る。まず、ABC予想に現れる不等式
は
と同値である。ところで、のときは
が成り立つから、
が成り立つようなABCトリプルが有限個と言っても同じことだ。以下、しばらくは の場合を考察する。
さて、さっき と考えていたところを
にしてみよう。すると、
となるような
は高々
個であることがわかる。そうして同じ議論を進めると
を得る。これはさっきとは大違いで、に対して
を定めることができるから、例えば
とできる。ここで、となるような分解
が1つでも存在するような正整数
のなす集合を
とおけば、
が容易に確認できるので、
が示せたことになる。つまり、ABC予想の弱い版「を満たすようなABCトリプルの密度は
である」が強い意味での密度(
に対する密度)について言えてしまった。
ラムネ: ひゃー。「とても少ないという状況の数学的定式化」をどうするかという問題において、「乗を考える」という条件は揃えておいて、「密度
」と「有限性」という2つの定式化を考える。これらは数学的には当然「有限であること」の方が「密度が
であること」より強いわけだけれど、この数学的強弱が証明の難しさや数学的深さをどれぐらい反映しているのかは直感ですぐには判断できそうもない。
せきゅーん: にも関わらず、上述のような議論を通してみると、「密度がであること」は加法的性質「
」に一切深入りすることなく素数の乗法的性質のみから簡単に導出されてしまう一方、どうやら「有限であること」を要請して初めて証明することが極めて難しく、極めて応用性が高く、極めて深い事実となるようなのだ。
ラムネ: ほほ〜。の場合は反例の存在によって「有限であること」が言えないからそこまで深いことが言えないけれど、
の場合は「有限であること」が見込めて、それで初めて深い予想に到達するというわけか。
せきゅーん: もちろん、まだ「密度では深くない」ことしか見えてなくて、今日の会話においては「有限なら確かに深い」という納得には至っていないがな。
ラムネ: そうそう。それについて2つの質問が残ってる。1つ目は何故の場合は例外が有限個だと予想できるのかということだ。
せきゅーん: 当然の疑問だな。これも数値例で見れば のとき以上に例外の個数が少なくなる。でも、数値例だけで「無限か有限か」なんて定性的な判断はできないよね。
の場合の無限族だって人に教えてもらわないと中なか見つけられないだろうし、鳩の巣議論を使った賢い議論まであったんだ。すごく頭のいい考え方をしたら
の場合だって例外的無限族が発生する怖さは必ずつきまとうだろう。数値例で具体的に選ぶ
だって無限に小さいところまではチェックできない。
もちろん、だからこそ「になった瞬間に例外が本当に有限個になるなら、それは真に驚嘆すべき予想である」と不思議がるのが正解なのかもしれない。
ラムネ: 「予想」というのは提出段階では「未解決問題」なんだからもちろん証明はない状況だ。それでも、数学者が「予想」という言葉を用いるときは成立する公算が高いときだよな。
せきゅーん: ああ、そういう空気感は確かにある。もちろん歴史的に否定的に解決された予想は多数あるんだけど、それでも数学者は成り立たない予想は出来るだけ立てたくないと思っていると想像する。だから、できる限りsupporting evidenceは多い方がいいな。supporting evidenceが数値例のみの予想もいっぱいありそうだけど。
実はABC予想には数値例以外にも例外の有限性を期待できるheuristic argumentが存在する。
ラムネ: ほう。それは是非教えていただきたい。
せきゅーん: エルデシュとウラムが1971年に当時未解決のフェルマーの最終定理に対して行った確率的考察を応用するんだ。ABC予想に到達するにはどうしても ということに真正面から向き合う必要がある。その部分を「組
と
が与えられたときに
となる確率はどれぐらいか」とheuristicに議論する。
まずは密度を示すときに使った議論を3つ組に対して拡張する。正整数全体を
の冪で分割することを考え、
が
の範囲にいる場合を考えよう。しばらくの間、
とおく。
となるような正整数の組
を考えよう。
とする。を満たすような
の個数は大雑把に見積もって
個以下だ。そのような
を固定したときには、
となるような
は高々
個であり、
を動かせば高々
個であることがわかった。
となるような正整数の組
を1組とって固定する。
,
,
となるような
はそれぞれ高々
個である。
ラムネ: を任意にとって、いくらか前に証明した補題を使うんだな。
せきゅーん: がどの2つも互いに素であり、
であるような場合に限定しても上からの評価は変わらないから、そのような
であって
を満たすようなものの個数は高々個であることがわかった。この個数は非常に小さい数
と非常に大きい
に対して
で上から押さえられる。
ここで、予告通り厳密ではない議論を取り入れよう。すなわち、今カウントしたものの中からランダムにを選んだとき、それが
を満たす確率を
のオーダーとみなす。
ラムネ: それは正しいのか?
せきゅーん: いいや。「妥当かもね」ぐらいの仮定だ。正当化はできない。このまま議論を進めさせてもらうと、 かつ
が十分大という条件のもと、
を満たすようなABCトリプルの期待個数が
ということになる。だったことを思い出して、
としよう。そうすれば
が十分大きい範囲における
を満たすような全ABCトリプルの期待個数は
以下と考えられる。がいくら小かろうとも
は収束するので、その期待個数は有限個となる。つまり、ABC予想の成立が特定の確率的仮定のもと期待された。
ラムネ: 確かに。こんな議論があったんだな。数値データだけの状況よりは随分と予想の成立に肯定的になれる。それに っていうことがやっぱり効いてるな。
せきゅーん: そろそろ疑問は解消されたかな?
ラムネ: いや、2つあると言った2つ目が残ってる。確かに例外が有限でありそうだと納得したとして、それが本当に凄いことだとどうすれば納得できるのかな。
せきゅーん: 凄いかどうかは主観的な判断にならざるを得ないと思う。それに、これまでの議論でもそれなりにABC予想それ自体の凄さは感じ取れると思う。
ラムネ: 確かに、主張が何を言っているかを理解するだけよりは格段にABC予想の凄さに迫れた気はする。「乗」と「有限性」はかなり絶妙なんだなあと。
せきゅーん: 今日わかったことは「素数と加法の不思議な関係性」に迫るためにABC予想を自分で予想してみようとすれば、それなりに自然にあの形に到達できそうということだ。でも、あの形だったら本当に凄いかは予想を立てた段階ではやっぱりわからないと思う。
ラムネ: というと?