MagiMathics

Just another WordPress.com weblog

More on Pythagoras

leave a comment »

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\sqrt{2} can be expressed as a fraction\frac{a}{b} of two whole numbersa andb. Assume these are the two smallest such whole numbers – that is, they have no common divisor allowing the fraction to be further reduced. Then:

\frac{a^2}{b^2} = 2

so:

a^2 = 2 b^2

The right hand side is even, which meansa^2 is even, and thusa must be even, ora=2m for somem. But then:

{(2m)}^2 = 2b^2

so:

2m^2 = b^2

So the left hand side is even, and thusb must be even. But if botha andb 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. Assumea andb are relatively prime, and thatb is odd. Then:

{(a+b)}^2 = a^2 + b^2 + 2ab > a^2 + b^2 = c^2

Thusc < a+b. So we can writec = a+b-d for some positived. Then:

a^2 + b^2 = {(a+b-d)}^2 = a^2 + b^2 + d^2 + 2ab -2ad -2bd

So:

d^2 = 2ad + 2bd - 2ab

From this we can seed must be even. Letd=2m; then:

4m^2 = 4am+4bm-2ab

So:

ab=2am+2bm-2m^2

Thusab is even, and as we assumedb is odd,a must be even. Since the sum of an even and an odd is an odd,c^2 must be odd and soc must be odd.

Soa is even, andb andc are odd. We can writeb=s-t andc=s+t for some integerss andt. Then:

a^2 + {(s-t)}^2 = {(s+t)}^2

or:

a^2 + (s^2 - 2st + t^2) = (s^2 + 2st + t^2)

Simplifying:

a^2 = 4st

Sost must be a perfect square. We can writes=u^2 andt=v^2. Thus:

a^2 = 4u^2v^2

So:

a=2uv

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

( 2uv, u^2-v^2, u^2 + v^2 )

Advertisements

Written by Graham Wheeler

January 17, 2010 at 3:12 am

Posted in Uncategorized

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: