The Pythagorean Theorem, that “beloved” formula of all high school geometry students, says that the sum of the squares of the sides of a right triangle equals the square of the hypotenuse. In symbols,
where a and b are the sides and c is the hypotenuse.
Since we are interested in number theory, that is, the theory of the natural numbers, we will ask whether there are any Pythagorean triangles all of whose sides are natural numbers. There are many such triangles. The most famous has side 3,4 and 5. Here are the first few examples:




Our first naive question is whether there are infinitely many Pythagorean triples, that is, triples of natural numbers
satisfying the equation 
The answer is “YES” for a silly reason. If we take a Pythagorean triple
and multiply it by some other number d, then we obtain a new Pythagorean triple
. This is true because

Clearly, these new Pythagorean triples are not very interesting. So we will concentrate our attention on triples with no common factors. We will even give them a name:
A primitive Pythagorean triple (or PPT for short) is a triple of numbers
so that a,b, and c have no common factors and satisfy
.
To investigate whether are infinitely many PPT’s is the same as asking whether there is a formula to find as many PPT’s as we want — the formula would contain relationship(s) between a, b and c.
As explained in the previous blog, the first step is to accumulate some data. I used a computer to substitute in values for a and b and checked if
is a square. Here are some PPT’s that I found:
;
;
;
;
;
;
;
;
;
;
.
A few conclusions can be easily drawn even from such a short list. For example, it certainly looks like one of a and b is odd and the other is even. It also seems that c is always odd.
It is not hard to prove that these conjectures are correct. First, if a and b are both even, then c would also be even. This means that a,b and c would have a common factor of 2, so the triple would not be primitive. Next, suppose that a and b are both odd, which means that c would have to be even. This means that there are numbers x,y and z so that
and
and 
We can substitute this in the equation
to get

Hence, 
This last equation says that an odd number is equal to an even number, which is impossible, so a and b cannot both be odd. Since, we have just checked that they cannot both be even and cannot both be odd, it must be true that one is even and the other is odd. It’s then obvious from the equation
that c is also odd.
We can always switch a and b, so our problem now is to find all solutions in natural numbers to the equation
with a odd, b even and a,b,c, having no common factors.
The tools we will use are factorization and divisibility.
Our first observation is that if
is a primitive PPT, then we can factor

Here are a few examples from the list given earlier, where note that we always take n to be odd and b to be even:




It looks like
and
are themselves always squares. We check this observation with a couple more examples:


How can we prove that
and
are squares? Another observation apparent from our list of examples is that
and
seem to have no common factors. We can prove this last assertion as follows. Suppose that d is a common factor of
and
, that is, d divides both
and
. Then, d also divides
and 
Thus, d divides
and
. But, b and c have no common factor because we are assuming that
is a primitive Pythagorean triple. So, d must equal 1 or 2. But, d also divides
and a is odd, so d must be 1. In other words, the only number dividing both
and
is 1, so
and
have no common factor.
We now know that
and
have no common factor, and that their product is a square since
. The only way that this can happen is if
and
are themselves squares. So, we can write
and
where
are odd integers with no common factors. Solving these two equations for b and c yields
and
and then

We have finished our first proof of elementary number theory! The following theorem records our accomplishment:
Theorem (Pythagorean Triple Theorem) You will get every primitive Pythagorean triple
with a odd and b even by using the formulas
and
and
where
are chosen to be any odd integers with no common factors.
More later…
Nalin Pithwa