微分の学習を進めていると、5xの微分という形に出会う場面があります。
5xは指数関数の一種であり、a^xの微分公式を活用することで解くことができます。
この記事では、5xの微分公式の内容とその証明方法、axの微分との関係、具体的なやり方まで丁寧に解説していきます。
5xの微分の公式は5x・log5
それではまず、5xの微分の公式について解説していきます。
5xを微分すると、次のような結果が得られます。
d/dx(5x)＝5x・log5
5x・log5という形は、a^xの微分公式にa＝5を代入することで得られます。
eˣの微分がeˣというシンプルな形になるのとは異なり、底が5の場合はlog5をかける形になります。
積分公式の5x/log5と混同しやすいため、微分ではlog5をかける形になることをしっかり押さえておきましょう。
公式の証明：a^xの微分公式から導く方法
5xの微分の証明は、一般的なa^xの微分公式を使うことでシンプルに導くことができます。
a^xの微分公式：d/dx(a^x)＝a^x・loga（a＞0、a≠1）
a＝5を代入すると、
d/dx(5x)＝5x・log5
a^xの微分公式にa＝5を代入するだけで、5xの微分公式が得られます。
a^xの微分公式自体の証明は、eˣとの関係を使った変形によって確認することができます。
a^xの微分公式の証明を確認する
a^xの微分公式がなぜa^x・logaになるのかを確認しておきましょう。
a^x＝e^(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)と変形する発想が、証明の核心となっています。
この変形を理解しておくと、どんな底の指数関数の微分にも対応できるでしょう。
微分の定義を使った証明
より厳密な証明として、微分の定義から導く方法もあります。
微分の定義より、d/dx(5x)＝lim[h→0](5^(x＋h)－5x)/h
＝lim[h→0]5x・(5h－1)/h
＝5x・lim[h→0](5h－1)/h
ここで lim[h→0](5h－1)/h＝log5 であるため、
d/dx(5x)＝5x・log5 が得られます。
極限 lim[h→0](ah－1)/h＝loga は、指数関数の微分の核心となる極限です。
この極限を覚えておくと、a^xの微分の本質的な理解につながるでしょう。
5xの微分とaxの微分の関係を整理しよう
続いては、5xの微分とaxの微分の関係について確認していきます。
5xはa^xのa＝5の特別な場合であるため、公式の構造を理解すると他の底にも応用できます。
| 関数 | 微分結果 | 備考 |
|---|---|---|
| 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になり最もシンプルな形になることがわかります。
底が変わってもlog部分が対応して変わるだけであり、公式の構造は共通していることがわかるでしょう。
eˣの微分との違いを意識する
eˣの微分と5xの微分を混同するミスが多いため、違いをしっかり押さえておきましょう。
d/dx(eˣ)＝eˣ（logは不要）
d/dx(5x)＝5x・log5（log5をかける必要がある）
eˣの場合はloge＝1となるためlogが省略されますが、底が5のときは必ずlog5をかける必要があります。
この違いを意識することで、計算ミスを防ぐことができるでしょう。
よくある間違いと注意点
5xの微分では、いくつかの典型的なミスが見られます。
まず、log5をかけ忘れて5xのまま答えてしまうケースがあります。
底がe以外の指数関数の微分には必ずlogが現れることを、しっかりと意識してください。
また、積分公式の5x/log5と混同して5x/log5と答えてしまうミスも多いため、微分と積分を明確に区別するようにしましょう。
5xの微分の応用例で理解を深めよう
続いては、5xの微分の応用例を通じてさらに理解を深めていきます。
合成関数を含む微分の例
5^(3x)のように、引数に係数がある場合の微分を確認しましょう。
問題：d/dx(5^(3x))を求めよ。
合成関数の微分より、
d/dx(5^(3x))＝5^(3x)・log5×3＝3・5^(3x)・log5
外側の微分（5xの微分）と内側の微分（3xの微分＝3）をかけ合わせることで答えが得られます。
合成関数の微分では「外×内の微分」というルールを意識するとスムーズです。
積の微分との組み合わせ
x・5xのように積の形になった場合は、積の微分公式を使います。
問題：d/dx(x・5x)を求めよ。
f＝x → f’＝1
g＝5x → g’＝5x・log5
d/dx(x・5x)＝1・5x＋x・5x・log5＝5x(1＋x・log5)
この結果は5x(1＋x・log5)となり、5xでくくった形で整理されます。
積の微分をしっかりと身につけることで、こうした応用問題にも落ち着いて対応できるでしょう。
微分の検算方法
微分の計算が正しいかどうかを確認する方法として、積分して元に戻るかを確認する方法があります。
5x・log5を積分すると、log5・(5x/log5)＝5xとなり、もとの関数に戻ることが確認できます。
微分と積分が逆の操作であることを利用した、シンプルな検算方法です。
まとめ
この記事では、5xの微分の公式と証明、axの微分との関係について解説しました。
5xの微分結果は5x・log5であり、a^xの微分公式にa＝5を代入することで導くことができます。
eˣの微分がeˣというシンプルな形になるのに対し、底が5の場合はlog5をかける形になる点が大きな違いです。
a^xの微分公式の構造を理解しておくことで、底がどんな値であっても同じ手順で解くことができるでしょう。
公式の意味と証明の流れをしっかり理解した上で、さまざまな問題に挑戦してみてください。
