これからの季節に親子でハイキング! >>

大学1年のものです。

(e^x)'=e^xの証明がわかりません。
高校で習ったような気もしますが、習ってないような気もします。

ここの過去の質問も見させてもらったところ、2つほど見つけたのですが、

1)
y=e^x
logy=x
(1/y)y'=1
よって  y'=y=e^x



2)  e^xを無限級数に直して微分



1)の場合d(logx)/dx=1/x…(*)を利用していますが、(*)は(e^x)'=e^xを利用せずに証明できるのでしょうか?

2)の場合、e^xを無限級数に直すためには、テーラー展開をしないとダメなような気がするのですが、テーラー展開をするときに(e^x)'=e^xを利用しなければならないような気がします。



1)、2)とも(e^x)'=e^xの証明に(e^x)'=e^xを利用しているとすればこれらは意味を成さないような気がするのですが…


微分の定義に沿って証明しようともしましたが、

(e^x)'=lim{h→0}(e^x((e^h)-1)/h)

となり、ここで行き詰ってしまいました。



(e^x)'=e^xはなぜ成り立つのでしょうか?
よろしくお願いします。

このQ&Aに関連する最新のQ&A

A 回答 (8件)

orangeapple55さんのおっしゃるとおり、「一般的には」1)も2)も(e^x)'=e^xを用います。


従って1)にも2)にも頼らず、定義によって微分することにしましょう。

(e^x)'
=lim[h→0](e^x((e^h)-1)/h)
=e^xlim[h→0]{((e^h)-1)/h}

となるので、結局問題は
lim[h→0]{((e^h)-1)/h}……(*)
の収束性に帰着します。

そこで、この極限について考察してみましょう。以下、適宜e^xをexp(x)と表現します。

まず、h>0のときについて考えましょう。
このとき、exp(h)>1ですから実数t>0を用いて
exp(h)=1+1/t……(1)
と表すことができます。

指数関数は連続ですから、
lim[h→0]exp(h)=1
ゆえに
lim[h→0]t=∞
つまり、
h→0のときt→∞……(2)
が成り立ちます。

また、h=log(exp(h))を利用すると、(1)よりh=log(1+1/t)……(3)
ですから、(1)、(2)、(3)より、(*)はtを用いて
(*)=lim[t→∞]1/{tlog(1+1/t)}=lim[t→∞]1/log{(1+1/t)^t}
と書き直すことができます。

さて、対数関数も連続ですから、
lim[h→0]log{(1+1/t)^t}=log{lim[h→0]{(1+1/t)^t}}です。
そこで、lim[h→0]{(1+1/t)^t}に注目しましょう。

nを自然数とします。そうすれば、二項定理を用いて
(1+1/n)^n
=1 + nC1*(1/n) + nC2*(1/n)^2 + …… + (1/n)^n
=1 + 1 + (1-1/n)/2! + (1-1/n)(1-2/n)/3! + …… + (1-1/n)(1-2/n)……(1-(n-1)/n)/n!……(4)
と展開できます。

(1+1/(n+1))^(n+1)
を同じように展開すると、(1+1/n)^nに比べて
イ:項数が増え
ロ:個々の項が増大する
ことが容易に確認できますから、(1+1/n)^nはnが増すと単調増加します。
しかも、(4)より、

(1+1/n)^n
<1 + 1/1! + 1/2! + …… 1/n!
<1 + 1 + 1/2 + 1/2^2 + …… + 1/2^(n-1)
<1 + (1-(1/2)^n)/1-1/2
<3

ですから、(1+1/n)^nは上に有界(どんなnをとってきても(1+1/n)^n<MとなるMが存在する。今の場合例えばM=3)です。

ここで公理を使います。
「上に有界かつ単調増加な数列は収束する」
これは実数の連続性を認めないと出てこない公理なのですが、今はとりあえず認めることにしましょう。そうすると、

「(1+1/n)^nは3以下のある値に収束する」

ことが分かります。これを私たちはeと定義したのでした。
以下、証明は省きますが、xを実数としても、(1+1/x)^xはやはりx→∞でeに収束することは容易に類推できると思います。
(証明が気になるなら図書館で解析に関する本を探してみてください。おそらく載っていると思います)

