For integer , consider the following equation Prove that it has a unique real root in and then determine the value of such that the root is minimized.
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.
Notice that x n − 1 = ( x − 1 ) ( x n − 1 + x n − 2 + ⋯ + x + 1 ) and also that x n − 2 0 2 x + 2 0 1 = ( x − 1 ) ( x n − 1 + x n − 2 + ⋯ + x − 2 0 1 ) . Put s n = x n − 1 + x n − 2 + ⋯ + x + 1 and write the equation as 2 0 0 ( x − 1 ) s n + n ( x − 1 ) ( s n − 2 0 2 ) = 0 ⟹ ( x − 1 ) [ ( n + 2 0 0 ) s n − 2 0 2 n ] = 0 . The roots of this equation are x = 1 along with any roots of s n = n + 2 0 0 2 0 2 n . ( 1 ) Observe that s n ( 0 ) = 1 and s n ( 1 ) = n , and when n > 2 , n − n + 2 0 0 2 0 2 n = n + 2 0 0 n 2 − 2 n + 2 0 0 > 0 ⟹ n > n + 2 0 0 2 0 2 n . This implies that s n ( 0 ) < n + 2 0 0 2 0 2 n < s n ( 1 ) ( 2 ) and thus that ( 1 ) has a real root x n in ( 0 , 1 ) . Also, s n ′ > 0 for all x ∈ ( 0 , 1 ) , so s n is increasing on ( 0 , 1 ) . This makes x n the unique root of ( 1 ) in ( 0 , 1 ) , and it is the root asserted in the problem.
What remains is to show that x 2 8 ≈ 0 . 9 9 0 8 7 is the minimal value of x n . Put a = 1 0 9 / 1 1 0 ≈ 0 . 9 9 0 9 1 and notice that s n ( a ) is the partial sum of a geometric sequence with ratio a , so s n ( a ) = 1 − a 1 − a n . Consider the limits n → ∞ lim s n ( a ) = n → ∞ lim 1 − a 1 − a n = 1 − a 1 = 1 1 0 and n → ∞ lim n + 2 0 0 2 0 2 n = 2 0 2 . The limits show that, for sufficiently large n , s n ( a ) < n + 2 0 0 2 0 2 n < s ( 1 ) . ( 3 ) By the same reasoning applied to ( 2 ) in the previous paragraph, x n ∈ ( a , 1 ) when n is sufficiently large. Therefore, x n < a can be true for only finitely many values of n . In fact, x n < a only when 2 1 ≤ n ≤ 3 7 , and for these n -values, x n attains its minimum value at n = 2 8 .
More can be said about the x n . For n ≥ 2 8 , as n increases, x n increases as well, but x n does not approach 1 . This is because, if n > 3 and a ≥ 1 − 2 0 2 − 1 , then s n ( a ) = 1 − a 1 − a n > n + 2 0 0 2 0 2 n . In other words, ( 3 ) does not hold when n > 3 and a ≥ 1 − 2 0 2 − 1 , so x n ∈ [ a , 1 ) and thus x n < 1 − 2 0 2 − 1 . But ( 3 ) does hold when n = 3 and a = 1 − 2 0 2 − 1 , and x 3 ≈ 0 . 9 9 5 0 7 > 1 − 2 0 2 − 1 . Therefore, x 3 is the greatest value of x n , and all the x n occur in a very narrow interval: for n ≥ 3 , x n ∈ [ x 2 8 , x 3 ] ≈ [ 0 . 9 9 0 8 7 , 0 . 9 9 5 0 7 ] .