MathDB
Trigonometric inequality for non-obtuse angles

Source: IberoAmerican 1989 Q2

November 27, 2010
inequalitiestrigonometryinequalities proposed

Problem Statement

Let x,y,zx,y,z be real numbers such that 0x,y,zπ20\le x,y,z\le\frac{\pi}{2}. Prove the inequality π2+2sinxcosy+2sinycoszsin2x+sin2y+sin2z.\frac{\pi}{2}+2\sin x\cos y+2\sin y\cos z\ge\sin 2x+\sin 2y+\sin 2z.