>>167
余弦定理を代入