AMC 10 Step by Step

2019 AMC 10B Problem 24

P21-25~10 minPrint

Define a sequence recursively by x0=5x_0=5 and xn+1=xn2+5xn+4xn+6x_{n+1}=\frac{x_n^2+5x_n+4}{x_n+6} for all nonnegative integers n.n. Let mm be the least positive integer such that xm≤4+1220.x_m\leq 4+\frac{1}{2^{20}}. In which of the following intervals does mm lie?

Log in to save your progress.
Show solution without answering

Key insight

Track how far each term is above 4. That distance shrinks by a factor between 9/10 and 10/11 each step, so powers of those fractions bound m.

Solution

The target 4+12204 + \frac{1}{2^{20}} is "just above 44", so follow the distance of each term from 44.

Step 1: a simpler sequence.

1. Let yn=xn−4y_n = x_n - 4, the amount by which xnx_n is above 44. Then y0=5−4=1y_0 = 5 - 4 = 1.
2. Compute the next distance:
yn+1=xn+1−4=xn2+5xn+4−4(xn+6)xn+6=xn2+xn−20xn+6=(xn−4)(xn+5)xn+6.y_{n+1} = x_{n+1} - 4 = \frac{x_n^2 + 5x_n + 4 - 4(x_n + 6)}{x_n + 6} = \frac{x_n^2 + x_n - 20}{x_n + 6} = \frac{(x_n - 4)(x_n + 5)}{x_n + 6}.
3. Now write xn+5=yn+9x_n + 5 = y_n + 9 and xn+6=yn+10x_n + 6 = y_n + 10:
yn+1=yn⋅yn+9yn+10.y_{n+1} = y_n \cdot \frac{y_n + 9}{y_n + 10}.
So each step multiplies the distance by the factor yn+9yn+10\frac{y_n + 9}{y_n + 10}.

Step 2: how big is that factor?

4. Write the factor as 1−1yn+101 - \frac{1}{y_n + 10}. The distance starts at 11 and, as we will see, stays between 00 and 11.
5. If yny_n is between 00 and 11, then yn+10y_n + 10 is between 1010 and 1111, so the factor is between 1−110=9101 - \frac1{10} = \frac{9}{10} and 1−111=10111 - \frac1{11} = \frac{10}{11}.
6. A positive factor smaller than 11 keeps the distance positive and makes it shrink, so it does stay between 00 and 11.
7. Multiplying nn such factors starting from y0=1y_0 = 1:
(910)n≤yn≤(1011)n.\left(\frac{9}{10}\right)^n \le y_n \le \left(\frac{10}{11}\right)^n.

Step 3: we need ym≤1220y_m \le \frac{1}{2^{20}}, the first time.

  1. mm is more than 120120. 96=531,4419^6 = 531{,}441 and 106=1,000,00010^6 = 1{,}000{,}000, so (910)6\left(\frac{9}{10}\right)^6 is more than 12\frac12. Raising to the 2020th power, (910)120\left(\frac{9}{10}\right)^{120} is more than 1220\frac{1}{2^{20}}. So for every nn up to 120120, yny_n is still above the target.
  2. mm is at most 160160. 1.12=1.211.1^2 = 1.21, 1.14=1.46411.1^4 = 1.4641, 1.18≈2.141.1^8 \approx 2.14, which is more than 22. So (1011)8\left(\frac{10}{11}\right)^8 is less than 12\frac12, and (1011)160\left(\frac{10}{11}\right)^{160} is less than 1220\frac{1}{2^{20}}. So y160y_{160} is already below the target.
  3. Together: mm is between 121121 and 160160. That lies inside [81,242][81, 242].

The answer is (C) [81,242]\boxed{\textbf{(C)}\ [81,242]}.

Why this works

When a sequence creeps toward a number, study the gap between them instead of the terms. Factoring showed that the gap is multiplied by almost the same fraction each step, so it shrinks like a power. Rough power estimates were enough because the answer intervals are wide: each one is about three times the one before.

Concise solution

A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.

The target 4+2−204 + 2^{-20} suggests measuring the distance from 44. Let yn=xn−4y_n = x_n - 4, so y0=1y_0 = 1. Then
yn+1=xn2+5xn+4xn+6−4=xn2+xn−20xn+6=(xn−4)(xn+5)xn+6=yn⋅yn+9yn+10.y_{n+1} = \frac{x_n^2 + 5x_n + 4}{x_n + 6} - 4 = \frac{x_n^2 + x_n - 20}{x_n + 6} = \frac{(x_n - 4)(x_n + 5)}{x_n + 6} = y_n \cdot \frac{y_n + 9}{y_n + 10}.

For 0<yn≤10 < y_n \le 1 the factor yn+9yn+10\frac{y_n + 9}{y_n + 10} lies between 910\frac{9}{10} (at yn=0y_n = 0) and 1011\frac{10}{11} (at yn=1y_n = 1), so yny_n stays positive, decreases, and satisfies
(910)n≤yn≤(1011)n.\left(\frac{9}{10}\right)^n \le y_n \le \left(\frac{10}{11}\right)^n.

We need the first mm with ym≤2−20y_m \le 2^{-20}.

  • Lower bound on mm: (109)6=1000000531441<2\left(\frac{10}{9}\right)^6 = \frac{1000000}{531441} < 2, so (910)120>2−20\left(\frac{9}{10}\right)^{120} > 2^{-20}, hence y120>2−20y_{120} > 2^{-20} and m>120m > 120.
  • Upper bound on mm: 1.18≈2.14>21.1^8 \approx 2.14 > 2, so (1011)160<2−20\left(\frac{10}{11}\right)^{160} < 2^{-20}, hence y160≤2−20y_{160} \le 2^{-20} and m≤160m \le 160.

Thus 120<m≤160120 < m \le 160, which lies inside [81,242][81, 242].

The answer is (C) [81,242]\boxed{\textbf{(C)}\ [81,242]}.

Review in the AoPS books

Similar problems

Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.