5
$\begingroup$

Using the Mean Value Theorem, prove that $|\sin{a} - \sin{b}| \leq |a - b|$ $\forall a, b \in \mathbb{R}$.


I'm working towards figuring out an approach for finding that $|\sin{a} - \sin{b}| \leq |a - b|$ $\forall a, b \in \mathbb{R}$, but I've not yet included an application of the MVT, and I believe that my approach has some redundancy (or at least isn't that elegant). Furthermore, I'm not even so certain what I've written is at all very helpful in proving this conclusion.


$$ \begin{align*} \\ \text{Assume } \forall \sin{x} \implies \sin{x} = \sin{(x \bmod 2\pi)} \\ \text{case: } a &> b \wedge a \leq \pi \wedge b \leq \pi \implies \\ 1 &\geq \sin{a} \geq 0 \wedge 1 \geq \sin{b} \geq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 1 \\ \\ \text{case: } a &> b \wedge a \geq \pi \wedge b \leq \pi \implies \\ -1 &\leq \sin{a} \leq 0 \wedge 1 \geq \sin{b} \geq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 2 \\ \\ \text{case: } a &> b \wedge a \geq \pi \wedge b \geq \pi \implies \\ -1 &\leq \sin{a} \leq 0 \wedge -1 \leq \sin{b} \leq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 1 \\ \\ \text{case: } a &= b \implies \\ 0 &= |\sin{a} - \sin{b}| = |a - b| \\ \\ \text{case: } a &< b \wedge a \leq \pi \wedge b \leq \pi \implies \\ 1 &\geq \sin{a} \geq 0 \wedge 1 \geq \sin{b} \geq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 1 \\ \\ \text{case: } a &< b \wedge a \leq \pi \wedge b \geq \pi \implies \\ 1 &\geq \sin{a} \geq 0 \wedge -1 \leq \sin{b} \leq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 2 \\ \\ \text{case: } a &< b \wedge a \geq \pi \wedge b \geq \pi \implies \\ -1 &\leq \sin{a} \leq 0 \wedge -1 \leq \sin{b} \leq 0 \implies \\ 0 &\leq |\sin{a} - \sin{b}| \leq 1 \end{align*} $$


I find it's fairly intuitive for $|a - b| \geq 2$ that $|\sin{a} - \sin{b}| \leq 2$, considering $\sin{x} \leq 1 \text{ } \forall x \in \mathbb{R}$. But grasping and considering cases for $|a - b| < 2$ seems a little less intuitive, as it is perhaps conceivable (but not necessarily true) that $|\sin{a} - \sin{b}| > |a - b|$ for some values where $|a - b| < 2$.

Insight?


Edit: I've refined my proof to the following structure:

The Mean Value Theorem states: a function $f$ which is continuous on the closed interval $[a, b]$ $^{\textbf{(1)}}$ and differentiable on the open interval $(a, b)$ $^{\textbf{(2)}}$ has at least one value $c: a < c < b$ where $f'(c) = \dfrac{f(b) - f(a)}{b - a}$.

Set $f(x) = \sin{x} \implies f(x)$ is continuous and differentiable $\forall x \in \mathbb{R}$ and all sub-intervals $^{\textbf{(1, 2)}}$ $ \therefore$ when $\exists a, b: b < c < a \implies \exists f'(c) = \dfrac{f(a) - f(b)}{a - b} \implies \cos{c} = \dfrac{\sin{a} - \sin{b}}{a - b}$. Take the absolute value of both sides of this equality to find $\dfrac{|\sin{a} - \sin{b}|}{|a - b|} = |\cos{c}|$, and since $\dfrac{|\sin{a} - \sin{b}|}{|a - b|} = \dfrac{|\sin{b} - \sin{a}|}{|b - a|}$, this holds true $\forall a, b \in \mathbb{R}$. Since $|\cos{x}| \leq 1 \text{ } \forall x \in \mathbb{R} \implies |\cos{c}| \leq 1 \implies \dfrac{|\sin{a} - \sin{b}|}{|a - b|} \leq 1.$ Multiplying across the inequality by $|a - b|$ finds the result: $|\sin{a} - \sin{b}| \leq |a - b|$.

$\endgroup$
8
$\begingroup$

Hint: by MVT, $$\frac{\sin a-\sin b}{a-b}=\cos c$$ for some $c$. Now what do you know about the RHS?

$\endgroup$
  • $\begingroup$ Cleared up the clutter+1 $\endgroup$ – Landon Carter Apr 1 '15 at 2:03
  • $\begingroup$ What is the $\text{RHS}$? $\endgroup$ – mmam Apr 1 '15 at 2:12
  • $\begingroup$ Right hand side (of the equation). $\endgroup$ – David Apr 1 '15 at 2:13
  • $\begingroup$ @David I feel like I'm not really getting anywhere here. Set $f(x) = \sin{x} \implies f(x)$ is continuous and differentiable $\forall x \in \mathbb{R}$ and all sub-intervals $^{\textbf{(1, 2)}}$ $ \therefore$ when $\exists a, b: b < c < a \implies \exists f'(c) = \dfrac{f(a) - f(b)}{a - b} \implies \cos{c} = \dfrac{\sin{a} - \sin{b}}{a - b} \implies \dfrac{|\sin{a} - \sin{b}|}{|a - b|} = |\cos{c}|$ $\endgroup$ – mmam Apr 1 '15 at 2:51
  • $\begingroup$ Since you don't know the value of $c$, you cannot give a specific value for $\cos c$. So what can you say about the value of $\cos c$, if you don't know the value of $c$? $\endgroup$ – David Apr 1 '15 at 3:14
3
$\begingroup$

It is much simpler to prove the identity directly. Just note that \begin{align} |\sin a - \sin b| &= 2\left|\cos\left(\frac{a + b}{2}\right)\sin\left(\frac{a - b}{2}\right)\right|\notag\\ &\leq 2\left|\sin\left(\frac{a - b}{2}\right)\right|\notag\\ &\leq 2\left|\frac{a - b}{2}\right| = |a - b|\notag \end{align}

The thing to note is that is that we have $|\sin x| \leq |x|$ for all $x$. Clearly this is true if $|x| > 1$. So we only need to consider the case when $|x| \leq 1$. Also here we are dealing with absolute values and hence it is sufficient to consider $0 \leq x \leq 1$. In that case we have a fundamental inequality (based on definition of radian measure) that $\sin x \leq x $ for $0 \leq x \leq \pi/2$.

The geometric proof of the inequality is well known and is key to proving $\lim\limits_{x \to 0}\dfrac{\sin x}{x} = 1$. See a beautiful answer by robjohn. Also understand that this limit is essential to show that the derivative of $\sin x$ is $\cos x$ and hence proving the desired inequality of the question via Mean Value Theorem is an example of circular logic.

$\endgroup$
1
$\begingroup$

Define $f(t) = \sin t$. Assume without loss of generality that $x \le y$. By the mean value theorem, there exists $c \in (x, y)$ such that $f(y)-f(x) = f'(c)(y-x)$. What can you conclude?

Hint: $\left| \cos(\cdot) \right| \le 1$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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