Let (an)n≥1 be a sequence given by a1=45 and an=an−12+15an−1 for n>1. Prove that the sequence contains no perfect squares.
Solution
By induction we can show that an>0 for all positive integer n. Suppose that there exists a positive integer n such that an is a perfect square. an=an−12+15an−1=an−1(an−1+15) so an−1∣an for all positive integers n. Thus, it follows that a1=45∣an,for all positive integers n. Let k>1 be the smallest positive integer such that ak is a perfect square and ak−1=45x with x a positive integer. We have ak=45x(45x+15)=152⋅3x(3x+1) is a perfect square. On the other hand, (3x,3x+1)=1 implies 3x and 3x+1 are perfect squares, so 3x=0 and 3x+1=1. It is impossible since an>0 for all n. □
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.