Maths Olympiad Prep

Library / Annual Harvard-MIT Mathematics Tournament /54 of 72

Annual Harvard-MIT Mathematics Tournament

Algebra Difficulty 5.3 AIME, harder Prove it United States

Problem:
Let a1=3a_{1}=3, and for n>1n>1, let ana_{n} be the largest real number such that
4(an−12+an2)=10an−1an−9 4\left(a_{n-1}^{2}+a_{n}^{2}\right)=10 a_{n-1} a_{n}-9
What is the largest positive integer less than a8a_{8}?

Solution

Solution:
Answer: 335
Let tnt_{n} be the larger real such that an=tn+1tna_{n}=t_{n}+\frac{1}{t_{n}}. Then t1=3+52t_{1}=\frac{3+\sqrt{5}}{2}. We claim that tn=2tn−1t_{n}=2 t_{n-1}.

Writing the recurrence as a quadratic polynomial in ana_{n}, we have:
4an2−10an−1an+4an−12+9=0 4 a_{n}^{2}-10 a_{n-1} a_{n}+4 a_{n-1}^{2}+9=0
Using the quadratic formula, we see that
an=54an−1+34an−12−4. a_{n}=\frac{5}{4} a_{n-1}+\frac{3}{4} \sqrt{a_{n-1}^{2}-4}.
(We ignore the negative square root, since ana_{n} is the largest real number satisfying the polynomial.)

Substituting tn−1+1tn−1t_{n-1}+\frac{1}{t_{n-1}} for an−1a_{n-1}, we see that
an−12−4=tn−12−2+1tn−12, \sqrt{a_{n-1}^{2}-4}=\sqrt{t_{n-1}^{2}-2+\frac{1}{t_{n-1}^{2}}},
so we have:
an=54(tn−1+1tn−1)+34(tn−1−1tn−1)2=2tn−1+12tn−1 a_{n}=\frac{5}{4}\left(t_{n-1}+\frac{1}{t_{n-1}}\right)+\frac{3}{4} \sqrt{\left(t_{n-1}-\frac{1}{t_{n-1}}\right)^{2}}=2 t_{n-1}+\frac{1}{2 t_{n-1}}
so tn=2tn−1t_{n}=2 t_{n-1}, as claimed.

Then
a8=128(3+5)2+2128(3+5). a_{8}=\frac{128(3+\sqrt{5})}{2}+\frac{2}{128(3+\sqrt{5})}.
The second term is vanishingly small, so ⌊a8⌋=⌊64(3+5)⌋\left\lfloor a_{8}\right\rfloor=\lfloor 64(3+\sqrt{5})\rfloor.

We approximate 5\sqrt{5} to two decimal places as 2.242.24, making this expression ⌊335.36⌋=335\lfloor 335.36\rfloor=335.

Since our value of 5\sqrt{5} is correct to within 0.0050.005, the decimal is correct to within 0.320.32, which means the final answer is exact.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.