Maths Olympiad Prep

Library / /298 of 860

Algebra Difficulty 5.0 AIME, harder Find the answer

Let a1=1a_{1}=1, and let an=n3/an1a_{n}=\left\lfloor n^{3} / a_{n-1}\right\rfloor for n>1n>1. Determine the value of a999a_{999}.

A number or a short expression. Spacing and $ signs are ignored.

Solution

We claim that for any odd n,an=nn, a_{n}=n. The proof is by induction. To get the base cases n=1n=1, 3, we compute a1=1,a2=23/1=8,a3=33/8=3a_{1}=1, a_{2}=\left\lfloor 2^{3} / 1\right\rfloor=8, a_{3}=\left\lfloor 3^{3} / 8\right\rfloor=3. And if the claim holds for odd n3n \geq 3, then an+1=(n+1)3/n=n2+3n+3a_{n+1}=\left\lfloor(n+1)^{3} / n\right\rfloor=n^{2}+3 n+3, so an+2=(n+2)3/(n2+3n+3)=(n3+6n2+12n+8)/(n2+3n+2)=n+2+n2+3n+2n2+3n+3=n+2a_{n+2}=\left\lfloor(n+2)^{3} /\left(n^{2}+3 n+3\right)\right\rfloor=\left\lfloor\left(n^{3}+6 n^{2}+12 n+8\right) /\left(n^{2}+3 n+2\right)\right\rfloor=\left\lfloor n+2+\frac{n^{2}+3 n+2}{n^{2}+3 n+3}\right\rfloor=n+2. So the claim holds, and in particular, a999=999a_{999}=999.

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

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.