不等式 |sinα - sinβ|≦|α - β| を証明します

[問題 CL-20] 不等式 |sinα - sinβ|≦|α - β| の証明

 平均値の定理を使って不等式
\[|\sin \alpha-\sin \beta| \leq |\alpha - \beta|\]が成り立つことを示してください。

(東京農工大 一部改)

 
 

ヒント(存在定理の威力を実感してください)

 とりあえずこういう不等式を見たら具体的な数値で確認してみましょう(電卓を使ってください)。$\alpha=\pi/4$ , $\beta=\pi/6$ を入れてみます。
\[\begin{align*}&|\sin \alpha-\sin \beta|=\frac{\sqrt{2}-1}{2}=0.207\\[6pt]
&|\alpha - \beta|=\frac{\pi}{12}=0.262\end{align*}\] ちゃんと成り立ってますね。まあとにかく、こういう不等式が一般的に成り立つことを示すわけですが、これを代数的に示すのではなく、平均値の定理を使うのが本問の面白いところです。別名 存在定理 ともよばれ、解析学の発展に大きく寄与してきた強力な定理の威力を実感してください。
 

受験数学の理論 7 行列と1次変換/2次曲線問題集 (駿台受験シリーズ)

新品価格
¥1,620から
(2017/9/2 17:29時点)

問題 CL-020 の解答

 $\sin x$ は全区間で連続かつ微分可能なので平均値の定理を適用できます。
 $\alpha=\beta$ のときは等号が成立します。$\alpha \neq \beta$ のとき、
 
\[\frac{f(\alpha)-f(\beta)}{\alpha=\beta}=f'(c)\]
となる実数 $c$ が $\alpha$ と $\beta$ の間に存在しているはずです。ただし $\alpha,\:\beta$ の大小関係は不明ですから、

$\alpha \lt c \lt \beta$ または $\beta \lt c \lt \alpha$

のいずれかの可能性があります。$f(x)=\sin x$ を微分すると $f'(x)=\cos x$ なので、その絶対値は
 
\[|f'(c)|=|\cos c| \leq 1\]
となっています。よって
 
\[\left| \frac{f(\alpha)-f(\beta)}{\alpha=\beta} \right| =|\cos c| \leq 1\]
 すなわち
 
\[|\sin \alpha-\sin \beta| \leq |\alpha - \beta|\]
が成立します。 ≫ [問題21] 円柱の表面積を最小にします ≫ 数学演習問題

スポンサーリンク
末尾広告
末尾広告

コメントをどうぞ

メールアドレスが公開されることはありません。