2019 AMC 10 B

Complete problem set with solutions and individual problem pages

Problem 24 Hard

Define a sequence recursively by x_0 = 5 and

x_{n+1}=\frac{x_{n}^{2}+5x_n+4}{x_n+6}

for all nonnegative integers n. Let m be the least positive integer such that

x_m \leqslant 4 + \frac{1}{2^{20}}.

In which of the following intervals does m lie?

(2019 AMC 10B Problem, Question#24)

  • A.

    \left[ 9,26 \right]

  • B.

    \left[ 27,80 \right]

  • C.

    \left[ 81,242 \right]

  • D.

    \left[ 243,728 \right]

  • E.

    \left[ 729,\infty \right)

Answer:C

We first prove that  x_n>4 for all n\geqslant 0 , by induction. Observe that

x_{n+1}-4=\dfrac{x_{n}^{2}+5x_n+4-4(x_n+6)}{x_n+6}=\dfrac{(x_n-4)(x_n+5)}{x_n+6} so (since x_n is clearly positive for all n , from the initial definition), x_{n+1}>4 if and only if x_n>4 .

We similarly prove that  x_n is decreasing, since

x_{n+1}-x_n=\dfrac{x_{n}^{2}+5x_n+4-x_n(x_n+6)}{x_n+6}=\dfrac{4-x_n}{x_n+6}<0

Now we need to estimate the value of  x_{n+1}-4, which we can do using the rearranged equation x_{n+1}-4=(x_n-4)\cdot \dfrac{x_n+5}{x_n+6}

Since x_n  is decreasing, \dfrac{x_n+5}{x_n+6} is clearly also decreasing, so we

have \dfrac{9}{10}<\dfrac{x_n+5}{x_n+6} \leqslant \dfrac{10}{11} and\dfrac{9}{10}(x_n-4)<x_{n+1}-4 \leqslant \dfrac{10}{11}(x_n-4)

This becomes \left( \dfrac{9}{10} \right)^n=\left( \dfrac{9}{10} \right)^n(x_0-4)<x_n-4 \leqslant \left( \dfrac{10}{11} \right)^n(x_0-4)=\left( \dfrac{10}{11} \right)^n  The problem thus reduces to finding the least value of  such that \left( \dfrac{9}{10} \right)^n<x_n-4 \leqslant \dfrac{1}{2^{20}} and \left( \dfrac{10}{11} \right)^{n-1}>x_{n-1}-4> \dfrac{1}{2^{20}}

Taking logarithms, we get n \ln \dfrac{9}{10} < -20 \ln 2  and (n-1) \ln \dfrac{10}{11} > -20 \ln 2, i.e.n>\frac{20\ln 2}{\ln \frac{10}{9}} and n-1<\frac{20\ln 2}{\ln \frac{11}{10}}.

As approximations, we can use \ln \dfrac{10}{9} \approx \dfrac{1}{9} ,\ln \dfrac{11}{10} \approx \dfrac{1}{10} , and \ln 2 \approx 0.7. These allow us to estimate that 126<n<141  which gives the answer as \text{C} \left[ 81,242 \right] .

The condition where x_m \leqslant 4+ \dfrac{1}{2^{20}}  gives the motivation to make a substitution to change the equilibrium from 4  to 0 . We can substitute x_n=y_n+4 to achieve that.

Now, we need to find the smallest value of  such that y_m \leqslant \dfrac{1}{2^{20}} given that y_0=1 and the recursion  y_{n+1}=\dfrac{y_n^2+9y_n}{y_n+10}.

Using wishful thinking, we can simplify the recursion as follows:

y_{n+1}=\dfrac{y_n^2+9y_n+y_n-y_n}{y_n+10}

y_{n+1}=\dfrac{y_n(y_n+10)-y_n}{y_n+10}

y_{n+1}=y_n-\dfrac{y_n}{y_n+10}

y_{n+1}=y_n\left(1-\dfrac{1}{y_n+10}\right)

The recursion looks like a geometric sequence with the ratio changing slightly after each term. Notice from the recursion that the  y_n sequence is strictly decreasing, so all the terms after  y_0 will be less than 1. Also, notice that all the terms in sequence will be positive. Both of these can be proven by induction. With both of those observations in mind,\dfrac{9}{10}<1-\dfrac{1}{y_n+10} \geqslant \dfrac{10}{11} . Combining this with the fact that the recursion resembles a geometric sequence, we conclude that \left(\dfrac{9}{10}\right)^n<y_n \geqslant \left(\dfrac{10}{11}\right)^n. \dfrac{9}{10} is approximately equal to \dfrac{10}{11} and the ranges that the answer choices give us are generous, so we should use either \dfrac{9}{10} or \dfrac{10}{11} to find a rough estimate for m .\left( \dfrac{9}{10}\right)^3  is 0.729 , while \dfrac{1}{\sqrt{2}}  is close to 0.7 because (0.7)^2 is  0.49, which is close to \dfrac12.

Therefore, we can estimate that 2^{\frac{-1}{2}}<y_3. Putting both sides to the \rm 40th power, we get 2^{-20}<(y_3)^{40}  But y_3=(y_0)^3 , so 2^{-20}<(y_0)^{120} and therefore,2^{-20}<y_{120} . This tells us that m is somewhere around 120, so our answer is \text{C} \left[ 81,242 \right] .