冲激函数抽样性质证明