指数関数しすうかんすうと対数関数たいすうかんすう

date2026-07-14document_iddoc_89330394b00d713bb8697bad8362a653description指数関数・対数関数を「乗法を加法に移す道具」として捉え直し、自然対数の特別さ・微分公式・対数法則の証明・応用（複利・半減期）を整理する。prerequisites指数法則 / 関数の基本type講義content_typelecturestatusactive

mathalgebracalculushighschoolundergraduatelecture

1導入どうにゅう

この講義こうぎでは、乗法じょうほうを加法かほうへ移うつす対数たいすうの構造こうぞうと、微分びぶんによる自然対数しぜんたいすうの底てい $e$ の特徴付とくちょうづけを説明せつめいする。

記号きごうの暗記あんきとして扱あつかうと「なぜ $\log$ が積せきを和わに変かえるのか」「なぜ $e$ が特別とくべつなのか」が見みえない。指数しすうが「何回なんかい掛かけたか」という回数かいすうを表あらわすことを出発点しゅっぱつてんにすれば、対数法則たいすうほうそくは回数かいすうの足たし算ざんとして自然しぜんに導出どうしゅつされる。

2用語ようごと定義ていぎ

2.1指数関数しすうかんすうExponential function

$a > 0$ 、 $a \neq 1$ に対たいして $f (x) = a^{x}$ を指数関数しすうかんすうExponential functionという。 $a > 1$ のとき単調増加たんちょうぞうか、 $0 < a < 1$ のとき単調減少たんちょうげんしょう。

2.2対数関数たいすうかんすうLogarithmic function

$a^{y} = x$ （ $x > 0$ ）を満みたす唯一ゆいいつの $y$ を $\log_{a} x$ と書かき、対数たいすうLogarithmという。 $\log_{a} x = y ⟺ a^{y} = x$ 。

$a^{x}$ と $\log_{a} x$ は互たがいに逆関数ぎゃくかんすうの関係かんけいにあり、グラフは $y = x$ に関かんして対称たいしょう。

2.3自然対数しぜんたいすうNatural logarithm

底てい $e = \lim_{n \to \infty} (1 + 1 / n)^{n} \approx 2.718 \dots$ の対数たいすうを自然対数しぜんたいすうNatural logarithmといい $\ln x$ または $\log x$ と書かく。

3方針ほうしん

