解三角形的一道例题.如图,请问划线处,从上到下,是怎么得来的呢?好像三角函数里面没有这方面的公式啊.