y=sinxcos(π/3-x)的最小值