WIIS

関数

ネイピア数(自然対数の底)に関する関数の極限公式

目次

前のページ:

対数関数の極限

次のページ:

自然数ベキ関数の極限

Mailで保存
Xで共有

ネイピア数の定義から導かれる極限公式

数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}x_{n}=\left( 1+\frac{1}{n}\right) ^{n}
\end{equation*}で与えられているものとします。この数列は上に有界な単調増加数列であるため有限な実数へ収束します。そこで、その極限に相当する有限な実数を、\begin{equation*}
e=\lim_{n\rightarrow \infty }\left( 1+\frac{1}{n}\right) ^{n}
\end{equation*}と表記し、これをネイピア数(Napier’s constant)やオイラーの数(Euler’s number)、または自然対数の底(base of natural logarithm)などと呼びます。

以上の事実を踏まえた上で、それぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+\frac{1}{x}\right) ^{x}
\end{equation*}を定める関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)を定義します。この関数の無限大における極限は、\begin{eqnarray*}&&\left( a\right) \ \lim_{x\rightarrow +\infty }f\left( x\right) =e \\
&&\left( b\right) \ \lim_{x\rightarrow -\infty }f\left( x\right) =e
\end{eqnarray*}となります。証明ではネイピア数の定義とはさみうちの定理を利用します。

命題(ネイピア数の定義から導かれる極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+\frac{1}{x}\right) ^{x}
\end{equation*}を定めるものとする。このとき、\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow +\infty }f\left( x\right) =e \\
&&\left( b\right) \ \lim_{x\rightarrow -\infty }f\left( x\right) =e
\end{eqnarray*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ネイピア数の定義から導かれる極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+\frac{3}{x}\right) ^{x}
\end{equation*}を定めるものとします。\(x\rightarrow +\infty \)の場合の極限を求めます。先の命題より、\begin{equation}\lim_{x\rightarrow +\infty }\left( 1+\frac{1}{x}\right) ^{x}=e \quad \cdots (1)
\end{equation}が成り立つことを踏まえると、\begin{eqnarray*}
\lim_{x\rightarrow +\infty }f\left( x\right) &=&\lim_{x\rightarrow +\infty
}\left( 1+\frac{3}{x}\right) ^{x}\quad \because f\text{の定義} \\
&=&\lim_{x\rightarrow +\infty }\left( 1+\frac{1}{\frac{x}{3}}\right) ^{x} \\
&=&\lim_{x\rightarrow +\infty }\left[ \left( 1+\frac{1}{\frac{x}{3}}\right)
^{\frac{x}{3}}\right] ^{3} \\
&=&\lim_{y\rightarrow +\infty }\left[ \left( 1+\frac{1}{y}\right) ^{y}\right] ^{3}\quad \because y=\frac{x}{3} \\
&=&\left[ \lim_{y\rightarrow +\infty }\left( 1+\frac{1}{y}\right) ^{y}\right] ^{3}\quad \because x^{3}\text{の連続性} \\
&=&e^{3}\quad \because \left( 1\right)
\end{eqnarray*}を得ます。

 

ネイピア数に関する極限公式(ネイピア数へ収束する関数)

関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+x\right) ^{\frac{1}{x}}
\end{equation*}を定めるものとします。点\(0\)は\(f\)の定義域\(\mathbb{R} \backslash \left\{ 0\right\} \)の集積点であるため\(x\rightarrow 0\)の場合の極限をとることができますが、先の命題を用いると、\begin{equation*}\lim_{x\rightarrow 0}f\left( x\right) =e
\end{equation*}が導かれます。

命題(ネイピア数へ収束する関数)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+x\right) ^{\frac{1}{x}}
\end{equation*}を定めるものとする。このとき、\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right) =e
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(ネイピア数へ収束する関数)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+8x\right) ^{\frac{3}{x}}
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合の極限を求めます。先の命題より、\begin{equation}\lim_{x\rightarrow 0}\left( 1+x\right) ^{\frac{1}{x}}=e \quad \cdots (1)
\end{equation}が成り立つことを踏まえると、\begin{eqnarray*}
\lim_{x\rightarrow 0}f\left( x\right) &=&\lim_{x\rightarrow 0}\left(
1+8x\right) ^{\frac{3}{x}}\quad \because f\text{の定義} \\
&=&\lim_{x\rightarrow 0}\left[ \left( 1+8x\right) ^{\frac{1}{8x}}\right] ^{24} \\
&=&\lim_{y\rightarrow 0}\left[ \left( 1+y\right) ^{\frac{1}{y}}\right] ^{24}\quad \because y=8x \\
&=&\left[ \lim_{y\rightarrow 0}\left( 1+y\right) ^{\frac{1}{y}}\right] ^{24}\quad \because x^{24}\text{は連続関数} \\
&=&e^{24}\quad \because \left( 1\right)
\end{eqnarray*}を得ます。

 

ネイピア数に関する極限公式(1へ収束する関数)