さて、このeを底にとった対数関数を自然対数logと決めたのですから、結局のところ
log{lim[h→0]{(1+1/t)^t}}=log(e)=1
が出ます。よって、(*)=1、つまり、(e^x)'=e^xを示すことができました。h<0についても同様です。

適当なことを言いたくなかったので、長くなってしまいました。すいません。
整理すると、
(1)(1+1/x)^xはx→∞で2.71ぐらいに収束する(収束値をeと名付ける)
これが一番最初にあります。これを用いて、
(2)e^xを指数関数とする
(3)logxをその逆関数とする
これが定義されます。この順番を理解していないと、おかしな循環論法に陥ります。

(注:冒頭で「一般的には」と書いたように、これと違った定義の仕方もあります。
たとえばe^x=1+x/1+x^2/2!+……と先に指数関数を定義してしまう方法。
これらに関しても、順番に注意すれば循環論法に陥らずに公理のみから件の命題を証明することができるでしょう)

最後に、僕は以上でいくつか仮定をしています。
対数関数が連続であること。指数関数が連続であること。
実数の連続性。(1+1/x)^xはxが実数であってもx→∞でeに収束すること。
これらの証明(あるいは公理の必然性)をあたってみることは決して無駄ではないと思います。
    • good
    • 3
この回答へのお礼

理解するのに時間がかかってしまいました。
丁寧に書いてくださりありがとうございました。
最後におっしゃった証明も見てみようと思います。

ありがとうございました。

お礼日時:2005/07/15 20:33

こんばんは


行き詰まってしまったところからは、(e^h-1)/h→1を示せばいいので、
e^h-1=tとおくと証明できると思います。
h→0のとき、t→0
h=log(1+t)
なので、
(e^h-1)/h=t/log(1+t)
=1/[log(1+t)^(1/t)]
分母の真数のところはeの定義通りで、→e
だから、(e^h-1)/h→1/loge=1
となります。
    • good
    • 3
この回答へのお礼

あ~なるほど。
…全然思いつきませんでした(笑)

ありがとうございました。

お礼日時:2005/07/15 20:37

元々,オイラーさんは次のように計算したようです.



1. 2項定理を用いてlogの無限級数展開を導く
2. 無限級数展開を用いて,logの微分公式を導く
3. 質問者さんの1)の方法でeの微分公式を導く

この1.はテクニカルで,凡人の私には到底思いつくものではありません.
    • good
    • 0
この回答へのお礼

2項定理を用いてlogの無限級数展開導けるんですか。
…さすがオイラーさんですね。

ありがとうございます。

お礼日時:2005/07/15 19:14

考えたことも無かったので考えてみました。


ネピア数をWikipediaで調べたところ
http://ja.wikipedia.org/wiki/%E3%83%8D%E3%83%94% …

lim{n→∞} (1+1/n)^n と「定義する」ようですので、これを使ってみました

logx(底はeですね?)の微分の定義は
(logx)' = lim{Δx→0} (log(x+Δx)-logx)/Δx
= lim{Δx→0} log((x+Δx)/x)/Δx
= lim{Δx→0} log(1+Δx/x)/Δx
ここで、X=x/ΔxとおくとΔx→0の時、X→∞(注意x≠0よりX≠0)
= lim{X→∞} X・(log(1+1/X))・ 1/xと変形できます。
ここで
lim{X→∞} X・(log(1+1/X))=log((1+1/X)^X)はeの定義からloge=1と求まる
以上から(logx)'=1/x である。どうだっ!
...かいてたら回答がぽつぽつと...orz
    • good
    • 1
この回答へのお礼

なるほど!
すごい…感動しました。
やはりlim{n→∞} (1+1/n)^n=eが出てくるんですね。
この定義をどうやったら利用できるのかが、まったく見当つかなかったので感動しました。

ありがとうございます。

お礼日時:2005/07/15 19:06

結果的には、No.2 さんのおっしゃるように、そうなるのが、自然対数の底である「e」ですね。


