• ベストアンサー

ふなひとはちふたはち‥‥のe??

このe(=2.71828....)ってどうして特別扱いされるんですか? たとえば、 f(x)=e^x f'(x)=e^x であって、 f'(x)=x・e^(x-1) ではありません。 このeがただの2.7としてではなく、eとして存在する理由を教えて下さい。

質問者が選んだベストアンサー

  • ベストアンサー
  • sanori
  • ベストアンサー率48% (5664/11798)
回答No.4

こんばんは。 >>>f'(x)=e^x であって、 f'(x)=x・e^(x-1) ではありません。 ありゃ。それは大きな勘違いです。 #1様、#2様によるご説明を読む前に、まずは基本から。 f(x)=x^n というのは、xのn次関数です。 f’(x)=nx^(n-1) xが変数、べき乗のnが定数だから成立している微分公式です。 f(x)=e^x においては、べき乗のxは、定数ではなく変数です。 x次関数ではなく、xの指数関数です。 以上を踏まえた上で、 eの性質として最も重要と思われるものとしては、 1. e^x をxで何回微分しても e^x になる! 2. e^x の逆関数、つまりeを底とした対数関数 log(x) をxで微分すると、1/x になる! 3. cosx + i・sinx = e^(ix) である!  (i=√(-1)) が挙げられます。 2は1から導出されます。 y=logx x=e^y dx/dy=e^y よって、 y’=dy/dx=1/e^y=1/e^(logx)=1/x 3は1と2から説明されます。 y = cosx + isinx とおいて、 y’= dy/dx  = -sinx + icosx  = icosx + i・isinx  = i(cosx+isinx)  = iy つまり、 1/y・dy = idx ∫1/y・dy = i∫dx (ここで2を思い出して) logy = ix+Const. よって、 y = e^(ix + Const.) x=0 のとき y=1 でなくてはいけないので、 y = e^(ix) y = cosx + isinx だったので、 e^(ix) = cosx + isinx 以下には、実用的な面でeが「特別扱い」される理由を挙げます。 ----------------------------------------------------- 1. e^x をxで何回微分しても e^x になる! このことにより、eを他の数字に取り替えた指数関数の微積分が簡単にできます。 たとえば、2^x の微分の場合 2^x = (e^log2)^x = e^(xlog2)なので (2^x)’= log2・e^(xlog2) 逆に言えば、eを他の数に取り替えた指数関数の微積分は複雑になるということです。 この性質の重要な応用は、金利の計算です。 http://www2.kumagaku.ac.jp/teacher/~sasayama/macroecon/mailmagalogarithm.html ----------------------------------------------------- 2. e^x の逆関数、つまりeを底とした対数関数 log(x) をxで微分すると、1/x になる! これによって、さまざまな現象の説明ができます。 ・不透明なガラスを透過する光の減衰 ・放射性物質の半減期と放射能 ・洗濯物の乾き方   ・・・・・ (挙げるときりがありません。) なぜかといえば、これらの現象は、すべて -dx/dt = ax で表される、つまり、 dx/x = -adt   → ∫1/x・dx = -a∫dt の形になるからです。 ----------------------------------------------------- 3. cosx + i・sinx = e^(ix) である!  (i=√(-1)) これによって、電気回路の計算が楽になります。 工業高校などの電気の授業では、「j」という記号を使いますが、これは「i」のことです。(電気ではiは電流を意味するので重複を避けた記号です。) e^(jx)の微分はje^(jx) です。 つまり、1回微分することと、jを1回掛け算することとは同じことであることを利用しています。 (さらには、上記2のことについても、計算が楽になります。)

全文を見る
すると、全ての回答が全文表示されます。

その他の回答 (5)

  • proto
  • ベストアンサー率47% (366/775)
回答No.6

