余弦定理とは、三角形の３辺とひとつの内角の関係に関する等式であり、証明は次の通りである。
【証明】
