Maths Olympiad Prep

Library / IRL ABooklet /107 of 191

IRL ABooklet

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 Tn−1T_{n-1}, then its successor is Tn=(Tn−1/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
a−a224=a224−a4212 a - \frac{a^2}{2^4} = \frac{a^2}{2^4} - \frac{a^4}{2^{12}}
leading to
a4212−2a224+a=0,i.e.a((a24)3−2a24+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 y3−2y+1=0y^3 - 2y + 1 = 0, since a>0a > 0. Because
y3−2y+1=(y−1)(y2+y−1)=(y−1)(y+1−52)(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=(5−1)/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(5−1). 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,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.