AlgebraDifficulty 5.7AIME, harderProve itHong Kong
Let x1 be a positive real number and xn+1=5xn+2xn2+1for n=1,2,3,… Prove that among x1,x2,…,x2011, there are at least 670 irrational numbers.
Solution
We rewrite the recurrence relation as follows. xn+1⇒(xn+1−5xn)2⇒xn2−25xn+1xn+(xn+12−4)=5xn+2xn2+1=4(xn2+1)=0. This is a quadratic equation in xn. We use the quadratic formula to obtain xn=5xn+1±5xn+12−(xn+12−4)=5xn+1±2xn+12+1. Using the given relation, it is clear that xn+1>xn. Therefore, xn=5xn+1−2xn+12+1. Together with xn+2=5xn+1+2xn+12+1, we obtain xn+2+xn=25xn+1. As xn,xn+1,xn+2>0, this relation suggests they cannot be all rational. Thus, there must be an irrational number in each of the groups (x3k+1,x3k+2,x3k+3) where k=0,1,…,669. That means there are at least 670 irrational numbers.
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.