Пусть cos x= t и при этом |t|≤1, тогда получим квадратное уравнение относительно t:
- посторонний корень
Возвращаемся к обратной замене
Для неотрицательных x,y,z применим неравенство Коши
Сложим эти три неравенства, получим