TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC予想 27
現代数学の系譜11 ガロア理論を読む23
数学オリンピック事典を一日一問以上解くスレ
分からない問題はここに書いてね445
                ピンク・スライム
奇数の完全数の存在に関する証明が完成しました2
理系への数学 2
関数解析(Functional Analysis)
グロタンディーク 追悼スレ
クソニートに数学を教えてくれないか
365 :
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)) は超越数である。

【新海誠】君の名は。
ガロア優秀仮面理論についてwwwww
奇数の完全数の存在に関する証明は正しいはず
なぜ本当に数学ができる奴は医学科へ行くのか
【数学?】眠り姫問題について【哲学?】
代数学総合スレッド Part6
不等式への招待 第9章
現代数学の系譜 工学物理雑談 古典ガロア理論も読む73
【ベクトル数Cへ】高校新学習指導要領【線形代数軽視】
フェルマーの最終定理の簡単な証明3
--------------------
愛子と悠仁どちらが天皇にふさわしいか
【MHFZ】ランススレ116突き目
【花月嵐】グロービート・ジャパン【CHABUTON】6
こどおじ、こどおばの婚活【子供部屋】
【SOUNDO OF LIBERTY】吉田美奈子【音楽の魔法】
【バーチャルYoutuber】にじさんじアンチスレ1833【底辺vtuber応援スレ】
愛知県の釣り総合19
【BlackDesert】黒い砂漠 Part21
【中韓】 韓国総選挙にデジタル不正疑惑か?  中国から開票機を操作した可能性 [06/01] [荒波φ★]
【Xbox360】セーブデータくれくれ【トンカツ】5
由比ヶ浜考察スレ
女パイロットの優位性
やめようか迷っている人…
Microsoft Surface 3 Part16
【テトリス】TETRIS99 part8【Switch】
理系が恋に落ちたので証明してみた。 証明1
松下奈緒★part39♪
【社会】大阪城公園の運営を民間企業に任せた結果 年間4千万の赤字→2億円以上の黒字★2
日立システムズパワーサービスってどうよ?
関東弁にはゴキジェット関東弁にはブラックキャップ
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