Nice identity

Geometry Level 5

Given that cos 2 π 13 + cos 6 π 13 + cos 8 π 13 = a b c \cos\dfrac{2\pi}{13}+\cos\dfrac{6\pi}{13}+\cos\dfrac{8\pi}{13}=\dfrac{\sqrt{a}-b}{c} , where a , b , c a,b,c are coprime positive integers.

Find the value of a + b + c {a+b+c} .


The answer is 18.

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

Mark Hennings
Feb 10, 2017

Let ζ = e 2 π i 13 \zeta = e^{\frac{2\pi i}{13}} be the primitive 13 13 th root of unity. Then j = 6 6 ζ j = ζ 6 j = 0 12 ζ j = 0 \sum_{j=-6}^6 \zeta^j \; =\; \zeta^{-6}\sum_{j=0}^{12}\zeta^j \; = \; 0 If we now define A = ζ + ζ 1 + ζ 3 + ζ 3 + ζ 4 + ζ 4 B = ζ 2 + ζ 2 + ζ 5 + ζ 5 + ζ 6 + ζ 6 A \; = \; \zeta + \zeta^{-1} + \zeta^3 + \zeta^{-3} + \zeta^4 + \zeta^{-4} \hspace{1cm} B \; = \; \zeta^2 + \zeta^{-2} + \zeta^5 + \zeta^{-5} + \zeta^6 + \zeta^{-6} then is it easy to calculate that A + B = ζ 6 + ζ 5 + ζ 4 + ζ 3 + ζ 2 + ζ + ζ 1 + ζ 2 + ζ 3 + ζ 4 + ζ 5 + ζ 6 = 1 A B = 3 ( ζ 6 + ζ 5 + ζ 4 + ζ 3 + ζ 2 + ζ + ζ 1 + ζ 2 + ζ 3 + ζ 4 + ζ 5 + ζ 6 ) = 3 \begin{aligned} A + B & = \zeta^6 + \zeta^5 + \zeta^4 + \zeta^3 + \zeta^2 + \zeta + \zeta^{-1} + \zeta^{-2} + \zeta^{-3} + \zeta^{-4} +\zeta^{-5} + \zeta^{-6} \; = \; -1 \\ AB & = 3\big(\zeta^6 + \zeta^5 + \zeta^4 + \zeta^3 + \zeta^2 + \zeta + \zeta^{-1} + \zeta^{-2} + \zeta^{-3} + \zeta^{-4} +\zeta^{-5} + \zeta^{-6} \big) \; = \; -3 \end{aligned} so that A , B A,B are the roots of the quadratic X 2 + X 3 = 0 X^2 + X - 3 = 0 . Since 2 π 13 < 5 π 13 < 6 π 13 < π 2 \tfrac{2\pi}{13} < \tfrac{5\pi}{13} < \tfrac{6\pi}{13} < \tfrac{\pi}{2} and cos 8 π 13 = cos 5 π 13 \cos\tfrac{8\pi}{13} = -\cos\tfrac{5\pi}{13} , we see that A = 2 ( cos 2 π 13 + cos 6 π 13 + cos 8 π 13 ) > 0 A \; = \; 2\big(\cos\tfrac{2\pi}{13} + \cos\tfrac{6\pi}{13} + \cos\tfrac{8\pi}{13}\big) \; > \; 0 so that A = 1 2 ( 13 1 ) A = \tfrac12\big(\sqrt{13}-1\big) , and hence cos 2 π 13 + cos 6 π 13 + cos 8 π 13 = 1 4 ( 13 1 ) \cos\tfrac{2\pi}{13} + \cos\tfrac{6\pi}{13} + \cos\tfrac{8\pi}{13} \; = \; \tfrac14\big(\sqrt{13}-1\big) making the answer 13 + 1 + 4 = 18 13 + 1 + 4 = \boxed{18} .

Well roots of unity are useful, and it was clear from the form of the answer that we were looking for the roots of a quadratic, so it was a matter of finding the other root.

You will note that A A is the sum of all powers of ζ \zeta of the form ζ 2 2 n \zeta^{2^{2n}} , while B B is the sum of all powers of ζ \zeta of the form ζ 2 2 n + 1 \zeta^{2^{2n+1}} . Why that makes the method work is very subtle