過去にも、質問がありました。

http://oshiete1.goo.ne.jp/kotaeru.php3?qid=720039

参考URL:http://oshiete1.goo.ne.jp/kotaeru.php3?qid=720039
    • good
    • 0
この回答へのお礼

「e^x 微分 証明」で検索していたので、
この質問には気がつきませんでした…

ありがとうございます。

お礼日時:2005/07/15 19:02

y = a^x



両辺の対数をとる
 log(y) = log(a^x) = x*log(a)

両辺をxで微分
 (y'/y) = log(a)

両辺にyを掛けて
 y' = y*log(a) = (a^x)*log(a)

∴ (a^x)' = (a^x)*log(a) = loga*a^x


※lim[h→0] {1+h}^(1/h) の極限値として e は定められています。

この回答への補足

お礼を言うのを忘れていました。

ありがとうございました。

補足日時:2005/07/15 20:40
    • good
    • 0
この回答へのお礼

両辺をxで微分
 (y'/y) = log(a)

のところはlogxを微分すると1/xになるということを使っていると思うのですが、そうすると(e^x)=e^xを使っているということになるのではないでしょうか?
(e^x)=e^xを使わずに、
(logx)'=1/xを証明できるのでしょうか?

お礼日時:2005/07/15 18:36

(e^x)'=e^x


になるようにeを決めたというようなことだったような気がします

この回答への補足

お礼を言うのを忘れていました。

ありがとうございました。

補足日時:2005/07/15 20:39
    • good
    • 2
この回答へのお礼

そ、そうだったんですか?
では
lim{n→∞}(1+(1/n))^n=e

(e^x)'=e^x
から導かれるということなのでしょうか?

お礼日時:2005/07/15 18:23

a^xの微分を考えてみましょう。



(a^x)'=loga・a^x

aをeにすると

(e^x)'=loge・e^x

   =e^x


よって (e^x)'=e^x なのです。

この回答への補足

すいません。
回答のお礼を言うのを忘れていました。

ありがとうございました。

補足日時:2005/07/15 20:38
    • good
    • 0
この回答へのお礼

(a^x)'=loga・a^x
はどのようにして導くのでしょうか?
すいません。

お礼日時:2005/07/15 17:57

このQ&Aに関連する人気のQ&A

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!

このQ&Aを見た人はこんなQ&Aも見ています

このQ&Aを見た人が検索しているワード

このQ&Aと関連する良く見られている質問

Qeの微分の公式について

e^xの微分はe^xですが
e^f(x)の微分はf'(x)e^f(x)でいいのでしょうか?
ネットで調べたのですが、e^xの微分の公式の説明ばかりだったので教えてください

Aベストアンサー

あってますよ。
普通に検索すると、確かに見つけにくいですね^^
http://www-antenna.ee.titech.ac.jp/~hira/hobby/symbolic/derive.html

Qe^-2xの積分

e^-2xの積分はどうしたらよいのでしょうか…。e^xやe^2xsinxなどはのってるのですがこれが見つかりません。お願いします。

Aベストアンサー

いささか、思い違いのようです。

e^-2x は、 t=-2x と置いて置換してもよいけれど、牛刀の感がします。

e^-2x を微分すると、(-2)*( e^-2x )となるので、

e^-2x の積分は、(-1/2)*( e^-2x )と判明します。

Q積分で1/x^2 はどうなるのでしょうか?

Sは積分の前につけるものです
S dx =x
S x dx=1/2x^2
S 1/x dx=loglxl
まではわかったのですが
S 1/x^2 dx
は一体どうなるのでしょうか??

Aベストアンサー

まず、全部 積分定数Cが抜けています。また、積分の前につけるものは “インテグラル”と呼び、そう書いて変換すれば出ます ∫

積分の定義というか微分の定義というかに戻って欲しいんですが
∫f(x)dx=F(x)の時、
(d/dx)F(x)=f(x)です。

また、微分で
(d/dx)x^a=a*x^(a-1)になります …高校数学の数3で習うかと
よって、
∫x^(a-1)dx=(1/a)*x^a+C
→∫x^adx={1/(a+1)}*x^(a+1)+C
となります。

つまり、
∫1/x^2 dx=∫x^(-2)dx
={1/(-2+1)}*x^(-2+1)+C
=-x^(-1)+C
=-1/x+C

です。

Q分母が文字の分数を微分する方法を教えてください。

分母が文字の分数を微分する方法を教えてください。


8/xを微分すると、-8/x二乗になるようなんですけど、なぜそうなるのか教えてください。

数学は大の苦手なので、分かりやすくお願いします:(;゛゜'ω゜'):

Aベストアンサー

x^nをxで微分するとnx^(n-1)になるというのは習ったと思いますが、
それを利用します
(ちなみに記号^は累乗の記号です。a^bは「aのb乗」を意味します)。

8/x = 8x^(-1)と変形して、無理矢理x^nの形に直します。
x^nをxで微分するとnx^(n-1)になるので、
x^(-1)をxで微分すると-x^(-2)となります。
よって8x^(-1)をxで微分すると-8x^(-2) = -8/(x^2)となります。

Qexpという理解できない記号があります。

expという理解できない記号があります。
exp(x) = 2.718 ^ x
までは、わかりましたがこの関数は何の意味があるのか、用途もわかりません。

あと、フリーで関数を入れるとグラフを書くようなソフトはありますか?
y = exp(x)のようなグラフを書かせて、見た目でも理解したいです。

expのプロ?のご意見が聞きたいです。

Aベストアンサー

2.718~x では、ありません。

∫[t=1→x] (1/t)dt という関数に名前をつけて、
log x と書き、自然対数と呼びます。
この log の逆関数を、exp と書き、
指数関数と呼びます。

exp(x・log(a)) のことを a~x と、
exp(1) のことを e と書く慣習です。
したがって、exp(x) = e~x が成立します。

x が自然数の場合、
a~x は、よく知られていますね。

e の値は、
近似値で e ≒ 2.718281828… であり、
e = 2.718 ではないです。

Qlogの微分を教えてください。

logの微分を教えてください。
「^」とかあっても、よくわからないので、できれば、画像で><
今月15日の定期試験に向けて勉強していますが、答えがないので、わかりません。
そんな問題があと20題ほど。
答えだけでも結構です。解答プロセスはなんとか勉強しますが、
今は自力で自信のある解答を導くことができません。

どうぞお願いいたしますm(xx)m

Aベストアンサー

答えだけでいいならば、分母からlogeを取り除けば正解です。

Q偏微分の記号∂の読み方について教えてください。

偏微分の記号∂(partial derivative symbol)にはいろいろな読み方があるようです。
(英語)
curly d, rounded d, curved d, partial, der
正統には∂u/∂x で「partial derivative of u with respect to x」なのかもしれません。
(日本語)
ラウンドディー、ラウンドデルタ、ラウンド、デル、パーシャル、ルンド
MS-IMEはデルで変換します。JIS文字コードでの名前は「デル、ラウンドディー」です。

そこで、次のようなことを教えてください。
(1)分野ごと(数学、物理学、経済学、工学など)の読み方の違い
(2)上記のうち、こんな読み方をするとバカにされる、あるいはキザと思われる読み方
(3)初心者に教えるときのお勧めの読み方
(4)他の読み方、あるいはニックネーム

Aベストアンサー

こんちには。電気・電子工学系です。

(1)
工学系の私は,式の中では「デル」,単独では「ラウンドデルタ」と呼んでいます。あとは地道に「偏微分記号」ですか(^^;
その他「ラウンドディー」「パーシャル」までは聞いたことがあります。この辺りは物理・数学系っぽいですね。
申し訳ありませんが,あとは寡聞にして知りません。

(3)
初心者へのお勧めとは,なかなかに難問ですが,ひと通り教えておいて,式の中では「デル」を読むのが無難かと思います。

(4)
私はちょっと知りません。ごめんなさい。ニックネームは,あったら私も教えて欲しいです。

(2)
専門家に向かって「デル」はちょっと危険な香りがします。
キザになってしまうかどうかは,質問者さんのパーソナリティにかかっているでしょう(^^

*すいません。質問の順番入れ替えました。オチなんで。

では(∂∂)/

Qlim[n→∞](1-1/n)^n=1/e について

こんにちは

lim[n→∞](1+1/n)^n=e
が成り立つことは簡単に示せるのですが、
lim[n→∞](1-1/n)^n=1/e
となることの証明はどのようにすればいいのでしょうか?
ご存知の方がいらっしゃいましたらご回答よろしくお願いします。

Aベストアンサー

e=lim(1+t)^(1/t)   〔t→0〕
がeの定義なので、(t→+0でもt→-0でもOK)
-1/n=tとおきます。

n→∞のとき、t→-0なので、
(与式)=lim(1+t)^(-1/t)   〔t→-0〕

これを変形すると、
=lim{(1+t)^(1/t)}^-1   〔t→-0〕
=e^-1
=1/e

高校の範囲なら、この証明で大丈夫です。

Qlogとln

logとln
logとlnの違いは何ですか??
底が10かeかということでいいのでしょうか?
大学の数学のテストでlogが出てきた場合は底が10と解釈してよいのでしょうか??
解説お願いします!!

Aベストアンサー

こんにちは。

>>>logとlnの違いは何ですか??

「自然対数」は、natural logarithm の訳語です。
「ln」というのは、「logarithm 。ただし、natural の。」ということで、つまり「自然対数」という意味です。
一方、log というのは、底がeなのか10なのかがはっきりしません。


>>>大学の数学のテストでlogが出てきた場合は底が10と解釈してよいのでしょうか??

数学であれば、底がeの対数(自然対数)です。底が10の対数(常用対数)ではありません。
一方、log は、数学以外であれば不明確な場合があります。

私の大学時代と仕事の経験から言いますと・・・

【eを用いるケース】
・数学全般(log と書きます)
・電子回路の信号遅延の計算(ln と書く人が多いです)
・放射能、および、放射性物質の減衰(log とも ln とも書きます。ただし、eではなく2を使うこともあります。)

【10を用いるケース】(log または log10 と書きます)
・一般に、実験データや工業のデータを片対数や両対数の方眼紙でまとめるとき(挙げると切りがないほど例が多い)
・pH(水溶液の水素イオン指数・・・酸性・中性・アルカリ性)
・デシベル(回路のゲイン、音圧レベル、画面のちらつきなど)

ご参考になれば。

こんにちは。

>>>logとlnの違いは何ですか??

「自然対数」は、natural logarithm の訳語です。
「ln」というのは、「logarithm 。ただし、natural の。」ということで、つまり「自然対数」という意味です。
一方、log というのは、底がeなのか10なのかがはっきりしません。


>>>大学の数学のテストでlogが出てきた場合は底が10と解釈してよいのでしょうか??

数学であれば、底がeの対数(自然対数)です。底が10の対数(常用対数)ではありません。
一方、log は、数学以外であれば不明確な場...続きを読む

Q自然対数の底の指数関数の微分について

(e^x)'=e^xになるのは分かりましたが、
(e^-4x)の微分はどうやって求めるのでしょうか?
参考書には答えしか載っておらず解法が分かりません。
指数関数の微分の公式を使って
e^-4x × logeでは無いのですか?

宜しくお願い致します。

Aベストアンサー

>e^-4x × logeでは無いのですか?
多分何かと勘違いされていると思います。

簡単な方法として次のうようにすればいいです。
y=e^{-4x}と置きます。
さらに、t=-4xとおきます。
すると、y=e^t, t=-4xなので、
dy/dt=e^t, dt/dx=-4
よって
dy/dx=(dy/dt)×(dt/dx)=-4e^{-4x}となります。

dy/dxはyをxで微分したものという意味です。
このように複雑な部分を他の文字(今回はt)で置き換え、
それぞれを式中の文字で微分して、最後に掛け合わせるという方法は
よくやるので知っておいたほうが便利です。


このQ&Aを見た人がよく見るQ&A

人気Q&Aランキング