Math Olympiad, Indian Statistical Institute, Chennai Mathematical Institute and Institute of Mathematics and Applications aspirants will find useful mathematics in this blog. Visit www dot cheenta dot com (our official website).

Saturday 26 November 2011

The Dreams of Pythagoras

Pythagoras is famous. Even those who do not like mathematics, have heard of Pythagoras' Theorem (regarding right angled triangles). He lived about 2500 years ago and did about 2500 wonderful things (well may be a little less) but all that is not the subject matter of this note. We want to talk about the shattered dreams of this famous mathematician and how the pieces of those fragmented dreams created modern mathematics. Pythagoras

Pythagoras believed numbers are omnipotent. The world that we see, the sound that we hear and even the thoughts and emotions that stir our mind are nothing but different numerical expressions of varying complexity. He even produced a theory that 'numerified' the world of music.

Every number, for Pythagoras, originates from 1. 1 was the all powerful number for him. You want to make a 10? Put ten 1's together and you have it. You want to make 3.2? First put three 1's together; that makes a 3. Then break another 'one' into ten equal pieces (each is then of the value 1/10 or 0.1) Put two of those pieces together with the 3 that you made earlier and behold ... you have 3.2.

In this way, claimed Pythagoras, you can make ANY number under heaven.

How can you make 1/3 = 0.3333333333 (and it goes on)? That is easy! Break the piece of '1' into three equal pieces and take one of them. In this way you can make 3.24, 1000, 35.123, 0.6666666 (2/3 - put the length of two 1's side by side, break the length into three equal parts, and you have it!)

The underlying idea of Pythagoras was this: any number is a ratio of two whole numbers (whole numbers being some multiple of 1). Such was the happy world of Pythagoras where every number was invariably extractable from 1.

Then came the NEMESIS... A right angled triangle whose two sides are of one unit length and the third side..... well Pythagoras started to measure it:

He put a '1' unit length on the third side of the triangle. But the side was not fully covered. 'it is greater than 1 unit' he thought, 'but two sticks of 1 unit length would be a little too longer'. So he broke another '1' unit long stick into into 10 equal pieces and found, to his dismay, that four pieces would be a little too short and 5 would be a little to long than the remaining portion.

The third side is then a little greater than
1+ 4* (1/10)  (=1.4)

Pythagoras again took a piece of 1/10 unit length and broke it into 10 parts. Each part is now of 1/100 length. If one of those ten small sticks are added to the remaining part of the third side, a little section still remains uncovered. However if he put two of the small sticks, it would again be a little too longer.

So the third side of the triangle is a little greater than

1+ 4*(1/10) + 1*(1/100) (=1.41)

In this way he tried for some time but it was always either a little more or a little less than the length of the third side. When this practical experiment failed, he tried a mathematical trick. He assumed the third side to be m/n (where m and n are positive integers). After all possible cancellations of common factors amongst numerator and denominator let the final ratio be a/b.

Now the famous Pythagoras' theorem says that the square of the third side is equal to the sum of the squares of other two sides. As the 'other two sides' of our satanic triangle are each one unit long, sum of their squares is 2 (square of 1 is 1 and add to that another square of 1 which is also 1). Hence the square of (a/b) must be 2. Hence after cross multiplication we have

a^2 = 2*b^2

Thus a^2 must be even (since 2*b^2 is a multiple of 2 hence it is even).

Then 'a' must be even. (If a is odd, a*a = a^2 would be odd since odd times odd is odd)

Since 'a' is even, a = 2*t (since 2 is factor of a)

Hence a^2 = (2*t)^2 = 4*(t^2)

Thus 4*(t^2) = 2*(b^2) or b^2 = 2*(t^2)

But then b^2 is even and hence b is even.

But this makes both a and b even which is outrageous because initially we had no common factors amongst a and b (realize that all common factors of m and n are cancelled out to make a/b).

Pythagoras was doubly puzzled. He could not accept the fact that there is no ratio whose square is 2. He could not accept this because then his theory of number would become incomplete and hence no more omnipotent. His belief, his dream about the 'numerified' world would be shattered. When one of his students suggested that such a ratio (whose square is 2) does not exist, he became so angry that he drowned him in the ocean.

However ideas can never be drowned. In modern mathematics, we know that a ratio whose square is 2, does not exist. In fact the number whose square is 2, can never be 'exactly' determined in terms of decimal expression. It is approximately 1.41421356237309504880168872420969807856967187537694807317667973799... (up till 65 digits). But it is a never ending decimal.

No comments:

Post a Comment