sin(2x-π/4)在(0,π/2)上的最小值