余弦定理とは、三角形ABCで2辺の長さ b、c とその間の角Aがわかっているとき、残りの辺の長さ a が求められることを示すものです。 適当な図を描いて、AB上に点Dを取り、角CDBを直角とする。 CD = b * sin A DB = a * cos B = c - b * cos A よって、三角形C…