角Bが分からなくても、AC=xと置いて、
BCについて余弦定理を使えば二次方程式が出来る。
xは2つ出てくるが、1つは三角形を作らない解
(x<=0とか、三角不等式を満たさないとか)。