【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明

这篇具有很好参考价值的文章主要介绍了【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明。希望对大家有所帮助。如果存在错误或未考虑完全的地方,请大家不吝赐教,您也可以点击"举报违法"按钮提交疑问。

前两天看了和三角形相关的一个莫利定理,觉得较为有趣,所以做一个记录。

莫利定理(Morley’s Theorem)

将三角形的三个内角三等分,靠近某边的两条三分角线相交得到一个交点,则这样的三个交点可以构成一个正三角形。
【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明
看了其他人对该定理的证明,大多都是用了一堆推导,或者用高中的一些正弦余弦定理公式,个人觉得看着较为枯燥。

所以本文从一种直观角度进行证明,过程中仅用到初中知识,但是其中的思想较为有趣。

为证明该定理,首先证明一个引理。

引理

已知: △ A B C \triangle ABC ABC中,BD平分 ∠ A B C \angle ABC ABC,CE平分 ∠ A C B \angle ACB ACB B D ∩ C E = F BD \cap CE = F BDCE=F

求证: ∠ B F C = 9 0 ∘ + 1 2 ∠ B A C \angle BFC = 90^\circ + \frac{1}{2}\angle BAC BFC=90+21BAC
【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明
证明:
由题意知F为 △ A B C \triangle ABC ABC 的内心。

∠ B F C = ∠ 7 + ∠ 8 = ( ∠ 2 + ∠ 3 ) + ( ∠ 1 + ∠ 5 ) = ∠ B A C + 1 2 ( ∠ A B C + ∠ B C A ) = ∠ B A C + 1 2 ( 18 0 ∘ − ∠ B A C ) = 9 0 ∘ + 1 2 ∠ B A C \begin{aligned} \angle BFC &= \angle7+\angle 8 \\ &=(\angle 2 + \angle 3) + (\angle 1 + \angle 5) \\ &= \angle BAC + \frac{1}{2}(\angle ABC + \angle BCA) \\ &= \angle BAC + \frac{1}{2}(180^\circ - \angle BAC) \\ &= 90^\circ + \frac{1}{2}\angle BAC \end{aligned} BFC=7+8=(2+3)+(1+5)=BAC+21(ABC+BCA)=BAC+21(180BAC)=90+21BAC
证毕。

该引理的等价形式:

△ A B C \triangle ABC ABC中,AG平分 ∠ B A C \angle BAC BAC, F为AG上一点, ∠ B F C = 9 0 ∘ + 1 2 ∠ B A C \angle BFC = 90^\circ + \frac{1}{2}\angle BAC BFC=90+21BAC

求证:F为 ∠ A B C \angle ABC ABC的内心。

简要证明:可以假设F不为内心,则可以取 ∠ A B C , ∠ A C B \angle ABC , \angle ACB ABC,ACB的角平分线,必与AG交于另一点 F ′ F' F。则根据之前引理的结论,必有 ∠ B F ′ C = 9 0 ∘ + 1 2 ∠ B A C = ∠ B F C \angle BF'C = 90^\circ + \frac{1}{2}\angle BAC = \angle BFC BFC=90+21BAC=BFC,从而得出 F F F F ′ F' F重合。

接下来证明莫利定理。

莫利定理的证明:

考虑如下的正三角形 P Q R PQR PQR,在三边的外面分别作一个等腰三角形,底角的大小分别为 a , b , c a, b, c a,b,c
【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明

a , b , c a, b, c a,b,c均为变量,规定其需满足以下形式:
a + b + c < 12 0 ∘ ,       a , b , c < 6 0 ∘ a + b + c < 120^\circ, \ \ \ \ \ a, b, c < 60^\circ a+b+c<120,     a,b,c<60

分别延长 P ′ R , R ′ Q P'R, R'Q PR,RQ等线段,延长线构成的角一定等于 a , b , c a, b, c a,b,c, 如下图所示:

【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明

因为已知正 △ P Q R \triangle PQR PQR的每个内角都是 6 0 ∘ 60^\circ 60, 再加上一个延长线构成的角一共是 18 0 ∘ 180^\circ 180

考虑 Q R QR QR外面的两个大角 a + b , a + c a+b, a+c a+b,a+c, 因为 a < 6 0 ∘ a < 60^\circ a<60, 且 a + b + c < 12 0 ∘ a + b+c < 120^\circ a+b+c<120
所以 Q R QR QR外面的两个大角的和 ( a + b ) + ( a + c ) < 18 0 ∘ (a+b) + (a+c) < 180^\circ (a+b)+(a+c)<180,

∴ Q R \therefore QR QR外面的两个延长线( R ′ Q , Q ′ R R'Q, Q'R RQ,QR)一定会相交。

