Maths Olympiad Prep

Library / /280 of 462

Algebra Difficulty 6.0 National Olympiad Prove it Ireland

A sequence whose first term is positive is constructed so that any given term is the area of a square whose perimeter is the preceding term. If the first three terms form an arithmetic progression, determine all possible values of the first term.

Solution

A square of side length xx has perimeter 4x4x and area x2x^2. If the preceding term of the sequence is Tn1T_{n-1}, then its successor is Tn=(Tn1/4)2T_n = (T_{n-1}/4)^2. Thus the first three terms are
a,a216=a224anda44096=a4212. a, \quad \frac{a^2}{16} = \frac{a^2}{2^4} \quad \text{and} \quad \frac{a^4}{4096} = \frac{a^4}{2^{12}}.
Since the terms are in arithmetic progression, their common difference may be computed in two ways
aa224=a224a4212 a - \frac{a^2}{2^4} = \frac{a^2}{2^4} - \frac{a^4}{2^{12}}
leading to
a42122a224+a=0,i.e.a((a24)32a24+1)=0. \frac{a^4}{2^{12}} - 2\frac{a^2}{2^4} + a = 0, \quad \text{i.e.} \quad a\left(\left(\frac{a}{2^4}\right)^3 - 2\frac{a}{2^4} + 1\right) = 0.
Letting y=a/24y = a/2^4, this equation can be rewritten as y32y+1=0y^3 - 2y + 1 = 0, since a>0a > 0. Because
y32y+1=(y1)(y2+y1)=(y1)(y+152)(y+1+52), y^3 - 2y + 1 = (y - 1)(y^2 + y - 1) = (y - 1)\left(y + \frac{1 - \sqrt{5}}{2}\right)\left(y + \frac{1 + \sqrt{5}}{2}\right),
the positive solutions correspond to y=1y = 1 and y=(51)/2y = (\sqrt{5} - 1)/2. Using a=24ya = 2^4 y we deduce that the positive values of the initial terms are
a=24=16ora=8(51). a = 2^4 = 16 \quad \text{or} \quad a = 8(\sqrt{5} - 1).

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.