- ベストアンサー
オイラー定数の無理数性
- みんなの回答 (2)
- 専門家の回答
質問者が選んだベストアンサー
どこまでと言われても困りますが、例えば、 http://mathworld.wolfram.com/Euler-MascheroniConstant.html http://en.wikipedia.org/wiki/Euler%E2%80%93Mascheroni_constant#Properties によると、 有理数だとするとその分母は242080桁以上 (Havil 2003, p. 97) らしいです。 あるいは、無理数だということを証明したという人もいますが、 http://arxiv.org/pdf/math/0310404.pdf 論文作成日が2003年でmathworldがまだ更新されてないので おそらくこの証明は間違っているんでしょう。
その他の回答 (1)
- kabaokaba
- ベストアンサー率51% (724/1416)
オイラーの定数ガンマ ―γで旅する数学の世界 ↑ ぐぐるとこんな本がありますがどうでしょう. アマゾンで目次を見る限り,大学の数学専攻の 最初のころで習うくらいの予備知識が必要そうな感じですが, そのあたりは本の中で解説してるのかもしれません. #本屋でみてるわけではないので,実際はわかりません この手の無理数・超越数の本だと 森北出版「無理数と超越数」塩川宇賢 というのがあります.数学専攻の大学生向けです. オイラー定数がでてたかは覚えてませんが 珍しい本だとは思います. サイトはないわけではないのでしょうが, オイラー定数の超越性とかがわかれば, その筋のニュースに絶対になるはずなので まだ不明なのでしょう
関連するQ&A
- log2(3)は代数的無理数?
超越数の定義について、高校時代は「どんな方程式の解にもならない実数のこと」と教わりました。 なるほど、ルート2はx^2=1の解だし、log2(3)は2^x=3の解だから「超越数ではない無理数、つまり代数的無理数」なのか・・・とそのときは納得したのですが、大学の数学の本を見ると、超越数の定義が高校時代に教わったのとは異なることに気づきました。 大学参考書には、超越数とは「どんな有理係数n次方程式の解にもなりえない実数」と書かれているのです。 有理係数n次方程式ということは、二次方程式とか三次方程式じゃないとダメですよね。2^x=3は有理係数n次方程式ではありません。 log2(3)は代数的無理数のはずですよね? だったら、log2(3)はどんなn次方程式の解になっているのでしょうか?
- ベストアンサー
- 数学・算数
- 小数点以下計算していくことの意味
円周率πは超越数なので少数点以下の数字の表れ方に規則性はないと思います。 同様にオイラーの定数も超越数と予想されていますが、少数点以下の数字の桁数をのばしていくことについて、何か意味はあるでしょうか?
- ベストアンサー
- 数学・算数
- オイラーの定数の定義式をずらす
lim[n→∞] Σ[k=1,n]1/k - ∫[1,n]dx/x = lim[n→∞] Σ[k=1,n]1/k - log(n) = γ (オイラーの定数) ですが、a>0として、 lim[n→∞] Σ[k=1,n] 1/(k+a) - ∫[1,n]dx/(x+a) の値は具体的に知られているのでしょうか?
- 締切済み
- 数学・算数
- 0.1234567891011...が無理数の証明
チャンパーノウン定数と呼ばれているらしいのですが、これが無理数であることの証明はどうすればいいのでしょうか。。。 簡単な道筋を教えてもらえると助かります
- ベストアンサー
- 数学・算数