y=cos²x/2-sin²x/2+1的最小正周期