Mark Hennings - 4 years, 3 months ago

Log in to reply

"You will note that A A is the sum of all powers of ζ \zeta of the form ζ 2 2 n \zeta^{2^{2n}} , while B B is the sum of all powers of ζ \zeta of the form ζ 2 2 n + 1 \zeta^{2^{2n+1}} . Why that makes the method work is very subtle."

Can you explain it a bit further? Is there some general argument you are hinting?

Kartik Sharma - 4 years, 1 month ago

Log in to reply

It depends on how much Galois Theory you know. Since ζ = e 2 π i 13 \zeta = e^{\frac{2\pi i }{13}} is a primitive 13 13 th root of unity, the Galois group Γ ( Q ( ζ ) , Q ) \Gamma(\mathbb{Q}(\zeta),\mathbb{Q}) is isomorphic to Z 13 \mathbb{Z}_{13}^\star to the multiplicative group of nonzero integers modulo 13 13 , and hence is cyclic of order 12 12 . Since this group has a unique subgroup of index 2 2 , there is a unique intermediate field Q F Q ( ζ ) \mathbb{Q} \subseteq F \subseteq \mathbb{Q}(\zeta) which has degree 2 2 over Q \mathbb{Q} , and this field must contain the desired number cos 2 π 13 + cos 6 π 13 + cos 8 π 13 \cos\tfrac{2\pi}{13} + \cos\frac{6\pi}{13} + \cos\frac{8\pi}{13} (the question tells us that this number satisfies a quadratic over Q \mathbb{Q} , and it certainly belongs to Q ( ζ ) \mathbb{Q}(\zeta) ).

If α \alpha generates the cyclic group Γ ( Q ( ζ ) , Q ) \Gamma(\mathbb{Q}(\zeta),\mathbb{Q}) , then α 2 \alpha^2 generates the subgroup of index 2 2 , and so F F is the fixed field of α 2 \alpha^2 , in that F = { z Q ( ζ ) α 2 ( z ) = z } F \; = \; \big\{ z \in \mathbb{Q}(\zeta) \; \big| \; \alpha^2(z) = z\big\} One generator α \alpha is the Q \mathbb{Q} -automorphism such that α ( ζ ) = ζ 2 \alpha(\zeta) = \zeta^2 , and therefore elements of F F are A = ζ + α 2 ( ζ ) + α 4 ( ζ ) + α 6 ( ζ ) + α 8 ( ζ ) + α 10 ( ζ ) B = α ( ζ ) + α 3 ( ζ ) + α 5 ( ζ ) + α 7 ( ζ ) + α 9 ( ζ ) + α 11 ( ζ ) \begin{aligned} A & = \; \zeta + \alpha^2(\zeta) + \alpha^4(\zeta) + \alpha^6(\zeta) + \alpha^8(\zeta) + \alpha^{10}(\zeta) \\ B & = \; \alpha(\zeta) + \alpha^3(\zeta) + \alpha^5(\zeta) + \alpha^7(\zeta) + \alpha^9(\zeta) + \alpha^{11}(\zeta) \end{aligned} and that is what I wrote down originally.

You can use the fact that A = β G β ( ζ ) B = β α G β ( ζ ) A \; = \; \sum_{\beta \in G} \beta(\zeta) \hspace{2cm} B \; = \; \sum_{\beta \in \alpha G} \beta(\zeta) where G G is the subgroup of Γ ( Q ( ζ ) , Q ) \Gamma(\mathbb{Q}(\zeta),\mathbb{Q}) of index 2 2 generated by α 2 \alpha^2 , to show that A A and B B must be the roots of a quadratic equation.

Mark Hennings - 4 years, 1 month ago

Just tell me what made you click such brilliant solution. They way you defined A and B was amazing , and I admit that doing that was beyond my capabilities. Hats off 👍

Aakash Khandelwal - 4 years, 3 months ago

@Mark Hennings is there no other method ?

Zerocool 141 - 4 years, 3 months ago

This is just beautiful sir mark hennings

avi solanki - 4 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...