１次関数と指数関数の交点を求めてみよう

本稿では１次関数と指数関数の交点を求め、１次関数が指数関数の接線になる条件についても調べてみます。またまた今回も「ランベルトのW関数」が登場します。

 

 指数関数と直線

$a>0$ かつ $a\ne 1$ であるような実数$a$に関して $y=a^x$ という式で表される関数は「指数関数」と呼ばれます。指数関数は現行課程の高校数学だと数Ⅱの範囲で習う内容で、入試問題としても頻繁に出題されますが、１次関数や２次関数と指数関数の交点を求めさせる問題が出題されることはほとんどありません。何故かというと、一般に指数関数と多項式関数の交点は初等的に表現することができないからです。

簡単な例で見てみましょう。下の図のように１次関数 $y=2x+1$ と指数関数 $y=2^x$ は２点で交わります。交点の一つが$(0,1)$であることはグラフから明らかですね。もう一方の交点の$x$座標の近似値は $x\approx 2.659861\dots$ となり、$$2\times 2.659861\dots +1=2^{2.659861\dots }$$という関係式が成り立ちます。実は、この座標の厳密な値は高校数学の範囲で表現することができません。

ある直線 $y=px+q$ と、ある指数関数 $y=a^x$ が交わるということは、これらのグラフが共有点を持つことを意味します。そこで共有点の$x$座標を$t$と置けば、$t$は方程式$$pt+q=a^t$$を満たします。このような実数$t$が存在するかどうかを調べるために「ランベルトのW関数」という特殊関数を使います。

 

 ランベルトのW関数（再々登場）

前回の「放物線に接する指数関数を求めてみよう」や前々回の「方程式$2^x=x^2$の解について」の記事でも扱った「ランベルトのW関数」にまたしても登場してもらいます。

ランベルトのW関数とは「関数$y=x{e}^x$の逆関数」のことでしたね。

上図のように、関数 $y=W(x)$ は $y\geqq -1$ の部分（赤色部分；$W_0(x)$）と $y\leqq -1$ の部分（青色部分；$W_{-1}(x)$）に分けることができます。つまり、関数 $y=W(x)$ は $-{\displaystyle \frac{1}{e}}\leqq x<0$ の範囲では2価関数（一つの$x$の値に対して$y$の値を$2$つ与える関数）となります。

 

 指数関数と直線の交点

W関数について $W(x{e}^x)=x$ という関係式が成り立つことを利用して方程式$$px+q=a^x$$を解いていきます。$a^x=e^{x\log a}$ と書き換えられるので、$$px+q=e^{x\log a}$$ $$(px+q)e^{-x\log a}=1$$両辺に$-{\displaystyle \frac{1}{p}}\log a$を掛けて$$(-x\log a-{\displaystyle \frac{q}{p}}\log a)e^{-x\log a}=-{\displaystyle \frac{1}{p}}\log a$$ $e^{-\frac{q}{p}\log a}=a^{-\frac{q}{p}}$を両辺に掛けて$$(-x\log a-{\displaystyle \frac{q}{p}}\log a)e^{-x\log a-\frac{q}{p}\log a}=-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a$$を得ます。ここで両辺についてランベルトのW関数をとると、$$-x\log a-{\displaystyle \frac{q}{p}}\log a=W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)$$より、$$x=-{\displaystyle \frac{1}{\log a}}W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)-{\displaystyle \frac{q}{p}}$$を得ます。これが求めるべき一般解です。

---

先ほど、ランベルトのW関数は $-{\displaystyle \frac{1}{e}}\leqq x<0$ の範囲で2価関数であることを説明しました。つまり括弧内の $-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a$ の値によって共有点の$x$座標の個数が決まります。

$0\leqq -{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a$ のとき（薄赤色の領域）、$W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)$は1つの値をとるので指数関数と直線の交点は1個だけ存在します。

$-{\displaystyle \frac{1}{e}}<-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a<0$ のとき（緑色の領域）、$W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)$は2つの値を同時に与えるため、指数関数と直線の交点は2個存在することになります。

$-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a=-{\displaystyle \frac{1}{e}}$ のとき（緑色の領域の左端）、$W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)$は1つの値をとるので指数関数と直線の交点は1個だけ存在します。このとき特に、１次関数 $y=px+q$ は指数関数 $y=a^x$ の接線となります。

また、$-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a<-{\displaystyle \frac{1}{e}}$ のとき（無色の領域）は定義域の範囲外なので$W(-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a)$の値は存在しません。つまり、このとき指数関数と直線の交点は存在しません。

 

 指数関数の接線になる条件

上記で$$(\ast )-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a=-{\displaystyle \frac{1}{e}}$$が成り立つとき、１次関数 $y=px+q$ は指数関数 $y=a^x$ の接線になると述べましたが、果たして本当でしょうか？

ここで$a$を定数として、$(\ast )$式を$q$について解いてみましょう。$$-{\displaystyle \frac{a^{-\frac{q}{p}}}{p}}\log a=-{\displaystyle \frac{1}{e}}$$ $$\therefore a^{-\frac{q}{p}}={\displaystyle \frac{p}{e\log a}}$$ $$\therefore a^q={\left({\displaystyle \frac{e\log a}{p}}\right)}^p$$両辺に自然対数をとって$$q\log a=p\log \left({\displaystyle \frac{e\log a}{p}}\right)$$ $$\therefore q={\displaystyle \frac{p}{\log a}}\log \left({\displaystyle \frac{e\log a}{p}}\right)$$を得ます。

これより、１次関数$$y=px+{\displaystyle \frac{p}{\log a}}\log \left({\displaystyle \frac{e\log a}{p}}\right)$$は指数関数 $y=a^x$ の接線になります。そのときのグラフを下に示します。緑色、橙色の点を左右にスライドすれば、それぞれ$a$、$p$の値を動かせます。

確かに接線になっていることが分かりますね！

これは導関数を用いて接線の方程式を導いても全く同じ式が得られることからも理解できます。計算練習がてら、検算してみて下さい。

---

---