已知一般三角形的三条边边长是A,B,C,还知道一个角的角度为a,求三角形的高,怎么求?