化简 √2/4sin(π/4-x)+√6/4cos(π/4-x)