$r_0 = \frac{2}{\sqrt{5}}$ のとき、$2 - \frac{r}{\sqrt{1-r^2}} = 0$ を満たす。$r < r_0$ のとき、なぜ $2 - \frac{r}{\sqrt{1-r^2}} > 0$ となるのかを説明する問題です。

解析学微分単調減少関数不等式関数の解析
2025/3/25

1. 問題の内容

r0=25r_0 = \frac{2}{\sqrt{5}} のとき、2r1r2=02 - \frac{r}{\sqrt{1-r^2}} = 0 を満たす。r<r0r < r_0 のとき、なぜ 2r1r2>02 - \frac{r}{\sqrt{1-r^2}} > 0 となるのかを説明する問題です。

2. 解き方の手順

まず、r0r_0 の値を 2r1r2=02 - \frac{r}{\sqrt{1-r^2}} = 0 に代入して、これが正しいことを確認します。次に、f(r)=2r1r2f(r) = 2 - \frac{r}{\sqrt{1-r^2}} という関数を考え、rrr0r_0 より小さいときに、f(r)f(r) が正になることを示します。
r0=25r_0 = \frac{2}{\sqrt{5}} のとき、
2r01r02=02 - \frac{r_0}{\sqrt{1-r_0^2}} = 0 を確認します。
r02=(25)2=45r_0^2 = \left(\frac{2}{\sqrt{5}}\right)^2 = \frac{4}{5}
1r02=145=15=15\sqrt{1-r_0^2} = \sqrt{1 - \frac{4}{5}} = \sqrt{\frac{1}{5}} = \frac{1}{\sqrt{5}}
r01r02=2515=2\frac{r_0}{\sqrt{1-r_0^2}} = \frac{\frac{2}{\sqrt{5}}}{\frac{1}{\sqrt{5}}} = 2
2r01r02=22=02 - \frac{r_0}{\sqrt{1-r_0^2}} = 2 - 2 = 0
したがって、r=r0r = r_0 のとき、2r1r2=02 - \frac{r}{\sqrt{1-r^2}} = 0 が成立します。
次に、f(r)=2r1r2f(r) = 2 - \frac{r}{\sqrt{1-r^2}} という関数を考えます。r<r0r < r_0 のとき、f(r)>0f(r) > 0 を示す必要があります。
f(r)=2r1r2f(r) = 2 - \frac{r}{\sqrt{1-r^2}} を微分します。
f(r)=1r2r2r21r21r2=1r2+r21r21r2=1r2+r2(1r2)1r2=1(1r2)3/2<0f'(r) = -\frac{\sqrt{1-r^2} - r \cdot \frac{-2r}{2\sqrt{1-r^2}}}{1-r^2} = -\frac{\sqrt{1-r^2} + \frac{r^2}{\sqrt{1-r^2}}}{1-r^2} = -\frac{1-r^2+r^2}{(1-r^2)\sqrt{1-r^2}} = -\frac{1}{(1-r^2)^{3/2}} < 0
つまり、f(r)f(r) は単調減少関数です。
r<r0r < r_0 のとき、f(r)>f(r0)=0f(r) > f(r_0) = 0 です。
したがって、2r1r2>02 - \frac{r}{\sqrt{1-r^2}} > 0 となります。

3. 最終的な答え

r<r0r < r_0 のとき、f(r)=2r1r2f(r) = 2 - \frac{r}{\sqrt{1-r^2}} は単調減少関数であり、f(r0)=0f(r_0) = 0 なので、r<r0r < r_0 ならば、f(r)>0f(r) > 0。したがって、2r1r2>02 - \frac{r}{\sqrt{1-r^2}} > 0 となります。

「解析学」の関連問題

極限 $\lim_{x \to 0} (1-3x)^{\frac{1}{x}}$ を求めよ。

極限ロピタルの定理指数関数対数関数
2025/7/30

$\int \sin^6 x \sin(2x) dx = \int \sin^6 x (2 \sin x \cos x) dx = 2 \int \sin^7 x \cos x dx$

不定積分三角関数置換積分部分分数分解双曲線関数
2025/7/30

関数 $f(x) = \ln(1+x)$ に対して、以下の問いに答えます。 (1) $f'(x)$, $f''(x)$, $f'''(x)$ を求めます。 (2) $n$次導関数 $f^{(n)}(x...

微分導関数数学的帰納法マクローリン展開テイラー展開級数
2025/7/30

与えられた級数の極限値を求める問題です。具体的には、以下の級数の$n \to \infty$における極限を計算します。 $$ \sum_{k=1}^{n} \frac{n}{(4k+3n)^2} $$

極限級数区分求積法定積分
2025/7/30

関数 $f(x) = \frac{\ln x}{x}$ (ただし、$x > 0$) について、以下の問題を解く。 (1) $\lim_{x \to +0} f(x)$ を求める。 (2) $\lim_...

関数の極限導関数微分増減グラフ対数関数
2025/7/30

領域Dにおける2重積分 $I = \iint_D (x^2 + y) \, dx \, dy$ を計算する問題です。具体的には、以下の4つの小問があります。 (1) 領域Dを集合の記号で表す。 (2)...

2重積分累次積分積分範囲積分順序
2025/7/30

広義積分 $I_n = \int_{0}^{\pi} \frac{\sin(nx)}{\sin x} dx$ ($n=0,1,2,3,...$)について、以下の問いに答える。 1. 広義積分 $I_n...

広義積分三角関数収束数学的帰納法
2025/7/30

与えられた積分 $I = \int_{0}^{2} \left( \int_{\sqrt{2y}}^{2} e^{x^2} y dx \right) dy$ に対して、以下の問題を解く。 (1) 積...

二重積分累次積分積分順序の変更置換積分部分積分
2025/7/30

与えられた定積分を計算します。 積分は、0からπまで、$x \cdot \frac{1}{\sin x}$ を $x$ で積分するものです。すなわち、 $\int_0^\pi \frac{x}{\si...

定積分積分フーリエ級数特殊関数カタラン定数
2025/7/30

次の極限を求める問題です。 $\lim_{x \to \infty} (\sqrt{x^2 + 2x} + x)$

極限関数の極限有理化テイラー展開
2025/7/30