1 9 9 x 5 + 8 0 0 x 4 + 7 5 0 x 3 + 1 8 x 2 − 8 3 x − 1 2 = 0
Let x 1 , x 2 , x 3 , x 4 , x 5 be roots of the equation above.
If the value of tan ( m = 1 ∑ 5 tan − 1 ( x m ) ) is equals to b a for coprime positive integers a and b , what is the value of a − b ?
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.
Thanks! I've removed the negative sign. I'm got a few drafts of polynomials, but I forgot remove the negative sign for the final draft.
"A proof of this equation would take far too long to explain and would not exactly benefit the reader of this solution, so you'll just have to trust me on this one."
I was looking for a proof actually! ;)
Log in to reply
Haha you expect so much out of me Pi Han Goh, I won't post it here it's far too long, I'll try to create a note and post the proof there, I think people could benefit from knowing this formula.
Log in to reply
"I'll try to create a note and post the proof there"
Looking forward to see your note.
Log in to reply
@Pi Han Goh – Lol I actually discovered an awesome connection between this formula and complex numbers, I'm building it into the proof, give me until Friday I have a life haha
Log in to reply
@Garrett Clarke – Right, the complex numbers approach is the best way of understanding this expansion.
@Pi Han Goh – Your wish has been granted!
Log in to reply
@Garrett Clarke – Awwwh man, I was about to write up a solution (⌣_⌣”)
Log in to reply
@Pi Han Goh – Haha I couldn't let you have all the fun!
Just added "for now" to then end of that paragraph ;) proof coming soon!
What I would be interested in seeing is YOUR proof of this problem ;)
Crystal clear! Nice.
Wait... shouldn't you prove that all the roots are real first?
Log in to reply
No need! Since the equation is based off of Vieta's formulas and the polynomial has real coefficients, all the terms inside the inverse tangent will be real numbers, even if the roots are complex.
we can solve it with complex numbers
My solution is more direct.
tan ⎝ ⎛ m = 1 ∑ 2 tan − 1 x m ⎠ ⎞ tan ( m = 1 ∑ 3 tan − 1 x m ) tan ( m = 1 ∑ 4 tan − 1 x m ) tan ( m = 1 ∑ 5 tan − 1 x m ) = 1 − x 1 x 2 x 1 + x 2 = 1 − 1 − x 1 x 2 ( x 1 + x 2 ) x 3 1 − x 1 x 2 x 1 + x 2 + x 3 = 1 − ( x 1 x 2 + x 2 x 3 + x 3 x 1 ) x 1 + x 2 + x 3 − x 1 x 2 x 3 = 1 − c y c ∑ 3 x 1 x 2 c y c ∑ 3 x 1 − x 1 x 2 x 3 = 1 − 1 − ∑ x 1 x 2 ( ∑ x 1 − x 1 x 2 x 3 ) x 4 1 − ∑ x 1 x 2 ∑ x 1 − x 1 x 2 x 3 + x 4 = 1 − c y c ∑ 4 x 1 x 2 + x 1 x 2 x 3 x 4 c y c ∑ 4 x 1 − c y c ∑ 4 x 1 x 2 x 3 = 1 − 1 − ∑ x 1 x 2 + x 1 x 2 x 3 x 4 ( ∑ x 1 − ∑ x 1 x 2 x 3 ) x 5 1 − ∑ x 1 x 2 + x 1 x 2 x 3 x 4 ∑ x 1 − ∑ x 1 x 2 x 3 + x 5 = 1 − c y c ∑ 5 x 1 x 2 − c y c ∑ 5 x 1 x 2 x 3 x 4 c y c ∑ 5 x 1 − c y c ∑ 5 x 1 x 2 x 3 + x 1 x 2 x 3 x 4 x 5 = 1 − 1 9 9 7 5 0 − 1 9 9 8 3 − 1 9 9 8 0 0 + 1 9 9 1 8 + 1 9 9 1 2 = − 6 3 4 − 7 7 0 = 3 1 7 3 8 5
⇒ a − b = 3 8 5 − 3 1 7 = 6 8
Do you know how to generalize the formula for tan ∑ x i ?
Generalization:
tan ( i = 1 ∑ n x i ) = 1 + c y c ∑ n ( ( − 1 ) j − 1 j = 1 ∏ 2 j ≤ n x j ) c y c ∑ n ( ( − 1 ) j − 1 j = 1 ∏ 2 j − 1 ≤ n x j )
Log in to reply
Feel free to take a look at the note I just wrote for a proof of the generalization.
(This might not work because x 1 , x 2 , . . . , x 5 might be complex but this is interesting nonetheless)
Observe that
m
=
1
∑
5
tan
−
1
(
x
m
)
=
m
=
1
∑
5
ar
g
(
1
+
i
x
m
)
=
ar
g
(
m
=
1
∏
5
(
1
+
i
x
m
)
)
=
ar
g
(
−
i
m
=
1
∏
5
(
i
−
x
m
)
)
Of course, m = 1 ∏ 5 ( x − x i ) = 1 9 9 the polynomial in the problem , so we can plug in x = i to get that the argument of our desired tangent is actually ar g 1 9 9 − 6 3 4 − 7 7 0 i or tan − 1 3 1 7 3 8 5 . Taking tangent we get the desired fraction and we can subtract to get 6 8 .
It works!!
You just need to be aware of what happens when we extend the domain of the trigonometric functions.
If you think about the power-series expansion of tan θ , then it is almost certain that if tan ( a + b ) = 1 − tan a tan b tan a + tan b is an identity for real numbers, then it also has to be an identity for complex numbers.
Problem Loading...
Note Loading...
Set Loading...
While it may not seem apparent at first, the inverse tangent function and Vieta's formulas are deeply intertwined. For those of you who haven't heard of Vieta's formulas, they are equations that relate the roots of a polynomial to that polynomial's coefficients and are extremely helpful in solving a variety of algebraic problems. To give you an idea on how I solved the problem, I'd like to start out by showing you a simpler example.
tan − 1 ( A ) + tan − 1 ( B ) = tan − 1 ( 1 − A B A + B )
This is known as the arctangent addition formula and it can be easily proven by taking the formula tan ( X + Y ) = 1 − tan X tan Y tan X + tan Y and letting X = tan − 1 ( A ) and Y = tan − 1 ( B ) .
For a polynomial of the form x 2 + S x + P with roots A and B , Vieta's formulas tell us the following:
A + B = − S
A B = P
Look at our formula for arctangent addition. We have A + B and A B on the RHS, so we can just plug in − S and P respectively to find our answer.
tan − 1 ( A ) + tan − 1 ( B ) = tan − 1 ( 1 − P − S )
This would be the solution for any 2nd degree polynomial, and obviously our equation is a much more complicated 5th degree polynomial, but our arctangent addition formula can be generalized to nth degree polynomials through the substitution of Vieta's formulas. Below, I present to you an equation that I have derived that is such a generalization:
For any n th degree polynomial with coefficients a 0 . . . . . a n and roots x 1 . . . . . x n :
i = 1 ∑ n tan − 1 x i = tan − 1 ( k = 0 ∑ ⌈ 2 n − 1 ⌉ a 2 k ( − 1 ) k k = 0 ∑ ⌊ 2 n − 1 ⌋ a 2 k + 1 ( − 1 ) k + 1 )
Where ⌊ x ⌋ and ⌈ x ⌉ denote the floor and ceiling functions, respectively.
For a proof of this formula, please refer to this note .
I understand that this formula seems like a bit much to handle at first, but once broken down it's not too complicated to understand. What this formula says is that the sum of the arctangents of the roots of a polynomial can be written as one arctangent involving just the coefficients of the polynomial. The sums on the RHS can be calculated as follows:
Give a number to each coefficient from 0 to n .
Take the alternating sum ( a 0 − a 2 + a 4 − a 6 + . . . ) of all the even numbered coefficients.
Take the alternating sum of all the odd numbered coefficients and then negate your answer.
Take your answer from number 3 and divide it by your answer from number 2.
And that's it! This will give you the number inside your inverse tangent function on the RHS of the equation. Finally, we apply this formula to the question at hand:
m = 1 ∑ 5 tan − 1 ( x m ) = tan − 1 ( 1 9 9 − 7 5 0 + ( − 8 3 ) − ( 8 0 0 − 1 8 + ( − 1 2 ) ) ) = tan − 1 ( 3 1 7 3 8 5 )
And finally we take the tangent of this to get our answer:
tan ( tan − 1 ( 3 1 7 3 8 5 ) ) = 3 1 7 3 8 5
3 1 7 3 8 5 is irreducible so we're done. Taking our values for a and b and subtracting them gives us our final answer, 3 8 5 − 3 1 7 = 6 8 .