圖中
ABC和中线AD
中線或重線是三角形中从某邊的中點連向對角的頂點的线段。三角形的三条中线总是相交于同一点,这个点称为三角形的重心。
任意三角形的三条中线把三角形分成面积相等的六个部分。中線都把三角形分成面积相等的两个部分。除此之外,任何其他通過中點的直線都不把三角形分成面積相等的兩個部分。
考虑三角形ABC。设D为
的中点,E为
的中点,F为
的中点,O为重心。
根据定义,
,因此
,其中
表示三角形ABC的面积。
我们有:
![{\displaystyle [ABO]=[ABE]-[BEO]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fad91ee584b5e608e070fff5851154979efa3ab0)
![{\displaystyle [ACO]=[ACE]-[CEO]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1af50a27689048f316853c0fcd756cb1c2d78813)
因此,
且
。
由于
,所以
。
同理,也可以证明
。
在
ABC中,連接角A的中線記為
,連接角B的中線記為
,連接角C的中線記為
,它們長度的公式為:
![{\displaystyle m_{a}={\frac {1}{2}}{\sqrt {2(b^{2}+c^{2})-a^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee4dce9ca61ed787261ae70c75256ecc40ee89d7)
![{\displaystyle m_{b}={\frac {1}{2}}{\sqrt {2(c^{2}+a^{2})-b^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1dc4e166e8225c5c80752c0866fe1bc472dcdca8)
![{\displaystyle m_{c}={\frac {1}{2}}{\sqrt {2(a^{2}+b^{2})-c^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f094acdd894171f7b51f41ae138fe3c86f3f709)
- 在
ABD中,![{\displaystyle AD=m_{a}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f20652dca92e4c230c1027463792c11dacf87269)
(餘弦定理)
- 以a,b,c表示
![{\displaystyle \cos \angle ABD}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d0791073343de6841193f1b273b6037ffd61744f)
& ![{\displaystyle BD={\frac {a}{2}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/205585077f13ceb4f4bded28e4f48bdbd30f8fc2)
- 把以上兩等式代入原式,
![{\displaystyle i.e.\ (m_{a})^{2}=(c)^{2}+({\frac {a}{2}})^{2}-2(c)({\frac {a}{2}}){\frac {c^{2}+a^{2}-b^{2}}{2ca}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff06f4ca7cc12d636d11161cc89411fa7be7d2a3)
![{\displaystyle =(c)^{2}+({\frac {a^{2}}{4}})-({\frac {c^{2}+a^{2}-b^{2}}{2}})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a8a07b408542c5d5548816f893cb121bc7f08fa)
![{\displaystyle ={\frac {4c^{2}+a^{2}-2c^{2}-2a^{2}+2b^{2}}{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a1a8d5c579b2a90bf06173a6f76a4024d6887acd)
![{\displaystyle ={\frac {2b^{2}+2c^{2}-a^{2}}{4}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b1cdae7c027fe519350187b692641e73918c6e44)
- ∴
![{\displaystyle m_{a}={\frac {1}{2}}{\sqrt {2(b^{2}+c^{2})-a^{2}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee4dce9ca61ed787261ae70c75256ecc40ee89d7)
同理,可證得其他二式
- Q.E.D.