如何证明周期函数的最小正周期