Maths Olympiad Prep

Library / /44 of 86

Algebra Difficulty 5.9 AIME, harder Prove it Estonia

Let aa, bb, cc, dd be positive real numbers satisfying the system of equations
{a2+1b2=12,b2+4c2=8,c2+16d2=2,d2+4a2=32. \begin{cases} a^2 + \frac{1}{b^2} = \frac{1}{2}, \\ b^2 + \frac{4}{c^2} = 8, \\ c^2 + \frac{16}{d^2} = 2, \\ d^2 + \frac{4}{a^2} = 32. \end{cases}

Determine the product abcdabcd.

Solutions — 2

Solution 1

Multiplying all equations gives
(a2+1b2)(b2+4c2)(c2+16d2)(d2+4a2)=28. \left(a^2 + \frac{1}{b^2}\right) \left(b^2 + \frac{4}{c^2}\right) \left(c^2 + \frac{16}{d^2}\right) \left(d^2 + \frac{4}{a^2}\right) = 2^8.
By AM-GM, a2+1b22aba^2 + \frac{1}{b^2} \ge 2 \cdot \frac{a}{b}, where the equality holds if and only if a=1ba = \frac{1}{b}. Similarly b2+4c24bcb^2 + \frac{4}{c^2} \ge 4 \cdot \frac{b}{c} (equality if and only if b=2cb = \frac{2}{c}), c2+16d28cdc^2 + \frac{16}{d^2} \ge 8 \cdot \frac{c}{d} (equality if and only if c=4dc = \frac{4}{d}) and d2+4a24dad^2 + \frac{4}{a^2} \ge 4 \cdot \frac{d}{a} (equality if and only if d=2ad = \frac{2}{a}). Multiplying the obtained four inequalities gives
(a2+1b2)(b2+4c2)(c2+16d2)(d2+4a2)2ab4bc8cd4da=28. \left(a^2 + \frac{1}{b^2}\right) \left(b^2 + \frac{4}{c^2}\right) \left(c^2 + \frac{16}{d^2}\right) \left(d^2 + \frac{4}{a^2}\right) \ge 2 \cdot \frac{a}{b} \cdot 4 \cdot \frac{b}{c} \cdot 8 \cdot \frac{c}{d} \cdot 4 \cdot \frac{d}{a} = 2^8.
The resulting inequality must hold as equality by the first step of the solution. This is possible only if all four inequalities hold as equalities, whence
{a=1b,b=2c,c=4d,d=2a. \begin{cases} a = \frac{1}{b}, \\ b = \frac{2}{c}, \\ c = \frac{4}{d}, \\ d = \frac{2}{a}. \end{cases}
By multiplying the equations of this system, we get abcd=16abcdabcd = \frac{16}{abcd}, whence (abcd)2=16(abcd)^2 = 16. As a,b,ca, b, c and dd are positive, the only possibility is abcd=4abcd = 4.

Solution 2

By introducing a=x2a = \frac{x}{2}, b=2yb = 2y, c=zc = z, d=4td = 4t, rewrite the system as
{x24+14y2=12,4y2+4z2=8,z2+1616t2=2,16t2+44x2=32. \begin{cases} \frac{x^2}{4} + \frac{1}{4y^2} = \frac{1}{2}, \\ 4y^2 + \frac{4}{z^2} = 8, \\ z^2 + \frac{16}{16t^2} = 2, \\ 16t^2 + \frac{4 \cdot 4}{x^2} = 32. \end{cases}
Multiplying the first equation by 4, the second equation by 14\frac{1}{4}, and the fourth equation by 116\frac{1}{16}, we obtain an equivalent system
{x2+1y2=2,y2+1z2=2,z2+1t2=2,t2+1x2=2. \begin{cases} x^2 + \frac{1}{y^2} = 2, \\ y^2 + \frac{1}{z^2} = 2, \\ z^2 + \frac{1}{t^2} = 2, \\ t^2 + \frac{1}{x^2} = 2. \end{cases}
Adding the equations of this system gives
x2+1y2+y2+1z2+z2+1t2+t2+1x2=8. x^2 + \frac{1}{y^2} + y^2 + \frac{1}{z^2} + z^2 + \frac{1}{t^2} + t^2 + \frac{1}{x^2} = 8.
But for every real number uu, u+1u2u + \frac{1}{u} \ge 2, where equality holds only if u=1u = 1. By adding up inequalities x2+1x22x^2 + \frac{1}{x^2} \ge 2, y2+1y22y^2 + \frac{1}{y^2} \ge 2, z2+1z22z^2 + \frac{1}{z^2} \ge 2 and t2+1t22t^2 + \frac{1}{t^2} \ge 2, we get
x2+1x2+y2+1y2+z2+1z2+t2+1t28. x^2 + \frac{1}{x^2} + y^2 + \frac{1}{y^2} + z^2 + \frac{1}{z^2} + t^2 + \frac{1}{t^2} \ge 8.
This inequality must hold as equality by the above; hence all four previous inequalities must hold as equalities, too, i.e., x2=y2=z2=t2=1x^2 = y^2 = z^2 = t^2 = 1. As the numbers are positive, the only possibility is x=y=z=t=1x = y = z = t = 1. Hence abcd=x22yz4t=4xyzt=4abcd = \frac{x}{2} \cdot 2y \cdot z \cdot 4t = 4xyzt = 4.

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 and solution reproduced as published; topic and difficulty added by this site.