OIM

OIM 1989 2

Sean $x,y,z$ números reales tales que $0\lt z\lt y\lt z\lt\frac\pi2$. Muestra que \[\frac\pi2+2\sin x\cos y+2\sin y\cos z\gt\sin2x\sin2y\sin2z.\]

Solución
Regreso a OIM 1989