[過去ログ]
現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net (686レス)
現代数学の系譜11 ガロア理論を読む34 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1496568298/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
365: 132人目の素数さん [sage] 2017/06/09(金) 15:16:32.74 ID:rSO7fcto x^n n∈N\{0} の形で表せないような、0ではない有理係数多項式を f(x) とする。 このとき、f(e)>0 ならば、log(f(e)) は超越数である。 1):f(x) が有理数のときは、仮定から f(e) は正の有理数で、 リンデマン・ワイエルシュトラスの定理(以下、L-Wの定理と略記する)から log(f(e)) は超越数である。 2):f(x) が有理数ではないとき。log(f(e))=α αは代数的数 とすると、e^α=f(e)。 2-1):f(x) の項に定数の項として有理数があるとき。 また、f(x) の最大次数nは1以上だから、何れも或る有理数 a_1,…,a_n,b が存在して、 f(e)=a_1・e^n+…+a_n・e+b、ここに、b≠0。従って、e^α=a_1・e^n+…+a_n・e+b。 2-1-1):n≧2 のとき。このときは、L-Wの定理に反することになる。 2-1-2):n=1 のとき。このときは、e^α=a_1・e+b。 α=1 のとき、e=a_1・e+b で、仮定から b≠0 だから a_1≠0。従って、L-Wの定理に反することになる。 α≠1 のとき。このときは、同様にL-Wの定理に反することになる。故に、n=1 のときは矛盾する。 2-1-1)、2-1-2)から、f(x) の項に定数の項として有理数があるときは矛盾する。 2-2):f(x) の項に定数の項として有理数がないとき。f(x) の最大次数をnとする。 すると、f(x) は有理数ではない。また仮定から f(x) x^n n∈N\{0} の形で表せない有理係数多項式である。 仮定から f(e)>0 だから、n≧2。従って、何れも或る有理数 a_1,…,a_n が存在して、f(x)=a_1・x^n+…+a_n・x で、 xにeを代入すると、a_1・e^n+…+a_n・e>0。log(f(e))=α としているから、α=log(a_1・e^n+…+a_n・e) から e^α=a_1・e^n+…+a_n・e。しかし、これはL-Wの定理に反し矛盾する。 2-1)、2-2)から、f(x) が有理数ではないときも矛盾する。従って、背理法が適用出来て、log(f(e)) は超越数である。 1)、2)から、log(f(e)) は超越数である。 http://rio2016.5ch.net/test/read.cgi/math/1496568298/365
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 321 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s