>>917
ちょっと適当だが
正弦、余弦定理で全て辺の関係式に変換する
正弦定理は外接円の半径を使うと後々消えるし便利
って感じか?