ガロア第一論文と乗数イデアル他関連資料スレ18 (442ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
19(2): 05/28(水)10:03 ID:hEztgVGs(1/4) AAS
57/100＜x≦q/p≦1 ∀q/p∈Q
|x−q/p|＜1/p^2
→ q/p−x＜1/p^2
⇔ x＜q/p＜x＋1/p^2
⇔ x−q/p＜0＜(x−q/p)＋1/p^2≦1/p^2
∴ x−q/p＜1/p^2
∴ 0≦q/p−x＜1/p^2 → 57/100＜x＜q/p＋1/p^2
20(1): 05/28(水)10:24 ID:hEztgVGs(2/4) AAS
オイラーの定数の定義式
γ:＝lim_{n→+∞}(1＋1＋…＋/2＋1/n−log(n))
には任意の正の整数nに対する対数関数 log(x) x＞0 の値 log(n) が使われていて
リンデマン・ワイエルシュトラスの定理により
任意の n≧2 なる正の整数nに対して log(n) は無理数だから、
実数論において無理数を定義する段階でγを定義するのは不可能である
γの無理性または有理性の問題は実数論が終わった上での話だから、
γは有理数でも別におかしくはない
果てさて、γの無理性または有理性の真相はどっちやら
21(1): 05/28(水)10:39 ID:hEztgVGs(3/4) AAS
>>19はγを正則連分数展開したときのγの q_n/p_n＞γ なる
第n次の近似分数 q_n/p_n が γ−q_n/p_n≦1/(p_n)^2
即ち 0＜γ＜q_n/p_n＋1/(p_n)^2 を満たすということの落書き
28: 05/28(水)17:17 ID:hEztgVGs(4/4) AAS
まあ、多分ハーディはオイラーの定数γの無理性の証明を試みようとしたとき
γ:＝lim_{n→+∞}(1＋1＋…＋/2＋1/n−log(n))
を有理数と仮定して或る互いに素な2つの整数p、qを用いてγを γ＝q/p と表す
ということはしている筈でそれでもハーディはγの無理性を示せなかったのだろう
そういうことを考慮すれば、多分γは有理数なんだろう
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.021s