(Elementary) Trigonometric inequality

89 Views Asked by At

Any idea for proving the following inequality: $5+8\cos x+4 \cos 2x+ \cos3x\geq 0$ for all real x? I've tried trigonometric identities to make squares appear, and other tricks; but nothing has worked well.

1

There are 1 best solutions below

0
On BEST ANSWER

Note that $\cos 2x = 2\cos^2 x - 1$ and $\cos 3x = 4\cos^3 x - 3\cos x$.

So, we want to prove that $1+5\cos x + 8\cos^2x + 4\cos^3 x \ge 0$.

The left side is a polynomial in $\cos x$ which can be factored as $(1+\cos x)(1+2\cos x)^2$.

Can you take it from here?