ベクトル解析→球面三角形の角度 のページにある(1)からの式変形が分かりませんでした.
cosα = ( cos(a) - cos(c)cos(b) ) / sin(b)sin(c)
この式の右辺の分子はどうやって求めているのでしょうか?