tan 6 ( 9 π ) + tan 6 ( 9 2 π ) + tan 6 ( 9 4 π ) = ?
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.
OH MY GODD! SO LONG!!!
Considering the imaginary part of ( cos ( k π / 9 ) + i sin ( k π / 9 ) ) 9 , we obtain the formula ( 9 9 ) x 9 − ( 7 9 ) x 7 + ( 5 9 ) x 5 − ( 3 9 ) x 3 + ( 1 9 ) x = 0 for x = tan ( 9 k π ) . Dividing out x ( x 3 − 3 ) , accounting for 0 and ± 3 π , we end up with the even polynomial x 6 − 3 3 x 4 + 2 7 x 2 − 3 whose roots are x = tan ( 9 k π ) for k = ± 1 , ± 2 , ± 4 . Thus the roots of x 3 − 3 3 x 2 + 2 7 x − 3 are x = tan 2 ( 9 k π ) for k = 1 , 2 , 4 . Now, by Girard's formula, the sum of the cubes of the roots of this polynomial is 3 3 3 − 3 ∗ 3 3 ∗ 2 7 + 3 ∗ 3 = 3 3 2 7 3 .
How did you get the first polynomial?
Log in to reply
Finding the minimal polynomial of tan ( k π / n ) is a classic and well-understood problem; there is an algorithm. For odd n the polynomial is of degree ϕ ( n ) . Her is a good exposition
Log in to reply
Ahhh, This solved the other problem .
By the way, I got the polynomial x 4 − 3 6 x 3 + 1 2 6 x 2 − 8 4 x + 9 instead, then I minus the value of tan 6 ( 9 3 π ) . How did you get the cubic polynomial from the start? That's what I'm asking.
Log in to reply
@Pi Han Goh – Since the minimal polynomial of tan ( π / n ) is even for odd n , I considered tan 2 ( π / n ) to bring it down to a cubic for n = 9 .
Log in to reply
@Otto Bretscher – Wait. You didn't start with this: ( 1 9 ) tan ( x ) − ( 3 9 ) tan 3 ( x ) + ( 5 9 ) tan 5 ( x ) − ( 7 9 ) tan 7 ( x ) − ( 9 9 ) tan 9 ( x ) = 0 ?
Log in to reply
@Pi Han Goh – I factored out x ( x 2 − 3 ) to account for 0 and ± π / 3 ; now we have the minimal polynomial of tan ( π / 9 ) . Then I halved the degree by considering tan 2 ( π / 9 ) ... I'm sorry for these cryptic messages that I hastily type in work breaks
Log in to reply
@Otto Bretscher – Oh got it. No problem. You might want to add that to your solution so the newbies can understand it better.
Log in to reply
@Pi Han Goh – I might do that in the evening... thanks for the dialogue!
Log in to reply
@Otto Bretscher – No. Thank you. I got to learn something new today!
Problem Loading...
Note Loading...
Set Loading...
This solution utilizes several lesser known trig identities, so even though it's very messy it may be informative.
tan x = cos x sin x tan 6 9 π + tan 6 9 2 π + tan 6 9 4 π = cos 6 9 π sin 6 9 π + cos 6 9 2 π sin 6 9 2 π + cos 6 9 4 π sin 6 9 4 π = ( cos 9 π cos 9 2 π cos 9 4 π ) 6 ( sin 9 π cos 9 2 π cos 9 4 π ) 6 + ( sin 9 2 π cos 9 π cos 9 4 π ) 6 + ( sin 9 4 π cos 9 π cos 9 2 π ) 6 Knowing the value of the denominator first will make the chaos of finding the value of the numerator make more sense.
cos 9 π cos 9 2 π cos 9 4 π = 8 1 ( cos 9 π cos 9 2 π cos 9 4 π ) 6 = ( 8 1 ) 6 = 8 6 1 Finding the value of the numerator (the way I did it) involves taking that mess and turning it into a larger and larger mess until it finally collapses on itself. I will show the details of the blue term. The details of the orange and green terms will follow the exact same logic and look almost identical, so I will just show the highlights for the orange and green terms.
Blue Term:
cos x cos y = 2 1 [ cos ( x − y ) + cos ( x + y ) ]
cos x sin y = 2 1 [ sin ( x + y ) − sin ( x − y ) ]
cos 3 2 π = − 2 1 sin 3 π = 2 3 ( sin 9 π cos 9 2 π cos 9 4 π ) 6 = ( sin 9 π [ 2 1 ( cos 9 2 π + cos 3 2 π ) ] ) 6 = ( 2 1 cos 9 2 π sin 9 π − 4 1 sin 9 π ) 6 = ( 2 1 [ 2 1 ( sin 3 π − sin 9 π ) ] − 4 1 sin 9 π ) 6 = ( 8 3 − 2 1 sin 9 π ) 6 Binomial Expasion = 8 6 2 7 + 6 ⋅ 8 5 9 3 ⋅ ( − 2 1 sin 9 π ) + 1 5 ⋅ 8 4 9 ⋅ ( 4 1 sin 2 9 π ) + 2 0 ⋅ 8 3 3 3 ⋅ ( − 8 1 sin 3 9 π ) + 1 5 ⋅ 8 2 3 ⋅ ( 1 6 1 sin 4 9 π ) + 6 ⋅ 8 3 ⋅ ( − 3 2 1 sin 5 9 π ) + 6 4 1 sin 6 9 π Power Reduction
In this part, I will combine power reduction and putting all terms in a common denominator for each of the seven terms separately and then combine then together at the end.
n is odd: sin n x = 2 n − 1 1 ∑ k = 0 2 n − 1 ( − 1 ) ( 2 n − 1 − k ) ( n k ) sin ( ( n − 2 k ) x ) ( n k ) refers to binomial expansion
n is even: sin n x = 2 n 1 ( n 2 n ) + 2 n − 1 1 ∑ k = 0 2 n − 1 ( − 1 ) ( 2 n − k ) ( n k ) cos ( ( n − 2 k ) x )
1) 8 6 2 7 Already good
2) ⋅ 4 4 = 8 6 − 2 1 6 3 sin 9 π
3) = 8 4 1 3 5 ⋅ 4 1 ⋅ 2 1 − cos 9 2 π ⋅ 8 8 = 8 6 1 0 8 0 − 1 0 8 0 cos 9 2 π
4) = 8 4 − 6 0 3 ⋅ 4 3 sin 9 π − sin 3 π ⋅ 1 6 1 6 = 8 6 − 2 8 8 0 3 sin 9 π + 1 4 4 0
5) = 8 3 4 5 ⋅ 2 1 ⋅ 8 3 − 4 cos 9 2 π + cos 9 4 π ⋅ 3 2 3 2 = 8 6 4 3 2 0 − 5 7 6 0 cos 9 2 π + 1 4 4 0 cos 9 4 π
6) = 8 2 − 6 3 ⋅ 4 1 ⋅ 1 6 1 0 sin 9 π − 5 sin 3 π + sin 9 5 π ⋅ 6 4 6 4 = 8 6 − 3 8 4 0 3 sin 9 π + 2 8 8 0 − 3 8 4 3 sin 9 5 π
7) = 8 2 1 ⋅ 3 2 1 0 − 1 5 cos 9 2 π + 6 cos 9 4 π − cos 3 2 π ⋅ 1 2 8 1 2 8 = 8 6 1 3 4 4 − 1 9 2 0 cos 9 2 π + 7 6 8 cos 9 4 π
Add and combine like terms, and finally: Blue Term = 8 6 − 6 9 3 6 3 sin 9 π − 8 7 6 0 cos 9 2 π + 2 2 0 8 cos 9 4 π − 3 8 4 3 sin 9 5 π + 1 1 0 9 1 Orange Term: ( sin 9 2 π cos 9 π cos 9 4 π ) 6 = ( 2 1 sin 9 2 π − 8 3 ) 6 = 8 6 − 6 9 3 6 3 sin 9 2 π − 8 7 6 0 cos 9 4 π + 2 2 0 8 cos 9 8 π − 3 8 4 3 sin 9 1 0 π + 1 1 0 9 1 Green Term: ( sin 9 4 π cos 9 π cos 9 2 π ) 6 = ( 2 1 sin 9 4 π + 8 3 ) 6 = 8 6 6 9 3 6 3 sin 9 4 π − 8 7 6 0 cos 9 8 π + 2 2 0 8 cos 9 1 6 π + 3 8 4 3 sin 9 2 0 π + 1 1 0 9 1 Now the blue, orange and green terms are added together. All of the trig terms cancel each other out and all that's left are the numbers. It's just hard to see because they cancel in sets of three not sets of two like you might be looking for. You might notice the blue, orange and green terms have the same set of coefficients. Since they are being added, if you group the terms with the same coefficient together, factor out that coefficient, and use these trig identities, they will indeed cancel out.
cos 9 π − cos 9 2 π − cos 9 4 π = 0
sin 9 π + sin 9 2 π − sin 9 4 π = 0
sin ( π − x ) = sin x sin ( π + x ) = − sin x sin ( 2 π + x ) = sin x
cos ( π − x ) = − cos x cos ( − x ) = cos x cos ( 2 π + x ) = cos x
1) − 6 9 3 6 3 ( sin 9 π + sin 9 2 π − sin 9 4 π ) = − 6 9 3 6 3 ( 0 ) = 0
2) − 8 7 6 0 ( cos 9 2 π + cos 9 4 π + cos 9 8 π ) = − 8 7 6 0 ( cos 9 2 π + cos 9 4 π − cos 9 π )
= 8 7 6 0 ( cos 9 π − cos 9 2 π − cos 9 4 π ) = 8 7 6 0 ( 0 ) = 0
3) 2 2 0 8 ( cos 9 4 π + cos 9 8 π + cos 9 1 6 π ) = 2 2 0 8 ( cos 9 4 π − cos 9 π + cos 9 − 2 π )
= 2 2 0 8 ( cos 9 4 π − cos 9 π + cos 9 2 π ) = − 2 2 0 8 ( cos 9 π − cos 9 2 π − cos 9 4 π ) = − 2 2 0 8 ( 0 ) = 0
4) − 3 8 4 3 ( sin 9 5 π + sin 9 1 0 π − sin 9 2 0 π ) = − 3 8 4 3 ( sin 9 4 π − sin 9 π − sin 9 2 π )
= 3 8 4 3 ( sin 9 π + sin 9 2 π − sin 9 4 π ) = 3 8 4 3 ( 0 ) = 0
8 6 1 8 6 1 1 0 9 1 + 1 1 0 9 1 + 1 1 0 9 1 = 3 3 2 7 3 □