>>49
面倒だから最後まで書くよ。
計算から内積b↑･c↑を出したら、余弦定理から BC^2 = AB^2 +AC^2 -2b↑･c↑
で、それぞれ代入していくとBCの長さが出る。