√2*sin(π/4-2x),x属[0,π/2]时的最值