関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\frac{\ln \left( 1+x\right) }{x}
\end{equation*}を定めるものとします。ただし、\(f\)の定義域は、\begin{equation*}X=\left\{ x\in \mathbb{R} \ |\ x>-1\wedge x\not=0\right\}
\end{equation*}です。点\(0\)は\(f\)の定義域\(X\)の集積点であるため\(x\rightarrow 0\)の場合の極限をとることができますが、先の命題を用いると、\begin{equation*}\lim_{x\rightarrow 0}f\left( x\right) =1
\end{equation*}が導かれます。

命題(1へ収束する関数)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\frac{\ln \left( 1+x\right) }{x}
\end{equation*}を定めるものとする。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ x>-1\wedge x\not=0\right\}
\end{equation*}である。このとき、\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right) =1
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(1へ収束する関数)
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\frac{\ln \left( 1+2x\right) }{x}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ 1+2x>0\wedge x\not=0\right\}
\end{equation*}です。\(x\rightarrow 0\)の場合の極限を求めます。先の命題より、\begin{equation}\lim_{x\rightarrow 0}\frac{\ln \left( 1+x\right) }{x}=1 \quad \cdots (1)
\end{equation}が成り立つことを踏まえると、\begin{eqnarray*}
\lim_{x\rightarrow 0}f\left( x\right) &=&\lim_{x\rightarrow 0}\frac{\ln
\left( 1+2x\right) }{x}\quad \because f\text{の定義} \\
&=&\lim_{x\rightarrow 0}\left[ \frac{\ln \left( 1+2x\right) }{2x}\cdot 2\right] \\
&=&\lim_{x\rightarrow 0}\frac{\ln \left( 1+2x\right) }{2x}\cdot
\lim_{x\rightarrow 0}2 \\
&=&1\cdot 2\quad \because \left( 1\right) \\
&=&2
\end{eqnarray*}を得ます。

関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{e^{x}-1}{x}
\end{equation*}を定めるものとします。点\(0\)は\(f\)の定義域\(\mathbb{R} \backslash \left\{ 0\right\} \)の集積点であるため\(x\rightarrow 0\)の場合の極限をとることができますが、先の命題を用いると、\begin{equation*}\lim_{x\rightarrow 0}f\left( x\right) =1
\end{equation*}が導かれます。

命題(1へ収束する関数)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{e^{x}-1}{x}
\end{equation*}を定めるものとする。このとき、\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right) =1
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(1へ収束する関数)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{e^{3x}-1}{x}
\end{equation*}を定めるものとします。\(x\rightarrow 0\)の場合の極限を求めます。先の命題より、\begin{equation}\lim_{x\rightarrow 0}\frac{e^{x}-1}{x}=1 \quad \cdots (1)
\end{equation}が成り立つことを踏まえると、\begin{eqnarray*}
\lim_{x\rightarrow 0}f\left( x\right) &=&\lim_{x\rightarrow 0}\frac{e^{3x}-1}{x}\quad \because f\text{の定義} \\
&=&\lim_{x\rightarrow 0}\left( \frac{e^{3x}-1}{3x}\cdot 3\right) \\
&=&\lim_{x\rightarrow 0}\frac{e^{3x}-1}{3x}\cdot \lim_{x\rightarrow 0}3 \\
&=&1\cdot 3\quad \because \left( 1\right) \\
&=&3
\end{eqnarray*}を得ます。

 

まとめ:ネイピア数に関する極限公式

これまでに得られた結果を改めて整理します。\begin{eqnarray*}
&&\left( a\right) \ \lim_{x\rightarrow +\infty }\left( 1+\frac{1}{x}\right)
^{x}=e \\
&&\left( b\right) \ \lim_{x\rightarrow -\infty }\left( 1+\frac{1}{x}\right)
^{x}=e \\
&&\left( c\right) \ \lim_{x\rightarrow 0}\left( 1+x\right) ^{\frac{1}{x}}=e
\\
&&\left( d\right) \ \lim_{x\rightarrow 0}\frac{\ln \left( 1+x\right) }{x}=1
\\
&&\left( e\right) \ \lim_{x\rightarrow 0}\frac{e^{x}-1}{x}=1
\end{eqnarray*}

 

演習問題

問題(ネイピア数に関する極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1+6x\right) ^{\frac{2}{x}}
\end{equation*}を定めるものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right)
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(ネイピア数に関する極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\left( 1-\frac{2}{x}\right) ^{x}
\end{equation*}を定めるものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow +\infty }f\left( x\right)
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(ネイピア数に関する極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{e^{5x}-1}{x}
\end{equation*}を定めるものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right)
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(ネイピア数に関する極限公式)
関数\(f:\mathbb{R} \backslash \left\{ 0\right\} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \backslash \left\{ 0\right\} \)に対して、\begin{equation*}f\left( x\right) =\frac{x}{1-e^{2x}}
\end{equation*}を定めるものとします。以下の極限\begin{equation*}
\lim_{x\rightarrow 0}f\left( x\right)
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

前のページ:

対数関数の極限

次のページ:

自然数ベキ関数の極限

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録