形式.formula_1是一个连续时间的信号，做无限次的週期复制之后，产生formula_2，可由此推导出泊松求和公式。泊松求和公式陈述formula_3。其中formula_4。
推导泊松求和公式所需的先备公式.考虑狄拉克δ函数formula_5，制作一个由无限多根formula_5，且间隔为formula_7的週期函数formula_8。其傅立叶转换为①formula_9②formula_10
证明①转换对.formula_11=formul