|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 数 : [すう, かず] 1. (n,n-suf) number 2. figure ・ 無 : [む] 【名詞】 1. nothing 2. naught 3. nought 4. nil 5. zero ・ 無理 : [むり] 1. (adj-na,n,vs) unreasonable 2. impossible 3. overdoing ・ 理 : [り] 【名詞】 1. reason ・ 理性 : [りせい] 【名詞】 1. reason 2. sense ・ 証 : [あかし, しょう] (n) 1. proof 2. evidence ・ 証明 : [しょうめい] 1. (n,vs) proof 2. verification
ネイピア数の無理性の証明(ねいぴあすうのむりせいのしょうめい)は、1744年にオイラーが初めて行った。実際、ネイピア数 ''e'' は 2 < ''e'' < 3 を満たす無理数である。証明は背理法による。すなわち、''e'' が有理数であると仮定して矛盾を導く。''e'' が無理数であることの証明は、円周率 π が無理数であることの証明よりずっと易しい。π の無理性が初めて示されたのは1761年のことである。 ''e'' を底とする指数関数 ''e''''x'' は以下のようにテイラー展開される。 : ''x'' = 1 を代入すると : 以下、これを ''e'' の定義として無理数であることを証明する。 == 証明 == を満たす自然数 ''a'', ''b'' が存在すると仮定すると ''b''!・''e'' は以下のように展開される。 : 左辺は であるから自然数である。右辺は ( ) 内の から までの項は全て自然数であるが、 内の 以降の全ての項の和は、''b'' が1以上であることから : と 1 未満になる。したがって ( ) 内と 内を足した右辺は自然数でないことになり、左辺が自然数という結果と矛盾する。 ゆえに を満たす自然数 ''a'', ''b'' が存在するという仮定は誤りである。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ネイピア数の無理性の証明」の詳細全文を読む スポンサード リンク
|