指数関数と対数関数は逆関数どうし、y = x で折り返すと重なる

$2^{3} = 8$ なので、点 $(3, 8)$ は $y = 2^{x}$ のグラフに乗っています。

$lo g_{2} 8 = 3$ なので、点 $(8, 3)$ は $y = lo g_{2} x$ のグラフに乗る。座標を入れかえただけの点です。

どの点でも同じことが起きます。2 つのグラフは、直線 $y = x$ をはさんで向かい合っています^[1]。

座標を入れかえる

$y = 2^{x}$ 上の点 $(p, q)$ は $q = 2^{p}$ をみたします。

この式を対数で書き直すと $p = lo g_{2} q$ 。つまり $(q, p)$ が $y = lo g_{2} x$ 上に乗ります。

$x$ 座標と $y$ 座標を入れかえる操作は、直線 $y = x$ についての折り返しです。だからグラフどうしも折り返しの関係になる^[2]。

動いている 2 つの点は、いつでも $y = x$ について対称の位置にあります。

打ち消し合う 2 つの等式

逆をたどる関係は、次の 2 本の式に凝縮されます^[3]。

$a^{l o g_{a} x} = x (x > 0), lo g_{a} a^{x} = x$

上の式は「 $a$ を何乗すれば $x$ になるか」を求めて、実際にその回数だけ掛ける、という往復です。出発点に戻ります。

下の式は「 $a$ を $x$ 回掛けた数は $a$ の何乗か」を聞いている。答えは $x$ に決まっています。

行って戻る操作だから、何も変わらない。逆関数の定義そのものです^[2]。

例：打ち消しを使う

$2^{l o g_{2} 7} = 7$ です。計算せずに答えが出ます。

$lo g_{3} 3^{5} = 5$ 、 $1 0^{l o g_{10} 4} = 4$ 。同じ形です。

$5^{2 l o g_{5} 3}$ は指数を先に整理します。 $2 lo g_{5} 3 = lo g_{5} 9$ なので、 $5^{l o g_{5} 9} = 9$ 。

$lo g_{2} 8^{4}$ なら $8 = 2^{3}$ から $lo g_{2} 2^{12} = 12$ になります。

$a^{l o g_{a} x} = x$ の $x$ には $x > 0$ が付きます。真数の位置にいるためです。

定義域と値域が入れかわる

$y = 2^{x}$ は、どんな実数 $x$ でも定義され、値は正の数だけをとります。

$y = lo g_{2} x$ は、正の数だけを受けとり、値は実数全体に広がる。定義域と値域がそっくり入れかわっています^[1]。

y = 2^{x}

定義域は実数全体、値域は正の数全体。 $x$ 軸が漸近線

y = lo g_{2} x

定義域は正の数全体、値域は実数全体。 $y$ 軸が漸近線

漸近線も入れかわります。折り返しなので、 $x$ 軸が $y$ 軸に移るのは当然の帰結です。

1 対 1 でないと逆をたどれない

すべての関数に逆があるわけではありません。 $y = x^{2}$ を折り返すと、上下に 2 本の枝が現れます。

$x = 4$ に対して $y = 2$ と $y = - 2$ の両方が出る。1 つの入力に 2 つの出力が対応し、関数になりません^[1]。

$y = 2^{x}$ にはこの問題が起きない。単調に増えるので、同じ値を 2 回とることがありません。

$y = x^{2}$ に逆を作るには、 $x \geq 0$ に区切ります。区切ってはじめて $y = x$ という逆が現れる。

指数関数は区切りが要らない。この素直さが、対数を作れる理由です。

例：逆関数を求める手順

やることは 3 つです。

$y$ について解かれた式を用意する

$x$ と $y$ を入れかえる

$y$ について解き直す

$y = 3^{x}$ でやってみます。入れかえて $x = 3^{y}$ 。

対数の定義で $y = lo g_{3} x$ になります。これが逆関数です。

$y = lo g_{5} x$ からも同じ手順で戻せます。入れかえて $x = lo g_{5} y$ 、指数に直して $y = 5^{x}$ 。

例：平行移動した指数関数

$y = 2^{x - 1} + 3$ の逆を求めます。入れかえて $x = 2^{y - 1} + 3$ 。

$y$ について解きます。 $x - 3 = 2^{y - 1}$ から $y - 1 = lo g_{2} (x - 3)$ 。

$y = lo g_{2} (x - 3) + 1$

もとの関数の値域は $y > 3$ でした。逆関数の定義域も $x > 3$ になり、真数条件と一致します。

移動の向きも入れかわります。 $x$ 方向に $1$ 、 $y$ 方向に $3$ 動いた指数関数の逆は、 $x$ 方向に $3$ 、 $y$ 方向に $1$ 動いた対数関数です。

