Maths WorkshopMaths problems with full solutions
Exercise 2073Calculus › Single-variable calculus › SequencesOlympiadAdded 2 Nov 2026

Interlacing an arithmetic and a geometric progression

#arithmetic progression#geometric progression#inequalities#construction

Statement

Prove that for every integer n≥3n\ge3 there exist positive integers a1<⋯<ana_1<\dots<a_n in arithmetic progression and positive integers b1<⋯<bnb_1<\dots<b_n in geometric progression such that
b1<a1<b2<a2<⋯<bn<an.b_1<a_1<b_2<a_2<\cdots<b_n<a_n.
Give an explicit example with n=5n=5.

Hint

Take a geometric progression with ratio c+1c\frac{c+1}c for a large even integer cc, namely bk=cn−k(c+1)k−1b_k=c^{n-k}(c+1)^{k-1}, and an arithmetic progression with common difference 12cn−2\frac12c^{n-2}.

Show solutionHide solution

Solution

Construction. Let cc be an even integer with c>2(n−1)2c>2(n-1)^2 (for example c=2n2c=2n^2) and set, for k=1,…,nk=1,\dots,n,
bk=cn−k(c+1)k−1,ak=cn−1+(k−12)cn−2.b_k=c^{n-k}(c+1)^{k-1},\qquad a_k=c^{n-1}+\left(k-\tfrac12\right)c^{n-2}.
All bkb_k are integers, in geometric progression with ratio c+1c\frac{c+1}c. The aka_k are in arithmetic progression with difference cn−2c^{n-2}, and they are integers because cc is even and n≥3n\ge3, so 12cn−2\frac12c^{n-2} is an integer.

Normalising. Dividing by cn−1c^{n-1}: the claim bk<ak<bk+1b_k<a_k<b_{k+1} becomes, with x=1cx=\frac1c,
(1+x)k−1<1+(k−12)x<(1+x)k.(1+x)^{k-1}<1+\left(k-\tfrac12\right)x<(1+x)^k.

Right inequality. By Bernoulli, (1+x)k≥1+kx>1+(k−12)x(1+x)^k\ge1+kx>1+\left(k-\frac12\right)x.

Left inequality. Let m=k−1≤n−1m=k-1\le n-1, so mx≤n−1c≤1mx\le\frac{n-1}c\le1. Using 1+t≤et1+t\le e^t and et≤1+t+t2e^t\le1+t+t^2 for t≤1t\le1:
(1+x)m≤emx≤1+mx+m2x2.(1+x)^m\le e^{mx}\le1+mx+m^2x^2.
We need m2x2<x2m^2x^2<\frac x2, that is c>2m2c>2m^2. Since c>2(n−1)2≥2m2c>2(n-1)^2\ge2m^2, the left inequality holds.

Example. The values of cc below are smaller than the one used in the proof, but they work, as one checks directly. For n=3n=3 and c=4c=4: b=(16,20,25)b=(16,20,25) and a=(18,22,26)a=(18,22,26), giving
16<18<20<22<25<26.16<18<20<22<25<26.
For n=5n=5 and c=14c=14: b=(38416, 41160, 44100, 47250, 50625)b=(38416,\ 41160,\ 44100,\ 47250,\ 50625) and a=(39788, 42532, 45276, 48020, 50764)a=(39788,\ 42532,\ 45276,\ 48020,\ 50764), and one checks
38416<39788<41160<42532<44100<45276<47250<48020<50625<50764.38416<39788<41160<42532<44100<45276<47250<48020<50625<50764.

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 nn steps by choosing a ratio very close to 11.