ITA 2027 (2ª fase) Matemática — Questão 10

Considere a função $f : \mathbb{R} \to \mathbb{R}$ dada por

$f(x) = \sqrt{1 + \cos(2x)} + \sqrt{1 - \cos(2x)} - \operatorname{sen}(x) - \cos(x).$

Determine todos os números inteiros $k$ tais que a equação $f(x) = k$ possua pelo menos uma solução real $x$ pertencente ao primeiro ou ao terceiro quadrante do círculo trigonométrico.