√3sina-cosa(用辅助角公式)
=2sin(a-π/6)
=2sin(a- π/6 + π/2 -π/2)
=2sin(a+π/3 - π/2)
=-2sin[π/2 -(a+π/3)]
=-2cos(a+π/3)
=-2√(1-a平方)