Fermat left only one proof.

The area of a Pythagorean triangle is never a square number.

Fermat wrote , “If the area of a right-angled triangle were a square, there would exist two biquadrates (fourth powers) the difference of which would be a square number.”

That is,

[latex] a^4\, -\, b^4 = c^2[/latex]

He used the method of infinite descent which is a proof of non-existence or a form of proof by contradiction. It was not a new proof – it is recorded in Euclid’s *Elements*.

It relies on the Well-Ordering Principle that a set of numbers contains a least element.

One assumes that a solution exists in the natural numbers which would imply that a second, smaller solution also exists and so on. Since there cannot exist an infinity of of ever smaller solutions in the natural numbers, the original premise is incorrect and the assumption is contradicted.

The descent step seems to construct a set of positive integers which does not have a least member. Therefore, it is the empty set.

We consider the related Diophantine equation

[latex]x^4 + y^4 = z^2[/latex]

and whether it has any solutions.

Let the solution be :

[latex]x = x_1,\,\, y = y_1,\,\, z = z_1[/latex].

If gcd [latex](x_1, y_1) = d \gt 1[/latex], then we can write [latex]x_1 = dx’,\, y_1 = dy'[/latex].

Substitute into the equation :

[latex](dx’)^4 + (dy’)^4 = z_1^2[/latex]

Factorise :

[latex]d^4(x’^4 + y’^4) = z_1^2[/latex]

It follows that [latex]d^2[/latex] divides [latex]z_1[/latex] and that [latex]z_1 = d^2z'[/latex].

[latex](z_1^2/d^4 = z’^2,\,\, z_1^2 = d^4z’^2,\, \,z_1 = d^2z’)[/latex]

Then :

[latex]x’^4 + y’^4 = z’^2[/latex],

where gcd[latex](x’, y’) = 1[/latex] and [latex]z’ \lt\, z[/latex]. We can assume that gcd [latex](x_1, y_1) = 1[/latex]. We have established that they have no common factors.

We now write the equation as

[latex](x_1^2)^2 + (y_1^2)^2 = z_1^2[/latex]

This is a primitive Pythagorean triple.

[latex]

\begin{align}

x_1^2 &= m^2\, – \,n^2 \tag 1\\

y_1^2 &= 2mn \tag2\\

z_1 &= m^2 + n^2 \tag3

\end{align}

[/latex]

where [latex]m[/latex] and [latex]n[/latex] are relatively prime positive integers of opposite parity and [latex]m\gt n[/latex].

In this case, [latex]m[/latex] must be odd and [latex]n[/latex] must be even otherwise

[latex] x_1^2 = m^2\,-\,n^2\equiv 0\, – 1 \equiv 3 \pmod 4[/latex]

which is impossible because a square number is congruent to either [latex]0[/latex] or [latex]1[/latex] in modulo [latex]4[/latex].

Let :

[latex]n = 2r[/latex]

Modify the equations :

[latex]

\begin{align}

x_1^2 &= m^2 \,- \,4r^2\tag4\\

y_1^2 &= 4mr \tag5\\

z_1 &= m^2 + 4r^2\tag6

\end{align}

[/latex]

From ([latex]4[/latex]) :

[latex]x_1^2 + 4r^2 = m^2[/latex]

so [latex](x_1, 2r, m)[/latex] is a primitive Pythagorean triple.

From [latex](5)[/latex] :

[latex](y_1/2)^2 = mr[/latex]

where [latex]m[/latex] and [latex]r[/latex] are relatively prime; it follows that [latex]m[/latex] and [latex]r[/latex] are both squares.

Let :

[latex]m = s^2[/latex] and [latex]r = t^2[/latex]

We descend.

[latex]

\begin{align}

x_1 &= u^2\,-\,v^2\tag7\\

2r &= 2uv\tag8\\

m&= u^2 + v^2\tag9

\end{align}

[/latex]

where [latex]u[/latex] and [latex]v[/latex] are relatively prime positive integers with opposite parity and [latex]u\gt v[/latex]

But :

[latex]n = 2r = 2t^2[/latex]

So :

[latex]uv = t^2[/latex]

Hence, [latex]u[/latex] and [latex]v[/latex] are both squares.

Let :

[latex]u = x_2^2,\,v = y_2^2[/latex]

Substitute into [latex](9)[/latex] above :

[latex]s^2 = x_2^4 + y_2^4 = z_2^2 \text\,{,say} \tag{10}[/latex]

Thus, this is another solution to the original equation.

It is ‘smaller’ because

[latex]0 \lt z_2 = s \le m \lt m^2 + n^2 = z_1[/latex]

We have completed the descent step.

Thus, the assumption that there exists a positive solution is contradicted.

The Diophantine equation

[latex]x^4 + y^4 = z^2[/latex]

has no positive solutions.

Since any fourth power is necessarily a square, the method of infinite descent can be used to show that the Diophantine equation

[latex]x^4 +y^4 = z^4[/latex]

has no positive solutions.

© OldTrout 2018