記事ソース/対数関数lnと指数関数expが逆関数であることの証明
をテンプレートにして作成
査読
rst2hooktail
進行表
執筆中
かぎマニュ
物理のかぎプロジェクト
トップ
最近の更新
ヘルプ
開始行:
#rst2hooktail_source
=========================================================...
対数関数lnと指数関数expが逆関数であることの証明
=========================================================...
この記事では、
、
<tex>
y= f(x)= \ln \ x = \log_e \ x
</tex>
が [*]_ 、
.. [*] 大学では、 $e$ を底とする対数関数 $\log_e \ x$ を...
<tex>
y= g(x) = e^x = \exp(x)
</tex>
の逆関数であることを確認します。
本題
======================
<tex>
y &= (f \circ g)(x) \\
&= \ln \ e^x \\
&= x \ln \ e \\
&= x
</tex>
は、簡単に示せます [*]_ 。
.. [*] ここで、 $\ln\ x^y = y \ln \ x$ という性質を用い...
でははたして、
<tex>
y &= (g \circ f)(x) \\
&= e^{\ln \ x} \\
&= x \tag{##}
</tex>
は、どうしたら示せるでしょうか? [*]_
.. [*] そもそも、 $y =\ln\ x$ は、 $e$ を $y$ 乗した時 $x...
定義から考えると当然の結果ではあります。よって、以下は計...
それには、ちょっと工夫が要ります。
式 $(1)$ において、
<tex>
x = \exp(t)
</tex>
と置いてやるのです。
<tex>
y &= (g \circ f)(x) \\
&=\exp(\ln \ x) \\
&= \exp(\ln \ e^t) \\
&= \exp(t \ln \ e) \\
&= \exp(t) \\
&= x \tag{##}
</tex>
一番最後の行で、最初に決めた関係 $e^t=x$ を用いました。
これで、めでたく
<tex>
(f \circ g)(x)=(g \circ f)(x)=x
</tex>
が示せました。
では、そろそろ、今日はここまで。
@@author:クロメル@@
@@accept:2010-05-17@@
@@category:物理数学@@
@@id:lnAndExp@@
終了行:
#rst2hooktail_source
=========================================================...
対数関数lnと指数関数expが逆関数であることの証明
=========================================================...
この記事では、
、
<tex>
y= f(x)= \ln \ x = \log_e \ x
</tex>
が [*]_ 、
.. [*] 大学では、 $e$ を底とする対数関数 $\log_e \ x$ を...
<tex>
y= g(x) = e^x = \exp(x)
</tex>
の逆関数であることを確認します。
本題
======================
<tex>
y &= (f \circ g)(x) \\
&= \ln \ e^x \\
&= x \ln \ e \\
&= x
</tex>
は、簡単に示せます [*]_ 。
.. [*] ここで、 $\ln\ x^y = y \ln \ x$ という性質を用い...
でははたして、
<tex>
y &= (g \circ f)(x) \\
&= e^{\ln \ x} \\
&= x \tag{##}
</tex>
は、どうしたら示せるでしょうか? [*]_
.. [*] そもそも、 $y =\ln\ x$ は、 $e$ を $y$ 乗した時 $x...
定義から考えると当然の結果ではあります。よって、以下は計...
それには、ちょっと工夫が要ります。
式 $(1)$ において、
<tex>
x = \exp(t)
</tex>
と置いてやるのです。
<tex>
y &= (g \circ f)(x) \\
&=\exp(\ln \ x) \\
&= \exp(\ln \ e^t) \\
&= \exp(t \ln \ e) \\
&= \exp(t) \\
&= x \tag{##}
</tex>
一番最後の行で、最初に決めた関係 $e^t=x$ を用いました。
これで、めでたく
<tex>
(f \circ g)(x)=(g \circ f)(x)=x
</tex>
が示せました。
では、そろそろ、今日はここまで。
@@author:クロメル@@
@@accept:2010-05-17@@
@@category:物理数学@@
@@id:lnAndExp@@
ページ名:
Modified by
物理のかぎプロジェクト
PukiWiki 1.4.6
Copyright © 2001-2005
PukiWiki Developers Team
. License is
GPL
.
Based on "PukiWiki" 1.3 by
yu-ji
Powered by PHP 5.3.29 HTML convert time to 0.002 sec.