[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ5 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
888(1): 2024/01/01(月)13:40 ID:bzFgegFJ(1/2) AAS
>>887
＞不勉強でした
そもそも、大阪君は生まれてから一度も「勉強」したことないだろ
952: 2024/01/11(木)22:25 ID:1SR0Rq8E(10/11) AAS
889 名前：１３２人目の素数さん[sage] 投稿日：2024/01/01(月) 15:22:46.75 ID:kD74UmIv [2/2]
>>887
(>>888の続き)
[第４段]：Case1)、n＜A のとき。このとき 1/A＜1/n だから、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾する。
Case2)、n＞A のとき。
eの定義から e＜2.72 だから 8e＜8×2.72＝21.76。
また、πの定義から π＞3,14 だから 7π＞7×3.14＝21.98。
よって、 8e＜7π であって、π＞e＞1 から Aの定義に注意すれば 1/A＞1/7。
故に、3＜A＜7 であって、正の整数nについて n≧7。1/7＜1/A＜1/3 だから、
e^i＜(1＋1/A)^n＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3}＜e×(1＋1/3)^{n-3}、
よって、e^{i+3}＜e×(1＋1/3)^n、
kを正の整数とする。
e^{i+3k)}＜(1＋1/3)^n＝(1＋1/3)^3×(1＋1/3)^{n-3k})＜e×(1＋1/3)^{n-3k}
とすれば、e^{i+6k}＜e×(1＋1/3)^n＜e×(1＋1/3)^{n-3k}＜(1＋1/3)^n。
故に、kについて小さい方から帰納的に同様な評価を有限回繰り返せば、
或る正の整数kが存在して、j≧k のとき e^{i+3j}＜(1＋1/3)^n。
しかし、これは、或る j≧k なる整数jが存在して e^{i+3j}＞(1＋1/3)^n なることに反し矛盾する。
Case3)、n＝A のとき。このときCase2)の議論に n＝A を適用して同様に考えれば、
e^i＜(1＋1/n)^n＜lim_{x→+∞}(1＋1/x)^x＝e
であって、矛盾が生じる。
[第５段]：Case1)、Case2)、Case3)から起こり得るすべての場合で矛盾する。
故に、背理法によりlog(π)は無理数である。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.038s