余弦定理

　　ｃ^2＝ａ^2＋ｂ^2−２ａｂｃｏｓθ

から導き出される定理に「パップスの定理」や「スチュアートの定理」がある．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【１】パップスの定理

　△ＡＢＣの辺ＢＣ（長さａ）上に中点Ｄ（ＡＤ＝ｄ）がある．

　　ＢＤ＝ａ／２，ＤＣ＝ａ／２

このとき，

　　ｂ^2＋ｃ^2＝ａ^2／２＋２ｄ^2

となる．

［補］この定理はアポロニウスの定理とも呼ばれている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

【２】スチュアートの定理（１７３０年代）

　△ＡＢＣの辺ＢＣ（長さａ）上に点Ｄ（ＡＤ＝ｄ）がある．

　　ＢＤ＝ｍ，ＤＣ＝ｎ，ａ＝ｍ＋ｎ

このとき，

　　ｂ^2ｍ＋ｃ^2ｎ＝ａ（ｄ^2＋ｍｎ）

となる．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