The Sun glyph in Astronomy: the 9 planets and beyond

The Moon glyph in Astronomy: the 9 planets and beyond

 

 

 

Proof that the √2 is an irrational number.

 

Pythagoras' proof of the existence of irrational numbers follows. This discovery so changed the Geek view of the universe that they drowned one of their order, Hippasus of Metapontum, for divulging the existence of irrational numbers to an outsider. You may wish to first look at the proof of the Pythagorean Theorem, which implicitly demonstrates the existence of  Ö`2  (and therefore irrational numbers) insofar as an isosceles right triangle with sides of length 1 has an hypotenuse of length  Ö`2. We will proceed by the method known as "proof by contradiction:" we will assume that the Ö`2 is a rational number, and by so doing arrive at a contradiction, telling us that our original assumption must be false.

Assume that the Ö`2 is a rational number. Therefore, by the definition of a rational number, there must exist whole numbers m and n such that

m/n = Ö`2 .

If m and n are not reduced to lowest terms, i.e., if they contain common factors, factor them out until we are left with new whole numbers p and q that have no common factors (are reduced to lowest terms), and where p/q = Ö`2 .

After squaring both sides of this equation we get: p2/q2 = 2 and then multiplying both sides by q2 we get

p2 = 2q2

But this tells us that p2 is even (since it equals a multiple of 2: 2q2), and therefore p itself must be even, since 2 is a prime number and cannot appear in the square of a number unless it is a factor of the number itself. Therefore we can represent p as 2r (where r is a whole number), which by substitution in the above equation gives us (2r)2 = 2q2 --> (2r)(2r) = 2q2 --> 4r2 = 2q2 -->

2r2 = q2

which tells us that q2 is even, and therefore by the above reasoning q itself is even. But if both p and q are even, they are both divisible by 2. But p and q have no common factors, since starting with m and n we factored them all out to arrive at p and q. Therefore, by assuming that Ö`2 can be represented by a fraction p/q reduced to lowest terms, it follows that p and q are not reduced to lowest terms. Since following the rules of logical inference our assumption arrives at a contradiction to itself, it follows that our assumption must be false. Therefore there are no whole numbers that as a fraction equal Ö`2 ; or in other words, Ö`2 is not a rational number.

This proof was discovered by the Greeks over 2000 years ago!

This page and the entire website are excerpted from You and the Universe, a handmade, personalized fine art book on mythology, astrology and astronomy through which is woven the recipient's complete astrological reading. 

Home Page and site map: explore or order your fine art astrology book here!

 

 

 

Your personalized 232-pg fine art astrology book with complete astrology reading!

 

 

 

Your 212-page astrology-mythology-astronomy book

pages 2 and 3 of your personalized, fine art book: "You and the Universe"

 

 

 

The author, his poetry and instruments

Virgo and Venus in "You and the Universe"

 

 

 

 

unique personalized gifts luxury gift

astrology report

 

 

 

© Pythagoras and irrational numbers, 1991-2006. All rights reserved.