ABC予想の主張の解説 | 高校数学の美しい物語
a+b=ca+b=ca+b=c を満たす互いに素な自然数の組 (a,b,c)(a, b, c)(a,b,c) であって，任意の ϵ>0\epsilon > 0ϵ>0 に対して， c>rad(abc)1+ϵ c > \text{rad} (abc)^{1+\epsilon} c>rad(abc)1+ϵ を満たすものは有限個しか存在しない。 ただし，自然数 nnn に対して，nnn の互いに異なる素因数の積を rad(n)\text{rad} (n)rad(n) と書きます。 ABC予想とは，1985年にジョゼフ・オステルレとデイヴィッド・マッサーによって提起された，整数論における予想です。 2012年に，京都大学の望月新一教授によって，この予想を証明したとする論文がインターネット上に公開されました。その後たびたび話題となっていましたが，2020年に京都大学数理解析研究所の編集する専門誌「Pu
