Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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|improve this question

1 Answer 1

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

 
discard

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.