数
小数点以下第素数位が1でそれ以外が0であるような実数は無理数である。
が無理数であることはintegers.hatenablog.comで証明しており、が超越数であることもintegers.hatenablog.comで証明していますが、この記事では古くから知られている*1「が二次の有理数係数方程式を満たさないことの初等的証明」を紹介します。これは、の無…
Riemannゼータの値の小数部分を足してみます。integers.hatenablog.com. 全部足すとになります。 Goldbach-Euler 証明. Riemannゼータの定義よりこれは望遠鏡和の例題２よりに等しい。 Q.E.D.
Ramanujan 証明(by Omran). とする。とすると、なので、は微分方程式を満たす。なので、なる表示が得られた。をと定義すれば、Gauss積分によりなので、である。従って、の連分数展開を与えればよい。についての多項式をで定義すると、の階微分は −①で与えら…
は以上の整数とします。関-Bernoulli数に関するEuler-Ramanujanの恒等式をEulerの公式を使ってRiemannゼータ関数の偶数値の関係式であるWilliamsの公式に書き換えることができました(リーマンゼータ関数 - INTEGERS)。同様にして、三木の恒等式をEulerの公式…
バーゼル問題の証明法はたくさん知られています。当ブログではEulerの方法と高校数学のみを用いる証明を紹介しただけでした。integers.hatenablog.com最も短い証明の一つはfibonacci-freak.hatenablog.comで紹介されています。も もともに周期なので、intege…
はを並び替えてできる素数の一つですが、がに近いという事実は覚える価値があります:Ramanujanは と書けることに着目して次のような作図を提唱しています： は円の直径. は弧の中点. はをに内分する点. . . はに平行. はに平行. で. このとき、Ramanujan曰く…
以前紹介したShanksの恒等式integers.hatenablog.comはWilliam G. Spohn, Jr. によって次のように拡張できることが指摘されています:のとき、のときがShanksの恒等式になっています。他には、例えばよりが得られますし、よりが得られます。 、と言えばピンと…
は素数ですが、昨夜面白い性質があることに気づきました。 の場合 にをかけます。 この数に一番近い整数は素数です。このような性質をもつ以下の素数(に一番近い整数が素数となるような素数)は です 。このような幸運な年は私が生まれてからだと年が初めてで…
昨日の記事integers.hatenablog.comを眺めていると、次のような数字の３つ並びが目に入ります： 次の式は簡単に証明できます：.さて、に対し、となっています。参考までに、のときとのときを調べると、に対しであり、に対し、です。それでは、次の問題に答え…
日常生活用のため、のまでの値を各々、小数第50位までのみ掲載しています*1。 *1:非日常生活用記事はまだ一つしか書いていません： integers.hatenablog.com
1.036927755143369926331365486457034168057080919501912 8119741926779038035897862814845600431065571333363796203414665566090428009617791 5597084183511072180087644866286337180353598363962365128888981335276775239827503 2022436845766444665958115…
ζ(3)が無理数であるというApéryの定理のApéry本人による証明の解説を行う。
Markov-Apéryの定理の証明
7/22はが円周率の近似値であることから円周率近似値の日などと呼ばれていますが、違和感はありますね(22月7日の方がふさわしい)。昔、この日に日食があったときに試験を5分で終わらせて日食を見たのを覚えています。tsujimotterさんが二年前に記事を書かれて…
せきゅーんです。「素数と量子計算」という大それたタイトルですが、これらが関係あるのかは私は知りません。というか、量子計算の勉強は私はしたことがありません。今回の記事の目的は、次の不等式を証明することです：次の不等式を示せ：この問題は物理学…
1978年にApéryがが無理数であることを証明し、数学界に衝撃を与えました(俗にいうApéryショック)。Apéryが証明を発表した数か月後にはBeukersが積分を使った非常に美しい別証明を発表しています。この記事では、美しさは若干損ないますが、Millerによって発…
Riemannゼータ関数は においてはEuler積表示をもつため、その範囲では零点*1を持ちません： integers.hatenablog.comまた、階乗の記事 integers.hatenablog.com で言及したように、ガンマ関数は零点を一切持ちません。従ってintegers.hatenablog.com で定義…
この記事では integers.hatenablog.com においてで定義されたRiemannゼータ関数を複素平面全体に有理型接続し、の満たす美しい関数等式の証明をRiemannの方法に従って紹介します。そのためにテータ関数の準備から始めましょう。integers.hatenablog.com を「…
は次のような周期として定義されます：数値はまでは誰でも覚えていると思いますが、その続きがなので覚えやすいですね！に関する次の級数はとても有名です： ―①これはTaylor展開の収束半径上の代入であって条件収束ですが、例えば証明はlog2に収束する交代級…
tan1は有理数か？ tan1 は有理数か。ただし、角度は弧度法で表されている。— ( ｡•̀_•́｡) (@donnay1224) 2016年3月17日twitter.com無理数に決まっています。連ツイでも指摘されているように、の無理性を証明すれば十分です。実際、なので、の無理性からの無理…
円周率が超越数であることの証明を解説します。
定数でない有理数係数多項式の根とならないような複素数のことを超越数といいます。私が初めてこの概念を知ったのは中学二年生のときで、学校の図書館で読んだ本に載っていました。その中二病的な響きに憧れを抱いたのを覚えています。Hermiteは1873年にが超…
だって素数の無限性を出せるんだからね！！定理１ をを満たすような複素数とするとき、が成り立つ。Möbius関数についてはメビウス関数 - INTEGERSを参照してください。証明. をとおく。これらはで絶対収束し、解析関数を定める。 と計算できるので、両辺を微…
eの無理性証明を五つ紹介します。
今日は3月14日。そう、円周率の日です*1。というわけで、今日は整数ではなく、円周率のお話をしましょう。 ラマヌジャン(Ramanujan)のMysteriousな公式 百年に一度の円周率の日から一年 証明の解説 が無理数であることの証明 ラマヌジャン(Ramanujan)のMyste…
双子素数の逆数和が収束することを証明します。
この記事は非公開化されました。integers.hatenablog.com非公開前の内容要約: の公式の証明。
「フェルマーのクリスマス定理」という名称の勧め。円周率の無理性証明つき。
オイラーの等式の紹介ですが、そちらは大変に有名なので、むしろスティグラーの法則について紹介する記事。
