How do we prove that z=0 is the only real solution? I tried examining cases and quarters, but not sure how it is rigorously proven.
$\begingroup$ $\endgroup$
Add a comment |
4 Answers
$\begingroup$ $\endgroup$
0 For $|z|>1$, you cannot have an equality since $|\sin z|\leq 1$. Inside the circle of radius 1, you notice that when $-z<0$, $\sin z$ is positive, and viceversa when $-z$ is positive $\sin z<0$. Then there is no chance then that the two values coincide.
$\begingroup$ $\endgroup$
Since $—1 \le \sin(z) \le 1$, we only need to look at $z \in [-1, 1]$.
If $z \ne 0$, the sign of $\sin(z)$ is the same as the sign of $z$.
$\begingroup$ 
$\endgroup$
Hint: suppose a second solution $z_1$. Apply Rolle's theorem (where?).
answered Dec 1, 2014 at 7:25
Martín-Blas Pérez Pinilla
42.9k4 gold badges53 silver badges96 bronze badges
$\begingroup$ $\endgroup$
2 Notice $\sin z+z$ has derivative $1+\cos z$ which is nonnegative for all $z\in\Bbb R$ and which has isolated zeroes. So our function is increasing, and as $1+\cos 0>0$ the derivative is positive in a neighborhood of $0$ and so the function has a unique zero.
- $\begingroup$ Did you mean by "our function" $z\mapsto-\sin z-z$, or did you mean to say "weakly increasing" instead of "weakly decreasing"? And in any case your argument shows strict rather than weak monotonicity. $\endgroup$Marc van Leeuwen– Marc van Leeuwen2014-12-02 13:05:05 +00:00Commented Dec 2, 2014 at 13:05
- $\begingroup$ @MarcvanLeeuwen Yes, I meant increasing. Thanks for the catch! $\endgroup$Adam Hughes– Adam Hughes2014-12-02 14:24:05 +00:00Commented Dec 2, 2014 at 14:24