En teoría de números, la conjetura abc fue formulada por primera vez por Joseph Oesterlé y David Masser en el año 1985.
, tal que para cada tripleta de números coprimos positivos a, b y c que satisfagan
[1] Una más precisa formulación propuesta en 1996 por Alan Baker afirma que en la desigualdad, se puede reemplazar rad(abc) por ε−ωrad(abc), donde ω es el número total de primos distintos que dividen a a, b o c. Una conjetura relacionada, formulada por Andrew Granville, afirma que en el lado derecho de la inecuación podríamos escribir O(rad(abc) Θ(rad(abc)) donde Θ(n) es el número de enteros hasta n divisibles solo por primos que dividen a n.
Stewart y Kunrui Yu: 1996, C.L.
son constantes positivas computables en función de