Algebraic Numbers

Algebra Level 5

A number is called algebraic if there is a polynomial with rational coefficients for which the number is a root. For example, 2 \sqrt{2} is algebraic because it is a root of the polynomial x 2 2 x^2 - 2 . The number 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } is also algebraic because it is a root of a monic polynomial of degree 8, namely x 8 + a x 7 + b x 6 + c x 5 + d x 4 + e x 3 + f x 2 + g x + h . x^8 + ax^7 + bx^6 + cx^5 + dx^4 + ex^3 + fx^2 + gx + h. Find a + b + c + d + e + f + g + h . |a| + |b| + |c| + |d| + |e| + |f| + |g| + |h|.


Details and assumptions:

  • A monic polynomial is a polynomial whose leading coefficient is 1.
  • For those who can't see the square roots clearly, the number is ( 2 + 3 1 2 + 5 1 2 ) 1 2 (2 + 3^{\frac 1 2 } + 5^{\frac 1 2 } )^{\frac 1 2} .


The answer is 92.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

3 solutions

Lachlan Maynard
May 20, 2014

As in the example given of 2 \sqrt{2} , it is apparent that 2 + 3 + 5 \sqrt{2+\sqrt{3}+\sqrt{5}} is a root of the irrational polynomial x 2 ( 2 + 3 + 5 ) x^2-(2+\sqrt{3}+\sqrt{5})

For any x x that is a solution to x 2 2 3 5 = 0 x^2-2-\sqrt{3}-\sqrt{5}=0 , we necessarily have that ( x 2 2 3 ) 2 5 = 0 (x^2-2-\sqrt{3})^2-5=0 .

Expanding, simplifying and isoating the 3 \sqrt{3} term, we get x 4 4 x 2 + 2 2 x 2 4 3 = 0 \frac {x^4-4x^2+2} {2x^2-4} -\sqrt{3}=0 at which point we repeat the step earlier and see that ( x 4 4 x 2 + 2 2 x 2 4 ) 2 3 = 0 (\frac {x^4-4x^2+2} {2x^2-4})^2-3=0

Expanding and simplifying leads us to x 8 8 x 6 + 8 x 4 + 32 x 2 44 = 0 x^8-8x^6+8x^4+32x^2-44=0 and from here simple addition gives that 0 + 8 + 0 + 8 + 0 + 32 + 0 + 44 = 92 0+|-8|+0+|8|+0+|32|+0+|-44|=92

We can simply take successive squares, to get rid of the introduced radical at each step. It is cleaner to approach this problem as x = 2 + 3 + 5 x = \sqrt{2 + \sqrt{3 + \sqrt{5}}} , x 2 = 2 + 3 + 5 x^2 = 2 + \sqrt{3+\sqrt{5}} , ( x 2 2 ) 2 = 3 + 5 (x^2-2)^2 = 3 + \sqrt{5} , hence [ ( x 2 2 ) 2 3 ] 2 = 5 [(x^2-2)^2-3]^2=5 . This doesn't require any creativity to create another term, or introduce that denominator.

Calvin Lin Staff - 7 years ago

Log in to reply

I think you took the wrong root in your solution, According to the question the root is 2 + 3 + 5 \sqrt{2+\sqrt{3} + \sqrt{5}} and not 2 + 3 + 5 \sqrt{2+\sqrt{3 + \sqrt{5}}} . Please correct it

Ishan Tarunesh - 7 years ago

Did the same way!

Miraj Shah - 5 years, 3 months ago

x 2 + 3 + 5 x-\sqrt{2+\sqrt{3+\sqrt{5}}} (1) To remove the radicals in (1), multiply it by x + 2 + 3 + 5 x+ \sqrt{2+\sqrt{3+\sqrt{5}}} . The resulting expression is x 2 ( 2 + 3 + 5 ) x^2-(2+\sqrt{3+\sqrt{5}}) (2) Then multiply (2) by x 2 + ( 2 + 3 + 5 ) x^2+(-2+\sqrt{3+\sqrt{5}}) to remove more radicals. The resulting expression is x 4 4 x 2 ( 4 + 2 15 ) x^4-4x^2-(4+2\sqrt{15}) (3) And using the same technique in removing the radicals in (2), multiply (3) by ( x 4 4 x 2 ) + ( 4 + 2 15 ) (x^4-4x^2)+(-4+2√15) . The resulting expression is x 8 8 x 6 + 8 x 4 + 32 x 2 44 x^8-8x^6+8x^4+32x^2-44 . Then, adding the absolute values of the coefficients of the terms (not including the term x 8 x^8 ), the result is 92, the desired answer.

[Latex edits. Note that 3 + 5 3 + 5 \sqrt{3} + \sqrt{5} \neq \sqrt{3 + \sqrt{5}} . Be clear in your writeup - Calvin]

Calvin Lin Staff
May 13, 2014

Let x = 2 + 3 + 5 x = \sqrt{ 2 + \sqrt{3} + \sqrt{5} } . Then x 2 2 = 3 + 5 x^2 - 2 = \sqrt{3} + \sqrt{5} , so ( x 2 2 ) 2 = 8 + 2 15 (x^2 - 2)^2 = 8 + 2 \sqrt{15} and so ( ( x 2 2 ) 2 8 ) 2 60 = 0 ((x^2-2)^2-8)^2 - 60 = 0 . The polynomial we seek is x 8 8 x 6 + 8 x 4 + 32 x 2 44 x^8 - 8x^6 + 8x^4 + 32x^2 - 44 , so the answer is 92.

This repeated squaring is the only way to get rid of the square roots, and it takes three squarings to get rid of all square roots, so the polynomial which has 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } as a root must have degree 8. This monic polynomial must be unique, for if p ( x ) p(x) and q ( x ) q(x) were different monic polynomials that had 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } as a root, then p ( x ) q ( x ) p(x) - q(x) would be a polynomial of degree less than 8 which would still have 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } as a root.

In general, a number is still called algebraic if there is a polynomial with rational coefficients for which the number is a root. The minimal polynomial of an algebraic number is the unique monic polynomial of smallest degree (with rational coefficients) which has the number as a root. Since the minimal polynomial of 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } actually has integer coefficients, the number 2 + 3 + 5 \sqrt{ 2 + \sqrt{3} + \sqrt{5} } is called an algebraic integer .

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...