Maths Olympiad Prep

Track / Stage 5 / 235 of 400 #835 of 1964

Problem 835

AIME late
Number theory Difficulty 5.6 Find the answer

7.1. Let a1=1,a2=3a_{1}=1, a_{2}=3 and an+2=(n+3)an+1(n+2)ana_{n+2}=(n+3) a_{n+1}-(n+2) a_{n} for every integer n1n \geq 1. Find all values of nn for which 11 divides ana_{n}.

A number or a short expression. Spacing, $ signs and \frac vs / are all fine.

Official solution

7.1. By direct calculation we get

a11(mod11)a23(mod11)a39(mod11)a40(mod11)a510(mod11)a64(mod11)a76(mod11)a80(mod11)a91(mod11)a100(mod11)a110(mod11) \begin{aligned} a_{1} & \equiv 1(\bmod 11) \\ a_{2} & \equiv 3(\bmod 11) \\ a_{3} & \equiv 9(\bmod 11) \\ a_{4} & \equiv 0(\bmod 11) \\ a_{5} & \equiv 10(\bmod 11) \\ a_{6} & \equiv 4(\bmod 11) \\ a_{7} & \equiv 6(\bmod 11) \\ a_{8} & \equiv 0(\bmod 11) \\ a_{9} & \equiv 1(\bmod 11) \\ a_{10} & \equiv 0(\bmod 11) \\ a_{11} & \equiv 0(\bmod 11) \end{aligned}

So from the relation in the problem we obtain that for every n10n \geq 10 we have an+20(mod11)a_{n+2} \equiv 0(\bmod 11). The answer is:

n{4,8}{nN:n10} n \in\{4,8\} \cup\{n \in \mathbf{N}: n \geq 10\}

Alternate solution. From the recurrence relation in the problem we immediately see that for n3n \geq 3 we have

anan1=n(an1an2)an1an2=(n1)(an2an3)a4a3=4(a3a2)a3a2=(a2a1) \begin{aligned} & a_{n}-a_{n-1}=n\left(a_{n-1}-a_{n-2}\right) \\ & a_{n-1}-a_{n-2}=(n-1)\left(a_{n-2}-a_{n-3}\right) \\ & \vdots \\ & a_{4}-a_{3}=4\left(a_{3}-a_{2}\right) \\ & a_{3}-a_{2}=\left(a_{2}-a_{1}\right) \end{aligned}

After consecutive substitutions we arrive to:

anan1=34n(a2a1)=n! a_{n}-a_{n-1}=3 \cdot 4 \ldots \cdot n \cdot\left(a_{2}-a_{1}\right)=n!

i.e.

an=an1+n! a_{n}=a_{n-1}+n!

and therefore

an=1!+2!+3!++n! a_{n}=1!+2!+3!+\cdots+n!

Now we have

a1=1a2=3a3=92a42+234=0a523451a61(1)674 \begin{gathered} a_{1}=1 \quad a_{2}=3 \quad a_{3}=9 \equiv-2 \\ a_{4} \equiv-2+2 \cdot 3 \cdot 4=0 \quad a_{5} \equiv 2 \cdot 3 \cdot 4 \cdot 5 \equiv-1 \quad a_{6} \equiv-1(-1) \cdot 6 \equiv-7 \equiv 4 \end{gathered}

and in a similar way a76,a80,a91,a100a_{7} \equiv 6, a_{8} \equiv 0, a_{9} \equiv 1, a_{10} \equiv 0. All congruences are modulo 11. As for n11n \geq 11 we have n!0n!\equiv 0, from (1) it follows that then an0a_{n} \equiv 0, as well as for n=4,8n=4,8.

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