Problem

Source: EGMO 2018 Moldova TST

Tags: trigonometry



Let $ x,y\in\mathbb{R}$ , and $ x,y \in $ $ \left(0,\frac{\pi}{2}\right) $, and $ m \in \left(2,+\infty\right) $ such that $ \tan x * \tan y = m $ . Find the minimum value of the expression $ E(x,y) = \cos x + \cos y $.