ガロア第一論文と乗数イデアル他関連資料スレ18 (445レス)
ガロア第一論文と乗数イデアル他関連資料スレ18 http://rio2016.5ch.net/test/read.cgi/math/1748354585/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
必死チェッカー(本家)
(べ)
自ID
レス栞
あぼーん
19: 132人目の素数さん [sage] 2025/05/28(水) 10:03:45.17 ID:hEztgVGs 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 http://rio2016.5ch.net/test/read.cgi/math/1748354585/19
20: 132人目の素数さん [sage] 2025/05/28(水) 10:24:25.09 ID:hEztgVGs オイラーの定数の定義式 γ:=lim_{n→+∞}(1+1+…+/2+1/n−log(n)) には任意の正の整数nに対する対数関数 log(x) x>0 の値 log(n) が使われていて リンデマン・ワイエルシュトラスの定理により 任意の n≧2 なる正の整数nに対して log(n) は無理数だから、 実数論において無理数を定義する段階でγを定義するのは不可能である γの無理性または有理性の問題は実数論が終わった上での話だから、 γは有理数でも別におかしくはない 果てさて、γの無理性または有理性の真相はどっちやら http://rio2016.5ch.net/test/read.cgi/math/1748354585/20
21: 132人目の素数さん [sage] 2025/05/28(水) 10:39:42.87 ID:hEztgVGs >>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 を満たすということの落書き http://rio2016.5ch.net/test/read.cgi/math/1748354585/21
28: 132人目の素数さん [sage] 2025/05/28(水) 17:17:30.11 ID:hEztgVGs まあ、多分ハーディはオイラーの定数γの無理性の証明を試みようとしたとき γ:=lim_{n→+∞}(1+1+…+/2+1/n−log(n)) を有理数と仮定して或る互いに素な2つの整数p、qを用いてγを γ=q/p と表す ということはしている筈でそれでもハーディはγの無理性を示せなかったのだろう そういうことを考慮すれば、多分γは有理数なんだろう http://rio2016.5ch.net/test/read.cgi/math/1748354585/28
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.022s