Interlacing an arithmetic and a geometric progression
Statement
Prove that for every integer there exist positive integers in arithmetic progression and positive integers in geometric progression such that
Give an explicit example with .
Hint
Take a geometric progression with ratio for a large even integer , namely , and an arithmetic progression with common difference .
Show solutionHide solution
Solution
Construction. Let be an even integer with (for example ) and set, for ,
All are integers, in geometric progression with ratio . The are in arithmetic progression with difference , and they are integers because is even and , so is an integer.
Normalising. Dividing by : the claim becomes, with ,
Right inequality. By Bernoulli, .
Left inequality. Let , so . Using and for :
We need , that is . Since , the left inequality holds.
Example. The values of below are smaller than the one used in the proof, but they work, as one checks directly. For and : and , giving
For and : and , and one checks
Remark. Both sequences have a similar size, but the geometric one eventually overtakes any arithmetic one. The construction makes them dance around each other for exactly steps by choosing a ratio very close to .