Right Triangles and Integer Solutions
A Pythagorean triple is a triple of positive integers
satisfying the equation
This equation arises from the Pythagorean theorem in Euclidean geometry. If a right triangle has legs of lengths and , and hypotenuse , then
A classical example is
since
Other examples include
The study of Pythagorean triples is one of the oldest parts of number theory and leads naturally to deeper questions about Diophantine equations.
Primitive Pythagorean Triples
A Pythagorean triple is called primitive if
For example,
is primitive, while
is not, since all three numbers are divisible by .
Every nonprimitive triple can be obtained by multiplying a primitive triple by a positive integer. Thus the main problem is to classify primitive triples.
Basic Properties
Suppose
is a primitive Pythagorean triple.
First, and cannot both be even, since then would also be even. This would contradict primitiveness.
They also cannot both be odd. Indeed, if and are odd, then
so
But no square is congruent to . Therefore one of and must be even, and the other odd.
Without loss of generality, assume is odd and is even.
Parametrization of Primitive Triples
The complete description of primitive Pythagorean triples is given by the following theorem.
Theorem. Every primitive Pythagorean triple can be written uniquely in the form
where
and have opposite parity.
Conversely, every pair satisfying these conditions produces a primitive Pythagorean triple.
Substituting into the equation gives
Hence the formula always satisfies the Pythagorean equation.
Examples
Let
Then
Thus we recover the triple
Now let
Then
This gives
If we multiply by , we obtain the nonprimitive triple
Geometric Interpretation
The equation
defines the unit circle. Rational points on this circle correspond directly to Pythagorean triples.
Suppose
lies on the unit circle. Then
which is equivalent to
The parametrization of primitive triples arises from describing all rational points on the unit circle by lines through the point
This connection between geometry and arithmetic is fundamental in modern number theory and arithmetic geometry.
Historical Remarks
Pythagorean triples were known long before the Greek mathematicians. Babylonian tablets contain examples dating back nearly four thousand years. The systematic study of these triples eventually led to broader investigations of polynomial equations in integers.
The equation
for powers became the subject of entity[“historical_event”,“Fermat’s Last Theorem”,“proof completed by Andrew Wiles in 1994”]. Unlike the quadratic case, higher powers admit no nontrivial integer solutions. This contrast illustrates the special algebraic structure of quadratic equations.