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