f(t)=10cost+2cos2t+0.5sin0.5t是不是周期函数