y=sinx+sin√2*x的最小正周期