证明f(x)=log1/2(sinx-cosx)的最小正周期为(2派)?