首页 > 其他分享 >九点共圆及其圆心证明(证明过程已更新)

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

时间:2024-10-18 14:58:49浏览次数:1  
标签:because triangle perp 证明 圆心 therefore 共圆 angle

主要思路:固定 \(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

标签:because,triangle,perp,证明,圆心,therefore,共圆,angle
From: https://www.cnblogs.com/Ratio-Yinyue1007/p/18474153

相关文章

  • 对于 x^pi(即x的π次方),x≥0 的证明
    今天数学课上刚学幂函数,老师抛出了这样一个问题:对于xπx^\pixπ,是否必须有......
  • Hopfield 神经网络中能量函数的含义及其变化值 ΔE≤0 的证明
    Hopfield神经网络中能量函数的含义及其变化值\(\DeltaE\leq0\)的证明Ciallo~(∠・ω<)⌒★我是赤川鹤鸣,本期是学习Hopfield神经网络时,遇到能量函数的相关知识时的思考和总结,希望有能帮助到你.Hopfield神经网络中,能量函数的定义如下\[E=-\dfrac{1}{2}\sum_{i......
  • 伯恩斯坦引理的证明
    伯恩斯坦引理:若\({\rmcard}X\le{\rmcard}Y\)且\({\rmcard}Y\le{\rmcard}X\),则\({\rmcard}X={\rmcard}Y.\)证明:由条件得存在单射\(f\colonX\longrightarrowY\)和\(g\colonY\longrightarrowX.\),取\(g\)的一个左逆\(h\colonX\longrightarrow......
  • Stolz 定理及其证明
    Stolz定理是处理分式极限的强大工具,其形式类似未定式函数极限的洛必达法则.定理一:设数列\(\{b_n\}\)严格单调递增且趋于\(+\infty\).若\[\lim_{n\rightarrow\infty}\dfrac{a_n-a_{n-1}}{b_{n}-b_{n-1}}=A\]则\(\{a_n/b_n\}\)收敛,且\[\lim_{n\rightarrow\infty}\dfra......
  • 什么是图灵完备?手把手教你证明brainfuck的图灵完备性
    Intro上篇文章中对图灵机的讨论是错误的,因为那篇文章中试图去使用一个具体的机器去指代图灵机,这会造成极大的误解。本文将会解决这些问题。Tips:发现错漏请指出,我尽力修改(;´д`)图灵机图灵机的形式化定义如下图灵机是一个七元组(\(Q,\Sigma,\Gamma,\delta,q_0,q_{accept......
  • Jensen 不等式证明(数形结合)
    Jensen不等式定义若\(f(x)\)为区间\(I\)上的下凸函数,则对于任意\(x_{i}\inI\)和满足\(\displaystyle\sum_{i=1}^{n}\lambda_{i}=1\)的\(\lambda_{i}\gt0\left(i=1,2,\cdots,n\right)\),成立\[f\left(\sum_{i=1}^{n}\lambda_{i}x_{i}\right)......
  • 莫比乌斯反演的证明
    信奥中的数学:积性函数、莫比乌斯反演信奥中的数学:积性函数、莫比乌斯反演-CSDN博客莫比乌斯反演的证明(非狄利克雷卷积法)莫比乌斯反演的证明(非狄利克雷卷积法)_莫比乌斯反演公式证明-CSDN博客莫比乌斯反演定理证明(两种形式)莫比乌斯反演定理证明(两种形式)_莫比乌斯反演......
  • 费马大定理在n等于4时成立的证明
    1.费马大定理内容大约在1637年左右,法国学者费马在阅读丢番图(Diophatus)《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现了一种美妙......
  • 实数完备性公理的六个推论及证明路径
    在本文中,我尝试利用实数的完备性公理,按照一定路径证明六个经典而深刻的命题,分别是单调有界定理、柯西收敛原理、确界原理、闭区间套定理、极限点原理、和有限覆盖定理,以作为我这个月数分学习的总结。也许未必值得指出,我们学校现行数分教材编排体系出现了一定程度的混乱,其根本原因......
  • 数据飞轮:为什么事实证明它是数据中台的天然进化
    在当前大数据时代,企业正快速转变为数字驱动模式,而数据中台曾是这一转变的先锋。然而,现在一种新的概念—“数据飞轮”,正在引起越来越多的关注。这种转变引发了一些疑问:数据中台是否已经过时?为何数据飞轮开始取代其位置?让我们探讨这些问题,了解为什么数据飞轮可能是企业数据战略的未来......