数論とかNonaReevesとかが好きな高校生のブログ。前回の記事o-v-e-r-h-e-a-t.hatenablog.comで解説した定理2、RAES(実解析的アイゼンシュタイン級数)のフーリエ展開を使うときが再びやってまいりました。続きものなので、前回の記事を読んでいない方は先に読むことをおすすめします。[クロネッカーの極限公式]として関数を定める。このとき、はラマヌジャンが発見した関数の一種で、いわゆる保型形式というやつです(その中でも正則な部類に入る)。これは今まで学んだ数学の中で僕が一番好きな関数なので、今後幾つか関連記事を書こうと思います。[証明]予告した通りRAESの展開を使うのですが、すこし変形しておきます。求めていくのですが、その前にちょっとだけ準備をしましょう。ガンマ関数のローラン展開について考えます。以上の項」のような意味です。