MathLabs
定理已证明

圆周角定理与泰勒斯半圆推论

命题陈述

对于圆 (O,R)(O, R) 上的任意三点,圆周角等于同弧所对圆心角的一半:∠ACB=12∠AOB\angle ACB = \dfrac{1}{2}\angle AOB。特别地,当弦 ABAB 是直径时,它所对的每个圆周角都是直角(∠ACB=90∘\angle ACB = 90^\circ)。

为什么成立?

由于圆的所有半径长度完全相等,将圆心与三个顶点相连会把图形分割为等腰三角形;对这些等腰三角形应用外角定理,圆周角的每一半都会立即加倍成为圆心角的相应部分。

证明思路

第一步(从顶点引直径并利用等腰三角形)。作经过顶点与圆心的直径 CDCD。由于两条半径长度相等 OA=OC=ROA = OC = R,三角形 △OAC\triangle OAC 是以圆心为顶点的等腰三角形,因此它的两个底角相等:∠OCA=∠OAC\angle OCA = \angle OAC。

第二步(对左右两半应用外角定理)。圆心处的外角等于两个不相邻内角之和,从而得出 ∠AOD=∠OCA+∠OAC=2∠OCA\angle AOD = \angle OCA + \angle OAC = 2\angle OCA。对 △OBC\triangle OBC 应用完全相同的等腰三角形论证,可得 ∠BOD=2∠OCB\angle BOD = 2\angle OCB。

第三步(合并两半并导出泰勒斯定理)。将两个圆心角相加(当圆心位于圆周角外部时则相减),得到 ∠AOB=∠AOD+∠BOD=2(∠OCA+∠OCB)=2∠ACB\angle AOB = \angle AOD + \angle BOD = 2(\angle OCA + \angle OCB) = 2\angle ACB。在弦为直径的特殊情况下,圆心角为平角(∠AOB=180∘\angle AOB = 180^\circ),立即给出泰勒斯半圆定理 ∠ACB=12⋅180∘=90∘\angle ACB = \dfrac{1}{2} \cdot 180^\circ = 90^\circ。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. Euclid (trans. Thomas L. Heath) (1956). Euclid's Elements (Books I–XIII)
  2. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited