Compare Roots

Algebra Level 5

For integer n > 2 n>2 , consider the following equation 200 ( x n 1 ) + n ( x n 202 x + 201 ) = 0. 200(x^n-1)+n(x^n-202x+201)=0. Prove that it has a unique real root in ( 0 , 1 ) (0,1) and then determine the value of n n such that the root is minimized.


The answer is 28.

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.

1 solution

Matt Janko
Apr 24, 2021

Notice that x n 1 = ( x 1 ) ( x n 1 + x n 2 + + x + 1 ) x^n - 1 = (x - 1)(x^{n - 1} + x^{n - 2} + \cdots + x + 1) and also that x n 202 x + 201 = ( x 1 ) ( x n 1 + x n 2 + + x 201 ) . x^n - 202x + 201 = (x - 1)(x^{n - 1} + x^{n - 2} + \cdots + x - 201). Put s n = x n 1 + x n 2 + + x + 1 s_n = x^{n - 1} + x^{n - 2} + \cdots + x + 1 and write the equation as 200 ( x 1 ) s n + n ( x 1 ) ( s n 202 ) = 0 ( x 1 ) [ ( n + 200 ) s n 202 n ] = 0. 200(x - 1)s_n + n(x - 1)(s_n - 202) = 0 \implies (x - 1)[(n + 200)s_n - 202n] = 0. The roots of this equation are x = 1 x = 1 along with any roots of s n = 202 n n + 200 . (1) s_n = \frac {202n}{n + 200}. \tag{1} Observe that s n ( 0 ) = 1 s_n(0) = 1 and s n ( 1 ) = n s_n(1) = n , and when n > 2 n > 2 , n 202 n n + 200 = n 2 2 n + 200 n + 200 > 0 n > 202 n n + 200 . n - \frac {202n}{n + 200} = \frac {n^2 - 2n + 200} {n + 200} > 0 \implies n > \frac {202n}{n + 200}. This implies that s n ( 0 ) < 202 n n + 200 < s n ( 1 ) (2) s_n(0) < \frac {202n}{n + 200} < s_n(1) \tag{2} and thus that ( 1 ) (1) has a real root x n x_n in ( 0 , 1 ) (0,1) . Also, s n > 0 s_n' > 0 for all x ( 0 , 1 ) x \in (0,1) , so s n s_n is increasing on ( 0 , 1 ) (0,1) . This makes x n x_n the unique root of ( 1 ) (1) in ( 0 , 1 ) (0,1) , and it is the root asserted in the problem.

What remains is to show that x 28 0.99087 x_{28} \approx 0.99087 is the minimal value of x n x_n . Put a = 109 / 110 0.99091 a = 109/110 \approx 0.99091 and notice that s n ( a ) s_n(a) is the partial sum of a geometric sequence with ratio a a , so s n ( a ) = 1 a n 1 a . s_n(a) = \frac {1 - a^n}{1 - a}. Consider the limits lim n s n ( a ) = lim n 1 a n 1 a = 1 1 a = 110 and lim n 202 n n + 200 = 202. \lim_{n \rightarrow \infty} s_n(a) = \lim_{n \rightarrow \infty} \frac {1 - a^n}{1 - a} = \frac 1{1 - a} = 110 \quad \text{and} \quad \lim_{n \rightarrow \infty} \frac {202n}{n + 200} = 202. The limits show that, for sufficiently large n n , s n ( a ) < 202 n n + 200 < s ( 1 ) . (3) s_n(a) < \frac {202n}{n + 200} < s(1). \tag{3} By the same reasoning applied to ( 2 ) (2) in the previous paragraph, x n ( a , 1 ) x_n \in (a,1) when n n is sufficiently large. Therefore, x n < a x_n < a can be true for only finitely many values of n n . In fact, x n < a x_n < a only when 21 n 37 21 \leq n \leq 37 , and for these n n -values, x n x_n attains its minimum value at n = 28 n = \boxed{28} .

More can be said about the x n x_n . For n 28 n \geq 28 , as n n increases, x n x_n increases as well, but x n x_n does not approach 1 1 . This is because, if n > 3 n > 3 and a 1 20 2 1 a \geq 1 - 202^{-1} , then s n ( a ) = 1 a n 1 a > 202 n n + 200 . s_n(a) = \frac {1 - a^n}{1 - a} > \frac {202n}{n + 200}. In other words, ( 3 ) (3) does not hold when n > 3 n > 3 and a 1 20 2 1 a \geq 1 - 202^{-1} , so x n ∉ [ a , 1 ) x_n \not \in [a,1) and thus x n < 1 20 2 1 x_n < 1 - 202^{-1} . But ( 3 ) (3) does hold when n = 3 n = 3 and a = 1 20 2 1 a = 1 - 202^{-1} , and x 3 0.99507 > 1 20 2 1 x_3 \approx 0.99507 > 1 - 202^{-1} . Therefore, x 3 x_3 is the greatest value of x n x_n , and all the x n x_n occur in a very narrow interval: for n 3 n \geq 3 , x n [ x 28 , x 3 ] [ 0.99087 , 0.99507 ] . x_n \in [x_{28},x_3] \approx [0.99087,0.99507].

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...