For My 25 Followers

Geometry Level 5

x 3 + ( b d b c a b ) x 2 + ( b d b a a b c b d b b ) x 1 a \large x^{3}\,+\,\left(\sqrt[b]{\frac{b \sqrt[b]{d} - c}{a}}\right) x^{2}\,+\, \left(\frac{b-\sqrt[b]{d}}{a^{\frac{a}{b}} \sqrt[b]{c-b \sqrt[b]{d}} }\right) x\,-\,\frac{1}{a} Let a , b , c a,b,c and d d be constant prime numbers such that the equation above has roots:

sin ( 57 π 266 ) 3 , sin ( 23 π 322 ) 3 , sin ( 215 π 602 ) 3 . \sqrt[3]{\sin\left(\dfrac{57\pi}{266}\right)}, \quad \sqrt[3]{\sin\left( -\dfrac{23\pi}{322}\right)}, \quad \sqrt[3]{\sin\left(-\dfrac{215\pi}{602}\right)} .

Find a + b + c + d a+b+c+d .


The answer is 17.

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.

1 solution

Notice that the roots are x k = cos ( 2 π k 7 ) 3 x_k=\sqrt[3]{\cos\left(\dfrac{2\pi k}{7}\right)} for k { 1 , 2 , 3 } k\in\{1,2,3\} .

It is a well known fact that 2 x k 3 2x_k^3 are roots of the equation x 3 + x 2 2 x 1 = 0 x^3+x^2-2x-1=0 , so using Vieta's formula we get x 1 3 + x 2 3 + x 3 3 = 1 2 x_1^3+x_2^3+x_3^3=-\frac{1}{2} , ( x 1 x 2 ) 3 + ( x 1 x 3 ) 3 + ( x 2 x 3 ) 3 = 1 2 (x_1x_2)^3+(x_1x_3)^3+(x_2x_3)^3=-\frac{1}{2} and ( x 1 x 2 x 3 ) 3 = 1 8 (x_1x_2x_3)^3=\frac{1}{8} .

Let S 1 = x 1 + x 2 + x 3 S_1=x_1+x_2+x_3 , S 2 = x 1 x 2 + x 1 x 3 + x 2 x 3 S_2=x_1x_2+x_1x_3+x_2x_3 and S 3 = x 1 x 2 x 3 = 1 8 3 = 1 2 S_3=x_1x_2x_3=\sqrt[3]{\dfrac{1}{8}}=\dfrac{1}{2} .

Cube both sides of the values of S 1 S_1 and S 2 S_2 :

S 1 3 = x 1 3 + x 2 3 + x 3 3 + 3 ( x 1 + x 2 + x 3 ) ( x 1 x 2 + x 1 x 3 + x 2 x 3 ) 3 x 1 x 2 x 3 S 1 3 + 2 = 3 S 1 S 2 ( 1 ) S_1^3=x_1^3+x_2^3+x_3^3+3(x_1+x_2+x_3)(x_1x_2+x_1x_3+x_2x_3)-3x_1x_2x_3 \implies S_1^3+2=3S_1S_2 \ldots\ldots (1)

S 2 3 = ( x 1 x 2 ) 3 + ( x 1 x 3 ) 3 + ( x 2 x 3 ) 3 + 3 ( x 1 x 2 + x 1 x 3 + x 2 x 3 ) ( x 1 x 2 x 3 ) ( x 1 + x 2 + x 3 ) 3 ( x 1 x 2 x 3 ) 2 S 2 3 + 5 4 = 3 S 1 S 2 2 ( 2 ) S_2^3=(x_1x_2)^3+(x_1x_3)^3+(x_2x_3)^3+3(x_1x_2+x_1x_3+x_2x_3)(x_1x_2x_3)(x_1+x_2+x_3)-3(x_1x_2x_3)^2 \implies S_2^3+\dfrac{5}{4}=\dfrac{3S_1S_2}{2} \ldots\ldots (2)

Now substitute ( 1 ) (1) in ( 2 ) (2) :

S 2 3 + 5 4 = S 1 3 + 2 2 S 2 = 2 S 1 3 1 4 3 ( 3 ) S_2^3+\dfrac{5}{4}=\dfrac{S_1^3+2}{2} \\ S_2=\sqrt[3]{\dfrac{2S_1^3-1}{4}} \ldots\ldots (3)

