A website ( http://www.math.unicaen.fr/~nitaj/abc.html#Consequences ) says that the $abc$ conjecture implies that there are only finitely many solutions to the equation $x^n+y^n=z^n$ with $\gcd(x,y,z)=1$ and $n\ge 4$. This one I have proven.

Lang's Algebra (p. 196) says that the $abc$ conjecture implies that for all $n$ sufficiently large, there are no solutions to the equation $x^n+y^n=z^n$ with $x,y,z\ne 0$. This one I have not proven (is it true?).

What are the strongest known assertions about Fermat's Last Theorem that follows from the $abc$ conjecture, and how are they proven? I searched the web but people tend to just say vague things like "implies asymptotic version of FLT" and such.


There is a slight ambiguity what "the ABC conjecture" is as there are some variation. However, the most common and what you likely mean is this fomulation (or something equialent to it):

For every $\epsilon >0$, there is a $C_{\epsilon}$ such that: if $a+b=c$, with positive coprime intergers, then $$c < C_{\epsilon} \ \text{rad}(abc)^{1 +\epsilon}.$$

Now, for the equation $x^n + y^n = z^n$ this means that $$ z^n < C_{\epsilon}\ \text{rad}(x^ny^nz^n)^{1 +\epsilon}. $$ Yet $\text{rad}(x^ny^nz^n) = \text{rad}(xyz)$ so one actually has $$ z^n < C_{\epsilon} \ \text{rad}(xyz)^{1 +\epsilon}. $$ and since $z$ is the largest and since $\text{rad}(a) \le a$ this further means $$ z^n < C_{\epsilon} z^{3 + 3\epsilon}. $$ Now, take $\epsilon =1/4$, say. Then on the one hand this cannot hold for any $z>1$ for $n$ sufficiently large (so no solution for large $n$, what you ask) and also not for any $n \ge 4$ fixed for $z$ sufficiently large (so only finitely many for fixed $n$) or also only finitely many couples $(z,n)$ that fulfill this (for $n \ge 4$).

[Added:] Since the question was changed to remove the gcd condition in Langs's version, I add for completeness, that each solution (for given $n$) implies the existence of a coprime one (for this $n$) so since above establishes there are no coprime solutions for some $n$ then there are none at all. [End Added]

However, to make these things effective/explicit one would need to know something about $C_{\epsilon}$ (in dependence of $\epsilon$).

Regarding "strongest possible": I think this is about what can be said, from the conjecture in the way I stated it. If one assumes stronger conjectures where one would have an explicit dependence of $C_{\epsilon}$ on $\epsilon$ then one could give explicit bounds. But (I think) the argument essentially always passes throught the last displayed equation and checking what this yields.

  • $\begingroup$ Thanks, quid. So there are two asymptotic versions of FLT which none of my sources cared to distinguish! $\endgroup$ – Favst May 17 '13 at 17:41
  • 2
    $\begingroup$ You are welcome. Yes in some sense one can consider so to say "two limits" (in $z$ and in $n$) and thus there are in some sense different versions. Yet the finiteness of all solutions (under n> 3) contains all, as if there are only finitely many in total then there is a largest $n$ and a largest $z$ and so on. And, while I read it differently at first, thus my edit, I think the version you link to actually is meant to assert the finiteness of the set of all solutions , ie couples $(z,n)$ and thus contains Lang's. $\endgroup$ – user9072 May 17 '13 at 17:49
  • 10
    $\begingroup$ If we would know that $C_1=1$ for $\epsilon =1$ (and no counterexample is known to that), then FLT would follow for exponents $n\ge 7$. $\endgroup$ – Dietrich Burde May 17 '13 at 17:52
  • 3
    $\begingroup$ @Dietrich Burde: I think even for $n \ge 6$, as the inequality is strict. $\endgroup$ – user9072 May 17 '13 at 20:13
  • $\begingroup$ @DietrichBurde Please see mathoverflow.net/questions/303141 $\endgroup$ – Đào Thanh Oai Dec 14 '18 at 1:10

protected by Todd Trimble Aug 2 '14 at 23:14

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.