|
ネイピア数の無理性の証明(ねいぴあすうのむりせいのしょうめい)は、1744年にオイラーが初めて行った。実際、ネイピア数 ''e'' は 2 < ''e'' < 3 を満たす無理数である。証明は背理法による。すなわち、''e'' が有理数であると仮定して矛盾を導く。''e'' が無理数であることの証明は、円周率 π が無理数であることの証明よりずっと易しい。π の無理性が初めて示されたのは1761年のことである。 ''e'' を底とする指数関数 ''e''''x'' は以下のようにテイラー展開される。 : ''x'' = 1 を代入すると : 以下、これを ''e'' の定義として無理数であることを証明する。 == 証明 == を満たす自然数 ''a'', ''b'' が存在すると仮定すると ''b''!・''e'' は以下のように展開される。 : 左辺は であるから自然数である。右辺は ( ) 内の から までの項は全て自然数であるが、 内の 以降の全ての項の和は、''b'' が1以上であることから : と 1 未満になる。したがって ( ) 内と 内を足した右辺は自然数でないことになり、左辺が自然数という結果と矛盾する。 ゆえに を満たす自然数 ''a'', ''b'' が存在するという仮定は誤りである。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ネイピア数の無理性の証明」の詳細全文を読む スポンサード リンク
|