Poissonの和公式とテータ関数のモジュラー関係式

数論の応用で重要なPoissonの和公式を証明します。さらに応用としてテータ関数のモジュラー関係式と呼ばれる公式を示します。