Substitute ( 3 ) (3) in ( 1 ) (1) :

S 1 3 + 2 = 3 S 1 2 S 1 3 1 4 3 S_1^3+2=3S_1\sqrt[3]{\dfrac{2S_1^3-1}{4}}

Cube both sides:

( S 1 3 + 2 ) 3 = 27 S 1 3 ( 2 S 1 3 1 4 ) (S_1^3+2)^3=27S_1^3\left(\dfrac{2S_1^3-1}{4}\right)

S 1 9 15 2 S 1 6 + 75 4 S 1 3 + 8 = 0 S_1^9-\dfrac{15}{2}S_1^6+\dfrac{75}{4}S_1^3+8=0

Note that in this case we can complete the cube to solve for S 1 S_1 :

( S 1 3 5 2 ) 3 = 189 8 \left(S_1^3-\dfrac{5}{2}\right)^3=-\dfrac{189}{8}

S 1 = 5 3 7 3 2 3 S_1=\sqrt[3]{\dfrac{5-3\sqrt[3]{7}}{2}}

From equation ( 1 ) (1) , solve for S 2 S_2 (we could also solve from equation ( 3 ) (3) directly, but it wouldn't be in the required form):

S 2 = S 1 3 + 2 3 S 1 S_2=\dfrac{S_1^3+2}{3S_1}

S 2 = 3 7 3 2 2 / 3 5 3 7 3 3 S_2=\dfrac{3-\sqrt[3]{7}}{2^{2/3}\sqrt[3]{5-3\sqrt[3]{7}}}

Finally, the equation we want is x 3 S 1 x 2 + S 2 x S 3 = 0 x^3-S_1x^2+S_2x-S_3=0 , so substituting values we get:

x 3 + ( 3 7 3 5 2 3 ) x 2 + ( 3 7 3 2 2 / 3 5 3 7 3 3 ) x 1 2 = 0 x^3+\left(\sqrt[3]{\dfrac{3\sqrt[3]{7}-5}{2}}\right)x^2+\left(\dfrac{3-\sqrt[3]{7}}{2^{2/3}\sqrt[3]{5-3\sqrt[3]{7}}}\right)x-\dfrac{1}{2}=0 .

We get a = 2 a=2 , b = 3 b=3 , c = 5 c=5 and d = 7 d=7 . Thus the final answer is 17 \boxed{17} .

I was thinking to post same solution, but you did it.

Aditya Sky - 5 years, 1 month ago

Log in to reply

How did you think of this incredible problem?

Alan Enrique Ontiveros Salazar - 5 years, 1 month ago

Log in to reply

Actually, I was trying prove the following theorem.

If α is a prime number other than 2, then x α + y α + z α = 0 if and only if x + y + z = x y z = 0 \color{#3D99F6}{\text{If}\,\alpha\, \text{is a prime number other than 2, then}\,x^{\alpha}+y^{\alpha}+z^{\alpha}=0\, \text{if and only if}\,x+y+z=xyz=0} . Meanwhile, I found that the expanded of ( a + b + c ) 3 \left(a+b+c\right)^{3} can be written as a 3 + b 3 + c 3 + 3 ( a + b + c ) ( a b + b c + c a ) 3 a b c a^{3}+b^{3}+c^{3}+3(a+b+c)(ab+bc+ca)-3abc .

I was intrigued by this identity and decided to post a problem based on this.

Aditya Sky - 5 years ago

Log in to reply

@Aditya Sky That claim is not true. For example, with α = 3 \alpha = 3 , take x = 1 , y = 1 , z = 2 3 x = 1, y = 1, z = \sqrt[3]{-2} .

Calvin Lin Staff - 5 years ago

Log in to reply

@Calvin Lin I was thinking about it too. Actually, I found this identity somewhere on internet. I tried to prove it but was unable to do so. I too found some counter examples.

Aditya Sky - 5 years ago

Log in to reply

@Aditya Sky Nicely done! A lot of mathematics is about guessing and checking and finding counterexamples. If you can't find counterexamples, then just maybe you have a theorem!

I think the theorem that you are thinking of is "If a + b + c = a 3 + b 3 + c 3 = 0 a+b+c = a^3+b^3+c^3 = 0 , then a b c = 0 abc = 0 .

Calvin Lin Staff - 5 years ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...