a lot of 前面用is:求函数的最小正周期