Inspired by an undisclosed old problem

Geometry Level 5

199 x 5 + 800 x 4 + 750 x 3 + 18 x 2 83 x 12 = 0 \large 199 x^5+800 x^4+750 x^3+18 x^2-83 x-12 = 0

Let x 1 , x 2 , x 3 , x 4 , x 5 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 ) ) \displaystyle \tan\left( \sum_{m=1}^5 \tan^{-1}(x_m) \right) is equals to a b \frac ab for coprime positive integers a a and b b , what is the value of a b a - b ?


The answer is 68.

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.

3 solutions

Garrett Clarke
Jun 25, 2015

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 ( A + B 1 A B ) \tan^{-1}(A)+\tan^{-1}(B) =\tan^{-1}\big(\frac{A+B}{1-AB}\big)

This is known as the arctangent addition formula and it can be easily proven by taking the formula tan ( X + Y ) = tan X + tan Y 1 tan X tan Y \tan(X+Y)=\frac{\tan X+\tan Y}{1-\tan X\tan Y} and letting X = tan 1 ( A ) X=\tan^{-1}(A) and Y = tan 1 ( B ) Y=\tan^{-1}(B) .

For a polynomial of the form x 2 + S x + P x^2+Sx+P with roots A A and B B , Vieta's formulas tell us the following:

A + B = S A+B=-S

A B = P AB=P

Look at our formula for arctangent addition. We have A + B A+B and A B AB on the RHS, so we can just plug in S -S and P P respectively to find our answer.

tan 1 ( A ) + tan 1 ( B ) = tan 1 ( S 1 P ) \tan^{-1}(A)+\tan^{-1}(B)=\tan^{-1}\big(\frac{-S}{1-P}\big)

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 n th degree polynomial with coefficients a 0 . . . . . a n a_0.....a_n and roots x 1 . . . . . x n x_1.....x_n :

i = 1 n tan 1 x i = tan 1 ( k = 0 n 1 2 a 2 k + 1 ( 1 ) k + 1 k = 0 n 1 2 a 2 k ( 1 ) k ) \displaystyle\sum_{i=1}^n \tan^{-1}x_i = \tan^{-1}\Bigg(\displaystyle\frac{\displaystyle\sum_{k=0}^{\lfloor\frac{n-1}{2}\rfloor}a_{2k+1}(-1)^{k+1}}{\displaystyle\sum_{k=0}^{\lceil\frac{n-1}{2}\rceil}a_{2k}(-1)^{k}}\Bigg)

Where x \lfloor x \rfloor and x \lceil x \rceil 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:

  1. Give a number to each coefficient from 0 to n n .

  2. Take the alternating sum ( a 0 a 2 + a 4 a 6 + . . . a_0-a_2+a_4-a_6+... ) of all the even numbered coefficients.

  3. Take the alternating sum of all the odd numbered coefficients and then negate your answer.

  4. 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 ( ( 800 18 + ( 12 ) ) 199 750 + ( 83 ) ) = tan 1 ( 385 317 ) \displaystyle\sum_{m=1}^5 \tan^{-1}(x_m) = \tan^{-1}\Bigg(\frac{-(800-18+(-12))}{199-750+(-83)}\Bigg) = \tan^{-1}\bigg(\frac{385}{317}\bigg)

And finally we take the tangent of this to get our answer:

tan ( tan 1 ( 385 317 ) ) = 385 317 \tan\Bigg(\tan^{-1}\bigg(\frac{385}{317}\bigg)\Bigg) = \frac{385}{317}

385 317 \frac{385}{317} is irreducible so we're done. Taking our values for a a and b b and subtracting them gives us our final answer, 385 317 = 68 385-317=\boxed{68} .

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! ;)

Pi Han Goh - 5 years, 11 months ago

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.

Garrett Clarke - 5 years, 11 months ago

Log in to reply

"I'll try to create a note and post the proof there"

Looking forward to see your note.

Pi Han Goh - 5 years, 11 months ago

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

Garrett Clarke - 5 years, 11 months ago

Log in to reply

@Garrett Clarke Right, the complex numbers approach is the best way of understanding this expansion.

Calvin Lin Staff - 5 years, 11 months ago

@Pi Han Goh Your wish has been granted!

Garrett Clarke - 5 years, 11 months ago

Log in to reply

@Garrett Clarke Awwwh man, I was about to write up a solution (⌣_⌣”)

Pi Han Goh - 5 years, 11 months ago

Log in to reply

@Pi Han Goh Haha I couldn't let you have all the fun!

Garrett Clarke - 5 years, 11 months ago

Just added "for now" to then end of that paragraph ;) proof coming soon!

Garrett Clarke - 5 years, 11 months ago

What I would be interested in seeing is YOUR proof of this problem ;)

Garrett Clarke - 5 years, 11 months ago

Crystal clear! Nice.

Ryan Tamburrino - 5 years, 11 months ago

Wait... shouldn't you prove that all the roots are real first?

Pi Han Goh - 5 years, 11 months ago

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.

Garrett Clarke - 5 years, 11 months ago

we can solve it with complex numbers

Anass Essounaini - 5 years, 11 months ago

My solution is more direct.

