Results 1 to 9 of 9
Thread: Totally Irrational

20050615, 14:25 #1
 Join Date
 Nov 2001
 Location
 Melbourne, Victoria, Australia
 Posts
 5,016
 Thanks
 0
 Thanked 0 Times in 0 Posts
Totally Irrational
If someone were to advocate that the square root of 2 is actually a rational number (a number that can be written as the ratio of two whole numbers), how could you disprove this hypothesis?
I should probably exclude HansV from this puzzle, since he's probably worked it out "on the fly" already. <img src=/S/grin.gif border=0 alt=grin width=15 height=15>
Alan

20050615, 14:48 #2
 Join Date
 Jul 2002
 Location
 Pittsburgh, Pennsylvania, USA
 Posts
 11,225
 Thanks
 14
 Thanked 342 Times in 335 Posts
Re: Totally Irrational
<span style="backgroundcolor: #FFFF00; color: #FFFF00; fontweight: bold">I would presume it were rational (some number x/y) that are whole numbers, real, and that x/y is a reduced fraction. I would then demonstrate that both x and y were even numbers negating that it could be reduced and proving it could not be true.</span hide>
Steve

20050615, 14:59 #3
 Join Date
 Feb 2002
 Location
 A Magic Forest in Deepest, Darkest Kent
 Posts
 5,681
 Thanks
 0
 Thanked 1 Time in 1 Post
Re: Totally Irrational
<span style="backgroundcolor: #FFFF00; color: #FFFF00; fontweight: bold">Assume that sqr(2) = A/B where A and B are the positive integers and B is the smallest possible. Then A > B and also B > A  B, so that we have
(2B  A)/(A  [img]/forums/images/smilies/cool.gif[/img] = (2  A/[img]/forums/images/smilies/cool.gif[/img]/(A/B  1)
= (2  sqr(2))/(sqr(2)  1)
= (2  sqr(2))(sqr(2) + 1)
= sqr(2)
But this contradicts the minimality of B.</span hide>Jerry

20050616, 00:35 #4
 Join Date
 Nov 2001
 Location
 Melbourne, Victoria, Australia
 Posts
 5,016
 Thanks
 0
 Thanked 0 Times in 0 Posts
Re: Totally Irrational
Concurs with my analysis Steve.
Alan

20050616, 00:36 #5
 Join Date
 Nov 2001
 Location
 Melbourne, Victoria, Australia
 Posts
 5,016
 Thanks
 0
 Thanked 0 Times in 0 Posts
Re: Totally Irrational
Interesting approach Jezza. Again, the contradictions upturn the hypothesis.
Alan

20050619, 19:21 #6
 Join Date
 Feb 2002
 Location
 A Magic Forest in Deepest, Darkest Kent
 Posts
 5,681
 Thanks
 0
 Thanked 1 Time in 1 Post
Re: Totally Irrational
Alan another way is:
X/Y=√2
=> X/Y x X/Y = √2 x √2
=>X^2/Y^2 = 2
=> X^2 = 2 x Y^2
OK so far? Well we can apply the next assumptions:
1) A number that can be divided by 2 is even
2) If you multiply an odd number by an odd number, you get another odd number
3) If you, multiply any number (odd or even ) by an even number, you get an even number.
As the righthand side of the equals sign is 2 x Y^2, the result must be even. So X^2 must be even.
If X is even then it can be divided by 2. So X^2 can be divided by 4, and we know that X^2 is the same as 2 x Y ^2. If 2 x Y ^2 can be divided by 4, then we know Y^2 can be divided by 2. So Y ^2 is even (and so Y is even too).
Therefore I have shown that X and Y are even, so therefore X/Y is not the simplest fraction as they are both divisible by 2. A contradiction of terms.
Therefore √2 cannot be represented by a fractionJerry

20050619, 19:47 #7
 Join Date
 Mar 2002
 Posts
 84,353
 Thanks
 0
 Thanked 31 Times in 31 Posts
Re: Totally Irrational
That is correct, it is an expansion of Steve's reply.

20050619, 20:12 #8
 Join Date
 Feb 2002
 Location
 A Magic Forest in Deepest, Darkest Kent
 Posts
 5,681
 Thanks
 0
 Thanked 1 Time in 1 Post
Re: Totally Irrational
I agree that it is an expansion of Steve's.
I just wanted to share the twist when viewing the full calculation. Call it an irrational thought <img src=/S/bubbles.gif border=0 alt=bubbles width=31 height=17>Jerry

20050619, 22:19 #9
 Join Date
 Jul 2002
 Location
 Pittsburgh, Pennsylvania, USA
 Posts
 11,225
 Thanks
 14
 Thanked 342 Times in 335 Posts
Re: Totally Irrational
Yes the question by alan was "how could you disprove this hypothesis". He never asked for any details... <img src=/S/evilgrin.gif border=0 alt=evilgrin width=15 height=15>
Steve