如何证明函数有周期性