1989 OIM Problems/Problem 2

Revision as of 13:19, 13 December 2023 by Tomasdiaz (talk | contribs)

Problem

Let $x$, $y$, $z$ three real numbers such that $0<x<y<z<\frac{\pi}{2}$. Prove the following inequality: \[\frac{\pi}{2}+2sin(x)cos(y)+2sin(y)cos(z) > sin(2x)+sin(2y)+sin(2z)\]

~translated into English by Tomas Diaz. ~orders@tomasdiaz.com

Solution

This problem needs a solution. If you have a solution for it, please help us out by adding it.