e、自然対数の底
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
2007/01/06(土) 18:01:42高校で突然習う、この不思議な数について
0002132人目の素数さん
2007/01/06(土) 18:10:460003132人目の素数さん
2007/01/06(土) 18:29:28何について議論したいのかもっと書いて
0004132人目の素数さん
2007/01/06(土) 18:32:200005にょにょ ◆yxpks8XH5Y
2007/01/06(土) 18:41:230006KingOfUniverse ◆667la1PjK2
2007/01/06(土) 19:09:140007132人目の素数さん
2007/01/06(土) 19:30:26自然対数の底eの定義言ってください
lim[h→0](1+h)^(1/h)とかlim[n→∞](1+(1/n))^nとか絶対に言わないでください
0008132人目の素数さん
2007/01/06(土) 19:33:150009132人目の素数さん
2007/01/06(土) 20:18:170010132人目の素数さん
2007/01/06(土) 20:24:39ただなぜそこの定義を言ってはいけないのかはようわからんわな
0011132人目の素数さん
2007/01/06(土) 20:45:040012132人目の素数さん
2007/01/06(土) 21:36:230013Euler の公式
2007/01/07(日) 00:05:36最初に e の定義から始めることにしましょう :
【 自然対数の底 e の定義 】
指数関数 y=a^x において,
y 軸との交点 (0,1) での接線の傾きが 1 である指数関数を y=e^x と定義します。
これで,自然対数の底 e の値を定めます。
>>1-2
不思議な数字の e および i が入ってくる非常に有名な公式を挙げておきましょうね :
【 Euler の公式 】
e^(ix) = cosx + i sinx
0014132人目の素数さん
2007/01/07(日) 11:22:090015132人目の素数さん
2007/01/07(日) 11:28:510016132人目の素数さん
2007/01/07(日) 11:54:07(a^x)'=a^xをみたすaをeと定義する
もしくは(log[a]x)'=1/xをみたすaをeと定義する
0017132人目の素数さん
2007/01/08(月) 14:41:110018132人目の素数さん
2007/01/08(月) 16:38:19・・・え?
0019KingOfUniverse ◆667la1PjK2
2007/01/09(火) 12:01:080020132人目の素数さん
2007/01/09(火) 12:22:27ガウスの算術幾何平均法で楕円積分が計算できて
その特殊例としてlog(x)が計算できるので、
log(x)の逆関数をニュートン反復で計算する方法が
いまのところもっとも高速。
テイラー展開はN桁求めるのに、O(N)回の加減乗算が必要なのに対して
この方法はO(log(N))回の演算量ですむ。
0021132人目の素数さん
2007/01/09(火) 12:58:17すげぇ!標準ライブラリの仕様ってその方法になってる?
002220
2007/01/09(火) 16:58:34大きいため、この方法は使われていません。
普通の精度の場合は、加法定理により区間を分けて、多項式近似をします。
通常は16桁の場合は12次式程度の多項式で近似できますが
区間を分けてxの値を小さくすればより小さな次数の多項式で計算できます。
極端な場合、某社のコンパイラは、区間を数百等分して3次関数で近似して、
指数関数や三角関数を数クロックで計算するという曲芸的な方法をとっています
(もちろんIntel系のCPUの組み込み関数より高速)。
0023132人目の素数さん
2007/01/09(火) 18:12:04なるほど。精度にこだわるマニア向きってわけか。
しかし、区間数百等分 3 次ってロマンを感じないな。
0024132人目の素数さん
2007/01/09(火) 19:20:020025ぴか z (.゚−゚) ◆pikaMw.D1M
2007/01/09(火) 19:35:240026ぴか z (.゚−゚) ◆pikaMw.D1M
2007/01/09(火) 19:36:050027KingOfUniverse ◆667la1PjK2
2007/01/10(水) 09:23:22さらにmが0以上n未満の整数ならばa(n,m+1)=a(n-m-1,0)+1/a(n,m)とする。
a(2n+2,2n+2)>a(2n,2n), a(2n+3,2n+3)<a(2n+1,2n+1), lim_{n→∞}(a(n,n))はネピアの数であることを証明せよ。
0028KingOfUniverse ◆667la1PjK2
2007/01/10(水) 09:35:37さらにmが0以上n未満の整数ならばa(n,m+1)=a(n-m-1,0)+1/(a(n,m))とする。
lim_{n→∞}(a(n,n))はネピアの数であることを証明せよ。
0029KingOfUniverse ◆667la1PjK2
2007/01/10(水) 09:41:390030132人目の素数さん
2007/02/05(月) 17:15:250031132人目の素数さん
2007/03/11(日) 20:38:260032132人目の素数さん
2007/06/25(月) 07:44:210033132人目の素数さん
2007/08/13(月) 00:50:03同じく自然数aの逆数が1/aっていわれても、どこが「逆」なのかわかんないんだけど。
そもそも負の数に負の数を掛けるとなんで正の数になるのかわかんないんだけど。
「定義」だからしょうがないってやつか?
0034132人目の素数さん
2007/08/13(月) 00:55:250035132人目の素数さん
2007/08/13(月) 00:55:320036β ◆aelgVCJ1hU
2007/08/13(月) 01:02:06(1/0! + 1/1! + 1/2! + 1/3! + ……)'
=(1/1)'+(1/1!)'…
=0+0+…
=0だと思う事もある。
0037132人目の素数さん
2007/08/13(月) 01:21:130038β ◆aelgVCJ1hU
2007/08/13(月) 01:24:520039132人目の素数さん
2007/08/13(月) 23:17:190040132人目の素数さん
2007/08/14(火) 21:25:30であってますか?(もちXでビブン)
0041β ◆aelgVCJ1hU
2007/08/15(水) 00:38:27どっちかつったら(ex)'=eじゃね?
0042132人目の素数さん
2007/08/15(水) 01:50:55ノイマン型コンピューターと量子コンピューターの如し!!
0043132人目の素数さん
2007/08/15(水) 01:55:04(e)'=0
(ex)'=x
(e^x)'=e^x
0044132人目の素数さん
2007/08/15(水) 01:58:320045132人目の素数さん
2007/08/15(水) 02:04:43頭が回らなくなったんだろうか。
eも一定数なので
(x^n)'=n(x^(n-1))
(a(x^n))'=an(x^(n-1))
(n:定数)
の例に漏れず
(e(x^n))=en(x^(n-1))
eに関する微分公式と言えばやはり
e^x=e^x
だろ
0047132人目の素数さん
2007/08/15(水) 03:02:03うわ間違えた
0048132人目の素数さん
2007/08/15(水) 04:22:270049132人目の素数さん
2007/08/15(水) 05:24:010050132人目の素数さん
2007/08/15(水) 05:31:57ごめん何でもない。
0051β ◆aelgVCJ1hU
2007/08/15(水) 10:45:37(ex)'=x
↑はeを定数とみなすときのみだよな?
実際はe'=e
0052132人目の素数さん
2007/08/15(水) 11:53:450053132人目の素数さん
2007/08/15(水) 12:13:010054132人目の素数さん
2007/08/15(水) 14:08:13愚か者。物理板でも白い目で見られてからに。
先ず最初にeが自然対数の底とし
xの微分の話である事を断っておく。
自ずと然り、eは定数で近似値は>>53。
(a^x)'=(log a)^x (aは定数 xは変数)
然し、(e^a)'=0
特にa=eならば
(a^x)'=(log a)^xに代入して
(e^x)'=e^x
だろうがよ。
それ以前に、お前のいうeは何なんだ?
0055β ◆aelgVCJ1hU
2007/08/15(水) 15:15:21お前何いってんの?>>51の何に対して「間違ってる」といってるんだ?
それで、物理板とかあんなん遊びだよ?オレ元から数学板の住人だし。
物理専門の人間は頭抜けてるヤツ多いんだよなー日本語も変だし。
0056132人目の素数さん
2007/08/15(水) 15:58:24そんなこともわからないとはのんきだね
0057β ◆aelgVCJ1hU
2007/08/15(水) 17:04:53意味不明ですがw
マジで日本語きちんと話してくれる?自分で話しててもよくわからんこといってるって
後で思うこととかあるでしょ?
物理系の人間はほんっとこういう面で頭悪いのが多いな。
のんきだね って何だよwwまじ正しい日本語使え。
0058132人目の素数さん
2007/08/15(水) 17:13:400059132人目の素数さん
2007/08/15(水) 17:15:03(a^x)'=(log a)a^xじゃないのか?
これにa=eを代入したときlog e=1だから
(e^x)'=e^xとなるんだろ。
書き間違いか?
0060132人目の素数さん
2007/08/15(水) 20:34:41006140
2007/08/15(水) 20:42:300062132人目の素数さん
2007/08/15(水) 20:44:45xe^(x-1)なんだぜ?
しってた?
0063132人目の素数さん
2007/08/15(水) 21:09:020064132人目の素数さん
2007/08/15(水) 22:02:11cos(-i)+isin(-i)=eだから
なんとかして幾何的に定義する
0065132人目の素数さん
2007/08/16(木) 00:07:35何てったって
(ex)'=xとかe'=eとか本気で言ってるし
またいつもみたいに
『本気?冗談だろうがw』みたいな事とかいうなら
これはかなりタチ悪い荒らしだ。
…(ex)'=eで(e^x)'=e^xだろうがよ?
0066132人目の素数さん
2007/08/16(木) 00:44:27∫e^xdx=e^x+C
0067β ◆aelgVCJ1hU
2007/08/16(木) 22:06:12で、e'=eじゃないの・・?
0068サッフォー ◆RWbI2.Pg1I
2007/08/16(木) 22:35:57e'=0 じゃないの?
0069132人目の素数さん
2007/08/17(金) 03:09:15eは定数だと何度も(ry
0070132人目の素数さん
2007/08/17(金) 03:14:311'=1
2'=2
π'=π
0071132人目の素数さん
2007/08/17(金) 06:54:470072132人目の素数さん
2007/08/17(金) 06:58:45π≒3
∴e≒π
0073132人目の素数さん
2007/08/17(金) 07:13:560075132人目の素数さん
2007/08/17(金) 10:41:37以前この板で他の名無しが教えてくれた覚え方
「2.7 1828 1828 459 045 235 36 028」
「ナニ 1発2発 1発2発 しごく おしっこ ふみ子見ろ 鬼や」
を未だに覚えてる
0076β ◆aelgVCJ1hU
2007/08/17(金) 11:06:430077132人目の素数さん
2007/08/17(金) 11:36:03なんで対数関数の導関数は全部еになんのうっぜ
消えろやネイピア
0078132人目の素数さん
2007/08/17(金) 11:40:14e^x、sin,cos,tan、x^n
これらとその逆関数の微分ができりゃ十分。
0079132人目の素数さん
2007/08/17(金) 12:13:01まず、教科書に違和感を感じられなくなったら終わりだ。その点、君は
まだ見込みがあるぞ。違和感を感じたら、なぜそれが自然なものとして
通用しているのか、答えを模索するんだ。答えはすぐには見つからない。
決して妥協せず、その違和感を心の片隅にもち続けろ。
0080132人目の素数さん
2007/08/17(金) 13:37:49でもネイピア数は微分を簡単にするために生まれてきたんじゃないの?
eなしで対数関数や指数関数の微分ができますか?
0081132人目の素数さん
2007/08/17(金) 13:47:44y'=yかつx=0のときy=1になるもの
この関数をy=e^xと定義する
0082β ◆aelgVCJ1hU
2007/08/17(金) 14:11:20よって解説してあげるのが適切。
0083132人目の素数さん
2007/08/17(金) 15:32:040084132人目の素数さん
2007/08/17(金) 17:00:17流石に分かったか。e'=0
eとはいえ、定数。
(ex)'=e
これは只単にeが比例定数なだけの比例関数だからな。
(e^x)'=e^x
微分してもまた同じになる様な指数関数a^xの定数aがe。
0085132人目の素数さん
2007/08/17(金) 17:04:21色んな定義がー あるんだーなー(ポンキッキ)
008684
2007/08/17(金) 17:09:0300871stVirtue ◆.NHnubyYck
2007/08/17(金) 20:57:530088132人目の素数さん
2007/08/17(金) 21:33:48008954
2007/08/18(土) 01:58:14頭が沸いていた。スマン
えーと
a^x=(e^(log a))^x=e^(x*log a)
で何だ、合成関数の微分なんて忘れた。
若年性の痴呆か…
0090132人目の素数さん
2007/08/18(土) 08:16:05y=a^xと置いて、対数微分。
009189
2007/08/19(日) 16:09:24合成関数微分法
{f(g(x))}'=f'(g(x))*g'(x)
f(x)=e^x⇒f'(x)=e^x
g(x)=x*log a⇒g'(x)=log a
f'(g(x))*g'(x)=(e^(x*log a))*log a
…で良いんかな、不安だ
009289
2007/08/19(日) 16:14:00(log y)'=y'/yってやり方の対数微分法かぁ
y=a^xとし、>>89より
y=e^(x*log a)
両辺の対数を取ると
log y=x*log a
この両辺を微分してy'/y=log a
で、
y'=(e^(x*log a))*log a
あ、良いんか
0094132人目の素数さん
2007/08/21(火) 20:46:36009589
2007/08/23(木) 21:17:53>>93改定(>>92再改訂)
92:89 :2007/08/19(日) 16:14:00 [sage] >>90
(log y)'=y'/yってやり方の対数微分法かぁ
y=a^xと置き、>>89(対数法則)より
y=e^(x*log a)
両辺の対数を取ると
log y=x*log a
この両辺を微分してy'/y=log a
で、
y'=(e^(x*log a))*log a
あ、良いんか
お付き合い戴き、有難う御座いました。
0096教えて
2007/09/09(日) 15:05:53Y=EXP(X) は、底がeで、これを一行で書く方法。
つまり、Y=e^X のこと。右肩にXと書けなくても、^を使えばよい。
だから、底がそのほかの数なら、 一行で書きたければ、Y=A^X と書けばよいよねぇ。
Y=Ln(X) は 底がeで、つまり、Y=log X のこと(底が、一行で書くことが、PCではできなかったが)
底がそのほかの数なら、どう書けばよいんでしょう。
小さく添字ができない場合、要するに、一行で書く場合です。
0097132人目の素数さん
2007/09/09(日) 15:13:450098132人目の素数さん
2007/09/09(日) 22:24:460099132人目の素数さん
2007/09/10(月) 03:24:46Xの自然対数をLogにnaturalの頭を添えたLn(X)が書式の系では
Log(X)はXの常用対数、つまり底10の対数の事位しか知らん
なので一般の対数の書式は知らん
0100132人目の素数さん
2007/09/10(月) 23:47:44おれは log[a](x) と書いて「ログ、エー底のエックス」を表現しているが、どう?
0101132人目の素数さん
2007/09/22(土) 09:15:05オイラーの公式は後からわかったんですよね。
こんなに上手く行く無理数の誕生歴史を知りたい。
0102132人目の素数さん
2007/10/30(火) 13:09:200103ドラマHEROのマスター
2007/10/31(水) 03:25:52数学板初心者の為の質問スレ 3
http://science6.2ch.net/test/read.cgi/math/1188881252/
0104132人目の素数さん
2007/11/10(土) 06:06:24オレもよくは知らないが、
ジョン・ネイピアがネイピア数を発見したのではない。
彼はこの数字にたどり着くことなく息を引き取ったらしい。
この数字にたどり付いたのは、オイラーの公式とやらを提唱したオイラー自身であり、
指数関数あるいは対数の微分というものを考えたときに生まれたのではないかと思う。
任意の値を底にしたlogXを微分したときに出てくる定数としてe=2.71…=lim[n→0](1+n)^(1/n)が出てくるらしい。
そして、xの関数として微分をしても一定の値を保つ底 e^x
これが登場する。最初にこの定数を発見したときにどういう計算のもとで、
あるいはどういう問題のもとで行き着いたのかは知らない。
オイラーはこのeを自分の頭文字としてではなく、たまたま友人に宛てた手紙の中で
eという文字を使ったと、それだけのことらしい。
そして、このeをネイピア数と名づけたのはオイラーだとか。
ジョン・ネイピアは対数の発見者でありながら、常用対数表すら目にすることはなかった。
彼が作ったのはネイピアの対数と呼ばれる。1よりもほんの少し小さい値で
なるべく整数として扱えるような、そんな複雑な底の対数表であり、それを20年くらいかけて作ったらしい。
オレは彼を数学界のゴッホだと思う。
0105132人目の素数さん
2007/11/10(土) 06:22:42i ┬┬
___ │ ┘└
/ _ \ /⌒/
/ / \ ) ____ ⌒.//
/ \/ /` /____/ ___ .//
./ ____ノ ____ / / //
| | /____/  ̄ ̄ ̄ //
| \__// //
\____/ =======
0106132人目の素数さん
2007/11/11(日) 10:09:42(a^x)'
=lim[h→0]{a^(x+h)-a^x}/h
=lim[h→0]a^x{(a^h)-1}/h
=a^x lim[h→0]{(a^h)-1}/h
なんでlim[h→0]{(a^h)-1}/h=1となる定数aを見つけようとした。
その定数をeとすると
lim[h→0]{(e^h)-1}/h=1
lim[h→0]{(e^h)-1}=lim[h→0]h
lim[h→0](e^h)=lim[h→0](1+h)
e=lim[h→0](1+h)^(1/h)
多分こんな感じかと。
0107132人目の素数さん
2007/12/29(土) 12:09:33成功率を1/e(≒0.3679)にするのが最良だそうだ
0108132人目の素数さん
2007/12/29(土) 16:45:49喜びの合計の定義は?
0109132人目の素数さん
2007/12/29(土) 17:16:26>彼が作ったのはネイピアの対数と呼ばれる。1よりもほんの少し小さい値で
>なるべく整数として扱えるような、そんな複雑な底の対数表であり、
分かってないだろw
ネイピアの対数は(1/e)と考えてよい。
ネイピアの時代には小数がなかったので独自の表現をしているが
これは簡単に小数に置き換えられる。
ネイピアのやり方は基本的には微分方程式の数値解法とみなせる。
だから底が1/eでも別にそう驚くことではない。
微分方程式として表現する場合、自然対数のほうが簡単だから。
0110132人目の素数さん
2007/12/30(日) 00:04:51よくわからんがかつてx^xという関数の性質を調べたときに1/eってのが出てきたからそういう定式化したんじゃないかな
0111132人目の素数さん
2007/12/30(日) 23:09:370112112
2008/03/08(土) 13:41:000113(*^ー^)ノ ◆42.195kmAM
2008/03/28(金) 23:54:17http://life9.2ch.net/test/read.cgi/sousai/1205137837/l50
0114132人目の素数さん
2008/03/29(土) 02:25:580115132人目の素数さん
2008/04/25(金) 20:31:540116132人目の素数さん
2008/05/01(木) 22:45:44― e= e
dx
0117132人目の素数さん
2008/05/01(木) 23:14:36∫(ag)dx = ∫(e) dx
0118132人目の素数さん
2008/05/01(木) 23:31:030119132人目の素数さん
2008/05/02(金) 20:00:21おまいさん∫exに夢中だろww
∫exdx=ex^2/2+C
∫e^xdx=e^x+C
0120132人目の素数さん
2008/05/02(金) 23:59:16もっと盛り上がってもeと思うんだけどね
0121132人目の素数さん
2008/05/16(金) 16:59:000122132人目の素数さん
2008/05/16(金) 19:27:050123132人目の素数さん
2008/05/16(金) 20:04:43lim[h→∞](1+h)^(1/h)って何になるの?
それとも発散する?
0124132人目の素数さん
2008/05/16(金) 20:16:30詳しく教えてくれ。
0125132人目の素数さん
2008/05/16(金) 21:39:05logとりな。
0126132人目の素数さん
2008/05/16(金) 22:31:25=lim[h→∞](log(1+h))/h=0
よってlim[h→∞](1+h)^(1/h)=1
あってますか?
0127132人目の素数さん
2008/05/16(金) 22:46:15あってるよ
0128132人目の素数さん
2008/05/17(土) 06:10:32どーもです
0129132人目の素数さん
2008/06/07(土) 10:47:320130132人目の素数さん
2008/07/23(水) 05:47:200131132人目の素数さん
2008/08/08(金) 21:46:580132132人目の素数さん
2008/09/20(土) 02:25:540133132人目の素数さん
2008/09/20(土) 12:36:500134132人目の素数さん
2008/09/22(月) 01:22:53「鮒一鉢二鉢〜」だったが
0135132人目の素数さん
2008/09/22(月) 01:31:14プログラムを組んで確かめてみたら、
本当に数値が出てきたので驚いた。
いまだに納得がいかないが。
0136132人目の素数さん
2008/09/24(水) 18:35:440137132人目の素数さん
2008/09/24(水) 19:51:420138粋蕎 ◆C2UdlLHDRI
2008/09/24(水) 20:55:05鮒一鉢二鉢、一鉢二鉢、…
>>135 木村拓哉曰わくの『閉じた自分もすっげー大事』
閉じた自分による、思考活動。
>>137 γ
0139132人目の素数さん
2008/09/25(木) 05:34:32「一鉢二鉢」を2度繰り返さない
「至極惜しい」の「い」を1と勘違いする(これは五つの「い」)
0140i118-18-198-183.s10.a038.ap.plala.or.jp
2008/10/02(木) 17:05:060141132人目の素数さん
2008/10/02(木) 17:06:15■ このスレッドは過去ログ倉庫に格納されています