球面三角形の余弦定理導出について

球面三角形の余弦定理導出について

lan さんの書込 (2009/06/03(Wed) 09:16)

ベクトル解析→球面三角形の角度 のページにある(1)からの式変形が分かりませんでした.

cosα = ( cos(a) - cos(c)cos(b) ) / sin(b)sin(c)

この式の右辺の分子はどうやって求めているのでしょうか?