Dice Question Streamline Icon: https://streamlinehq.com

abc conjecture

Establish that for every ε > 0 there exists a constant K_ε > 0 such that for all coprime integers a, b, c with a + b = c one has rad(abc) > K_ε c^{1−ε}; equivalently, prove that only finitely many coprime solutions to a + b = c satisfy rad(abc) < c^{1−ε}.

References

The celebrated abc conjecture of Masser and Oesterle asserts that for any & > 0 there is a constant Ke > 0 such that every triple (a, b, c) E N3 of coprime integers solving the equation a + b = c must also satisfy rad(abc) > KEcl-€.

The $abc$ conjecture is true almost always (Lichtman, 20 May 2025) in Section 1 (Introduction), Equation (1.1)