逆関数を求めたら、もとの関数の値域が逆関数の定義域になっているかを見ると検算になります。

$y > 3$ が $x > 3$ に移っていれば、途中の変形が合っている見込みが高い。

例：底が 1 より小さいとき

$y = (\frac{1}{2})^{x}$ は単調に減ります。それでも同じ値を 2 回とらないので、逆があります。

逆は $y = lo g_{1/2} x$ 。こちらも単調に減る関数です。

増える関数の逆は増え、減る関数の逆は減る。折り返しても向きは変わりません。

$y = x$ に関する対称移動は、右上がりを右上がりのまま、右下がりを右下がりのままにします。

例：方程式を解くときに効く

$5^{2 x} = 3$ を解きます。両辺に $lo g_{5}$ を当てると、左辺の指数が下りてきます^[4]。

$lo g_{5} 5^{2 x} = 2 x$ なので、 $2 x = lo g_{5} 3$ 。答えは $x = \frac{lo g _{5} 3}{2}$ です。

$lo g_{2} (x + 1) = 3$ なら、両辺を $2$ の指数に乗せます。 $2^{l o g_{2} (x + 1)} = x + 1$ から $x + 1 = 8$ 、 $x = 7$ 。

指数の式には対数を当て、対数の式には指数を当てる。打ち消す相手を選ぶだけで、変数が表に出てきます。

交点はどこにあるか

$y = 2^{x}$ と $y = lo g_{2} x$ は、 $y = x$ について対称です。交わるとすれば $y = x$ 上にありそうに見えます。

ところが $2^{x} = x$ をみたす実数はありません。 $2^{x}$ は $y = x$ より上を通り続けます。

実際、この 2 つのグラフは交わりません。底が $1$ より大きいときは、いつでも離れたままです。

底を小さくすると事情が変わります。 $a = \frac{1}{16}$ では、 $(\frac{1}{4}, \frac{1}{2})$ と $(\frac{1}{2}, \frac{1}{4})$ で交わる。

どちらも $y = x$ の上には乗っていません。 $(\frac{1}{16})^{1/4} = \frac{1}{2}$ と $lo g_{1/16} \frac{1}{4} = \frac{1}{2}$ を計算すると確かめられます。

このほかに $y = x$ 上の交点も 1 つあり、合わせて 3 点で交わります。底が $1$ より大きいときには起きない現象です。

自分自身が逆関数になる形

逆関数がもとの関数と一致することがあります。グラフが $y = x$ について対称なら、折り返しても動きません。

$y = \frac{1}{x}$ がその例です。入れかえて $x = \frac{1}{y}$ 、解き直すと $y = \frac{1}{x}$ 。もとに戻りました。

$y = - x$ も $y = 6 - x$ も同じ。どれもグラフが $y = x$ をはさんで自分と重なります^[1]。

指数関数と対数関数は、この形になりません。 $y = a^{x}$ を折り返すと必ず別の関数に移ります。

折り返して自分に戻るか、相手に移るか。逆関数を考えるとき、まずここを見ると見通しが立ちます。

$y = 3^{x + 2}$ の逆関数はどれですか。

$y = lo g_{3} x + 2$
$y = lo g_{3} x - 2$
$y = lo g_{3} (x - 2)$

__RESULT__

入れかえて $x = 3^{y + 2}$ 、対数に直して $y + 2 = lo g_{3} x$ です。移項すると $y = lo g_{3} x - 2$ になります。

打ち消しの式も確かめます。

$4^{l o g_{2} 3}$ の値はどれですか。

$3$
$9$
$12$

__RESULT__

$4 = 2^{2}$ なので $4^{l o g_{2} 3} = 2^{2 l o g_{2} 3} = 2^{l o g_{2} 9} = 9$ です。底がそろっていないときは、まず底をそろえてから打ち消します。

出典

Inverse Functions and Logarithms/10:_Exponential_Functions/10.03:_Inverse_Functions_and_Logarithms). Mathematics LibreTexts.

Graphs of Logarithmic Functions. College Algebra 2e, OpenStax.

Paul Dawkins. *Logarithm Functions*. Paul's Online Notes, Lamar University.

Functions and Their Inverses - Worked Examples. University of Toronto.

$2^3 = 8$ なら $(3, 8)$ は $y = 2^x$ に、$(8, 3)$ は $y = \log_2 x$ に乗ります。座標を入れかえただけの点で、入れかえは直線 $y = x$ についての折り返し。$a^{\log_a x} = x$ と $\log_a a^x = x$ は、行って戻れば元に戻ることを言っています。定義域と値域も漸近線も入れかわる。$y = x^2$ に逆がないのは折り返すと 2 本に割れるためで、指数関数は単調だから割れません。平行移動した $y = 2^{x-1} + 3$ の逆、底が $1/16$ のとき 3 点で交わる話まで。