>>686って
sinA=sin(π-B-C)=sin(B+C)
から加法定理でやるのが一般的だと思うけど
なんでいちいち辺の長さの関係に帰着しようとしてるんだろう