Let an+1=an3−2an2+2 for all n≥1 and a1=5. Prove that if p≡3(mod4) is a prime divisor of a2011+1, then p=3.
Solution
Observe that an+1−2=an2(an−2) for all n≥1. By induction on n we obtain an+1−2=3an2an−12⋯a12 for all n≥1. Therefore a2011+1=3(a20102a20092⋯a12+1)=(a2010a2009⋯a1)2+1.
Let p≡3(mod4) be a prime divisor of a2011+1. It is well known that if q is a prime divisor of (a2010a2009⋯a1)2+1, then q≡1(mod4) or q=2. Thus p∣3. That is p=3.
Looking for a route rather than 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.