y=(1-cosx)(1-sinx)的最大值