同理QP,PR外面的两个延长线也会相交。设延长线的交点分别为A, B, C。 如下图所示:
【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明
易知
∠ A = 18 0 ∘ − ( a + b ) − ( a + c ) = 18 0 ∘ − ( a + b + c ) − a = 6 0 ∘ − a \begin{aligned}\angle A &= 180^\circ - (a+b) - (a+c) \\ &= 180^\circ - (a+b+c) - a \\ &= 60^\circ - a \end{aligned} A=180(a+b)(a+c)=180(a+b+c)a=60a

同理 ∠ B = 6 0 ∘ − c ,    ∠ C = 6 0 ∘ − b \angle B = 60^\circ - c,\ \ \angle C = 60^\circ - b B=60c,  C=60b

进一步,连接 P ′ P P'P PP并延长,可以发现 P ′ P P'P PP平分 ∠ B P ′ C \angle BP'C BPC, 因为 △ Q P ′ P ≅ △ R P ′ P ( S S S ) . \triangle QP'P \cong \triangle RP'P(SSS). QPPRPP(SSS).

【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明
又有
∠ B P C = 18 0 ∘ − a = 9 0 ∘ + 1 2 ( 18 0 ∘ − 2 a ) = 9 0 ∘ + 1 2 ∠ B P ′ C \begin{aligned} \angle BPC &= 180^\circ - a \\ &= 90^\circ + \frac{1}{2}(180^\circ - 2a) \\ &=90^\circ + \frac{1}{2}\angle BP'C \end{aligned} BPC=180a=90+21(1802a)=90+21BPC
所以根据上面引理的结论,P为 △ P ′ B C \triangle P'BC PBC的内心。

∴ B P 平 分 ∠ Q B C \therefore BP 平分 \angle QBC BPQBC, C P 平 分 ∠ R C B CP 平分 \angle RCB CPRCB

同理可证Q为 △ A B Q ′ \triangle ABQ' ABQ的内心, R为 △ A R ′ C \triangle AR'C ARC的内心。
【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明
从而可以得到 A Q , A R AQ, AR AQ,AR ∠ B A C \angle BAC BAC的三等分线, B Q , B P BQ, BP BQ,BP ∠ A B C \angle ABC ABC的三等分线, C P , C R CP, CR CP,CR ∠ A C B \angle ACB ACB的三等分线。

截止到这里相当于证明完了莫利定理的逆定理,即从正三角形出发构造了三等分线。

下面可以从正面推出莫利定理。

已知任意一个 △ A B C \triangle ABC ABC, 可以取任意一个正 △ P ′ Q ′ R ′ \triangle P'Q'R' PQR, 根据上面的构造方法,取

6 0 ∘ − a = 1 3 ∠ B A C 60^\circ - a = \frac{1}{3} \angle BAC 60a=31BAC,
6 0 ∘ − c = 1 3 ∠ A B C 60^\circ - c = \frac{1}{3} \angle ABC 60c=31ABC,
6 0 ∘ − b = 1 3 ∠ A C B 60^\circ - b = \frac{1}{3} \angle ACB 60b=31ACB

可以看出这种情况下一定满足 a + b + c = 12 0 ∘ a+b+c=120^\circ a+b+c=120 (上面三个等式相加), 且 a , b , c < 6 0 ∘ a,b,c < 60^\circ a,b,c<60

从而可以用上面的方法构造出一个包含三等分线的 △ A ′ B ′ C ′ \triangle A'B'C' ABC

由于选取的角度 a , b , c a,b,c a,b,c 必有 △ A ′ B ′ C ′ ∽ △ A B C ( 三 个 角 分 别 对 应 相 等 ) \triangle A'B'C' \backsim \triangle ABC(三个角分别对应相等) ABCABC()

然后可以再取 △ A B C \triangle ABC ABC 的三等分线,构成一个 △ P Q R \triangle PQR PQR,

易证得 △ P Q R ∽ △ P ′ Q ′ R ′ \triangle PQR \backsim \triangle P'Q'R' PQRPQR

△ P ′ Q ′ R ′ \triangle P'Q'R' PQR是我们取的任意正三角形, ∴ △ P Q R \therefore \triangle PQR PQR必然也是正三角形。

证毕。文章来源地址https://www.toymoban.com/news/detail-450487.html

到了这里,关于【数学基础知识】莫利定理(Morley‘s Theorem)及其直观证明的文章就介绍完了。如果您还想了解更多内容,请在右上角搜索TOY模板网以前的文章或继续浏览下面的相关文章,希望大家以后多多支持TOY模板网!

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处: 如若内容造成侵权/违法违规/事实不符,请点击违法举报进行投诉反馈,一经查实,立即删除!

领支付宝红包 赞助服务器费用

