Suppose that the sequence {an} defined by a1=a2=1, an=7an−1−an−2, n≥3. Prove that an+an+1+2 is a perfect square for any positive integer n. (posed by Tao Pingsheng)
Solution
It is well known that the solution of the sequence can be obtained by solving two geometric sequences. We get an=C1λ1n+C2λ2n, where λ1=27+45=(23+5)2,λ2=27−45=(23−5)2, λ1 and λ2 are solutions of the equation λ2−7λ+1=0, a1=1=C1λ1+C2λ2, a2=1=C1λ12+C2λ22. Therefore, an+an+1+2=λ1n−1C1(λ1+λ12)+λ2n−1C2(λ2+λ22)+2=λ1n−1+λ2n−1+2=(23+5)n−12+(23−5)n−12+2=(23+5)n−1+(23−5)n−12=xn2, where xn=(23+5)n−1+(23−5)n−1 is the solution of the sequence {xn} of positive integers x1=2,x2=3,xn=3xn−1−xn−2, n≥3. □
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.