指数関数と対数関数

指数関数と対数関数は、同じ関係を逆から読んだ関数です。$2^3=8$であれば、指数関数の視点では「指数 $3$ を入れて $8$ を作る」と読み、対数関数の視点では「$8$ を作るには指数が $3$ である必要がある」と読みます。試験では、このつながりを明確に把握するだけで、多くの問題がずっと簡単になります。

実数の範囲で、底 $a$ が $a>0$, $a \ne 1$ であるとき、

$y=a^x$

を指数関数、

$y=\log_a x$

を対数関数といいます。この2つの関数は互いに逆関数であるため、同じ底を使うとグラフは直線 $y=x$ を基準に対称になります。

指数関数と対数関数の意味を一度に理解する

指数関数 $y=a^x$ では、入力 $x$ が指数の位置に入ります。そのため、値が一定の差で増えるよりも、一定の比率で大きく（または小さく）なる状況に適しています。

対数関数 $y=\log_a x$ は、その関係を逆に読みます。核心は次の一行です。

$\log_a x = y \iff a^y = x$

この式は、対数が新しい計算方法であるということではなく、「指数を問う表記」であるという意味です。例えば $\log_2 8 = 3$ は、「$2$ を何乗すれば $8$ になるか」を問う文章なのです。

グラフと定義域はどう違うのか

$a>1$ であれば、指数関数と対数関数はどちらも増加します。逆に $0<a<1$ であれば、どちらも減少します。ただし、入力と出力の役割が互に入れ替わります。

指数関数 $y=a^x$ の定義域はすべての実数であり、関数値は常に正です。つまり、

$a^x > 0$

であるため、グラフは $x$ 軸より下には降りません。一方、対数関数 $y=\log_a x$ は入力が正のときのみ定義されるため、

$x > 0$

である必要があります。このため、指数関数の値域が対数関数の定義域と正確に結びつきます。

グラフでもこの関係が現れます。$2^3=8$ であれば、指数関数上の点は $(3,8)$ であり、対数関数上の対応する点は $(8,3)$ です。座標を入れ替えた形になるのは、まさに逆関数関係だからです。

例題：$2^x=10$ を対数に書き換えると、なぜ簡単になるのか

指数と対数のつながりは、指数が未知である式において最も明確に現れます。次の式を見てみましょう。

$2^x = 10$

$2^3=8$ であり $2^4=16$ なので、$x$ は $3$ と $4$ の間にあります。しかし、整数の指数だけでは正確な値をすぐに書き出すことは困難です。このようなときに対数を使えば、「指数そのもの」を答えとして書き換えることができます。

$x = \log_2 10$

つまり、対数関数は結果 $10$ を作るための指数がいくらであるかを教えてくれます。計算機で近似値を求めると、

$x \approx 3.32$

となります。この例題のポイントは一つです。「結果は分かっているが指数が分からないとき」に、対数関数が自然に登場します。

よく間違えるポイント

対数関数に $0$ や負の数を代入してしまうミスが多く見られます。実数の範囲では、$\log_a x$ において必ず $x>0$ でなければなりません。

底の条件を忘れがちな点にも注意してください。指数関数と対数関数において、底は常に $a>0$, $a \ne 1$ である必要があります。

対数関数を「逆数」のように理解してはいけません。対数関数は $\frac{1}{a^x}$ ではなく、指数関数の「逆関数」です。

もう一つは、「常に増加する」と暗記してしまうことです。$a>1$ であれば増加しますが、$0<a<1$ であれば指数関数も対数関数もどちらも減少します。

$\log_a(x+y)=\log_a x+\log_a y$ のように、成立しない式を書いてしまうミスも多いです。対数の性質は形式が正しいときにのみ使えるため、まずは定義と条件を確認するのが安全です。

指数関数と対数関数はいつ使われるのか

指数関数は、複利、個体数の増加、放射性崩壊のように、一定の比率で増減する現象をモデル化するときによく登場します。現在の大きさに比例して変化する状況であれば、指数関数で結びつくことが多いです。

対数関数はその逆の問いに使われます。結果がどの程度まで変化したかが与えられたとき、時間がどれくらい経過したか、あるいは必要な指数がいくらであるかを探すのに適しています。

似た問題で練習してみよう

まず $3^4=81$ を $\log_3 81=4$ に書き換えてみてください。次に $5^x=40$ を $x=\log_5 40$ として読み替えてみると、指数関数と対数関数がなぜペアなのかがよりはっきりと理解できるはずです。