（ａ，ｂ，ｃ）＝（３，４，５）のように

　　ａ^2＋ｂ^2＝ｃ^2

を満たす三つ組み（ａ，ｂ，ｃ）は無限にあるが，

　　ａ^3＋ｂ^3＝ｃ^3

　　ａ^4＋ｂ^4＝ｃ^4

　　ａ^5＋ｂ^5＝ｃ^5

　　・・・・・・・・

を満たす三つ組みはひとつもないことが証明されている．

　また，強いａｂｃ予想を仮定すると，フェルマーの最終定理が証明されたことになる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】根基

　ａｂｃ予想（マッサー・エステルレ，１９８５年）は足し算的性質とかけ算的性質が複雑に絡み合った問題です．

　たとえばｎ＝２４の場合，素因数分解は

　　２４＝２^3・３^1

ですが，底に現れる指数を全部１にしたものを根基と呼ぶ．すなわち，

　　ｒａｄ（２４）＝２^1・３^1＝６

　６の倍数の根基はすべて６になるわけではない．

　　ｒａｄ（６）＝ｒａｄ（１２）＝ｒａｄ（１８）＝ｒａｄ（２４）

　＝ｒａｄ（３６）＝ｒａｄ（４８）＝ｒａｄ（７２）

　≠ｒａｄ（３０）

　≠ｒａｄ（４２）

　また，ｒａｄ（ｐ）＝ｐ，ｒａｄ（１）＝１

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】ａｂｃ三つ組

　互いに素な自然数ａ，ｂを考える．たとえばａ＝１０，ｂ＝２１のとき，

　　ｒａｄ（１０）＝２・５＝１０

　　ｒａｄ（２４）＝３・７＝２１

また，ｃ＝ａ＋ｂ，ｄ＝ｒａｄ（ａｂｃ）とする．

　ａ＝１０，ｂ＝２１，ｃ＝３１のとき

　ｄ＝ｒａｄ（１０・２１・３１）＝１０・２１・３１

　多くの場合，ｄ＞ｃである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

［１］ａ＝５，ｂ＝７，ｃ＝１２＝２^2・３

　ｄ＝ｒａｄ（ａｂｃ）＝５・７・６＞ｃ

［２］ａ＝１１，ｂ＝２５＝５^2，ｃ＝３６＝２^2・３^2

　ｄ＝ｒａｄ（ａｂｃ）＝１１・５・６＞ｃ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

　しかし，例外もあり

［３］ａ＝１，ｂ＝８＝２^3，ｃ＝９＝３^2

　ｄ＝ｒａｄ（ａｂｃ）＝１・２・３＜ｃ

［４］ａ＝５，ｂ＝２７＝３^3，ｃ＝３２＝２^5

　ｄ＝ｒａｄ（ａｂｃ）＝５・３・２＜ｃ

　ｃが５万未満では，（ａ，ｂ，ｃ）は３．８億通り．それに対して，例外的（ａ，ｂ，ｃ）は２７６通りと非常に少ない．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