指数法則しすうほうそく（積せき→和わ）から対数法則たいすうほうそくを導出どうしゅつする
$e$ の特別とくべつさを微分びぶんから理解りかいする（ $(e^{x})^{'} = e^{x}$ ）
具体的ぐたいてきな応用おうよう（複利ふくり・半減期はんげんき）で直感ちょっかんを固かためる

4厳密げんみつな説明せつめい

4.11. 指数法則しすうほうそくと対数法則たいすうほうそくの対応たいおう

指数法則しすうほうそく：

a^{m} \cdot a^{n} = a^{m + n}, \frac{a^{m}}{a^{n}} = a^{m - n}, (a^{m})^{n} = a^{m n}

対数法則たいすうほうそくの導出どうしゅつ： $x = a^{m}$ 、 $y = a^{n}$ とおくと $x y = a^{m + n}$ より：

\log_{a} (x y) = m + n = \log_{a} x + \log_{a} y

同様どうようにして：

\log_{a} \frac{x}{y} = \log_{a} x - \log_{a} y, \log_{a} (x^{r}) = r \log_{a} x

底ていの変換へんかん公式こうしき：

\log_{a} x = \frac{\ln x}{\ln a}

理解りかいの核心かくしん：対数たいすうは乗法じょうほうの群ぐん $(R_{> 0}, \times)$ から加法かほうの群ぐん $(R, +)$ への群準同型ぐんじゅんどうけい（同型どうけい）である。

4.22. 自然しぜん対数たいすうの底てい $e$ がなぜ特別とくべつか

$f (x) = a^{x}$ を微分びぶんすると：

\frac{d}{d x} a^{x} = \lim_{h \to 0} \frac{a^{x + h} - a^{x}}{h} = a^{x} \cdot \underset{\underset{= \ln a}{⏟}}{\lim_{h \to 0} \frac{a^{h} - 1}{h}}

したがって $(a^{x})^{'} = (\ln a) \cdot a^{x}$ 。 $\ln a = 1$ となる底てい、すなわち $a = e$ のとき $(e^{x})^{'} = e^{x}$ 。

唯一性ゆいいつせい： $(f)^{'} = f$ かつ $f (0) = 1$ を満みたす関数かんすうは $e^{x}$ のみ（微分方程式びぶんほうていしきの一意性いちいせい）。

4.33. 微分びぶん公式こうしき

関数かんすう	導関数どうかんすう
$e^{x}$	$e^{x}$
$a^{x}$	$(\ln a) \cdot a^{x}$
$\ln x$	$[PARSE ERROR: Undefined("Command(\"dfrac\")")] 1 x$
$\log_{a} x$	$[PARSE ERROR: Undefined("Command(\"dfrac\")")] 1 x \ln a$
$e^{f (x)}$	$f^{'} (x) e^{f (x)}$

$(\ln x)^{'} = 1 / x$ の導出どうしゅつ： $y = \ln x ⟺ e^{y} = x$ を $x$ で微分びぶんすると $e^{y} \cdot y^{'} = 1$ 、したがって $y^{'} = 1 / e^{y} = 1 / x$ 。

4.44. 応用おうよう：複利ふくりと半減期はんげんき

複利ふくり：年利ねんり $r$ 、元本がんぽん $P_{0}$ のとき $n$ 年後ねんごの元本がんぽんは $P_{0} (1 + r)^{n}$ 。連続複利れんぞくふくり（無限むげんに細こまかく複利ふくり計算けいさん）では：

P (t) = P_{0} e^{r t}

導出どうしゅつ： $m$ 回かい複利ふくりでは $P_{0} (1 + r / m)^{m t} \to P_{0} e^{r t}$ （ $m \to \infty$ ）。

半減期はんげんき：放射性崩壊ほうしゃせいほうかいの量りょう $N (t) = N_{0} e^{- λ t}$ 。 $N (T_{1 / 2}) = N_{0} / 2$ より $T_{1 / 2} = \ln 2 / λ$ 。

微分方程式びぶんほうていしきとの接続せつぞく： $N^{'} (t) = - λ N (t)$ （今いまある量りょうに比例ひれいして減少げんしょう）を解とくと $N (t) = N_{0} e^{- λ t}$ 。

4.55. グラフの対称性たいしょうせいと漸近線ぜんきんせん

$y = e^{x}$ は $x$ 軸じくを漸近線ぜんきんせんとして常つねに正せいの値あたい
$y = \ln x$ は $y$ 軸じく（ $x = 0$ ）を漸近線ぜんきんせんとして $x > 0$ で定義ていぎされる
両者りょうしゃは $y = x$ に対たいして対称たいしょう（逆関数ぎゃくかんすうの定義ていぎ）

5見分みわけ方かた

積せき・商しょう・冪乗べきじょうを整理せいりしたい → 対数たいすうを取とる
差さが一定いってい → 一次関数いちじかんすう、比ひが一定いってい → 指数関数しすうかんすう
「今いまある量りょうに比例ひれいして変化へんか」 → $N^{'} (t) = k N (t)$ → $N (t) = N_{0} e^{k t}$
底ていが複数ふくすう → 底ていの変換へんかん公式こうしきで $\ln$ に統一とういつ

6どこまで成立せいりつするか

$\log_{a} x$ は $x > 0$ 、 $a > 0$ 、 $a \neq 1$ で定義ていぎされる。複素数ふくそすうの範囲はんいでは $e^{i θ} = \cos θ + i \sin θ$ より、 $\ln$ の逆関数ぎゃくかんすうである複素対数ふくそたいすうは多価関数たかかんすうになる（ $e^{z + 2 π i} = e^{z}$ ）。 $\int_{1}^{x} \frac{1}{t} d t = \ln x$ という積分せきぶんによる定義ていぎは $x > 0$ で対数たいすうを代数的だいすうてきに正当化せいとうかする別べつアプローチである。

7最終形さいしゅうけい

[PARSE ERROR: Undefined("Command(\"boxed\")")] \log_{a} x = y ⟺ a^{y} = x, \log_{a} (x y) = \log_{a} x + \log_{a} y

[PARSE ERROR: Undefined("Command(\"boxed\")")] (e^{x})^{'} = e^{x}, (\ln x)^{'} = \frac{1}{x}, (a^{x})^{'} = (\ln a) a^{x}

[PARSE ERROR: Undefined("Command(\"boxed\")")] P (t) = P_{0} e^{r t} (P^{'} = r P, P (0) = P_{0})

8一言ひとことでいうと

対数たいすうは乗法じょうほうを加法かほうへ移うつす同型どうけいであり、底てい $e$ は「微分びぶんしても変かわらない」という固有性こゆうせいから定さだまる—自然しぜん対数たいすうは微積分びせきぶん・確率論かくりつろん・情報理論じょうほうりろんのすべてで中心ちゅうしん的てきな役割やくわりを果はたす。