Maths Olympiad Prep

Track / Stage 7 / 225 of 300 #1625 of 1964

Problem 1625

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.4 Find the answer

Let the sequence {an}n1 \{a_n\}_{n\geq 1} be defined by a1\equal20 a_1 \equal{} 20, a2\equal30 a_2 \equal{} 30 and an\plus2\equal3an\plus1\minusan a_{n \plus{} 2} \equal{} 3a_{n \plus{} 1} \minus{} a_n for all n1 n\geq 1. Find all positive integers n n such that 1\plus5anan\plus1 1 \plus{} 5a_n a_{n \plus{} 1} is a perfect square.

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

Official solution

1. Define the sequence and initial conditions:
The sequence {an}n1\{a_n\}_{n \geq 1} is defined by:
a1=20,a2=30,andan+2=3an+1anfor alln1. a_1 = 20, \quad a_2 = 30, \quad \text{and} \quad a_{n+2} = 3a_{n+1} - a_n \quad \text{for all} \quad n \geq 1.

2. Identify the characteristic equation:
The recurrence relation an+2=3an+1ana_{n+2} = 3a_{n+1} - a_n has a characteristic equation:
x23x+1=0. x^2 - 3x + 1 = 0.
Solving this quadratic equation, we get the roots:
x=3±52. x = \frac{3 \pm \sqrt{5}}{2}.
Let α=3+52\alpha = \frac{3 + \sqrt{5}}{2} and β=352\beta = \frac{3 - \sqrt{5}}{2}.

3. Express the general term of the sequence:
The general solution to the recurrence relation is:
an=Aαn+Bβn, a_n = A\alpha^n + B\beta^n,
where AA and BB are constants determined by the initial conditions.

4. **Determine the constants AA and BB:**
Using the initial conditions a1=20a_1 = 20 and a2=30a_2 = 30:
a1=Aα+Bβ=20, a_1 = A\alpha + B\beta = 20,
a2=Aα2+Bβ2=30. a_2 = A\alpha^2 + B\beta^2 = 30.
Substituting α\alpha and β\beta:
α2=(3+5)24=9+65+54=14+654=7+352, \alpha^2 = \frac{(3 + \sqrt{5})^2}{4} = \frac{9 + 6\sqrt{5} + 5}{4} = \frac{14 + 6\sqrt{5}}{4} = \frac{7 + 3\sqrt{5}}{2},
β2=(35)24=965+54=14654=7352. \beta^2 = \frac{(3 - \sqrt{5})^2}{4} = \frac{9 - 6\sqrt{5} + 5}{4} = \frac{14 - 6\sqrt{5}}{4} = \frac{7 - 3\sqrt{5}}{2}.
Thus:
a2=A(7+352)+B(7352)=30. a_2 = A\left(\frac{7 + 3\sqrt{5}}{2}\right) + B\left(\frac{7 - 3\sqrt{5}}{2}\right) = 30.
Simplifying, we get:
7A+3A5+7B3B5=60, 7A + 3A\sqrt{5} + 7B - 3B\sqrt{5} = 60,
7(A+B)+35(AB)=60. 7(A + B) + 3\sqrt{5}(A - B) = 60.
We now have the system of equations:
Aα+Bβ=20, A\alpha + B\beta = 20,
7(A+B)+35(AB)=60. 7(A + B) + 3\sqrt{5}(A - B) = 60.

5. Solve the system of equations:
From Aα+Bβ=20A\alpha + B\beta = 20:
A(3+52)+B(352)=20, A\left(\frac{3 + \sqrt{5}}{2}\right) + B\left(\frac{3 - \sqrt{5}}{2}\right) = 20,
3A+A5+3BB5=40, 3A + A\sqrt{5} + 3B - B\sqrt{5} = 40,
3(A+B)+5(AB)=40. 3(A + B) + \sqrt{5}(A - B) = 40.
We now have:
3(A+B)+5(AB)=40, 3(A + B) + \sqrt{5}(A - B) = 40,
7(A+B)+35(AB)=60. 7(A + B) + 3\sqrt{5}(A - B) = 60.
Let x=A+Bx = A + B and y=ABy = A - B. Then:
3x+5y=40, 3x + \sqrt{5}y = 40,
7x+35y=60. 7x + 3\sqrt{5}y = 60.
Solving this system, we multiply the first equation by 3:
9x+35y=120, 9x + 3\sqrt{5}y = 120,
7x+35y=60. 7x + 3\sqrt{5}y = 60.
Subtracting the second equation from the first:
2x=60    x=30. 2x = 60 \implies x = 30.
Substituting x=30x = 30 into 3x+5y=403x + \sqrt{5}y = 40:
90+5y=40, 90 + \sqrt{5}y = 40,
5y=50    y=105. \sqrt{5}y = -50 \implies y = -10\sqrt{5}.
Thus:
A+B=30, A + B = 30,
AB=105. A - B = -10\sqrt{5}.
Solving for AA and BB:
A=301052=1555, A = \frac{30 - 10\sqrt{5}}{2} = 15 - 5\sqrt{5},
B=30+1052=15+55. B = \frac{30 + 10\sqrt{5}}{2} = 15 + 5\sqrt{5}.

6. **Find the expression for ana_n:**
an=(1555)(3+52)n+(15+55)(352)n. a_n = (15 - 5\sqrt{5})\left(\frac{3 + \sqrt{5}}{2}\right)^n + (15 + 5\sqrt{5})\left(\frac{3 - \sqrt{5}}{2}\right)^n.

7. **Check when 1+5anan+11 + 5a_n a_{n+1} is a perfect square:**
We need to find nn such that 1+5anan+11 + 5a_n a_{n+1} is a perfect square. This requires solving:
1+5anan+1=k2for some integerk. 1 + 5a_n a_{n+1} = k^2 \quad \text{for some integer} \quad k.
Given the complexity of the expression, we simplify by checking small values of nn.

8. **Check small values of nn:**
For n=1n = 1:
a1=20,a2=30, a_1 = 20, \quad a_2 = 30,
1+52030=1+3000=3001(not a perfect square). 1 + 5 \cdot 20 \cdot 30 = 1 + 3000 = 3001 \quad \text{(not a perfect square)}.
For n=2n = 2:
a2=30,a3=33020=70, a_2 = 30, \quad a_3 = 3 \cdot 30 - 20 = 70,
1+53070=1+10500=10501(not a perfect square). 1 + 5 \cdot 30 \cdot 70 = 1 + 10500 = 10501 \quad \text{(not a perfect square)}.
For n=3n = 3:
a3=70,a4=37030=180, a_3 = 70, \quad a_4 = 3 \cdot 70 - 30 = 180,
1+570180=1+63000=63001(not a perfect square). 1 + 5 \cdot 70 \cdot 180 = 1 + 63000 = 63001 \quad \text{(not a perfect square)}.
For n=4n = 4:
a4=180,a5=318070=470, a_4 = 180, \quad a_5 = 3 \cdot 180 - 70 = 470,
1+5180470=1+423000=423001=6512(a perfect square). 1 + 5 \cdot 180 \cdot 470 = 1 + 423000 = 423001 = 651^2 \quad \text{(a perfect square)}.

Conclusion:
The only positive integer nn such that 1+5anan+11 + 5a_n a_{n+1} is a perfect square is n=4n = 4.

The final answer is 4\boxed{4}

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