MathDB
Prove this trigonometric inequality

Source: 2019 Jozsef Wildt International Math Competition

May 20, 2020
trigonometryinequalities

Problem Statement

If x(0,π2)x \in \left(0,\frac{\pi}{2}\right) then(sin(π2sinx)sinx)2+(sin(π2cosx)cosx)23\left(\frac{\sin \left(\frac{\pi}{2}\sin x\right)}{\sin x}\right)^2+\left(\frac{\sin \left(\frac{\pi}{2}\cos x\right)}{\cos x}\right)^2\geq 3