指数関数と対数関数の対称性

指数関数 y=exy = e^x と対数関数 y=lnxy = \ln x逆関数の関係にあり、そのグラフは直線 y=xy = x に関して対称になります。

逆関数とは、xxyy の役割を入れかえた関数です。y=exy = e^x は「xx を入れると exe^x を返す」関数で、その逆に「値から元の xx を求める」のが y=lnxy = \ln x です。たとえば exe^xx=0x = 0y=1y = 1 を通り、lnx\ln xx=1x = 1y=0y = 0 を通ります。点 (0,1)(0, 1)(1,0)(1, 0) のように、xx 座標と yy 座標を入れかえた点どうしが対応します。

一般に、点 (a,b)(a, b) と点 (b,a)(b, a) は直線 y=xy = x に関して対称です。逆関数はもとの関数の (x,y)(x, y) を入れかえたものなので、y=f(x)y = f(x) 上の点 (a,b)(a, b) に対し、逆関数のグラフには必ず (b,a)(b, a) があります。だから 2 つのグラフは y=xy = x を鏡の面として折り返した形になります。

exe^xxx 軸を漸近線にもち急上昇する曲線、lnx\ln xyy 軸を漸近線にもちゆっくり増える曲線で、y=xy = x をはさんでちょうど鏡写しです。グラフの大きな点が、対称に対応する (0,1)(0, 1)(1,0)(1, 0) です。