Given that cos 1 3 2 π + cos 1 3 6 π + cos 1 3 8 π = c a − b , where a , b , c are coprime positive integers.
Find the value of a + b + c .
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.
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 is the sum of all powers of ζ of the form ζ 2 2 n , while B is the sum of all powers of ζ of the form ζ 2 2 n + 1 . Why that makes the method work is very subtle
Log in to reply
"You will note that A is the sum of all powers of ζ of the form ζ 2 2 n , while B is the sum of all powers of ζ of the form ζ 2 2 n + 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?
Log in to reply
It depends on how much Galois Theory you know. Since ζ = e 1 3 2 π i is a primitive 1 3 th root of unity, the Galois group Γ ( Q ( ζ ) , Q ) is isomorphic to Z 1 3 ⋆ to the multiplicative group of nonzero integers modulo 1 3 , and hence is cyclic of order 1 2 . Since this group has a unique subgroup of index 2 , there is a unique intermediate field Q ⊆ F ⊆ Q ( ζ ) which has degree 2 over Q , and this field must contain the desired number cos 1 3 2 π + cos 1 3 6 π + cos 1 3 8 π (the question tells us that this number satisfies a quadratic over Q , and it certainly belongs to Q ( ζ ) ).
If α generates the cyclic group Γ ( Q ( ζ ) , Q ) , then α 2 generates the subgroup of index 2 , and so F is the fixed field of α 2 , in that F = { z ∈ Q ( ζ ) ∣ ∣ α 2 ( z ) = z } One generator α is the Q -automorphism such that α ( ζ ) = ζ 2 , and therefore elements of F are A B = ζ + α 2 ( ζ ) + α 4 ( ζ ) + α 6 ( ζ ) + α 8 ( ζ ) + α 1 0 ( ζ ) = α ( ζ ) + α 3 ( ζ ) + α 5 ( ζ ) + α 7 ( ζ ) + α 9 ( ζ ) + α 1 1 ( ζ ) and that is what I wrote down originally.
You can use the fact that A = β ∈ G ∑ β ( ζ ) B = β ∈ α G ∑ β ( ζ ) where G is the subgroup of Γ ( Q ( ζ ) , Q ) of index 2 generated by α 2 , to show that A and B must be the roots of a quadratic equation.
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 👍
@Mark Hennings is there no other method ?
This is just beautiful sir mark hennings
Problem Loading...
Note Loading...
Set Loading...
Let ζ = e 1 3 2 π i be the primitive 1 3 th root of unity. Then j = − 6 ∑ 6 ζ j = ζ − 6 j = 0 ∑ 1 2 ζ j = 0 If we now define A = ζ + ζ − 1 + ζ 3 + ζ − 3 + ζ 4 + ζ − 4 B = ζ 2 + ζ − 2 + ζ 5 + ζ − 5 + ζ 6 + ζ − 6 then is it easy to calculate that A + B A B = ζ 6 + ζ 5 + ζ 4 + ζ 3 + ζ 2 + ζ + ζ − 1 + ζ − 2 + ζ − 3 + ζ − 4 + ζ − 5 + ζ − 6 = − 1 = 3 ( ζ 6 + ζ 5 + ζ 4 + ζ 3 + ζ 2 + ζ + ζ − 1 + ζ − 2 + ζ − 3 + ζ − 4 + ζ − 5 + ζ − 6 ) = − 3 so that A , B are the roots of the quadratic X 2 + X − 3 = 0 . Since 1 3 2 π < 1 3 5 π < 1 3 6 π < 2 π and cos 1 3 8 π = − cos 1 3 5 π , we see that A = 2 ( cos 1 3 2 π + cos 1 3 6 π + cos 1 3 8 π ) > 0 so that A = 2 1 ( 1 3 − 1 ) , and hence cos 1 3 2 π + cos 1 3 6 π + cos 1 3 8 π = 4 1 ( 1 3 − 1 ) making the answer 1 3 + 1 + 4 = 1 8 .