Problem

Source: Ukraine 1997 grade 11

Tags: trigonometry, algebra unsolved, algebra



Prove that among any four distinct numbers from the interval (0,π2) there are two, say x,y, such that: 8cosxcosycos(xy)+1>4(cos2x+cos2y).