Date: Mon, 10 Nov 1997 21:48:14 -0500

From: Alex Bogomolny

Francois, hello.

I just forgot to update the CTK exchange page. The solution I came up with depends on the fact that the arithmetic mean is never less than the geometric mean.

Multiply the three terms on the left and use sine of the double angle formula to reduce the product to

(*) 64(cos(A/2)*cos(B/2)*cos(C/2))^{2}.

There is a known formula

p = 4Rcos(A/2)*cos(B/2)*cos(C/2)

where p is the semiperemeter and R is the radius of the circumscribed circle.

This reduces (*) to 4p^{2}/R^{2}. Now, if you can prove
that this expression attains its minimum for the
equilateral triangle you are done. But 4p^{2}/R^{2} = 27
for the equilateral triangle. Which proves the inequality.

Best regards,

Alexander Bogomolny