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

There is an unique solution with x being approximately 0.739085. But is there also a closed form solution?

share|cite|improve this question
The number of the bored student (with a cos-button on his calculator) :-) – Myself Jun 22 '11 at 17:07
I wonder if it can be expressed in terms of the Lambert $W$-function, which some people would like to add to the list of closed forms. – Gerry Myerson Jun 23 '11 at 1:43
The solution is unique since $y=x$ intersects $y= \cos x$ only one time. – user57052 Jan 12 '13 at 18:33
@JoelReyesNoche: The other is a duplicate of this one. Check the dates. – user88595 Jun 27 '14 at 8:33
I believe there is no known way to write this solution in terms of the Lambert W function. – GEdgar Jul 2 '14 at 2:45
up vote 15 down vote accepted

The equation in question is a transcendental equation. Apart of guessing, numerical or analytical methods, there is no way of solving the equation without using another transcendental function, and therefore argue in circles.

In this case, denote $g(x)=\cos x -x$, see that its derivative is negative with countable many zeros, and therefore $g$ is strictly decreasing, yielding that there is at most one solution to $g(x)=0$. Since $g(0)g(\pi/2)<0$ there is such a solution. Arbitrary precise approximations can be found using Newton, bisection, or false position method.

As user Myself commented, it is a challenge (not so hard) to prove that the sequence $x_{n+1}=\cos x_n, x_0 \in \Bbb{R}$ converges to the unique solution to $\cos x=x$.

Another related problem which I encountered last week when trying to help one of my friends for an exam is to find all continuous functions $f : \Bbb{R} \to \Bbb{R}$ with the property that $f(x)=f(\cos x)\ \forall x \in \Bbb{R}$.

share|cite|improve this answer
But, in my understanding, being transcendental does not imply that the equation cannot have a closed form solution? – corto Jun 22 '11 at 17:19
What do you mean with a closed form? – Ilya Jun 22 '11 at 17:20
Some equations like $\sin x=x$ have solutions you can "put your hand on", in this case $x=0$. But this is just because we can guess them. – Beni Bogosel Jun 22 '11 at 17:25
Something like "An equation is said to be a closed-form solution if it solves a given problem in terms of functions and mathematical operations from a given generally accepted set." – corto Jun 22 '11 at 17:26
I have just seen here another discussion on what "closed form" means. – corto Jun 22 '11 at 17:30

Mathworld calls this the Dottie Number. The page makes no mention of existence/non-existence of "closed" form and I would guess it is still open.

share|cite|improve this answer
Thanks for the interesting link! – corto Jun 22 '11 at 18:18

Remembering the Kepler equation and its solution, the Dottie number can be analytically written as:

$$D = 2\sum_{n=0}^\infty \left( \frac{J_{4n+1}(4n+1)}{4n+1} - \frac{J_{4n+3}(4n+3)}{4n+3}\right)$$

where $J_{n}$ are the Bessel functions. Such series is convergent and can be evaluated numerically.

A proof and numerical evaluations are provided in :

Solving $2x - \sin 2x = \pi/2$ for $0 < x < \pi/2$

share|cite|improve this answer
more likely a link to Omega constant (fixed point of exponent) and an integral form. – Anixx Mar 4 '15 at 9:51

As I know of, there is no exact way to get the solution for $cos(x)=x$. But, you can use Newton's Method to get an approximate answer:

Consider the function $f(x)=cosx−x$

This gives us that $f'(x)=-sinx-1$

Newton's Method states that $x_{\text{n+1}} = x_{\text{n}} - \dfrac{f(x_{\text{n}})}{f'(x_{\text{n}})}$

Then, just start at $x_{\text{0}}=1$ and repeat this method all over again, until you are satisfied. Don't forget that rounding numbers might lead to wrong answers!

share|cite|improve this answer

It is very easy to show that the equation $\cos x = x$ has a unique solution. For example take $f(x) = x - \cos x$ and notice that $f'(x) = 1+\sin x \ge 0$ (equality holding in isolated points) so $f(x)$ is strictly increasing and hence the equation can have at most one solution. Since $f(x)>0$ for $x\ge 1$ and $f(x)<0$ for $x\le 0$, and the function is continuous, by the intermediate values theorem there exists one and only one solution $\bar x \in [0,1]$.

For this particular equation there is also a very nice numeric approximation. In fact $\bar x = \lim x_n$ where $x_{n+1} = \cos (x_n)$ is any iteration of the function $\cos x$. You can easily find the numeric value for $\bar x$ simply putting any number in your pocket calculator and pressing repeatedly the $\cos$ button. In fact $\bar x$ is the fixed point of the $\cos$ function and, (at least in $[0,1]$) the $\cos$ function is a contraction hence every iterated sequence converges to the unique fixed point.

I can also convince you that $\bar x$ is an exact solution to the equation $\cos x = x$. I think that you agree that $\sqrt[3]2$ is an exact solution of the equation $x^3=2$, don't you? Now notice what's going on here... one notices that the function $x^3$ is strictly increasing hence invertible. You give a name to the inverse function and call it: cubic root. Then you find an algorithm to compute the cubic root on your calculator. Isn't this the same thing we did with the function $f(x) = x-\cos x$?

By definition the number $q = \sqrt[3]2$ is the only real number such that $q^3=2$. Analogously, the number $\bar x$ is the only number such that $\bar x-\cos \bar x=0$.

share|cite|improve this answer

I'm truth, there the above answers are correct, stating that the number currently has no closed form solution.

An old approximation that I came up with to $\cos$ can offer a decent approximation to the Dottie number however.

$$\sqrt[3.911]{\frac{1-x^2}{1+x^2}} \approx \cos{x}$$

Setting the above approximation $=x$ and solving can give a closed form solution that lies within 4 decimal points of the solution.

share|cite|improve this answer

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.