# 指数関数と対数関数：累乗根から実数の指数へ、指数法則を証明する > 累乗根の存在から有理数の指数、実数の指数へと定義を広げ、指数法則・単調性・連続性を証明する。逆関数としての対数の性質、底の変換公式、桁数と常用対数まで。 > https://rikai.mugen-giken.com/mathematics/hs-analysis/exponential-logarithm ## 0. この記事の要点 $2^3$ は「2 を 3 回掛ける」と読めますが、$2^{\sqrt2}$ は「2 を $\sqrt2$ 回掛ける」とは読めません。それでも電卓は $2^{\sqrt2}$ の値を出し、$2^{\sqrt2}\cdot2^{\sqrt2}=2^{2\sqrt2}$ のような計算も成り立つものとして使います。この記事は、「回数」では説明できない指数が、なぜ矛盾なく定まり、なぜ指数法則が成り立つのかを、段階を追って確かめる記事です。読み終えると、指数・対数の計算規則がどこから出てくるのかを自分で説明できるようになります。 - 高校では、指数を $2^3$（正の整数）から $2^0$、$2^{-3}$（整数）、$2^{1/2}$（有理数）へ広げ、最後に $2^{\sqrt2}$（実数）まで広げます。実数の指数を「$\sqrt2$ に近づく有理数 $1.4,\ 1.41,\ 1.414,\dots$ で近似した値の極限」と説明するのが普通ですが、**極限がなぜ近似のしかたによらずに定まるのか**はふつう省略されます。この記事ではそこまで証明します。 - 出発点は累乗根の存在です。正の数 $a$ と自然数 $n$ に対し $b^n=a$ となる正の数 $b$ がただ 1 つ存在することを、中間値の定理から示します。 - 有理数の指数、実数の指数の順に定義し、指数法則 $a^{x+y}=a^xa^y$、$(a^x)^y=a^{xy}$、$(ab)^x=a^xb^x$ を実数の範囲で証明します。ここで実数の連続性（上限の存在）と、数列の極限（）を使います。 - 指数関数 $a^x$ は連続で、$a>1$ なら狭義単調増加、値域は $(0,\infty)$ です。その逆関数が対数関数で、対数の性質・底の変換公式・桁数と常用対数は、すべて指数法則から出ます。 - 級数による $\exp$ の定義との一致（$a^x=\exp(x\log a)$）は、後の記事 [指数・対数・三角関数をきちんと定義する](/mathematics/hs-analysis/elementary-functions) で証明します。

