>>612
a*(cosAsinC+sinAcosC)
=a*sin(A+C) (加法定理)
=a*sinB
=a*(b/a)sinA (正弦定理)
=bsinA