して、となり、それなりに簡単に書けました。次のように書けます:そして、となることより、というのが導かれます。式と合わせてが出ます。中心に整理するととなりますね。気になりますが、これはo-v-e-r-h-e-a-t.hatenablog.comの定理1と保型形式間に成り立つ関係式からすぐに値を求めることができます(この関係式についてはtsujimotter.hatenablog.comも参照)。面倒な主定理の証明ですが、長すぎるのでかなり天下り的になってしまいました。ご了承ください(後ろから読んでいくのを推奨します)。してとして定義されます。イメージとしては無限の長さを持つ丸底フラスコを右に倒した感じです。ベルヌーイ多項式です。以下の補題3,4,5,6をひとまず認めることにします:[補題3](1)(2)[補題4](1)(2)[補題5][補題6](1)(2)補題6はスターリングの公式なので簡単に証明できるはずですが、補題3,4,5はどれも面倒です(3は比較的簡単。補題7以降は証明を与えます。[補題7](1)(2)[証明](1)あとはレルヒの公式でおわり。なって[証明終]12/24の記事は盛田みずすまし氏の記事です、お楽しみに。読者になる検索リンクINTEGERStsujimotterのノートブックポン酢形式カナンの数学ノート数学カフェCorollaryは必然に。月別アーカイブはてなブログをはじめよう!O_V_E_R_H_E_A_Tさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。