Maths Olympiad Prep

Library / IRL ABooklet /94 of 191

IRL ABooklet

Algebra Difficulty 5.9 AIME, harder Prove it Ireland

A sequence whose first term is positive has the property that any given term is the area of an equilateral triangle whose perimeter is the preceding term. If the first three terms form an arithmetic progression, determine all possible values of the first term.

Solution

An equilateral triangle of side length xx has perimeter 3x3x and area 3x2/4\sqrt{3}x^2/4. If the preceding term of the sequence is Tn−1T_{n-1}, then its successor is
Tn=3(Tn−1/3)24=Tn−12336. T_n = \frac{\sqrt{3}(T_{n-1}/3)^2}{4} = \frac{T_{n-1}^2 \sqrt{3}}{36}.
Thus the first three terms are
a,a2336,a4315552,ora,a2223/3,a4263/2. a, \frac{a^2\sqrt{3}}{36}, \frac{a^4\sqrt{3}}{15552}, \quad \text{or} \quad a, \frac{a^2}{2^{23/3}}, \frac{a^4}{2^{63/2}}.
Since the terms are in arithmetic progression, their common difference may be computed in two ways
a−a22233/2=a22233/2−a42639/2, a - \frac{a^2}{2^2 3^{3/2}} = \frac{a^2}{2^2 3^{3/2}} - \frac{a^4}{2^6 3^{9/2}},
leading to
a42639/2−2a22233/2+a=0,i.e.a((a2233/2)3−2a2233/2+1)=0. \frac{a^4}{2^6 3^{9/2}} - 2 \frac{a^2}{2^2 3^{3/2}} + a = 0, \quad \text{i.e.} \quad a \left( \left( \frac{a}{2^2 3^{3/2}} \right)^3 - 2 \frac{a}{2^2 3^{3/2}} + 1 \right) = 0.
Letting y=a/(2233/2)y = a/(2^2 3^{3/2}), 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=2233/2ya = 2^2 3^{3/2}y we deduce that the positive values of the initial terms are
a=2233/2=427=123ora=63(5−1). a = 2^2 3^{3/2} = 4\sqrt{27} = 12\sqrt{3} \quad \text{or} \quad a = 6\sqrt{3} (\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.