MathNet 2006 — Phần 04 Câu hỏi 129

Chứng minh rằng với mọi số thực $x$ và $y$ đều có bất đẳng thức
$$
|\cos x| + |\cos y| + |\cos(x+y)| \ge 1
$$
nắm giữ.