MathDB
cos x^2 + cos y^2 - cos xy < 3

Source: 1983 Swedish Mathematical Competition p2

March 28, 2021
algebrainequalitiestrigonometry

Problem Statement

Show that cosx2+cosy2cosxy<3 \cos x^2 + \cos y^2 - \cos xy < 3 for reals xx, yy.