Maths Olympiad Prep

Library / /87 of 133

Number theory Difficulty 5.8 AIME, harder Prove it Saudi Arabia

a) Prove that for each positive integer nn there is a unique positive integer ana_{n} such that
(1+5)n=an+an+4n (1+\sqrt{5})^{n}=\sqrt{a_{n}}+\sqrt{a_{n}+4^{n}}

b) Prove that a2010a_{2010} is divisible by 5420095 \cdot 4^{2009} and find the quotient.

Solution

(a) Let (1+5)n=xn+yn5(1+\sqrt{5})^{n}=x_{n}+y_{n} \sqrt{5}, where xn,ynx_{n}, y_{n} are positive integers, n=1,2,n=1,2, \ldots Then
(15)n=xnyn5,n=1,2, (1-\sqrt{5})^{n}=x_{n}-y_{n} \sqrt{5}, \quad n=1,2, \ldots
hence
xn25yn2=(4)n,n=1,2, \begin{equation*} x_{n}^{2}-5 y_{n}^{2}=(-4)^{n}, \quad n=1,2, \ldots \tag{1} \end{equation*}
If nn is even, consider an=xn24na_{n}=x_{n}^{2}-4^{n} and we have
an+an+4n=xn24n+xn2=5yn2+xn2=yn5+xn=(1+5)n \begin{gathered} \sqrt{a_{n}}+\sqrt{a_{n}+4^{n}}=\sqrt{x_{n}^{2}-4^{n}}+\sqrt{x_{n}^{2}}=\sqrt{5 y_{n}^{2}}+\sqrt{x_{n}^{2}} \\ =y_{n} \sqrt{5}+x_{n}=(1+\sqrt{5})^{n} \end{gathered}
If nn is odd, consider an=5yn24na_{n}=5 y_{n}^{2}-4^{n} and we have
an+an+4n=5yn24n+5yn2=xn2+5yn2=xn+yn5=(1+5)n \begin{gathered} \sqrt{a_{n}}+\sqrt{a_{n}+4^{n}}=\sqrt{5 y_{n}^{2}-4^{n}}+\sqrt{5 y_{n}^{2}}=\sqrt{x_{n}^{2}}+\sqrt{5 y_{n}^{2}} \\ =x_{n}+y_{n} \sqrt{5}=(1+\sqrt{5})^{n} \end{gathered}

(b) If nn is even, then we have an=xn24n=5yn2a_{n}=x_{n}^{2}-4^{n}=5 y_{n}^{2}, where
yn=125[(1+5)n(15)n]=2n25[(1+52)n(152)n]=2n1Fn \begin{gathered} y_{n}=\frac{1}{2 \sqrt{5}}\left[(1+\sqrt{5})^{n}-(1-\sqrt{5})^{n}\right] \\ =\frac{2^{n}}{2 \sqrt{5}}\left[\left(\frac{1+\sqrt{5}}{2}\right)^{n}-\left(\frac{1-\sqrt{5}}{2}\right)^{n}\right]=2^{n-1} F_{n} \end{gathered}
where FnF_{n} is the nthn^{\text{th}} Fibonacci number. In this case we get an=54n1Fn2a_{n}= 5 \cdot 4^{n-1} F_{n}^{2}, hence 54n1an5 \cdot 4^{n-1} \mid a_{n} and the quotient is Fn2F_{n}^{2}.

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.