<s>[INST] Solve trigonometric inequality $2\cos^2x+\cos(2x) \geq 1$ Can I solve it this way?
$2\cos^2x+\cos^2x-\sin^2x \ge \sin^2x+\cos^2x$
$2\cos^2x-2\sin^2x \ge 0$
$2(\cos^2x-\sin^2x) \ge 0$
$2\cos(2x) \ge 0$
$\cos(2x) \ge 0$
 [/INST] $$2\cos^2 x + \cos 2x \ge 1\implies 2\cos^2x + 2\cos^2x - 1\ge 1 \implies \cos^2x \ge \frac 12$$
$$\frac 1{\sqrt2} \le \cos x \text{ or }\cos x \le -\frac 1{\sqrt 2}$$
Solving both
$-\frac 1{\sqrt2} \ge \cos x$ and $\cos x \ge\frac 1{\sqrt 2}$
$\color{blue}{x \in \left[n\pi-\frac {\pi}{4}, n\pi+\frac {\pi}{4}\right]}$ where $n\in \mathbb Z$


*

*@maths0 comments: using $\cos 2x $
$2\cos^2x  + \cos 2x \ge 1 \implies \cos 2x + 1  + \cos 2x \ge 1 \implies \cos 2x \ge 0$
Instead of solving this problem let's try to understand what exactly it means when $\cos 2x \ge 0$
In short $\cos 2x \ge 0 \implies \text{ cos 2x should be positive and $2x$ must lie in 1st and 4rth quadrant}$
$2x  =  \text{even multiply of }\pi \pm \frac {\pi}{2}$
$x = n\pi \pm \frac {\pi}{4}$
On page
</s>