性質よりもむしろ定義からいったほうが理解しやすい気がします。 eの定義は   e = lim[x→0]{(1+x)^(1/x)} です。 限りなく1に近い数を限りなくたくさん掛け合わせるというイメージですね。 これを具体的に計算したのが2.71828...ということになります。 さて、上の定義式がどこに表れるかというと、対数関数の微分です。 いま底がa(なんでもいいんですが、)の対数関数をlog[a](x)と書きましょう。 そして微分の定義f'(x)=lim[h→0]{(f(x+h)-f(x))/h}に従って、対数関数を微分してみます。   (log[a](x))' = lim[h→0]{(log[a](x+h)-log[a](x))/h}          = lim[h→0]{log[a]((1+(h/x))^(1/h))}          = lim[h→0]{(1/x)*log[a](1+(h/x)^(x/h))} ここでh/x=tと置くと、h→0のときt→0より   (log[a](x))' = lim[t→0]{(1/x)*log[a]((1+t)^(1/t))} log[a]の中身をよーく見てみると、先ほどのeの定義と同じになってますよね。 つまりlog[a]の中身はある定数に収束するのです。 以上より   (log[a](x))' = (1/x)*log[a](e) という事がわかりました。 さてここからが大事で、じゃあ底がaの対数関数じゃなくて底がe=lim[x→0]{(1+x)^(1/x)}の対数関数を微分したらどうなるだろうと考えるのです。 そうすると、先ほど導き出した式より   log[e](x) = (1/x)*log[e](e) = 1/x となります。 すなわち、底がe=lim[x→0]{(1+x)^(1/x)}であるような特別な対数関数を微分すると、結果がきっかり1/xになるのです。 微分したとき余計な係数が付かなくて便利だということで、これに自然対数という特別な名前を付けてln(x)という記号で書く事にしたのです。 次に、この自然対数を使って指数関数を微分してみます。 底を適当にaとして   y=a^x とします。 このとき定義通り微分するのではなく両辺の自然対数を取ってから微分してみます。 対数取ると   ln(y) = ln(a^x) = x*ln(a) 左辺のyはxの関数ですから合成関数の微分をして   (ln(y))' = (1/y) * y' となります、ここで自然体数は微分するときっかり1/xになるという特別な特徴を使っています。 右辺も微分して   (1/y) * y' = ln(a) 両辺にyを掛けて   y' = y * ln(a)   (a^x)' = a^x * ln(a) となりました。 ここでまた底がe=lim[x→0]{(1+x)^(1/x)}であるような指数関数を微分するとどうなるだろうと考えます。 ln(x)は底がeの対数でしたから   (e^x)' = e^x * ln(e) = e^x となって底がeの指数関数は微分しても形を変えないという事が解りました。 これらのeの対数関数・指数関数に関する性質は、eが2.71828...だからそうなるわけではなくeの定義である   e = lim[x→0]{(1+x)^(1/x)} という式から導かれる性質なのです。 2.71828...というのはあくまで計算してみたらそうなったという程度のものなのでオマケみたいなもんです。 ちなみに余談ですが先ほどのeの定義式は具体的に計算するには少し不便で、実際には   e = 1 + 1 + 1/2 + 1/6 + 1/24 + 1/120 + ...    = Σ[n=0~∞]{1/n!} を使って計算する方が便利です。

全文を見る
すると、全ての回答が全文表示されます。
  • kumipapa
  • ベストアンサー率55% (246/440)
回答No.5

#4さんに補足 e じゃなくても f(x) = a^x でも f '(x) = xa^(x-1) にはなりません。 f '(x) = log(a) a^x a=e のときは、log(e)=1 なので、 f '(x) = log(e) e^x = e^x とlog(a)の係数が見えなくなるだけです。まあ、これが大きな性質と言えばそうなんですが。

全文を見る
すると、全ての回答が全文表示されます。
  • BookerL
  • ベストアンサー率52% (599/1132)
回答No.3

#1です。追加です。  オイラーが発見した  e^iπ=-1 という関係があります。数学ができる人にはこれが「美しい式」に見えるそうです。虚数単位の i、円周率π、というものと並んで自然対数の底である e が登場しています。

全文を見る
すると、全ての回答が全文表示されます。
  • oyaoya65
  • ベストアンサー率48% (846/1728)
回答No.2

