正弦函数最短正周期公式