- **数列の極限**: 項が限りなく 1 つの値に近づくこと。はさみうち、和・積・商の極限の規則もここで使います。→ [数列と関数の極限](/mathematics/hs-analysis/limits) - **関数の極限と連続**: $x\to a$ のとき $f(x)\to f(a)$ となること（グラフがつながっていること）。→ [関数の極限](/mathematics/calculus/limits-and-continuity#def-limit) - **中間値の定理**: 連続な関数が 2 点で異なる値を取るなら、その間の値もどこかで取る、という性質。 - **上限**: 集合の上界（集合のどの元以上でもある数）のうち、最小のもの。 - **稠密性**: どんな 2 つの異なる実数の間にも、有理数がある、という性質。 - **狭義単調増加**: $x ## 1. 動機：$2^{\sqrt2}$ とは何か $2^3=2\times2\times2$ は「$2$ を $3$ 回掛ける」でした。ところが $2^{\sqrt2}$ を「$2$ を $\sqrt2$ 回掛ける」と言うことはできません。$\sqrt2$ 回の掛け算は意味を持たないからです。高校の教科書では、指数を段階的に広げます。 | 指数の範囲 | 定義 | その定義を選ぶ理由 | |---|---|---| | 正の整数 $n$ | $a^n=a\times\cdots\times a$ | 出発点 | | $0$ と負の整数 | $a^0=1,\ a^{-n}=1/a^n$ | $a^{m}a^{n}=a^{m+n}$ を保つため | | 有理数 $m/n$ | $a^{m/n}=(\sqrt[n]a)^m$ | $(a^{r})^n=a^{rn}$ を保つため | | 実数 | 有理数の指数による近似の極限 | 指数関数がつながったグラフになるように | どの段階でも、「**指数法則を保つように定義を決める**」ことが方針です。ただし、そうして決めた定義が（1）矛盾なく定まり（たとえば $a^{1/2}$ と $a^{2/4}$ が同じ値になるか）、（2）本当に指数法則を満たすか、は別の問題で、証明が必要です。この記事では、その 2 点を最後の「実数の指数」まで確かめます。使う道具は 2 つです。1 つは**中間値の定理**で、「$x^n$ のグラフがつながっているから、値 $a$ を取る点がある」という形で累乗根の存在を保証します。もう 1 つは**実数の連続性**で、「上に有界な集合には上限がある」という性質を、実数の指数を定義するために使います。 ## 2. 累乗根と有理数の指数 ### 2.1. 整数の指数まず整数の指数について、次の事実を確認します。$a,b$ を正の実数、$m,n$ を整数とします。$a^0=1$、$n>0$ で $a^n=a^{n-1}a$、$a^{-n}=1/a^n$ と定めます。 $a,b>0$、$m,n\in\mathbb Z$ とする。 1. $a^ma^n=a^{m+n}$、$(a^m)^n=a^{mn}$、$(ab)^n=a^nb^n$。 2. $n>0$ で $01$ ならば $a^n>1$ で、$a>1$ のとき $m **(1)** $m,n\ge0$ のときは、$n$ についての帰納法で示します。$a^ma^0=a^m$ は明らか。$a^ma^{n}=a^{m+n}$ を仮定すると $a^ma^{n+1}=a^m(a^na)=(a^ma^n)a=a^{m+n}a=a^{m+n+1}$ です。$(a^m)^n=a^{mn}$ は、$(a^m)^{n+1}=(a^m)^na^m=a^{mn}a^m=a^{mn+m}$ として帰納的に、$(ab)^n=a^nb^n$ は $(ab)^{n+1}=(ab)^n(ab)=a^nb^n\,ab$ で、積の可換性により従います。指数に負の整数が入る場合は、$a^{-n}=1/a^n$ の定義に戻して、分数の計算規則に帰着します（たとえば $a^{m}a^{-n}$ は $m\ge n$ なら $a^{m-n}a^na^{-n}=a^{m-n}$、$m0$ で $00$ です（因数分解は右辺を展開して確かめられる）。$a>1$ なら $1a^m$（$a^{n-m}>1$、$a^m>0$）です。 ### 2.2. 累乗根の存在と一意性次の定理の存在の部分は、「$y=x^n$ のグラフはつながっているので、高さ $a$ の水平線とどこかで必ず交わる」ということです。下の図は $n=2$、$a=2$ の場合で、交点の $x$ 座標が $\sqrt2$ です。

$n$ を正の整数とする。 1. 任意の正の実数 $a$ に対し、$b^n=a$ を満たす正の実数 $b$ がただ 1 つ存在する。これを $\sqrt[n]a$ または $a^{1/n}$ と書く。 2. $n$ が奇数ならば、任意の実数 $a$ に対し $b^n=a$ を満たす実数 $b$ がただ 1 つ存在する。 **(1) 存在。** $f(x)=x^n$ は多項式関数なので連続です（）。$M=\max(1,a)$ とおくと $f(0)=0）から $f(b)=a$ となる $b\in[0,M]$ があります。$a>0$ なので $b\ne0$、すなわち $b>0$ です。**一意性。** $0 (2) より $b^n0$ は (1) で済んでいます。$a=0$ は $b=0$。$a<0$ のときは、$(-a)>0$ の $n$ 乗根を $c>0$ として $b=-c$ とすれば、$n$ が奇数なので $b^n=-c^n=a$ です。一意性は、$n$ が奇数のとき $x\mapsto x^n$ が $\mathbb R$ 上で狭義単調増加であることから従います。実際 $x (2)、$x $\sqrt[n]a$ が一意に定まることは、**先に「正の数」という条件を課した**おかげです。$n$ が偶数なら $b^n=a$ には $b$ と $-b$ の 2 つの解がありますが、$a^{1/n}$ は正の方に決めたのでした。 ### 2.3. 有理数の指数有理数 $r$ を、整数 $m$ と正の整数 $n$ で $r=m/n$ と書き、$a>0$ に対して $$ a^{r}=\bigl(a^{1/n}\bigr)^m $$ と定めます。ここで、同じ有理数 $r$ の分数表示は 1 通りではありません。$\tfrac12=\tfrac24$ ですが、$(a^{1/2})^1$ と $(a^{1/4})^2$ は本当に同じでしょうか。これが「矛盾なく定まる」という問題で、次の定理で確かめます。 $a,b>0$、$r,s$ を有理数とする。 1. $a^r$ は $r$ の分数表示によらずに定まる。 2. $a^ra^s=a^{r+s}$、$(a^r)^s=a^{rs}$、$(ab)^r=a^rb^r$。 3. $a>1$ かつ $r1$ で $r>0$ ならば $a^r>1$。証明の流れは次のとおりです。(1) では、2 通りの分数表示から作った 2 つの値が、どちらも同じ数の「正の累乗根」になることを示し、累乗根の一意性で両者を等しいとします。(2) は分母をそろえて、整数の指数法則に帰着させます。(3) は (2) から出ます。 **(1)** $r=m/n=m'/n'$（$n,n'>0$）とし、$b=a^{1/n}$、$b'=a^{1/n'}$ とします。 (1) を使って $(b^m)^{nn'}=(b^n)^{mn'}=a^{mn'}$、同様に $(b'^{m'})^{nn'}=(b'^{n'})^{m'n}=a^{m'n}$ です。$mn'=m'n$ なので、$b^m$ と $b'^{m'}$ はどちらも「$a^{mn'}$ の $nn'$ 乗根」であり、$a^{mn'}>0$ の正の $nn'$ 乗根は一意（）なので $b^m=b'^{m'}$ です（どちらも正）。 **(2)** $r,s$ を共通の分母 $N>0$ で $r=p/N$、$s=q/N$ と書き、$c=a^{1/N}$ とします。$a^r=c^p$、$a^s=c^q$、$a^{r+s}=c^{p+q}$ なので、$a^ra^s=c^pc^q=c^{p+q}=a^{r+s}$ です。$(ab)^{1/N}=a^{1/N}b^{1/N}$ は、右辺が正で $N$ 乗すると $ab$ になることと、の一意性からわかり、そこから $(ab)^r=a^rb^r$ が従います。$(a^r)^s$ については、まず $d=(a^r)^{1/N}$ が $a^{r/N}$ に等しいことを示します。$a^{r/N}$ は正で、$N$ 個を掛けると上で示した $a^ra^s=a^{r+s}$ により $a^{r}$ になるので（$N$ 回の指数の和が $r$）、一意性から $d=a^{r/N}$ です。したがって $(a^r)^s=\bigl((a^r)^{1/N}\bigr)^q=(a^{r/N})^q=a^{rq/N}=a^{rs}$ です。 **(3)** $a>1$ のとき $a^{1/N}>1$ です。もし $a^{1/N}\le1$ なら、$N$ 乗して $a=(a^{1/N})^N\le1$ となり矛盾します。よって $t=p/N>0$（$p\ge1$）なら $a^t=(a^{1/N})^p>1$（ (2)）です。$ra^r$ です。 ## 3. 実数の指数 ### 3.1. 準備：$a^{1/n}\to1$ 実数の指数の定義には、有理数の指数が「小さな指数の変化に対して、あまり変わらない」ことが必要です。 $h>-1$、$n\ge1$ ならば $(1+h)^n\ge1+nh$ である。 $n=1$ は等号です。$(1+h)^n\ge1+nh$ を仮定すると、$1+h>0$ なので $(1+h)^{n+1}\ge(1+nh)(1+h)=1+(n+1)h+nh^2\ge1+(n+1)h$ です。任意の $a>0$ に対し、数列 $a^{1/n}$ は $1$ に収束する。 $a=1$ は明らか。$a>1$ とすると、 (3) より $b_n=a^{1/n}>1$ です。$b_n=1+h_n$（$h_n>0$）とすると、より $a=b_n^n\ge1+nh_n$、したがって $0 (6)）で $h_n\to0$、すなわち $b_n\to1$ です。$01$ で、$a^{1/n}=1\big/(1/a)^{1/n}$ なので、商の極限（同 (4)）から $1$ に収束します。 ### 3.2. 実数の指数の定義 $a>1$ の場合を考えます。有理数の指数について $a^r$ は $r$ の増加関数（ (3)）なので、実数 $x$ に対して $a^x$ は > 「$x$ より小さい有理数 $r$ に対する $a^r$」の最小の上界（上限）と定めるのが自然です。$x$ に近づく有理数による近似と同じ値になるはずで、後で確かめます。$0 $a>0$、$x\in\mathbb R$ とする。$a=1$ のときは $a^x=1$。$a>1$ のときは $$ a^x=\sup\{\,a^r:\ r\in\mathbb Q,\ r $a>0$ とする。 1. $a^x$ は任意の実数 $x$ に対し定まる正の実数である。$x$ が有理数のときは、と §2.3 の定義は一致する。 2. $x\in\mathbb R$ に収束する任意の有理数列 $(r_n)$ に対し、$a^{r_n}\to a^x$ である。とくに、極限は近似列のとり方によらない。証明の見取り図です。(1) は、上限が存在することと、有理数の指数のときに元の値と一致することの確認です。(2) の ε の評価では、文字の役割が次のようになっています。$x$ を有理数 $p $a>1$ の場合を示します（$a=1$ は明らか、$0）ので、集合 $S_x=\{a^r:r\in\mathbb Q,rx$ を取ると、$r (3)）で、$S_x$ は上に有界です。したがって上限が存在します（）。$S_x$ の元は正なので、$\sup S_x>0$ です。 **有理数での一致。** $x$ が有理数なら、$r と商の極限 (4)）。各 $a^r\le\sup S_x$ なので、極限を取って（同 (5)）$a^x\le\sup S_x$ です。 **(2)** まず、実数 $x$ と有理数 $p0$ を任意にとります。整数 $N>|x|+1$ を取り $K=a^N$ とおきます。から $K(a^{1/m}-1)<\varepsilon$ となる正の整数 $m$ が取れます。有理数 $p,p'$ を $x-\tfrac1{2m}）、$p'-p<1/m$ なので、$|p|,|p'|1$ の場合から正の実数として定まり、$x$ が有理数なら §2.3 の値と一致します（(1)）。$r_n\to x$ なら $-r_n\to-x$ で、$a>1$ の場合から $(1/a)^{-r_n}\to(1/a)^{-x}=a^x$ です。これで、高校の「$\sqrt2$ に近づく有理数 $r_n$ で $2^{r_n}$ を作ると、その極限が定まる」という説明が、実際に正しいことがわかりました。極限は近似列によらないので、$2^{\sqrt2}=\lim2^{1.4},\ 2^{1.41},\ 2^{1.414},\dots$ のように近似してよいのです。 ## 4. 指数法則と指数関数の性質 ### 4.1. 単調性と指数法則 $a>1$ で $xa^y$ である。 $a>1$ とします。有理数 $q,q'$ を $x を 2 回使う）。$a^x=\sup\{a^r:r (3)）で $a^q-y$ に $1/a>1$ の場合を使います。 $a,b>0$、$x,y$ を実数とする。 1. $a^{x+y}=a^xa^y$。とくに $a^0=1$、$a^{-x}=1/a^x$。 2. $(ab)^x=a^xb^x$。有理数列 $r_n\to x$、$s_n\to y$ を取ります（たとえば小数展開の途中で切ったもの）。有理数の指数法則（ (2)）より $a^{r_n+s_n}=a^{r_n}a^{s_n}$ です。$r_n+s_n$ は有理数で $x+y$ に収束するので、 (2) により左辺は $a^{x+y}$ に収束します。右辺は、同じ定理により $a^{r_n}\to a^x$、$a^{s_n}\to a^y$ なので、積の極限（ (3)）から $a^xa^y$ に収束します。極限の一意性（同 (2)）で $a^{x+y}=a^xa^y$ です。$a^0=1$ は定義から（$a>1$ のとき $\sup\{a^r:r<0\}=1$ は (1) の一致の部分）、$a^{-x}$ については $a^xa^{-x}=a^0=1$ です。 (2) も同様に、$(ab)^{r_n}=a^{r_n}b^{r_n}$ の両辺の極限を取ります。 ### 4.2. 連続性・値域・逆関数 $a>0$、$a\ne1$ とし $f(x)=a^x$ とおく。 1. $a>1$ なら $f$ は狭義単調増加、$0 (2) の証明では、数列による連続性の特徴づけを使います。「$u_n\to u$ となるどんな数列についても $f(u_n)\to f(u)$ となる」ことを示せば、$f$ は $u$ で連続だといえる、というものです。そのために、まず $0$ に近づく指数で値が $1$ に近づくことを示します。 **(1)** はです。以下 $a>1$ とします（$00$ に対し、から $m$ を、$a^{1/m}<1+\varepsilon$ かつ $a^{-1/m}=1/a^{1/m}>1-\varepsilon$ となるように取れます。$t_n\to0$ なので十分大きい $n$ で $|t_n|<1/m$ となり、(1) より $1-\varepsilon (1) より $a^{u_n}=a^ua^{u_n-u}\to a^u\cdot1$ です。数列による特徴づけ（ (2)）により $f$ は連続です。 **(3)** $y>0$ を任意にとります。ベルヌーイの不等式（）で $a^N=(1+(a-1))^N\ge1+N(a-1)$ なので、$N$ を大きく取れば $a^N>y$ です。同様に $a^{-N}=1/a^N）から $a^x=y$ となる $x$ があります。単調性から $x$ は一意で、また $a^x>0$ なので値域は $(0,\infty)$ です。 $a>0$、$x,y$ を実数とする。$(a^x)^y=a^{xy}$ である。まず $y$ が有理数 $s=p/q$（$q>0$）の場合です。$d=(a^x)^{1/q}$ は正で $d^q=a^x$ です。一方 $e=a^{x/q}$ も正で、 (1) を $q$ 回使って $e^q=a^{x}$ です。累乗根の一意性（）から $d=e$ で、$(a^x)^s=d^p=e^p=a^{xp/q}=a^{xs}$ です。一般の $y$ では、有理数列 $s_n\to y$ を取ります。底 $a^x>0$ に (2) を使って $(a^x)^{s_n}\to(a^x)^y$ です。他方 $(a^x)^{s_n}=a^{xs_n}$ で、$xs_n\to xy$ と指数関数の連続性（ (2) と (1)）から $a^{xs_n}\to a^{xy}$ です（$a=1$ なら両辺とも $1$）。極限の一意性により $(a^x)^y=a^{xy}$ です。以上で、高校で使う指数法則が、すべての実数の指数について証明できました。「$a^x$ は $x$ の関数としてつながったグラフを持つ（連続）」ことも示せています。 ## 5. 対数関数 $a>0$、$a\ne1$ とする。各 $y>0$ に対し $a^x=y$ を満たす実数 $x$ がただ 1 つ存在する。 (3) そのものです。 $a>0$、$a\ne1$、$y>0$ とする。$a^x=y$ を満たす実数 $x$（でただ 1 つ存在）を、$a$ を底とする $y$ の**対数**といい、$\log_ay$ と書く。底が $e$（）のときは $\log y$ または $\ln y$ と書き、**自然対数**という。「$y$ は $a$ の何乗か」を答えるのが対数です。定義から、$a^{\log_ay}=y$ と $\log_a(a^x)=x$ がすぐに従います。 $a>0$、$a\ne1$、$y,z>0$、$t\in\mathbb R$ とする。 1. $\log_a1=0$、$\log_aa=1$。 2. $\log_a(yz)=\log_ay+\log_az$。 3. $\log_a(y^t)=t\log_ay$。とくに $\log_a(1/y)=-\log_ay$。 4. $a>1$ なら $y **(1)** $a^0=1$、$a^1=a$ です（）。**(2)** $u=\log_ay$、$v=\log_az$ とすると、$yz=a^ua^v=a^{u+v}$（ (1)）なので $\log_a(yz)=u+v$ です。**(3)** $u=\log_ay$ とすると $y^t=(a^u)^t=a^{ut}$（）なので $\log_a(y^t)=tu$ です。**(4)** $a>1$ とする。$u=\log_ay$、$v=\log_az$ とおき、$u\ge v$ なら $y=a^u\ge a^v=z$（ (1)）となり $y）なので、その逆関数は連続です（）。 (2) は、「掛け算が足し算に変わる」という対数の役割そのものです。計算尺（長さの足し算で掛け算をする道具）や、桁の大きい数を扱う対数目盛・デシベル・マグニチュードは、この 1 本の等式の応用です。 $a,b>0$、$a,b\ne1$、$y>0$ とする。 $$ \log_ay=\frac{\log_by}{\log_ba} $$ である。とくに $\log_ab=1/\log_ba$。 $u=\log_ay$ とすると $y=a^u$ です。両辺の $b$ を底とする対数を取ると、 (3) より $\log_by=u\log_ba$ です。$a\ne1$ より $\log_ba\ne0$（$a=b^{\log_ba}$ で、$\log_ba=0$ なら $a=1$ になる）ので、$u=\log_by/\log_ba$ です。$y=b$ とすれば $\log_ab=1/\log_ba$ です。底の変換公式があるので、どんな底の対数も、自然対数（あるいは常用対数）の比で書けます。電卓に $\log$ のキーが 1 種類（または 2 種類）しかなくても、$\log_2 5=\log_{10}5/\log_{10}2$ のように計算できる理由です。 ## 6. 常用対数と桁数底が $10$ の対数を**常用対数**といいます。 $N$ を正の整数とする。 1. $N$ がちょうど $k$ 桁であることは、$k-1\le\log_{10}N **(1)** $N$ がちょうど $k$ 桁であることは $10^{k-1}\le N<10^k$ のことです。$\log_{10}$ は狭義単調増加で $\log_{10}10^j=j$（）なので、これは $k-1\le\log_{10}N (2)(4)）です。 $2^{10}=1024$ なので $2^{100}=1024^{10}$ です。$1000^{10}=10^{30}\le1024^{10}$ です。上からは $1024^{10}=10^{30}\cdot1.024^{10}$ で、$1.024^2<1.05$、$1.024^8<1.05^4<1.22$ から $1.024^{10}<1.22\times1.05<2$ です。したがって $10^{30}<2^{100}<2\cdot10^{30}$ で、$30<\log_{10}2^{100}<30+\log_{10}2<31$ です。により $2^{100}$ は **31 桁**で、最高位の数字は $1$ です（実際 $2^{100}=1267650600228229401496703205376$）。 $\log_23$ は無理数である。 $3>1$ なので $\log_23>0$ です。有理数であると仮定して $\log_23=p/q$（$p,q$ は正の整数）とすると、$3=2^{p/q}$ です。両辺を $q$ 乗すると、$3^q=(2^{p/q})^q=2^p$（）です。左辺は奇数、右辺は偶数（$p\ge1$）なので矛盾します。 ## 7. 指数・対数の方程式と不等式、応用 $4^x-3\cdot2^x-4=0$ を解きます。$4^x=(2^2)^x=(2^x)^2$（）なので、$t=2^x$ とおくと $t^2-3t-4=0$、すなわち $(t-4)(t+1)=0$ です。$t=2^x>0$（ (3)）なので $t=4$、すなわち $x=2$ です。$t>0$ という制約を忘れると $t=-1$ という不適な解が残ります。 $\log_{1/2}(x-1)\ge-2$ を解きます。真数条件は $x>1$。$-2=\log_{1/2}4$ なので、不等式は $\log_{1/2}(x-1)\ge\log_{1/2}4$ です。底 $1/2$ は $1$ より小さいので $\log_{1/2}$ は単調減少（ (4)）で、不等号が逆転して $x-1\le4$ です。真数条件とあわせて $1 年利 $r\%$ の複利で元金が 2 倍になる年数 $n$ は、$(1+r/100)^n=2$ を解いて $n=\log_{1+r/100}2=\dfrac{\ln2}{\ln(1+r/100)}$ です（底の変換公式）。$\ln2=0.6931\cdots$ として数値を計算すると、次のようになります。 | 年利 $r\%$ | 1 | 2 | 4 | 6 | 8 | 10 | 12 | |---|---|---|---|---|---|---|---| | 年数 $n$ | 69.66 | 35.00 | 17.67 | 11.90 | 9.01 | 7.27 | 6.12 | | $r\times n$ | 69.7 | 70.0 | 70.7 | 71.4 | 72.1 | 72.7 | 73.4 | $r\times n$ はほぼ $70$ から $73$ の間で、「$n\approx72/r$」という覚え方（72 の法則）がよく当たります。この 72 は 69.3（$=100\ln2$）に少し足した値で、$r$ が 6〜10 のあたりで精度がよい数です。 ## 8. 大学ではどこへ続くか - **指数関数の特徴づけ。** 加法性 $f(x+y)=f(x)f(y)$ を満たす連続関数が指数関数に限られることは、関数方程式の話題として [古典的な不等式と関数方程式](/mathematics/real-analysis/classical-inequalities-functional-equations) に出てきます。この記事で示した指数法則は、その出発点です。 - **級数による定義。** $a^x=\exp(x\ln a)$ と書き直すと、指数関数・対数関数が微分方程式 $y'=y$ の解として特徴づけられます。次の記事 [指数・対数・三角関数をきちんと定義する](/mathematics/hs-analysis/elementary-functions) で扱います。 - **実数の構成。** 実数の指数は、実数の連続性（上限の存在）がなければ定義できません。実数そのものの構成については [数とは何か](/mathematics/foundations/what-is-a-number) と [完備性とコーシー列](/mathematics/real-analysis/completeness-and-cauchy) が受け皿です。 - **群としての見方。** 指数関数は、加法群 $(\mathbb R,+)$ から乗法群 $((0,\infty),\times)$ への同型を与え、対数がその逆です。この視点は代数学・リー群論に続きます。 ## 9. 演習 $2^{300}$ と $3^{200}$ はどちらが大きいか。 $2^{300}=(2^3)^{100}=8^{100}$、$3^{200}=(3^2)^{100}=9^{100}$ である（ (1)）。$8<9$ なので (2) より $8^{100}<9^{100}$、すなわち $3^{200}$ のほうが大きい。 $0.4771<\log_{10}3<0.4772$ を認めて、$3^{50}$ の桁数を求めよ。 (3) より $\log_{10}3^{50}=50\log_{10}3$ で、$23.855<50\log_{10}3<23.86$ である。したがって $23<\log_{10}3^{50}<24$ で、 (1) により $k-1=23$、すなわち $3^{50}$ は **24 桁**である（実際 $3^{50}=717897987691852588770249$）。 $\log_2x+\log_2(x-2)=3$ を解け。真数条件は $x>0$ かつ $x-2>0$、すなわち $x>2$。 (2) より左辺は $\log_2\bigl(x(x-2)\bigr)$ なので、$x(x-2)=2^3=8$、すなわち $x^2-2x-8=0$、$(x-4)(x+2)=0$ である。真数条件から $x=4$。$x=-2$ は条件を満たさない。 ## 参考文献 - 杉浦光夫『解析入門 I』東京大学出版会、1980 — 第 I 章（実数の連続性）・第 II 章（初等関数）。 - W. Rudin, *Principles of Mathematical Analysis*, 3rd ed., McGraw-Hill, 1976 — Chapter 1（実数の指数の定義）、Chapter 8（指数関数・対数関数）。 - 高木貞治『解析概論』岩波書店 — 第 1 章・第 2 章（指数関数・対数関数）。 - 『数学 II』『数学 III』（検定済み高等学校教科書、各社）— 指数関数・対数関数の章。