parmenides51 wrote: Find all real solutions of the equation $x + cos x = 1$. $x+\cos x$ is strictly increasing (look at derivative) and so at most one real solution. And since $x=0$ is one solution, this is the only one.