Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 9 down vote accepted

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).

share|cite|improve this answer
Dear JB, functions having a derivative are called differentiable in English, not derivable. The adjective derivable exists, but means "which can be deduced, inferred". But this is nitpicking (du pinaillage!) : +1 for your perfect answer . – Georges Elencwajg Jul 2 '12 at 7:52
Thank you for your comment. I corrected my answer. PS : I didn't know the word "nitpicking", thank you. – JBC Jul 2 '12 at 12:43

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.