Proof that sqrt(6)-sqrt(2)-sqrt(3) is irrational

  • Thread starter abruzzi
  • Start date
  • #1
4
0

Main Question or Discussion Point

I want to prove that [tex]\sqrt 6 - \sqrt 2- \sqrt 3[/tex] is irrational.

I already know that [tex]\sqrt 2+\sqrt 3[/tex] is irrational (by squaring it). I would like a proof that doesn't use a polynomial and the rational root theorem.

Thanks.
 
Last edited:

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
I want to proof that [tex]\sqrt 6 - \sqrt 2- \sqrt 3[/tex] is irrational.

I already know that [tex]\sqrt 2+\sqrt 3[/tex] is irrational (by squaring it). I would like a proof that doesn't use a polynomial and the rational root theorem.

Thanks.
Is [itex]\mahtbb{Q}(\sqrt{2}, \sqrt{3})[/itex] Galois over Q? If so, something is rational if and only if it is equal to all of its conjugates. (The same is true if the field isn't galois... it's just that in that case, its conjugates would live in other fields)
 
  • #3
4
0
Sorry, but I have no idea about groups, rings, fields, etc. I am looking for a basic proof.

For example the proof that I have that [tex]\sqrt 2 + \sqrt 3[/tex] is irrational is that, supposing it is rational, its square should also be rational. But [tex](\sqrt 2 + \sqrt 3)^2 = 5+2\sqrt6[/tex] is irrational because [tex]\sqrt 6[/tex] is irrational.

I would like to come up with a similar proof for [tex]\sqrt 6 - (\sqrt 2 + \sqrt 3)[/tex]
 
  • #4
tiny-tim
Science Advisor
Homework Helper
25,832
251
II already know that [tex]\sqrt 2+\sqrt 3[/tex] is irrational (by squaring it).
Hi abruzzi! :smile:

How about squaring [tex]n+\sqrt 2+\sqrt 3[/tex], for some whole number n?
 
  • #5
4
0
By taking n=-1 and squaring we get [tex]2\sqrt 6 - 2\sqrt 3 - 2\sqrt 2 + 6 = 6 + 2(\sqrt 6 -\sqrt 3-\sqrt 2)[/tex]

But from this I cannot conclude anything - since knowing that number a is irrational doesn't mean that a^2 is (for example [tex]a=\sqrt 2[/tex]).

Or am I not on the right path?
 
  • #6
tiny-tim
Science Advisor
Homework Helper
25,832
251
oops!

ooh, you're right! :rolleyes:

ok, let's try this:

rational + irrational = irrational.

rational x irrational = irrational.

Suppose √6 - √3 - √2 is rational.

Then (1 +√3)(1 + √2) is irrational, because it is (1 + 2√6) - (√6 - √3 - √2).

But (1 - √3)(1 - √2) is rational, because it is 1 + (√6 - √3 - √2).

So the product (1 +√3)(1 + √2)(1 - √3)(1 - √2) is irrational.

But it isn't - it's 2. :smile:
 
  • #7
mathwonk
Science Advisor
Homework Helper
10,960
1,135
sqrt2 + sqrt3 = sqrt 6 + r, with r rational,

implies, by squaring both sides, that 1 + r^2 = (2-2r)sqrt6. which equates a rational and an irrational.
 
  • #8
tiny-tim
Science Advisor
Homework Helper
25,832
251
… mathwonk is cool …

:smile: ooh, mathwonk, that's much better! :smile:
 
  • #9
4
0
That was exactly what I was looking for, thanks!
 
  • #10
lurflurf
Homework Helper
2,432
132
Much nicer than mine
let x=√6-√3-√2
x³-3x²-15x-3=4√2
->x is irrational
or
let y=√323-√19-√17
y³-19y²-393y+4883=72√17
->y is irrational
mathwonks works for that too
√323=(297+y²)/(2-2y)
->y is irrational
just two was of writing m√ab
one in Z[√a,√b]
one in the field of fractions
the fraction sure give nice numbers though
 
  • #11
67
0
Well I think if you can prove that any one of the terms is irrational, which should be easy, and if the number subtracted by it will be irrational, unless the number you subtract by is the same number or follows the same irrational pattern, which would be quite hard as it is impossible to find a pattern, thus if you were to subtract 2 irrational numbers, there should be an infinite probability that they will be irrational and rational =\.

for example you have an irrational number

.342526524525352325........n where n are the rest of the terms
-.1412413431413........n then the 2 n's would cause repeating zeros, thus being rational.

Just bringing up irrat-irrat

But there is no way to prove that at some point the rest of the digits would be the same (aka n), yet as it goes on for ever it could happen. Very weird little thing infinity =P, I'm in very low level maths, and I just wanted to contribute so this is all I could think of =], I'm sure there is a clever way to prove it though.
 

Related Threads on Proof that sqrt(6)-sqrt(2)-sqrt(3) is irrational

  • Last Post
Replies
14
Views
4K
  • Last Post
Replies
14
Views
924
  • Last Post
Replies
8
Views
6K
  • Last Post
Replies
5
Views
1K
Replies
6
Views
30K
  • Last Post
Replies
14
Views
2K
Replies
8
Views
1K
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
19
Views
18K
Top