MathLabs
定理証明済み

円周角の定理

内容

中心 OO の円周上に点 AA、BB、CC をとる。円周角 ∠ACB\angle ACB は同じ弧 ABAB に対する中心角 ∠AOB\angle AOB の半分に等しく、∠ACB=12∠AOB\angle ACB = \tfrac{1}{2}\angle AOB が成り立つ。したがって同じ弧に対する円周角はすべて等しく、半円に内接する角はつねに直角(90∘90^\circ)である。

なぜ正しいのか?

円周上のすべての点は中心 OO から同じ距離 RR にあるため、頂点 CC から AA または BB へ引いた弦は二つの半径とともに二等辺三角形をつくる。中心 OO における外角はその二等辺三角形の二つの等しい底角の和に等しく、だからこそ円の反対側の縁から弧 ABAB を見込む角は中心 OO から見込む角のちょうど半分になる。

証明の概略

まず、CC と OO を通る直径 CDCD が円周角の一辺である場合(すなわち B=DB = D)を考える。このとき △OAC\triangle OAC は OA=OCOA = OC の二等辺三角形であるから ∠OCA=∠OAC\angle OCA = \angle OAC であり、点 OO における外角は ∠AOB=∠OCA+∠OAC=2∠ACB\angle AOB = \angle OCA + \angle OAC = 2\angle ACB を満たす。一般の場合は直径 CDCD を引き、弧 ADAD と弧 BDBD に対する二つの直径の場合を足し合わせるか引き算することで ∠ACB=12∠AOB\angle ACB = \tfrac{1}{2}\angle AOB を得る。

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Euclid (translated by Thomas L. Heath) (1956). The Thirteen Books of Euclid's Elements, Vol. 2 (Book III, Propositions 20–21, 31)
  2. H. S. M. Coxeter, S. L. Greitzer (1967). Geometry Revisited · DOI:10.5948/UPO9780883859346