[過去ログ]
現代数学の系譜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
366: 132人目の素数さん [sage] 2017/06/09(金) 15:22:12.56 ID:rSO7fcto あ〜、久し振りに超越数のお話をしました。 例えば、log(e^2+e+1) 、log(e^3−e^2+e) は超越数である。 http://rio2016.5ch.net/test/read.cgi/math/1496568298/366
367: 132人目の素数さん [sage] 2017/06/09(金) 15:47:21.67 ID:rSO7fcto >>365について。2-1-2) の α=0 のときの訂正: a_1≠0 → a_1≠0、a_1≠1 http://rio2016.5ch.net/test/read.cgi/math/1496568298/367
368: 132人目の素数さん [sage] 2017/06/09(金) 15:51:21.65 ID:rSO7fcto >>367は取り消して、その全体は以下のように訂正。 >>365について。2-1-2) の α=「1」 のときの訂正: a_1≠0 → a_1≠0、a_1≠1 http://rio2016.5ch.net/test/read.cgi/math/1496568298/368
369: 132人目の素数さん [sage] 2017/06/09(金) 15:56:26.14 ID:rSO7fcto >>365の2-2)のときの訂正: また仮定から f(x) x^n n∈N\{0} の形で表せない → また仮定から f(x) 「は」 x^n n∈N\{0} の形で表せない http://rio2016.5ch.net/test/read.cgi/math/1496568298/369
370: 132人目の素数さん [sage] 2017/06/09(金) 16:08:14.05 ID:rSO7fcto >>365の「最大次数」も「次数」に訂正。 http://rio2016.5ch.net/test/read.cgi/math/1496568298/370
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 316 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.008s