斯特瓦特定理

斯特瓦特定理（斯氏定理），在公元前3世紀，由阿基米德首先發現並證明，1764年英國數學家斯特瓦特（Stewart)重新發現了它，可用於計算三角形中一些特殊線段的長（如中線、角平分線等）。

證明：

斯特瓦特定理

斯特瓦特定理

分別在△BAD與△BCA中運用關於∠B的餘弦定理，消去整理可得

其他形式：

斯特瓦特定理

推廣：

當D為BC中點時，有

斯特瓦特定理

即中線長公式