微分の学習を進めていると、a^xの微分という形に出会う場面があります。
a^xはeˣを一般化した指数関数であり、その微分公式はeˣとの深い関係をもとに導き出すことができます。
この記事では、a^xの微分公式の内容とその証明方法、eˣとの関係について、わかりやすく丁寧に解説していきます。
a^xの微分の公式はa^x・loga
それではまず、a^xの微分の公式について解説していきます。
a^xを微分すると、次のような結果が得られます。
d/dx(a^x)＝a^x・loga（a＞0、a≠1）
a^x・logaという形は、eˣとの関係を利用した変形によって導き出すことができます。
底がeのときはloge＝1となるためlogaの部分が省略され、d/dx(eˣ)＝eˣというシンプルな形になります。
底がe以外のときは必ずlogaをかける必要があることを、しっかりと意識しておきましょう。
公式の証明：eˣとの関係を使った方法
a^xの微分の証明は、a^xをeˣを使って変形することでシンプルに導くことができます。
a^x＝e^(x・loga)と変形します。（両辺の自然対数をとると loga^x＝x・loga より確認できます）
d/dx(a^x)＝d/dx(e^(x・loga))
合成関数の微分より、e^(x・loga)・loga＝a^x・loga
よって d/dx(a^x)＝a^x・loga が得られます。
a^x＝e^(x・loga)という変形が、証明の核心となっています。
この変形はlogの性質から自然に導き出せるため、しっかりと理解しておきましょう。
微分の定義を使った証明
より厳密な証明として、微分の定義から導く方法もあります。
微分の定義より、d/dx(a^x)＝lim[h→0](a^(x＋h)－a^x)/h
＝lim[h→0]a^x・(a^h－1)/h
＝a^x・lim[h→0](a^h－1)/h
ここで lim[h→0](a^h－1)/h＝loga であるため、
d/dx(a^x)＝a^x・loga が得られます。
極限 lim[h→0](a^h－1)/h＝loga は、指数関数の微分の核心となる極限です。
この極限はeの定義とも深く関わっており、微分の理論における重要な結果のひとつです。
対数微分法を使った証明
対数微分法を使っても、a^xの微分を証明することができます。
y＝a^xとおいて両辺の自然対数をとると、
logy＝x・loga
両辺をxで微分すると、y’/y＝loga
よって y’＝y・loga＝a^x・loga
対数微分法は複雑な指数関数の微分に広く使える手法です。
この方法を習得しておくと、x^xのような形の微分にも応用できるでしょう。
a^xの微分とeˣの関係を整理しよう
続いては、a^xの微分とeˣの関係について確認していきます。
eˣはa^xのa＝eの特別な場合であり、最もシンプルな形として特別な地位を持っています。
| 関数 | 微分結果 | 備考 |
|---|---|---|
| eˣ | eˣ | loge＝1のためlog不要 |
| 2x | 2x・log2 | a＝2の場合 |
| 3x | 3x・log3 | a＝3の場合 |
| 5x | 5x・log5 | a＝5の場合 |
| a^x | a^x・loga | 一般形 |
表から、底がeのときだけlog部分が1になり最もシンプルな形になることがわかります。
eˣが微分しても変わらない唯一の指数関数であることが、この対比から自然に理解できるでしょう。
eˣが特別な理由を深く理解する
eˣが微分しても変わらない理由は、eの定義そのものに関わっています。
eはネイピア数と呼ばれ、lim[h→0](e^h－1)/h＝1 を満たす定数として定義されます。
この定義より、d/dx(eˣ)＝eˣ・1＝eˣ となります。
eの数値はおよそ2.71828…であり、自然対数の底として幅広く使われています。
eの定義と微分の関係を理解することで、なぜeˣだけが特別なのかが自然に納得できます。
この理解は解析学全般への深い洞察にもつながるでしょう。
a^xの積分公式との対比で覚える
a^xの微分公式と積分公式をセットで覚えておくと、混同を防ぐことができます。
微分：d/dx(a^x)＝a^x・loga（logaをかける）
積分：∫a^x dx＝a^x/loga＋C（logaで割る）
微分ではlogaをかけ、積分ではlogaで割るという対称的な構造を意識して覚えましょう。
この対称性を把握しておくことで、どちらの公式も正確に記憶できるでしょう。
a^xの微分の応用例で理解を深めよう
続いては、a^xの微分の応用例を通じてさらに理解を深めていきます。
合成関数を含む微分の例
a^(bx)のように、引数に係数がある場合の微分を確認しましょう。
問題：d/dx(a^(bx))を求めよ。
合成関数の微分より、
d/dx(a^(bx))＝a^(bx)・loga×b＝b・a^(bx)・loga
外側の微分（a^xの微分）と内側の微分（bxの微分＝b）をかけ合わせることで答えが得られます。
合成関数の微分では「外×内の微分」というルールを意識するとスムーズです。
積の微分との組み合わせ
x・a^xのように積の形になった場合は、積の微分公式を使います。
問題：d/dx(x・a^x)を求めよ。
f＝x → f’＝1
g＝a^x → g’＝a^x・loga
d/dx(x・a^x)＝1・a^x＋x・a^x・loga＝a^x(1＋x・loga)
この結果はa^x(1＋x・loga)となり、a^xでくくった形で整理されます。
積の微分をしっかりと身につけることで、こうした応用問題にも落ち着いて対応できるでしょう。
対数微分法の応用：x^xの微分
a^xの微分の理解を深めた上で、x^xという特殊な形の微分にも挑戦してみましょう。
y＝x^xとおいて両辺の自然対数をとると、
logy＝x・logx
両辺をxで微分すると、y’/y＝logx＋x・(1/x)＝logx＋1
よって y’＝y・(logx＋1)＝x^x(logx＋1)
x^xのように底も指数も変数の場合は、対数微分法が唯一の有効な手段となります。
a^xの微分の理解がこうした応用問題への足がかりになるでしょう。
まとめ
この記事では、a^xの微分の公式と証明、eˣとの関係について解説しました。
a^xの微分結果はa^x・logaであり、a^x＝e^(x・loga)と変形してeˣの微分公式を活用することで証明できます。
底がeのときはloge＝1となるためeˣの微分がeˣというシンプルな形になり、これがeˣの特別な理由です。
微分ではlogaをかけ、積分ではlogaで割るという対称的な構造を意識することで、両方の公式を正確に覚えることができるでしょう。
公式の意味と証明の流れをしっかり理解した上で、さまざまな問題に挑戦してみてください。