tan ( m = 1 2 tan 1 x m ) = x 1 + x 2 1 x 1 x 2 tan ( m = 1 3 tan 1 x m ) = x 1 + x 2 1 x 1 x 2 + x 3 1 ( x 1 + x 2 ) x 3 1 x 1 x 2 = x 1 + x 2 + x 3 x 1 x 2 x 3 1 ( x 1 x 2 + x 2 x 3 + x 3 x 1 ) = c y c 3 x 1 x 1 x 2 x 3 1 c y c 3 x 1 x 2 tan ( m = 1 4 tan 1 x m ) = x 1 x 1 x 2 x 3 1 x 1 x 2 + x 4 1 ( x 1 x 1 x 2 x 3 ) x 4 1 x 1 x 2 = c y c 4 x 1 c y c 4 x 1 x 2 x 3 1 c y c 4 x 1 x 2 + x 1 x 2 x 3 x 4 tan ( m = 1 5 tan 1 x m ) = x 1 x 1 x 2 x 3 1 x 1 x 2 + x 1 x 2 x 3 x 4 + x 5 1 ( x 1 x 1 x 2 x 3 ) x 5 1 x 1 x 2 + 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 c y c 5 x 1 x 2 c y c 5 x 1 x 2 x 3 x 4 = 800 199 + 18 199 + 12 199 1 750 199 83 199 = 770 634 = 385 317 \begin{aligned} \tan \left( \sum_{m=1}^\color{#D61F06}{2} \tan^{-1} x_m \right) & = \frac{x_1+x_2}{1-x_1x_2} \\ \tan \left( \sum_{m=1}^3 \tan^{-1} x_m \right) & = \frac{\frac{x_1+x_2}{1-x_1x_2}+x_3}{1-\frac{(x_1+x_2)x_3}{1-x_1x_2}} = \frac{x_1+x_2+x_3 -x_1x_2x_3}{1-(x_1x_2+x_2x_3+x_3x_1)} \\ & = \frac{\displaystyle \sum_{cyc}^3 x_1 - x_1x_2x_3}{1-\displaystyle \sum_{cyc}^3 x_1x_2} \\ \tan \left( \sum_{m=1}^4 \tan^{-1} x_m \right) & = \frac {\frac { \sum x_1 - x_1x_2x_3}{1-\sum x_1x_2} + x_4} {1 - \frac { (\sum x_1 - x_1x_2x_3)x_4}{1-\sum x_1x_2}} = \frac{\displaystyle \sum_{cyc}^4 x_1 - \sum_{cyc}^4 x_1x_2x_3}{1-\displaystyle \sum_{cyc}^4 x_1x_2 + x_1x_2x_3x_4} \\ \tan \left( \sum_{m=1}^5 \tan^{-1} x_m \right) & = \frac{ \frac{\sum x_1 - \sum x_1x_2x_3}{1 - \sum x_1x_2 + x_1x_2x_3x_4} + x_5 } {1 - \frac{(\sum x_1 - \sum x_1x_2x_3)x_5}{1 - \sum x_1x_2 + x_1x_2x_3x_4} } \\ & = \frac{\displaystyle \sum_{cyc}^5 x_1 - \sum_{cyc}^5 x_1x_2x_3 + x_1x_2x_3x_4x_5}{1-\displaystyle \sum_{cyc}^5 x_1x_2 - \sum_{cyc}^5 x_1x_2x_3x_4} \\ & = \frac{-\frac{800}{199} + \frac{18}{199} + \frac{12}{199}}{1 - \frac{750}{199} - \frac{83}{199}} = \frac{-770}{-634} = \frac {385}{317} \end{aligned}

a b = 385 317 = 68 \Rightarrow a - b = 385 - 317 = \boxed{68}

Moderator note:

Do you know how to generalize the formula for tan x i \tan \sum x_i ?

Generalization:

tan ( i = 1 n x i ) = c y c n ( ( 1 ) j 1 j = 1 2 j 1 n x j ) 1 + c y c n ( ( 1 ) j 1 j = 1 2 j n x j ) \begin{aligned} \tan \left( \sum_{i=1}^n x_i \right) = \frac {\displaystyle \sum _{cyc} ^n \left( (-1)^{j-1} \prod_{j=1}^{2j-1 \le n} x_j \right)} {1 + \displaystyle \sum _{cyc} ^n \left( (-1)^{j-1} \prod_{j=1}^{2j \le n} x_j \right)} \end{aligned}

Chew-Seong Cheong - 5 years, 11 months ago

Log in to reply

Feel free to take a look at the note I just wrote for a proof of the generalization.

Garrett Clarke - 5 years, 11 months ago
Alan Yan
Dec 26, 2016

(This might not work because x 1 , x 2 , . . . , x 5 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 arg ( 1 + i x m ) = arg ( m = 1 5 ( 1 + i x m ) ) = arg ( i m = 1 5 ( i x m ) ) \begin{aligned} \sum_{m = 1}^5 \tan^{-1} (x_m) = \sum_{m = 1}^5 \arg ( 1 + ix_m ) & = \arg \left (\prod_{m = 1}^5 (1+ix_m) \right ) \\ & = \arg\left (-i\prod_{m = 1}^5 (i - x_m) \right ) \end{aligned}

Of course, m = 1 5 ( x x i ) = the polynomial in the problem 199 \prod_{m = 1}^5 (x - x_i) = \frac{\text{ the polynomial in the problem }}{199} , so we can plug in x = i x = i to get that the argument of our desired tangent is actually arg 634 770 i 199 \arg \frac{-634 - 770i}{199} or tan 1 385 317 \tan^{-1} \frac{385}{317} . Taking tangent we get the desired fraction and we can subtract to get 68 68 .

It works!!

Pi Han Goh - 4 years, 5 months ago

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 θ \tan \theta , then it is almost certain that if tan ( a + b ) = tan a + tan b 1 tan a tan b \tan ( a + b) = \frac{ \tan a + \tan b } { 1 - \tan a \tan b } is an identity for real numbers, then it also has to be an identity for complex numbers.

Calvin Lin Staff - 4 years, 5 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...