相关文章

  • 图论及其应用(基础知识)(1)(数学建模基础速成)

    能否从任一陆地出发通过每座桥恰好一次而 回到出发点? 你要是自己做过,就会显而易见的发现这道题是 没有答案 的(遵守规则以及图形规定的情况下) 欧拉就这个问题说过: 如果每块陆地所连接的桥都是 偶数 座,则从任一陆地出发,必能通过每座桥恰好一次而回到出

    2023年04月08日
    浏览(39)
  • 一、机器学习前的数学基础知识

    你说春天太短 还未来得及看见自己 就要粉碎成灯红酒绿的夏 那就开花呀 开他妈的 1.1 求和 假设现在我们要在纸上写下1加到100的简单求和运算: 1 + 2 +3 + 4 + 5 + ........ + 99 + 100 使用求和符号简化(读作“西格玛”): 对于不明确要加到多少的情况:  对集合使用求和符号:

    2024年02月16日
    浏览(63)
  • 人工智能基础部分24-人工智能的数学基础,汇集了人工智能数学知识最全面的概况

    、 大家好,我是微学AI,今天给大家介绍一下人工智能基础部分24-人工智能的数学基础,汇集了人工智能数学知识最全面的概况,深度学习是一种利用多层神经网络对数据进行特征学习和表示学习的机器学习方法。要全面了解深度学习的数学基础,需要掌握这些数学知识:向

    2024年02月21日
    浏览(75)
  • 【高等数学基础知识篇】——一元函数微分学的应用

    本文仅用于个人学习记录,使用的教材为汤家凤老师的《高等数学辅导讲义》。本文无任何盈利或者赚取个人声望的目的,如有侵权,请联系删除! 极值点包括极大值点和极小值点。 设y = f(x)在x = a处取极值,则f’(a) = 0或f’(a)不存在,反之不对。 设f(x)可导且在x = a处取极值

    2024年02月11日
    浏览(39)
  • 【数学基础知识】证明三角形的中线交于一点

    三角形的三条中线交于一点。 用初中基础知识进行证明。 已知: △ A B C triangle ABC △ A B C 中,F为BC的中点,E位AC的中点。AF,BE交于点G,直线CG交AB于D。 求证: A D = B D AD=BD A D = B D 。 证明:连接EF,交CD于H。 ∵ B F = C F , A E = C E , because BF=CF, AE=CE, ∵ B F = C F , A E = C E , ∴

    2024年02月05日
    浏览(32)
  • 【数学基础知识】证明三角形的三条垂线交于一点

    三角形的三条垂线交于一点。 已知: △ A B C triangle ABC △ A B C 中, A D ⊥ B C , B E ⊥ A C , C F ⊥ A B ADperp BC, BE perp AC, CF perp AB A D ⊥ B C , B E ⊥ A C , C F ⊥ A B 。 求证: A D , B E , C F AD, BE, CF A D , B E , C F 交于一点。 证明:过点A,B,C作直线分别平行于BC,AC,AB。三条平行直线

    2024年02月04日
    浏览(130)
  • 帕塞瓦尔定理(Parseval‘s theorem)的证明

    帕塞瓦尔定理(Parseval\\\'s theorem)表明了信号在时域和频域上的能量相等,即 式中,是信号的Fourier变换, 得证。

    2024年02月12日
    浏览(40)
  • 架构篇22:CAP理论-布鲁尔定理(Brewer‘s theorem)

    CAP 定理(CAP theorem)又被称作布鲁尔定理(Brewer’s theorem),是加州大学伯克利分校的计算机科学家埃里克·布鲁尔(Eric Brewer)在 2000 年的 ACM PODC 上提出的一个猜想。2002 年,麻省理工学院的赛斯·吉尔伯特(Seth Gilbert)和南希·林奇(Nancy Lynch)发表了布鲁尔猜想的证明,使

    2024年01月25日
    浏览(37)
  • <基础数学> 平面向量基本定理

    向量平行 a ⃗ / / b ⃗ ( b ⃗ ≠ 0 ⃗ )的充要条件是 vec{a} // vec{b}( vec{b}neq vec{0})的充要条件是 a // b ( b  = 0 )的充要条件是 x 1 y 2 − y 1 x 2 = 0 x_1y_2-y_1x_2=0 x 1 ​ y 2 ​ − y 1 ​ x 2 ​ = 0 向量垂直 a ⃗ ⊥ b ⃗ ⇔ a ⃗ ⋅ b ⃗ = 0 , vec{a} bot vec{b} Leftrightarrow vec{a}

    2024年04月26日
    浏览(29)
  • 【算法基础 & 数学】快速幂求逆元(逆元、扩展欧几里得定理、小费马定理)

    原文链接 首先,在算法竞赛中,很多情况下会遇到数值很大的数据,这个时候,题目往往会让我们对某个数去摸,来控制数据范围。 在±*运算中,我们可以对每个数单独取模,然后再对运算之后的数取模。 但是除法比较特殊,例如: ( 40 ÷ 5 ) m o d 10 ≠ ( ( 40 m o d 10 ) ÷ ( 5

    2024年01月23日
    浏览(49)

觉得文章有用就打赏一下文章作者

支付宝扫一扫打赏

博客赞助

微信扫一扫打赏

请作者喝杯咖啡吧~博客赞助

支付宝扫一扫领取红包,优惠每天领

二维码1

领取红包

二维码2

领红包