次の2つの不等式を$x > 0$の範囲で示す問題です。 (1) $x - \frac{x^3}{6} < \sin x < x$ (2) $x - \frac{x^3}{3} < \tan^{-1} x < x$

解析学不等式三角関数逆三角関数関数の微分テイラー展開
2025/6/2

1. 問題の内容

次の2つの不等式をx>0x > 0の範囲で示す問題です。
(1) xx36<sinx<xx - \frac{x^3}{6} < \sin x < x
(2) xx33<tan1x<xx - \frac{x^3}{3} < \tan^{-1} x < x

2. 解き方の手順

(1) の不等式を証明します。
まず、x>0x > 0sinx<x\sin x < xを示すのは簡単です。関数f(x)=xsinxf(x) = x - \sin xを考えると、f(0)=0f(0) = 0であり、f(x)=1cosx0f'(x) = 1 - \cos x \geq 0なので、x>0x > 0f(x)f(x)は増加関数です。したがって、x>0x > 0においてf(x)>0f(x) > 0、つまりsinx<x\sin x < xが成り立ちます。
次に、xx36<sinxx - \frac{x^3}{6} < \sin xを示します。関数g(x)=sinxx+x36g(x) = \sin x - x + \frac{x^3}{6}を考えます。
g(0)=0g(0) = 0
g(x)=cosx1+x22g'(x) = \cos x - 1 + \frac{x^2}{2}
g(0)=0g'(0) = 0
g(x)=sinx+xg''(x) = -\sin x + x
g(0)=0g''(0) = 0
g(x)=cosx+10g'''(x) = -\cos x + 1 \geq 0
g(x)0g'''(x) \geq 0なので、g(x)g''(x)x0x \geq 0で増加関数です。g(0)=0g''(0) = 0なので、g(x)0g''(x) \geq 0 for x0x \geq 0.
同様に、g(x)g'(x)x0x \geq 0で増加関数です。g(0)=0g'(0) = 0なので、g(x)0g'(x) \geq 0 for x0x \geq 0.
最後に、g(x)g(x)x0x \geq 0で増加関数です。g(0)=0g(0) = 0なので、g(x)0g(x) \geq 0 for x0x \geq 0.
よって、xx36<sinxx - \frac{x^3}{6} < \sin xが成り立ちます。
(2) の不等式を証明します。
まず、x>0x > 0tan1x<x\tan^{-1} x < xを示します。関数f(x)=xtan1xf(x) = x - \tan^{-1} xを考えると、f(0)=0f(0) = 0であり、f(x)=111+x2=x21+x2>0f'(x) = 1 - \frac{1}{1 + x^2} = \frac{x^2}{1 + x^2} > 0 for x>0x > 0なので、x>0x > 0f(x)f(x)は増加関数です。したがって、x>0x > 0においてf(x)>0f(x) > 0、つまりtan1x<x\tan^{-1} x < xが成り立ちます。
次に、xx33<tan1xx - \frac{x^3}{3} < \tan^{-1} xを示します。関数g(x)=tan1xx+x33g(x) = \tan^{-1} x - x + \frac{x^3}{3}を考えます。
g(0)=0g(0) = 0
g(x)=11+x21+x2=1(1+x2)+x2(1+x2)1+x2=x41+x20g'(x) = \frac{1}{1 + x^2} - 1 + x^2 = \frac{1 - (1 + x^2) + x^2(1 + x^2)}{1 + x^2} = \frac{x^4}{1 + x^2} \geq 0
g(x)0g'(x) \geq 0なので、g(x)g(x)x0x \geq 0で増加関数です。g(0)=0g(0) = 0なので、g(x)0g(x) \geq 0 for x0x \geq 0.
よって、xx33<tan1xx - \frac{x^3}{3} < \tan^{-1} xが成り立ちます。

3. 最終的な答え

(1) xx36<sinx<xx - \frac{x^3}{6} < \sin x < x
(2) xx33<tan1x<xx - \frac{x^3}{3} < \tan^{-1} x < x

「解析学」の関連問題

$a > 0$ とする。関数 $f(x) = \sqrt{x}$ の $x = a$ における微分係数 $f'(a)$ を定義から求めよ。

微分微分係数極限有理化
2025/6/4

関数 $f: [0,1] \rightarrow [0,1]$ が $[0,1]$ 上で連続であるとき、$f(c) = c$ となる $c \in [0,1]$ が存在することを示してください。

連続関数中間値の定理不動点
2025/6/4

与えられた関数 $y = \sin^{-1}3x$, $y = \sin^{-1}\frac{x}{3}$, $y = \cos^{-1}3x$, $y = \cos^{-1}\frac{x}{3}$...

微分逆三角関数
2025/6/4

関数 $y = x + \sqrt{4-x^2}$ の最大値と最小値を求めます。

最大値最小値微分関数のグラフ定義域
2025/6/4

次の関数 $y = \frac{1}{x-2}$ の逆関数を求め、その逆関数の定義域と値域を求める。

逆関数関数の定義域関数の値域分数関数
2025/6/4

関数 $f(x)$ が与えられています。 $f(x) = \begin{cases} 0 & (x \in \mathbb{Q}) \\ x & (x \in \mathbb{R} \setminus...

連続性関数極限実数有理数無理数
2025/6/4

与えられた関数 $y = \sqrt{x-2} - 2$ について、問題を解く、あるいはこの関数について何かを尋ねているのだと思われます。 問題が明確ではないので、ここでは定義域を求めます。

関数定義域根号不等式
2025/6/4

関数 $y = \frac{2x-5}{x-2}$ のグラフを描き、定義域、値域、および漸近線を求めます。

関数のグラフ定義域値域漸近線分数関数双曲線
2025/6/4

与えられた9つの関数が、偶関数、奇関数、またはどちらでもないかを判定します。 偶関数は $f(-x) = f(x)$ を満たし、奇関数は $f(-x) = -f(x)$ を満たします。

関数の性質偶関数奇関数関数の判定
2025/6/4

関数 $y = x + \sin x$ の導関数 $y'$ を求めます。 $y' = 1 + \cos x$

極値導関数三角関数微分
2025/6/4