定理

三角形的三条垂线交于一点。

证明过程

已知:△ABC\triangle ABCABC中,AD⊥BC,BE⊥AC,CF⊥ABAD\perp BC, BE \perp AC, CF \perp ABADBC,BEAC,CFAB
在这里插入图片描述

求证:AD,BE,CFAD, BE, CFAD,BE,CF 交于一点。

证明:过点A,B,C作直线分别平行于BC,AC,AB。三条平行直线分别交于点M,N,P,如上图所示。

易知四边形AMBC为平行四边形。

∴AM=BC(1)\therefore AM = BC \tag{1}AM=BC(1),

同理四边形ANCB也为平行四边形,

∴BC=AN(2)\therefore BC = AN \tag{2}BC=AN(2)

综合(1)式和(2)式可得

∴AM=AN(3)\therefore AM = AN\tag{3}AM=AN(3)

∵AD⊥BC,MN//BC,∴\because AD \perp BC, MN // BC, \thereforeADBC,MN//BC,

∴AD⊥MN(4)\therefore AD \perp MN \tag{4}ADMN(4)

综合(3)式和(4)式可得AD垂直平分MN。

同理可证BE垂直平分MP,CF垂直平分PN。

即AD,BE,CF分别为△MNP\triangle MNPMNP的中垂线,∴三者交于一点\therefore三者交于一点

证毕。

Logo

魔乐社区(Modelers.cn) 是一个中立、公益的人工智能社区,提供人工智能工具、模型、数据的托管、展示与应用协同服务,为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作,由全产业链共同建设、共同运营、共同享有,推动国产AI生态繁荣发展。

更多推荐