中线定理(英语:Apollonius's Theorem)又称阿波罗尼斯定理、巴布斯定理,是平面几何中的一个定理。该定理的内容是三角形一条边上的中线两侧所对边平方和等于底边一半的平方与该边中线平方的和的两倍。设的边长,边上的中线,则中线定理可以用公式表示为:,即。
中线定理是由古希腊数学家兼天文学家阿波罗尼斯(Apollonius,约公元前262~190年)首先发现。1746年,斯图尔特提出斯图尔特定理,中线定理是斯图尔特定理的一种特例。
中线定理揭示了三角形的三条边长与中线之间的关系,在几何证题中具有较广的应用。
简史
阿波罗尼斯是古希腊数学家。他与欧几里得、阿基米德并称为亚历山大学派前期三大数学家。中线定理是由阿波罗尼斯提出的。
1746年,爱丁堡大学数学教授斯图尔特提出斯图尔特定理,即如果点把的边内分成,则。在该定理中,当,则为的中点,结论就是中线定理。斯图尔特定理的第一个已知的证明是西姆松在1751年发表的。
定理内容
所谓中线定理,又叫阿波罗尼斯定理、巴布斯定理,其内容为三角形一条边上的中线两侧所对边平方和等于底边一半的平方与该边中线平方的和的两倍。
如图1,设的边的中点为,则。
中线定理也可以表述为以表示的三条边长,以表示上的中线,则三角形的边与中线有以下关系:
,,。
证明方法
余弦定理法
证明:设,则在和中运用余弦定理得,
,
两式相加得
勾股定理法
如图2,是的中线。利用勾股定理来证明。
在中,过作于有
,
同理,有
,
并且,
那么,。
解析法
以边的中点为原点,直线为轴,射线方向为轴正方向,如图3,建立平面直角坐标系。
设点坐标为,点坐标为,则点坐标为。根据两点间距离公式得
所以,又因为,所以,所以
。
向量法
如图4,因为所以得
(这个式子记为(1)式),(这个式子记为(2)式)
又因为为的中点,所以,(1)式与(2)式相加得
。
定理应用
中线定理揭示了三角形中三边与主要线段间的重要关系,在几何证题中具有较广的应用。
例1 已知为矩形内任一点,求证:。
证明: 如图5,连接交于,连接。由中线定理有
,
由 ,可知结论成立。
例2 设是内一条弦,且与直径平行 ,为上一点。求证:。
证明 如图6,过作于,则,连接。又,在中,由中线定理有 ,而
结论得证。
定理推广
中点推广为任意点
设为中边上的点,则。
证明:因为,,由两式消去项,得
。
显然,当时,上述结论即为中线定理。当共线时,结论也成立。
三角形向四边形推广
若为四边形的边上的点,且,设与的夹角为,则有
证明:如图7,连接,过作交于。连接,则,
结论得证。
参考资料
相关定理
泰利斯定理的逆定理设
根据中线定理的边的中点为,则。
如果是直角,应用毕达哥拉斯定理,此式左端,由此,从这两个式子可得。从而可知,直角三角形的斜边上的中点到三顶点等距。这是泰利斯定理的逆定理。
毕达哥拉斯定理
若知道直角三角形的斜边上的中点到三顶点等距,因为,根据中线定理,得,这实际上就是毕达哥拉斯定理。
斯图尔特定理
如图11,设点把这个边内分成,则。
这个定理称为斯图尔特定理。若,则为的中点,因为, 此式就成为,这就归结为中线定理。
证明:令,注意到,根据余弦定理,有
(这个式子称为(3)式),
(这个式子称为(4)式)。因此,若在第(3)式两端乘以,在第(4)式两端乘以,再相加得
。结论得证
若,则为的中点,因为, 此式就成为,这就归结为中线定理。
当三点位于同一直线上时,斯图尔特定理也成立。