• Support PF! Buy your school textbooks, materials and every day products Here!

Root 3 + root 2

  • #1
I need to show that this is an algebraic number.

In other words,

I need to show: an*x^n + an1*x^(n-1) + ... + a1 * x^1 + a0 * x^0 =
where the a terms are not ALL 0 but some of them can be.

Like for root 2 by itself,

I have 1 * (root 2) ^ 2 + 0 * (root 2)^1 + -2 * (root 2) ^ 0
 

Answers and Replies

  • #2
59
0
How about a5=1, a3=-10, a1=1, all others zero?
 
  • #3
According to Maple, that gives -.30e-7.
 
  • #4
740
13
let [tex]x = \sqrt{3} + \sqrt{2}[/tex]

then [tex](x - \sqrt{3})^2 = x^2 - 2\sqrt{3}x + 3 = 2[/tex]

... something like that. put one square root one one side & the rest on the other, square both sides, etc etc then you'll get a 4th-degree polynomial that has [tex]\sqrt{3} + \sqrt{2}[/tex] as a root. end of proof
 
  • #5
lokisapocalypse said:
According to Maple, that gives -.30e-7.
Rounding error.

--J
 
  • #6
Curious3141
Homework Helper
2,843
86
The easiest way is just to find an equation with integral coefficients that has the number as a root.

What is the square of [tex]\sqrt{2} + \sqrt{3}[/tex] ? Express that in the form : integer plus a square root. Let's call this [tex]n_1 = a + \sqrt{b}[/tex]

Next, find the conjugate of the number. [tex]n_2 = a - \sqrt{b}[/tex]

Set up the equation [tex](y - n_1)(y - n_2) = 0[/tex] and expand it out. You know for certain that this equation is going to have integral coefficients because that's a property of conjugate surds.

Once you have that equation in y, just put [tex]x^2 = y[/tex] and get a quartic in x. That equation will have [tex]\sqrt{2} + \sqrt{3}[/tex] as one of the roots, and you're done.
 
Last edited:
  • #7
1,056
0
You can look at this from the standpoint of Galois theory. Along with one surd we are going to get the conjugate of: [tex]\pm\sqrt2[/tex]. So putting both roots in a quadratic makes the coefficients rational. [tex]x^2-2=0[/tex].

The same idea can be applied to this expression: [tex]\pm\sqrt{2}[/tex][tex]\pm\sqrt{3}[/tex]. We don't want the surds to appear in the coefficients.

Maybe not as efficient as described in previous postings, but does offer some insight.
 
Last edited:
  • #8
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
17
According to Maple, that gives -.30e-7.
It shouldn't; Maple is capable of doing symbolic arithmetic. Don't ask it to approximate. :tongue2:

By the way, please don't multiple post. :mad:
 
Last edited:
  • #9
HallsofIvy
Science Advisor
Homework Helper
41,777
911
Standard method: Use the fact that (a+ b)(a- b)= a2- b2 to get rid of the square roots.
[tex](x- \sqrt{3}-\sqrt{2})(x-\sqrt{3}+ \sqrt{2})= (x- \sqrt{3})^2- 2= x^2- 2\sqrt{3}x+1[/tex]

[tex](x^2+1-2\sqrt{3}x)(x^2+1+2\sqrt{3}x)= (x^2+1)^2- 12x^2= x^4+ 2x^2+ 1- 12x^2= x^4- 10x^2+ 1[/tex]

[tex]\sqrt{3}+ \sqrt{2}[/tex]
is algebraic because it satisfies
[tex]x^4-10x^2+ 1[/tex]
 
Last edited by a moderator:
  • #10
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
17
You made a typo in there somewhere.
 
  • #11
I apologize for the multiple post...I was in a panic. Won't happen again.
 
  • #12
HallsofIvy
Science Advisor
Homework Helper
41,777
911
Hurkyl said:
You made a typo in there somewhere.
Yep, I dropped an "x" early on. I've edited it. Thanks, Hurkyl.
 
  • #13
35
0
Wow, I hope I never have to do these kind of problems. What course is this for?
 
  • #14
263
0
adc85 said:
Wow, I hope I never have to do these kind of problems. What course is this for?
Modern Algebra course of some kind. I'm doing a similar one myself this semester. Actually, I solved that very exercise a couple of hours ago.

Very nice course, by the way. Don't hope without knowing. :wink:
 

Related Threads for: Root 3 + root 2

  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
7
Views
2K
Replies
14
Views
24K
Replies
10
Views
2K
Replies
4
Views
15K
  • Last Post
Replies
1
Views
4K
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
7
Views
3K
Top