Trigonometry or elementary algebra?

Geometry Level 5

cos ( 2 π 7 ) 3 + cos ( 4 π 7 ) 3 + cos ( 8 π 7 ) 3 \large \sqrt[3]{\cos\left( \frac{2\pi}{7} \right)} + \sqrt[3]{\cos \left(\frac{4\pi}{7}\right)} + \sqrt[3]{\cos \left(\frac{8\pi}{7}\right)}

If the value of the trigonometric expression above equals to 1 d ( a b c b ) 3 \displaystyle \large \sqrt[3]{\frac{1}{d}( a - b\sqrt[b]{c})} where a , b , c a,b,c and d d are positive integers, find the value of 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.

2 solutions

Let w = e 2 π i / 7 w=e^{2\pi i/7} . Then we know that w k + w 7 k = 2 cos ( 2 π k 7 ) w^k+w^{7-k}=2\cos\left(\dfrac{2\pi k}{7}\right) . Now let the expression we want be x x , and let a = cos ( 2 π 7 ) a=\cos\left(\dfrac{2\pi}{7}\right) , b = cos ( 4 π 7 ) b=\cos\left(\dfrac{4\pi}{7}\right) and c = cos ( 6 π 7 ) c=\cos\left(\dfrac{6\pi}{7}\right) . Hence, x = a 3 + b 3 + c 3 x=\sqrt[3]{a}+\sqrt[3]{b}+\sqrt[3]{c} .

First we are going to find a + b + c a+b+c , which is w + w 6 + w 2 + w 5 + w 3 + w 4 2 = 1 2 \dfrac{w+w^6+w^2+w^5+w^3+w^4}{2}=-\dfrac{1}{2} . Then a b + a c + b c ab+ac+bc , which after using the product to sum formulas for cosine we get 1 2 -\dfrac{1}{2} ; and similarly find a b c abc , which is 1 8 \dfrac{1}{8} .

Now, cube both sides of the original expression:

x 3 = a + b + c + 3 ( a 3 + b 3 + c 3 ) ( a b 3 + a c 3 + b c 3 ) 3 a b c 3 x^3=a+b+c+3(\sqrt[3]{a}+\sqrt[3]{b}+\sqrt[3]{c})(\sqrt[3]{ab}+\sqrt[3]{ac}+\sqrt[3]{bc})-3\sqrt[3]{abc}

Then let y = a b 3 + a c 3 + b c 3 y=\sqrt[3]{ab}+\sqrt[3]{ac}+\sqrt[3]{bc} :

x 3 = 1 2 + 3 x y 3 2 x^3=-\dfrac{1}{2}+3xy-\dfrac{3}{2}

x 3 + 2 = 3 x y ( 1 ) x^3+2=3xy \ldots\ldots (1)

Now, cube both sides of the expression with y y :

y 3 = a b + a c + b c + 3 ( a b 3 + a c 3 + b c 3 ) ( a b c 3 ) ( a 3 + b 3 + c 3 ) 3 ( a b c ) 2 3 y^3=ab+ac+bc+3(\sqrt[3]{ab}+\sqrt[3]{ac}+\sqrt[3]{bc})(\sqrt[3]{abc})(\sqrt[3]{a}+\sqrt[3]{b}+\sqrt[3]{c})-3\sqrt[3]{(abc)^2}

y 3 = 1 2 + 3 x y 2 3 4 y^3=-\dfrac{1}{2}+\dfrac {3xy}{2}-\dfrac{3}{4}

y 3 + 5 4 = 3 x y 2 ( 2 ) y^3+\dfrac{5}{4}=\dfrac{3xy}{2} \ldots\ldots (2)

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

y 3 + 5 4 = x 3 + 2 2 4 y 3 + 5 = 2 x 3 + 4 y = 2 x 3 1 4 3 ( 3 ) y^3+\dfrac{5}{4}=\dfrac{x^3+2}{2} \\ 4y^3+5=2x^3+4 \\ y=\sqrt[3]{\dfrac{2x^3-1}{4}} \ldots\ldots (3)

Finally substitute ( 3 ) (3) in ( 1 ) (1) :

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

Cube both sides:

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

x 9 + 6 x 6 + 12 x 3 + 8 = 27 2 x 6 27 4 x 3 x^9+6x^6+12x^3+8=\dfrac{27}{2}x^6-\dfrac{27}{4}x^3

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

Note that in this case we can complete the cube to solve for x x :

x 9 15 2 x 6 + 75 4 x 3 125 8 = 125 8 8 x^9-\dfrac{15}{2}x^6+\dfrac{75}{4}x^3-\dfrac{125}{8}=-\dfrac{125}{8}-8

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

x 3 5 2 = 3 7 3 2 x^3-\dfrac{5}{2}=-\dfrac{3\sqrt[3]{7}}{2}

x = 5 3 7 3 2 3 x=\sqrt[3]{\dfrac{5-3\sqrt[3]{7}}{2}}

On comparing with the given form we get a = 5 a=5 , b = 3 b=3 , c = 7 c=7 and d = 2 d=2 , hence a + b + c + d = 17 a+b+c+d=17 .

Adam Madni
Jun 8, 2020

let x=cos(2pi/7) , y=cos(4pi/7), z=cos(8pi/7)

Using roots of unity and product to sum formulas you can find that x + y + z = -0.5 xy + yz+ zx = -0.5 xyz = 0.125

Then use Ramanujan's theorem which states if f(x) = x^3 -mx^2 +nx -1 and the roots of f(x) are {a, b, c} then cuberoot(a) + cuberoot(b) + cuberoot(c) = cuberoot(m + 6 +3t) where t^3 - 3(m+n+3)t - (mn+6(m+n)+9)=0

In this case I let the roots of f(x) be 2x, 2y, and 2z because the product of those roots give a constant term of negative one then i divided by the cuberoot of 2 when figuring out cuberoot(x) + cuberoot(y) + cuberoot(z)

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...