$0 < x < 1$ の範囲において、$1-x^2$、$\sqrt{1-x^2}$、$\cos x$ の値の大小を比較する問題です。

解析学不等式関数の大小比較三角関数平方根微分
2025/5/29

1. 問題の内容

0<x<10 < x < 1 の範囲において、1x21-x^21x2\sqrt{1-x^2}cosx\cos x の値の大小を比較する問題です。

2. 解き方の手順

まず、0<x<10 < x < 1 の範囲でそれぞれの関数がどのような値をとるかを考えます。
* f(x)=1x2f(x) = 1 - x^2
0<x<10 < x < 1 より、0<x2<10 < x^2 < 1 であるから、 0<1x2<10 < 1 - x^2 < 1 となります。
* g(x)=1x2g(x) = \sqrt{1 - x^2}
0<x<10 < x < 1 より、0<1x2<10 < 1 - x^2 < 1 であるから、 0<1x2<10 < \sqrt{1 - x^2} < 1 となります。
* h(x)=cosxh(x) = \cos x
0<x<10 < x < 1 (xx はラジアン)の範囲では、cosx\cos x は減少関数であり、cos0=1\cos 0 = 1xx が1に近づくにつれて cosx\cos x は減少します。1 rad57.31 \text{ rad} \approx 57.3^\circ なので、0<cosx<10 < \cos x < 1 です。
次に、f(x)f(x)g(x)g(x) の大小関係を比較します。0<1x2<10 < 1 - x^2 < 1 であるから、1x2>1x2\sqrt{1 - x^2} > 1 - x^2 が成り立ちます。つまり、g(x)>f(x)g(x) > f(x) です。
次に、xx が十分小さい場合を考えます。例えば、x0x \approx 0 のとき、cosx1\cos x \approx 1 となり、1x211 - x^2 \approx 11x21\sqrt{1 - x^2} \approx 1 となります。
また、xx が1に近い場合、1x21 - x^2 は0に近づき、1x2\sqrt{1 - x^2} も0に近づきます。一方、cosx\cos xcos1\cos 1 に近づき、cos10.54>0\cos 1 \approx 0.54 > 0 なので、xx が1に近い場合は、cosx\cos x が最も大きい値を取ることが予想できます。
ここで、0<x<10 < x < 1 の範囲で、g(x)>f(x)g(x) > f(x) であり、cosx\cos xg(x)g(x) の大小関係について考えます。
1x21 - x^2cos2x\cos^2 x の大小を比較すると、cos2x(1x2)=cos2x+x21=cos2x1+x2=sin2x+x2=x2sin2x\cos^2 x - (1-x^2) = \cos^2 x + x^2 - 1 = \cos^2 x - 1 + x^2 = - \sin^2 x + x^2 = x^2 - \sin^2 x となります。
ここで、i(x)=x2sin2xi(x) = x^2 - \sin^2 x とおくと、i(0)=0i(0) = 0 です。
i(x)=2x2sinxcosx=2xsin2xi'(x) = 2x - 2 \sin x \cos x = 2x - \sin 2x
i(0)=0i'(0) = 0
i(x)=22cos2x=2(1cos2x)i''(x) = 2 - 2 \cos 2x = 2(1-\cos 2x).
0<x<10 < x < 1 において、i(x)>0i''(x) > 0 なので、i(x)>0i'(x) > 0i(x)>0i(x) > 0 が成り立ちます。
したがって、x2sin2x>0x^2 - \sin^2 x > 0 より、cos2x>1x2\cos^2 x > 1 - x^2 となります。よって、cosx>1x2\cos x > \sqrt{1 - x^2} が成り立ちます。

3. 最終的な答え

0<x<10 < x < 1 において、
1x2<1x2<cosx1 - x^2 < \sqrt{1 - x^2} < \cos x