Maths Olympiad Prep

Library / /110 of 462

Algebra Difficulty 5.2 AIME, harder Prove it Ireland

Suppose a,b,ca, b, c are non-zero real or complex numbers, and x,y,zx, y, z satisfy the following equations.
bz+cy=a, cx+az=b, bx+ay=c. bz + cy = a, \ cx + az = b, \ bx + ay = c.
Prove that
34x2+y2+z2, \frac{3}{4} \le |x|^2 + |y|^2 + |z|^2,
and give an example to show that this inequality is best possible.
Deduce, or prove otherwise, that in any triangle ABCABC
cos2A+cos2B+cos2C34. \cos^2 A + \cos^2 B + \cos^2 C \ge \frac{3}{4}.

Solution

a2(b2+c2)(z2+y2)b2(c2+a2)(x2+z2)c2(b2+a2)(x2+y2), \begin{aligned} |a|^2 &\le (|b|^2 + |c|^2)(|z|^2 + |y|^2) \\ |b|^2 &\le (|c|^2 + |a|^2)(|x|^2 + |z|^2) \\ |c|^2 &\le (|b|^2 + |a|^2)(|x|^2 + |y|^2), \end{aligned}
whence
a2b2+c2+b2c2+a2+c2a2+b22(x2+y2+z2). \frac{|a|^2}{|b|^2 + |c|^2} + \frac{|b|^2}{|c|^2 + |a|^2} + \frac{|c|^2}{|a|^2 + |b|^2} \le 2 (|x|^2 + |y|^2 + |z|^2).
By Nesbitt's inequality, the LHS exceeds 3/23/2. Hence the result.

If a=b=c=1a = b = c = 1, then x=y=z=1/2x = y = z = 1/2, in which case x2+y2+z2=3/4x^2 + y^2 + z^2 = 3/4 and so the inequality is the best possible. Since in any triangle,
a=bcosC+ccosB,b=ccosA+acosC,c=acosB+bcosA, \begin{aligned} a &= b \cos C + c \cos B, \\ b &= c \cos A + a \cos C, \\ c &= a \cos B + b \cos A, \end{aligned}
we obtain the consequence.

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.