那兔之大国梦手游:已知asin(A+B)=bsin(A+C) 求证tanA=(bsinC - asinB)/(acosB - bcosC)