>>101
余弦定理を使って辺の長さに帰着させるととんでもないことに
なりませんか？計算が複雑すぎる。