An application of Baker's method to the Jeśmanowicz' conjecture on primitive Pythagorean triples (Q2300146): Difference between revisions

In 1956 Jeśmanowicz conjectured that the equation \[(m^2 - n^2)^x + (2mn)^y = (m^2 + n^2)^z,\] where \(m,n \in {\mathbb{N}}\) are coprime, has the only solution in positive integers \(x,y,z\), namely, \((x,y,z)=(2,2,2)\). \par This problem is still unsolved, although there are many partial cases that have been settled by now. In this paper the authors show that that Jeśmanowicz' conjecture is true if \(mn \equiv 2 \pmod 4\) and \(m>30.8n\). The proof involves an effective lower bound for a linear form in two logarithms.