Let the sequence {an}n≥1 be defined by a1\equal20, a2\equal30 and an\plus2\equal3an\plus1\minusan for all n≥1. Find all positive integers n such that 1\plus5anan\plus1 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}n≥1 is defined by: a1=20,a2=30,andan+2=3an+1−anfor alln≥1.
2. Identify the characteristic equation: The recurrence relation an+2=3an+1−an has a characteristic equation: x2−3x+1=0. Solving this quadratic equation, we get the roots: x=23±5. Let α=23+5 and β=23−5.
3. Express the general term of the sequence: The general solution to the recurrence relation is: an=Aαn+Bβn, where A and B are constants determined by the initial conditions.
4. **Determine the constants A and B:** Using the initial conditions a1=20 and a2=30: a1=Aα+Bβ=20, a2=Aα2+Bβ2=30. Substituting α and β: α2=4(3+5)2=49+65+5=414+65=27+35, β2=4(3−5)2=49−65+5=414−65=27−35. Thus: a2=A(27+35)+B(27−35)=30. Simplifying, we get: 7A+3A5+7B−3B5=60, 7(A+B)+35(A−B)=60. We now have the system of equations: Aα+Bβ=20, 7(A+B)+35(A−B)=60.
5. Solve the system of equations: From Aα+Bβ=20: A(23+5)+B(23−5)=20, 3A+A5+3B−B5=40, 3(A+B)+5(A−B)=40. We now have: 3(A+B)+5(A−B)=40, 7(A+B)+35(A−B)=60. Let x=A+B and y=A−B. Then: 3x+5y=40, 7x+35y=60. Solving this system, we multiply the first equation by 3: 9x+35y=120, 7x+35y=60. Subtracting the second equation from the first: 2x=60⟹x=30. Substituting x=30 into 3x+5y=40: 90+5y=40, 5y=−50⟹y=−105. Thus: A+B=30, A−B=−105. Solving for A and B: A=230−105=15−55, B=230+105=15+55.
6. **Find the expression for an:** an=(15−55)(23+5)n+(15+55)(23−5)n.
7. **Check when 1+5anan+1 is a perfect square:** We need to find n such that 1+5anan+1 is a perfect square. This requires solving: 1+5anan+1=k2for some integerk. Given the complexity of the expression, we simplify by checking small values of n.
8. **Check small values of n:** For n=1: a1=20,a2=30, 1+5⋅20⋅30=1+3000=3001(not a perfect square). For n=2: a2=30,a3=3⋅30−20=70, 1+5⋅30⋅70=1+10500=10501(not a perfect square). For n=3: a3=70,a4=3⋅70−30=180, 1+5⋅70⋅180=1+63000=63001(not a perfect square). For n=4: a4=180,a5=3⋅180−70=470, 1+5⋅180⋅470=1+423000=423001=6512(a perfect square).
Conclusion: The only positive integer n such that 1+5anan+1 is a perfect square is n=4.
The final answer is 4
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.