nのn乗根の最大項と極限

nのn乗根の極限

指数部分に文字があるのでとりあず対数を取って式を扱いやすくします。 $\log\sqrt[n]{n}=\log n^{\frac{1}{n}}=\dfrac{\log n}{n}$ となります。

そこで，以後は $f(x)=\dfrac{\log x}{x}$ という関数を扱うことになります。

すると，上記の性質1は $\displaystyle\lim_{x\to\infty} f(x)=0$ （※）と同値です。これは「多項式は対数関数より早く発散する」という事実から明らかです。

※をきちんと証明するなら例えば，

まず $e^x\geq 1+x+\dfrac{x^2}{2}$ を示す。→マクローリン型不等式（指数関数）

次に，はさみうちの原理から $\displaystyle\lim_{x\to\infty}\dfrac{x}{e^x}\leq\lim_{x\to\infty}\dfrac{x}{1+x+\frac{x^2}{2}}=0$

ここで $x$ を $\log x$ と置くと※を得る。

log x/xのグラフの概形

次は数列 $a_n$ の増減を調べるために $y=f(x)$ のグラフについて考えます。

きちんとグラフを描くには微分して増減表を書く必要がありますが，微分をする前に大雑把なグラフの概形はイメージできるようにしておきましょう。

$\dfrac{\log x}{x}$ は「グラフ $y=\log x$ 上の点 $(x,\log x)$ と原点を結ぶ直線の傾き」であることに注意すれば概形をイメージできます。

1： $x$ が $0$ に近いとき傾きは $-\infty$ から出発（赤）

2： $x=1$ で傾き $0$ になる（黒 $x$ 軸）

3： $x=e$ で傾き最大（紫）

4：その後ゆるやかに減少して $0$ へ収束（青）

注：傾きが最大になるのが $x=e$ のときというのは微分を用いて分かることです。結局微分を使う必要があるのですが，あらかじめグラフの概形が分かっていると微分で計算ミスをしたときにすぐ気づけます。

nのn乗根の最大項

グラフが描ければ冒頭の問題に解答できます。 $a_n$ と $a_m$ の大小関係は $f(n)$ と $f(m)$ の大小関係と同じなので。 $f(n)$ が最大となる $n$ を求めればよいわけです。

それはグラフより $n=2$ または $n=3$ の場合です。（$n=3$ の方が大きそうですが）実際に近似的に値を計算すると，

$\sqrt{2}=1.41,\sqrt[3]{3}=1.44$ となり $a_3$ が最大。

（$\log \sqrt[3]{3}-\log \sqrt{2}=\dfrac{\log 3^2-\log 2^3}{6}> 0$ からも大小関係が分かります）

Tag:大学入試で頻出の有名な関数まとめ