为什么3/2sinA-√3/2cosA =√3sin(A-30°)?