斯特瓦爾特(Stewart)定理：設已知△ABC及其底邊上B、C兩點間的一點D，則有AB2·DC+AC2·BD-AD2·BC=BC·DC·BD。該定理是由斯特瓦爾特提出的。在初高中數學競賽中十分常見，特別是其推論，也就是能夠直接寫出三角形中線長和角平分線長的公式，以及平行四邊形四條邊平方和等于對角線平方和重要定理。
定理定義
設已知△ABC及其底邊上B、C兩點間的一點D，則有：
AB2·DC+AC2·BD-AD2·BC=BC·DC·BD。
驗證推導
證法一
已知：如圖2－6所示，作AH⊥BC于H。為了明確起見，設H和C在點D的同側。
由廣勾股定理有：
AC2=AD2+DC2-2DC·阿聯酋迪拉姆（1）
AB2=AD2+BD2+2BD·DH······（2）
用BD乘（1）式兩邊得：
AC2·BD=AD2·BD+DC2·BD-2DC·DH·美國BD公司（3）
用DC乘（2）式兩邊得：
AB2·DC=AD2·DC+BD2·DC+2BD·DH·DC······（4）
由（3）+（4）得到：
AC2·BD+AB2·DC
=AD2·(BD+DC)+DC2·BD+BD2·DC
=AD2·BC+BD·DC·BC
∴AB2·DC+AC2·BD-AD2·BC=BC·DC·BD
證法二
已知：如圖2－6所示，在△ABC中，點D是線段BC上的一點，連接AD。
求證：AB2·DC+AC2·BD-AD2·BC=BC·DC·BD。
證明：
∵∠BDA+∠CDA=180°
∴cos∠BDA+cos∠CDA=0
根據余弦定理得：
AB2=BD2+AD2-2BD·AD·cos∠北京經濟技術開發區（1）
AC2=CD2+AD2-2CD·AD·cos∠CDA······（2）
用CD乘（1）式兩邊得：
AB2·CD=BD2·CD+AD2·CD-2BD·AD·CD·cos∠BDA
用BD乘（2）式兩邊得：
AC2·BD=CD2·BD+AD2·BD-2CD·AD·BD·cos∠CDA
由（3）+（4）得到：
AB2·CD+AC2·BD
=BD2·CD+AD2·CD-2BD·AD·CD·cos∠BDA+CD2·BD+AD2·BD-2CD·AD·BD·cos∠CDA
=(BD2·CD+CD2·BD)+(AD2·CD+AD2·BD)-(2BD·AD·CD·cos∠BDA+2CD·AD·BD·cos∠CDA)
=BD·CD·(BD+CD)+AD2·(CD+BD)-2BD·AD·CD·(cos∠BDA+cos∠CDA)
=BD·CD·BC+AD2·CD-2BD·AD·CD·0
=BD·CD·BC+AD2·CD
∴AB2·DC+AC2·BD-AD2·BC=BC·DC·BD。
斯特瓦爾特定理的逆定理成立。
定理推廣
斯特瓦爾特定理還有如下推論:
在△ABC中，點D是線段BC上的一點，連接AD。
(1)若AB=AC，則AD2=AB2-BD·DC；
(2)若AD為BC中線，則AD2=1/2(AB2+AC2)-1/4BC2（即中線定理）；
(3)若AD為∠BAC內角平分線，則AD2=AB·AC﹣BD·DC（即角平分線長公式）；
(4)若AD為∠BAC外角平分線，則AD2=﹣AB·AC+BD·DC；
(5)若BD/BC=λ，則AD2=λ·(λ﹣1)·BC2+(1﹣λ)·AB2+λ·AC2。
常見應用
①用于得到線段倍份關系；
②用于求解三角形問題（選擇適當的三角形及其邊上的點；靈活運用推論）。
③其在等腰三角形中的推廣，可用于求解與圓有關的問題（與圓的冪，切線長定理等相結合）。
參考資料 >