指数関数の大小比較では、直接数値を計算しようとすると複雑になります。しかし、対数を取ることで式の形を簡単に変形でき、計算機を使わずに比較できる場合があります。
この記事では、オイラーの定数γを含むπ^(e^γ)とe^(π^γ)について、どのような考え方で大小を判断するのかをわかりやすく解説します。
指数の大小比較では対数を利用する
比較する2つの数は、
π^(e^γ) と e^(π^γ)
です。このままでは、πやe、さらにγが指数部分に入っているため比較が難しく見えます。
ここで重要なのは、底が1より大きい数の対数を取っても大小関係は変わらないという性質です。
つまり、2つの数の自然対数を比較すればよいことになります。
それぞれの自然対数を求める
まず、
A=π^(e^γ)
B=e^(π^γ)
と置きます。
Aの自然対数を取ると、指数の公式より、
log A=e^γ log π
となります。
一方、Bについては、
log B=π^γ
となります。
したがって比較すべきなのは、
e^γ log π と π^γ
の大小です。
比較を簡単な形に変形する
ここで両辺をe^γで割ります。e^γは正の数なので大小関係は変わりません。
すると、
log π と π^γ/e^γ
を比較することになります。
右辺は指数法則を使うと、
π^γ/e^γ=(π/e)^γ
となります。
つまり問題は、
log π と (π/e)^γ のどちらが大きいか
という形に変わります。
オイラーの定数γの性質を利用する
オイラーの定数γは、
γ≈0.57721…
であり、0より大きく1より小さい数です。
また、π/eは、
π/e≈1.155…
なので、(π/e)^γは1より少し大きい値になります。
一方、log πについて考えると、
π>eなので、log π>1
となります。
さらに、π/eはπよりかなり小さいため、指数γをかけても、
(π/e)^γ<π
程度の大きさにしかなりません。
厳密な比較方法
より数学的には、両方を指数関数の形に戻すよりも、差を調べる方法が有効です。
比較する値は、
e^γ log π と π^γ
です。
ここで、π^γ=(e^{log π})^γ=e^{γ log π}となります。
したがって比較は、
e^γ log π と e^{γ log π}
になります。
両辺をe^γで割ると、
log π と e^{γ(log π-1)}
の比較になります。
log π≈1.1447なので、log π-1は約0.1447です。
したがって右辺は、
e^{0.57721×0.1447}
となり、指数部分は約0.0835です。
これは約1.087程度になります。
一方、log πは約1.1447なので、
log π>e^{γ(log π-1)}
が成立します。
元の式の大小関係を確認する
以上より、
e^γ log π>π^γ
となります。
これは自然対数を取った後の比較で、
log(π^(e^γ))>log(e^(π^γ))
を意味します。
自然対数は増加関数なので、元の値でも大小関係は同じです。
したがって、
π^(e^γ)>e^(π^γ)
となります。
まとめ
π^(e^γ)とe^(π^γ)のような複雑な指数比較では、直接計算するのではなく、自然対数を取って指数部分を整理することが重要です。
今回の場合は、対数を利用することで比較対象を簡単な式に変形でき、最終的に
π^(e^γ)の方がe^(π^γ)より大きい
と判断できます。
指数関数の大小比較では、「底が1より大きい場合は対数を取る」という考え方が非常に有効なテクニックになります。
コメント