Maths Olympiad Prep

Library / /14 of 30

Algebra Difficulty 5.6 AIME, harder Prove it Ireland

The integers a0,a1,a2,a3,a_0, a_1, a_2, a_3, \dots are defined as follows:
a0=1,a1=3,andan+1=an+an1for all n1. a_0 = 1, \quad a_1 = 3, \quad \text{and} \quad a_{n+1} = a_n + a_{n-1} \quad \text{for all } n \ge 1.
Find all integers n1n \ge 1 for which nan+1+ann a_{n+1} + a_n and nan+an1n a_n + a_{n-1} share a common factor greater than 1.

Solution

Define bn(x)=an+1x+anb_n(x) = a_{n+1} x + a_n for n0n \ge 0 and any integer xx. We have to find all n1n \ge 1 for which gcd(bn(n),bn1(n))>1\operatorname{gcd}(b_n(n), b_{n-1}(n)) > 1. By definition, for k1k \ge 1 we have bk+1(x)=bk(x)+bk1(x)b_{k+1}(x) = b_k(x) + b_{k-1}(x), hence gcd(bk+1(x),bk(x))=gcd(bk(x),bk1(x))\operatorname{gcd}(b_{k+1}(x), b_k(x)) = \operatorname{gcd}(b_k(x), b_{k-1}(x)) and so, using induction and substituting x=nx = n,
gcd(bn(n),bn1(n))=gcd(b1(n),b0(n))=gcd(a2n+a1,a1n+a0)=gcd(4n+3,3n+1)=gcd(n+2,3n+1)=gcd(n+2,5){1,5}. \begin{align*} \operatorname{gcd}(b_n(n), b_{n-1}(n)) &= \operatorname{gcd}(b_1(n), b_0(n)) = \operatorname{gcd}(a_2 n + a_1, a_1 n + a_0) \\ &= \operatorname{gcd}(4n + 3, 3n + 1) = \operatorname{gcd}(n + 2, 3n + 1) \\ &= \operatorname{gcd}(n + 2, -5) \in \{1, 5\}. \end{align*}
Hence, nan+1+ann a_{n+1} + a_n and nan+an1n a_n + a_{n-1} are not coprime iff 5n+25 \mid n + 2, and this is equivalent to n3(mod5)n \equiv 3 \pmod{5}.

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: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.