九点共圆及其圆心证明(证明过程已更新)

news/2024/10/18 15:11:02

主要思路:固定 \(P,L\),证明其它七个点均在以 \(PL\) 为直径的圆上。

条件的来源会备注在括号内。背景可能影响观感,建议打开极简模式阅读。


这是一个三角形 \(\triangle ABC\),设 \(BC,AC,AB\) 边上垂足分别为 \(D,E,F\),其边上中点分别为 \(L,M,N\),设垂心为 \(H\),外心为 \(O\)\(AH,BH,CH\) 中点分别为 \(P,Q,R\),如图。

image

\(\because PM//CH,LM//AB,CH\perp AB\) (定义及中位线)

\(\therefore PM\perp LM\)

\(\because PD\perp LD\) (定义)

\(\therefore P,D,L,M\) 四点共圆

\(\because PR//AC,LR//BH,BH\perp AC\) (定义及中位线)

\(\therefore PR\perp LR\)

\(\therefore P,D,L,M,R\) 五点共圆

\(\because PE=PA,EL=LC\) (斜边中线定理)

\(\therefore \angle PEA=\angle PAE,\angle LEC=\angle LCE\)

\(\because \angle PAE+\angle LCE=90^\circ\) (直角三角形)

\(\therefore \angle PEA+\angle LEC=90^\circ\),即 \(\angle PEL=90^\circ\)

\(\therefore PE\perp LE\)

\(\therefore P,D,L,M,R,E\) 六点共圆

同理可证得 \(N,F,D\) 亦在以 \(PL\) 为直径的圆上。

\(D,E,F,L,M,N,P,Q,R\) 九点共圆,即为所求。


设九点圆的圆心为 \(S\)。已知 \(S\)\(PL\) 中点。

观察 \(\triangle ABH\)\(\triangle ORM\)

\(\because LM// AB,OM//HB,OL//HA\) (定义及中位线)

\(\therefore \triangle ABH\backsim \triangle LMO\)

\(\because LM=\frac{AB}{2}\) (中位线性质)

\(\therefore OL=\frac{HA}{2}=PH\)

\(\because OL//PH\)

\(\therefore \angle PHS=\angle LOS\)

\(\because \angle PHS=\angle LOS,\angle PSH=\angle LSO,PH=LO\)

\(\therefore \triangle PHS\)\(\triangle LOS\)

\(\therefore S\)\(HO\) 中点,即为所求。


特别鸣谢:9G 有关 \(\triangle ABH\backsim \triangle ORM\) 的证明,HDK 的残缺 LaTeX 公式。

完结撒花~

image

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.ryyt.cn/news/73073.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈,一经查实,立即删除!

相关文章

【喜讯】全球电商大数据平台推出F类免费API接口服务!

好消息,全球电商大数据平台再次上线多个类别接口,首次推出F类免费API接口服务,为所有追求数据赋能、寻求创新突破的企业和个人,带来了前所未有的机遇。好消息,值此之际;全球电商大数据平台再次上线多个类别接口,首次推出F类免费API接口服务,为所有追求数据赋能、寻求创…

c# winform在线升级clickonce

说明:在线升级前提 1,一个可以访问在线的地址,2,发布前要在项目属性发布里配置好相关设置 一,可以在IIS上布署一个可以访问的地址 二,发布前配置

SQLSEVER 实现货币数字转中文汉字

SQLSEVER 实现数字转换成中文(货币) -- ============================================= -- Author: LearnerPing -- Create date: 2024/10/18 -- Description: Change Number to Chinese -- ============================================= Create FUNCTION GetNumberToChi…

javascript渲染OFD的库

目前使用javascript开发的OFD的渲染库主要有两个: ofd.js和liteofd,其中ofd.js开发比较早,liteofd是最近刚出现的js库。首先结论是ofd.js渲染效果没有liteofd好,因为ofd.js目前有一些效果没有支持,比如对字体没有比较好的解析和支持。 liteofd相对ofd.js效果更好,并且提供…

Redis 集群部署

Redis 集群部署Redis 集群部署 环境 系统:CentOS 7 版本:redis-7.2.6 下载地址:https://download.redis.io/releases/ 主从集群 结构 三个节点:一个主节点,两个从节点IP PORT 角色192.168.93.100 6379 master192.168.93.101 6379 slave192.168.93.102 6379 slave步骤 安装…

高等数学 6.1 定积分的元素法

在定积分的应用中,经常采用所谓的元素法。为了说明这种方法,先回顾一下曲边梯形的面积问题。 设 \(f(x)\) 在区间 \([a, b]\) 上连续且 \(f(x) \geqslant 0\) ,求以曲线 \(y = f(x)\) 为曲边、底为 \([a, b]\) 的曲边梯形的面积 \(A\) 。把这个面积 \(A\) 表示为定积分 \[A …

详解 JuiceFS 在多云架构下的数据同步与一致性

随着大模型流行,GPU 算力资源正变得日益稀缺,传统的“算力跟着存储跑”的策略需要转变为“存储跟着算力跑”。为了确保数据一致性和管理的便捷性,企业通常在特定地区的公有云上选择对象存储作为所有模型数据的集中存储点。当进行计算任务调度时,往往需要人工介入,手动进行…

Renderer

Renderer 模块 Renderer 模块的设置决定了粒子的图像或网格如何被其他粒子变换、着色和过度绘制。 粒子系统Unity中创建粒子系统渲染器模块视图 细节 使用渲染模式在多种 2D Billboard 图形模式和网格模式之间进行选择。当粒子代表固体游戏对象(例如岩石)时,3D 网格赋予粒子…