Problem

Source: Ukraine 1997 grade 11

Tags: trigonometry, algebra unsolved, algebra



Prove that among any four distinct numbers from the interval $ (0,\frac{\pi}{2})$ there are two, say $ x,y,$ such that: $ 8 \cos x \cos y \cos (x-y)+1>4(\cos ^2 x+\cos ^2 y).$