他に大きな用途があります。 f(x)=log_e x f'(x)=1/x ∫(1/x)dx=log_e x + C と微積分法で重要な役割をしたり オイラーの公式 e^(ix)=cos(x) +i sin(x) e^(-ix)=cos(x) -i sin(x) iは虚数単位です。 これから cos(x)={e^(ix)+e^(-ix)}/2 sin(x)={e^(ix)-e^(-ix)}/(2i) といった重要な関係式があります。 これらの関係式が、数学や理工学分野の方程式の解法や解析に応用されています。 このeの発見で数学や理工学の進歩に大きく影響を与えました。

全文を見る
すると、全ての回答が全文表示されます。
  • BookerL
  • ベストアンサー率52% (599/1132)
回答No.1

>e(=2.71828....)ってどうして特別扱いされるんですか?  う~ん、特別な数だからです、としかいいようがないですが。例えば、(e^x)'=e^x となる、というような特別な性質を持っています。  円周率πと並んで数学で重要な数ですが、πに比べて直感的にわかりにくい数ですね。 定義等の基本は http://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0 図形的なイメージは http://www.nikonet.or.jp/spring/sanae/MathTopic/e/e.htm こんなページもあります。 http://www.daieidream.co.jp/html/science/e.htm

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 自然対数e

    次の、 f(x) = e^x - e^-x の場合、f^-1(x)は存在するか? (ヒント:定義より、f(f^-1(x)) = x を参考) という設問なのですが、 f(f^-1(e^x - e^-x )) = e^x - e^-x と代入してみましたが、どうやっても存在しない結果になってしまいます。 やはり存在しないで合ってるのでしょうか? ちょっと自信(薄)なので、アドバイスをいただけたらと思います。

  • x>0を定義域とする関数f(x)=12(e^3x

    x>0を定義域とする関数f(x)=12(e^3x-3e^x)/e^2x-1について、以下の問いに答えよ。 (1)関数y=f(x)(x>0)は、実数全体を定義域とする逆関数を持つことを示せ。    すなわち、任意の実数aに対して、f(x)=aとなるx>0がただ1つ存在することを示せ。 (2)前問(1)で定められた逆関数をy=g(x)(-∞<x<∞)とする。このとき、定積分∫8 27(下が8で上が27です)   g(x)dx を求めよ。 解説とその理由をお願いします。 また、すなわち、任意の実数aに対して、f(x)=aとなるx>0がただ1つ存在することを示せ の部分の意味もどういうことかご説明お願いします。

  • 選択公理は∀A,∃S[((φ≠∀E∈2^A∧E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]?

    [問]整列定理(任意の集合Aには整列順序が存在する)が成立⇒選択公理 を示したく思ってます。 選択公理は ∀T,∃S[((φ≠∀E∈T∧E_1,E_2∈T(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈T,∃1x;(x∈E∧x∈S)] …(1) と書けると思います(∃1は一意的存在の意味)。 意味は任意の集合Tに対し,Tの互いに素な任意の元Eに対し,∃1x∈E∩Sなる集合Sが存在する。 と習いました。 解答は [証] A上の整列順序を仮定する。2^A\{0}の元xに対し,xはAの部分集合だから最小元がある。これをf(x)とすればfは選択関数である。(終) となっていたのですがつまり,(1)に沿って解釈すると T:=2^AとするとS:={minE∈A;E∈{E∈{E_λ∈2^A;E_λは互いに素(λ∈Λ)}}}…(2) と採ればminE∈Eにもなっていてこれでいいのだと解釈しましたが 選択公理は文章説明すれば任意の集合Tからある集合Sを選び出せれる,つまりS⊂Tとなる集合Sを決めれる。 というのを目にします。 しかし,(1)ではS⊂TではなくS∈Tの関係になっています。 そうしますと, (1)は∀A,∃S[((φ≠∀E∈2^A∧∀E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]と書き直せば(2)はS⊂Aになっていて辻褄が合うと思います。 選択公理は∀A,∃S[((φ≠∀E∈2^A∧E_1,E_2∈2^A(E_1≠E_2))→E_1∩E_2=φ) → ∀E∈2^A,∃1x;(x∈E∧x∈S)]と書き直してもいいのでしょうか?

  • R⊃E:有界、そして関数f:E→RがEで一様連続⇒fはEで有界

    宜しくお願い致します。 [問]実数体R⊃E:有界、そして関数f:E→RがEで一様連続とする時、 fはEで有界となる事を示せ。 という問題を解いています。 これは仮定"fはEで一様連続"なので 0<∀ε∈R,∃δ>0; (∀x,y∈E such that |x-y|<δ) ⇒ |f(x)-f(y)|<ε と言 え、 このεとして2Mを採れば 2M>0,∃δ>0; (∀x,y∈E such that |x-y|<δ) ⇒ |f(x)-f(y)|<2M と書けますね。 そして、∀x∈E; |f(x)|<2M+|f(y)|と書けますが ここでの∀x∈Eは|x-y|<δという制限付きでの∀x∈E、 つまり、∀x∈E such that |x-y|<δですから全てのEの元を網羅してる訳では有りませんよね? 従って、∀x∈E; |f(x)|<2M+|f(y)|で全てのx∈Eで抑えれると都合よくは書けないと思うのですが。。。 如何でしょうか?

  • f(x)=(e^x-e^(-x))/2の連続性について

    f(x)=(e^x-e^(-x))/2の連続性について 証明したいのですが、 lim[x→+∞](e^x-e^(-x))/2=f(+∞) lim[x→-∞](e^x-e^(-x))/2=f(-∞) を示せばよいのでしょうか? f(+∞)= ∞ =lim[x→+∞](e^x-e^(-x))/2 f(-∞)= -∞ =lim[x→-∞](e^x-e^(-x))/2 となると思うのですが。 ご指導願います。

  • eの微分の公式について

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

  • f(x)=x^x+e^e の微分

    正答と自分のだした答えが合いません。 答えに導き出す方法を教えてください。 自分でやったところ↓ f(x)=x^x+e^e log f(x)=log x^x+log e^e =xlogx+eloge f '(x)/f(x)=logx+x/x+0 f '(x)=(logx+1)(x^x+e^e) と自分で出したのですが、正答は↓ f '(x)=(logx+1)(x^x) と出ています。 自分の答えからどのような過程で正答にたどり着けますか?

  • [(e^x)/(e^x+e^-x)]の積分

    f[(e^x)/(e^x+e^-x)]dxの積分計算を教えていただけますでしょうか。 よろしくお願い致します。

  • a{e^f(x)}’=e^f(x)・f’(x)です

    が、この右辺の積分 ∫e^f(x)・f’(x)dxはf’(x)∫e^f(x)dx=f’(x)・(1/f(’x))・(e^f(x))+C=(e^f(x))+Cと元通りになるんですか?

  • eってなんでしょう?

    高校の数学で2つほど質問があります。 ・よくf(x)というのがでてくるんですが、実はあんまりこの式を理解してません。今まで問を解く上では問題なかったのですが、最近になってg(f(x))や、h(g(f(x)))などとややこしい物がでてきて困っております。そもそもf(x)がなにを示しているのか、y=~の式とはどう違うのか分かりません。 ・まえまえからeというのはでて来たんですが、これもあんまり理解していません。また、これも問題を解く上では理解していなくても差し支えないのですが、これからも度々出てきそうな文字なので理解しておきたいと思いました。教師は自然界には常にeという数字が出てくる、みたいなことをいっていました。どう自然と関係しているのでしょうか。 数学では何かと苦戦しています。もしよければどなたか分かりやすく教えてください。お願いします m(__)m

このQ&Aのポイント
  • パソコンからの印刷ができない問題について相談します。オフライン状態でUSB接続をやり直してもオンライン状態にならない状況です。
  • Windows10を使用しており、USBケーブルで接続しています。しかし、パソコンから印刷することができず困っています。
  • 接続や設定を確認しましたが問題は解決せず、ひかり回線を使用していることが関連しているのか気になります。
回答を見る