朝はニュースの音で目覚めます。どうもzuraです。

今朝はABC予想の証明が提出されたとかなんとかで起きたんですけど証明した人が日本人だって言うじゃないですか。
なので、気になってABC予想について調べてみましたが、とても一朝一夕では理解できませんでした。

------------------------------------------
正の整数 n について、n の互いに異なる素因数の積を n の根基 (radical) と呼び、rad(n) と書く。以下に例を挙げる。
rad(16) = rad(24) = 2,
rad(17) = 17,
rad(18) = rad(2·32) = 2·3 = 6.
自然数の三つ組 (a, b, c) で、a + b = c, a < bで、a と b は互いに素 (coprime) を満たすものを abc-triple と呼ぶ。
事実 : rad(abc) < c を満たす abc-triple は無限個ある。 (a, b, c) = (1, 64n - 1, 64n) はこれを満たす。
予想 : abc-triple (a, b, c) の全てが c < rad(abc)2 を満たす。
（関連する）Beal 予想 : p, q, r が3 以上の自然数の時, xp + yq = zr を満たし、どの二つも互いに素であるような自然数 x, y, z は存在しない（互いに素でないならば（共通の約数を持つならば）23 + 23 = 24 という反例がある）。
(wikipediaより抜粋)
--------------------------------------------------

いったい全体なんのこっちゃって感じですが、これを簡単に理解するのが数学者なんですよね(´・～・｀) 本当に凄いです。
なんでも、５００枚の証明論文を書いたそうで、証明論文が間違ってないことを証明するのにどれだけかかるのやら・・・
証明されたらフェルマーの最終定理が一気に証明できるそうでなんかすごくワクワクしますねっ！

では、また次回！