y=sinx-3cosx的最小值