a と b が 互いに素 であり、かつ a + b = c を満たす自然数の組 (a, b, c) を abc-triple と呼ぶ。一般に「ABC予想」と呼ばれている未解決問題には、 大抵の場合は c < rad(abc) が成り立つが、ABC予想が言及しているのはこれが成り立たない abc-triple のほうである。例えば a = 1, b = 8 のときに c = 9, rad(abc) = 6 となる。 ただし c > rad(abc) が成り立つ abc-triple も無限に存在する [注釈 1] [注釈 2] ため、rad(abc) を少しだけ大きくすることで例を有限個にできな...