>>211
余弦定理でも使えば。