Let an,bn, n=1,2,… be two sequences of integers defined by a1=1, b1=0 and for n≥1, an+1=7an+12bn+6 bn+1=4an+7bn+3.
Prove that an2 is the difference of two consecutive cubes.
Solution
First we shall prove that an2 is the difference of two consecutive cubes. To do so, we shall prove by induction that an2=(bn+1)3−bn3.
When n=1, this is true.
Suppose for n≥1, this is true. We have (bn+1+1)3−bn+13=3bn+12+3bn+1+1=3(4an+7bn+3)2+3(4an+7bn+3)+1=48an2+147bn2+168anbn+84an+147bn+37=(7an+12bn+6)2+(3bn2+3bn+1)−an2=an+12+(bn+1)3−bn3−an2=an+12 where the last equality is by induction hypothesis.
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.