$$ \newcommand\bm[1]{\boldsymbol{#1}} \renewcommand\limsup{\varlimsup} \renewcommand\liminf{\varliminf} $$

$a$, $b$ を実数とし, $\lvert b\rvert < a$ を満たすとする. このとき, $$ \lim_{x\to\infty}(a^x+b^x)^{\frac{1}{x}} = a $$ が成り立つことを証明せよ.

解答例 1

$x>0$ のとき, $a>0$ より \begin{equation} (a^x+b^x)^{\frac{1}{x}} = a\left( 1 + \left(\frac{b}{a}\right)^x \right)^{\frac{1}{x}}. \tag{1} \end{equation} $\lvert b\rvert < a$ より $\lvert b/a \rvert < 1$ であるから, $$ \left(\frac{b}{a}\right)^x \to 0\quad (x\to\infty). $$ よって, $0<\varepsilon<1$ を満たす実数 $\varepsilon$ を任意にとると, ある実数 $M>0$ が存在して, $x>M$ を満たす任意の実数 $x$ に対して, $$ -\varepsilon < \left(\frac{b}{a}\right)^x < \varepsilon $$ が成り立つ. 各辺に $1$ を加えると, $$ 1 - \varepsilon < 1 + \left(\frac{b}{a}\right)^x < 1 + \varepsilon. $$ $x>0$ を固定するとき, $u^{\frac{1}{x}}$ は $u$ に関する増加関数だから, $$ (1-\varepsilon)^{\frac{1}{x}} < \left( 1 + \left(\frac{b}{a}\right)^x \right)^{\frac{1}{x}} < (1+\varepsilon)^{\frac{1}{x}}. $$ 両端の辺は $x\to\infty$ のとき $1$ に収束するから, $$ \left( 1 + \left(\frac{b}{a}\right)^x \right)^{\frac{1}{x}} \to 1 \quad (x\to\infty). $$ ゆえに, (1) は $x\to\infty$ のとき $a$ に収束する.

最終更新日:2011年11月02日

©2003-2011 よしいず