ポアソン和公式
テータ関数、リーマンゼータ関数に関連した証明に応用される。