(田島一郎解析入門P24問15)
(証明)
仮定\(\displaystyle \lim_{x \rightarrow a}g(x)=\beta\)より\[\forall \epsilon >0 \exists \delta \big[0<|x-a|<\delta \Longrightarrow |g(x)-\beta| < \epsilon \big]\] \(\beta > 0\)のときと\(\beta < 0\)のときとで場合分けをして考える.
\(\beta > 0\)のとき
仮定より,\(\epsilon\)は任意なので,\(\epsilon = \frac{|\beta|}{2}\)ととることにする.この\(\epsilon = \frac{|\beta|}{2}\)に対応して\(\delta\)が定まり,\(0<|x-a|<\delta\)をみたす\(x\)に対して\(|g(x)-\beta| < \epsilon= \frac{|\beta|}{2} ~\cdots(\ast)\)が成り立つ.\((\ast)\)を変形すると
\[
\begin{align*}
(\ast)&\Longleftrightarrow |g(x)-\beta| < \frac{|\beta|}{2}\\
&\Longleftrightarrow \beta – \frac{|\beta|}{2} < g(x) < \beta + \frac{|\beta|}{2}\\
&\Longleftrightarrow |\beta| – \frac{|\beta|}{2} < g(x) < |\beta| + \frac{|\beta|}{2}\\
&\Longleftrightarrow 0 < \frac{|\beta|}{2} < g(x) < \frac{3}{2}|\beta|\\
\end{align*}
\]
したがって\(g(x)\)は正.
\(\beta < 0\)のとき
\(\beta > 0\)のときと同様に\(\epsilon = \frac{|\beta|}{2}\)ととると,同様の議論により,
\[\beta – \frac{|\beta|}{2} < g(x) < \beta + \frac{|\beta|}{2}\]
を得る.しかし今回は\(\beta < 0\)であるから\(\beta = -|\beta|\)であることに注意して変形すると,
\[
\begin{align*}
&~\beta – \frac{|\beta|}{2} < g(x) < \beta + \frac{|\beta|}{2}\\
\Longleftrightarrow &-|\beta| – \frac{|\beta|}{2} < g(x) < -|\beta| + \frac{|\beta|}{2}\\
\Longleftrightarrow &-\frac{3}{2}|\beta| < g(x) < -\frac{|\beta|}{2} < 0
\end{align*}
\]
したがって\(g(x)\)は負.(証明終)