Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /231 of 395

Saudi Arabian Mathematical Competitions

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 5⋅420095 \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
(1−5)n=xn−yn5,n=1,2,… (1-\sqrt{5})^{n}=x_{n}-y_{n} \sqrt{5}, \quad n=1,2, \ldots
hence
xn2−5yn2=(−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=xn2−4na_{n}=x_{n}^{2}-4^{n} and we have
an+an+4n=xn2−4n+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=5yn2−4na_{n}=5 y_{n}^{2}-4^{n} and we have
an+an+4n=5yn2−4n+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=xn2−4n=5yn2a_{n}=x_{n}^{2}-4^{n}=5 y_{n}^{2}, where
yn=125[(1+5)n−(1−5)n]=2n25[(1+52)n−(1−52)n]=2n−1Fn \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=5⋅4n−1Fn2a_{n}= 5 \cdot 4^{n-1} F_{n}^{2}, hence 5⋅4n−1∣an5 \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,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.