怎样证明cosx是周期函数