余弦定理とは、三角形の3辺の長さと一つの角度に関する関係を示す以下の式のことです。
a^[2]]=b^[2]]+c^[2]]-2bc fcos(α)
b^[2]]=c^[2]]+a^[2]]-2ca fcos(β)
c^[2]]=a^[2]]+b^[2]]-2ab fcos(γ)