Let (a0,a1,a2,...) and (b0,b1,b2,...) be two infinite sequences of integers such that (an−an−1)(an−an−2)+(bn−bn−1)(bn−bn−2)=0, for all integers n≥2. Prove that there exists a positive integer K such that aK+2011=aK+(2011)2011.
Solution
Consider points Pj=(aj,bj) in the plane. The slope of the lines PnPn−1 and PnPn−2 are r=an−an−1bn−bn−1,s=an−an−2bn−bn−2, respectively. The given condition implies that rs=−1. Hence it follows that the lines PnPn−1 and PnPn−2 are perpendicular to each other. This implies that Pn lies on the circle Cn with diameter Pn−1Pn−2. Let f(n)=∣Pn−1−Pn−2∣2. Then f(n) is an integer. The observation that Pn lies on the circle Cn shows that f(n)≤f(n−1). Thus we get a non-increasing sequence of positive integers. This must be constant after certain stage. Thus f(n) is constant for n≥N, for some positive integer N. This implies that the diameter of Cn is constant for all n≥N. Hence Cn are all equal circles for n≥N. This implies that Pn=Pn+2 for all n≥N. But then an=an+2 for all n≥N. Hence aN+2011=aN+(2011)2011.
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.