## More on Pythagoras

Pythagoras is known for two great contributions to mathematics – he established the need for formal proofs instead of just conjecture and rules of thumb, and he established the existence of the irrationals. In popular culture of course, Pythagoras is more well known for the Pythagorean theorem – that the square of the hypotenuse of a right angled triangle is the sum of the squares of the other two sides – but this was one of the oldest known results in mathematics and in fact predates Pythagoras by as much as a thousand years. Nonetheless, Pythagoras provided a formal proof, and the result led him to ask whether there were rational numbers that worked in the case where the hypotenuse had the length two. That is, what was the fractional representation of the square root of two? Pythagoras managed to show there was none, leading to the discovery of the irrational numbers.

His proof was quite simple. Assume that can be expressed as a fraction of two whole numbers and. Assume these are the two smallest such whole numbers – that is, they have no common divisor allowing the fraction to be further reduced. Then:

so:

The right hand side is even, which means is even, and thus must be even, or for some. But then:

so:

So the left hand side is even, and thus must be even. But if both and are even, then they have a common factor 2, which contradicts the assumption that they were the smallest such numbers.

There are, of course, infinitely many cases where the Pythagorean triangles have sides with rational length, and for that matter, integer length. In a recent post I mentioned the method described by Diophantus that inspired Fermat’s last theorem. It is easy to derive this method. Assume and are relatively prime, and that is odd. Then:

Thus. So we can write for some positive. Then:

So:

From this we can see must be even. Let; then:

So:

Thus is even, and as we assumed is odd, must be even. Since the sum of an even and an odd is an odd, must be odd and so must be odd.

So is even, and and are odd. We can write and for some integers and. Then:

or:

Simplifying:

So must be a perfect square. We can write and. Thus:

So:

So we have shown that a Pythagorean triple takes the form:

## Leave a Reply