I have this equation:
$9x + \cos x = 0$ but I need to write out and prove why it has one real root. Could someone maybe give me a few pointers or what do I do exactly?
I have this equation:
$9x + \cos x = 0$ but I need to write out and prove why it has one real root. Could someone maybe give me a few pointers or what do I do exactly?
Let $f(x)=9x+\cos x$ then $f$ is differentiable and $f'(x)=9-\sin(x)>0$.
So $f$ is strictly increasing, moreover $\displaystyle\lim_{-\infty}f=-\infty$ and $\displaystyle\lim_{+\infty}f=+\infty$ so $f(x)=0$ has exactly one solution (there is a solution by the IVT and the solution is unique by the monotony).