Problem: Let an,bn be two sequences of integers such that: (1) a0=0, b0=8; (2) an+2=2an+1−an+2, bn+2=2bn+1−bn, (3) an2+bn2 is a square for n>0. Find at least two possible values for (a1992,b1992).
Solution
Solution: an satisfies a standard linear recurrence relation with general solution an=n2+An+k. But a0=0, so k=0. Hence an=n2+An. If you are not familiar with the general solution, then you can guess this solution and prove it by induction.
Similarly, bn=Bn+8. Hence an2+bn2=n4+2An3+(A2+B2)n2+16Bn+64. If this is a square, then looking at the constant and n3 terms, it must be (n2+An+8)2. Comparing the other terms, A=B=±4.
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 reproduced verbatim; metadata (topic, difficulty) added by this project.