All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars
 perplexus dot info

 Integral Proof (Posted on 2015-01-26)
Prove that

tan6(pi/9) + tan6(2pi/9) + tan6(4pi/9)

is an integer, and find the value of this integer.

 No Solution Yet Submitted by Danish Ahmed Khan No Rating

Comments: ( Back to comment list | You must be logged in to post comments.)
 Full Solution Comment 3 of 3 |
First note that tan is an odd function: tan(-x) = -tan(x).  Due to the 6th powers, this will not change the value of the expression.  Apply this to the 2pi/9 argument.  Then
tan^6(pi/9) + tan^6(2pi/9) + tan^6(4pi/9)
= tan^6(pi/9) + tan^6(-2pi/9) + tan^6(4pi/9)

tan(3t) = [3*tan(t) - tan^3(t)] / [1 - 3*tan^2(t)]

Substituting any of t=pi/9, t=-2pi/9, or t=4pi/9 makes tan(3t) = sqrt(3).

Rearrange the identity with tan(3t) = sqrt(3) and tan(t) = x to yield the polynomial:
x^3 - (3*sqrt(3))x^2 - 3x + sqrt(3) = 0
tan(pi/9), tan(-2pi/9), and tan(4pi/9) are the three roots of this polynomial.

Now, the Newton-Girard Formulas can be used to find the sum of squares and the sum of cubes of the three roots.
Let P(1), P(2), and P(3) be the symmetric polynomials.  Then P(1) = 3*sqrt(3), P(2) = -3, and P(3) = -sqrt(3)
Let S(1)-S(6) be the sums of the first through sixth powers of the roots.  Then:
S(1) - P(1) = 0
S(2) - S(1)*P(1) + 2*P(2) = 0
S(3) - S(2)*P(1) + S(1)*P(2) - 3*P(3) = 0

From this
S(1) = 3*sqrt(3)
S(2) = (3*sqrt(3))*(3*sqrt(3)) - 2*(-3) = 33
S(3) = (33)*(3*sqrt(3)) - (3*sqrt(3))*(-3) + 3*(-sqrt(3)) = 105*sqrt(3)

The polynomial can be rearranged into
x^(n+3) = (3*sqrt(3))x^(n+2) + 3x^(n+1) - sqrt(3)x^n.
This implies the recursion
S(n+3) = (3*sqrt(3))S(n+2) + 3S(n+1) - sqrt(3)S(n).

Then S(4) = (3*sqrt(3))*(105*sqrt(3)) + 3*(33) - sqrt(3)*(3*sqrt(3)) = 1035
And S(5) = (3*sqrt(3))*1035 + 3*(105*sqrt(3)) - sqrt(3)*(33) = 3387*sqrt(3)
And S(6) = (3*sqrt(3))*(3387*sqrt(3)) + 3*(1035) - sqrt(3)*(105*sqrt(3)) = 33273

The final answer is tan^6(pi/9) + tan^6(2pi/9) + tan^6(4pi/9)  = 33273

 Posted by Brian Smith on 2016-06-26 23:33:36

 Search: Search body:
Forums (0)