この円周角の定理はなぜ成り立つのでしょうか?
成り立つことを確かめる方法として以下のタレスの定理の証明方法を利用します。
タレスの定理
タレスの定理とは
円周上に円の直径の端点\text{A,
C}とそれ以外の任意の点\text{B}をおくと、∠\text{ABC}=90°(直角)となる。
という定理です。
これが成り立つことを確かめる方法は以下のようになります。
上図のように円周上に円\text{O}の直径の端点\text{A,
C}、それ以外の点\text{B}をおきます。
\text{OA, OB, OC}はそれぞれ円\text{O}の半径なので△\text{OAB, }△\text{OBC}は二等辺三角形となります。
\text{OA, OB, OC}はそれぞれ円\text{O}の半径なので△\text{OAB, }△\text{OBC}は二等辺三角形となります。
△\text{OAB,
}△\text{OBC}の底角をそれぞれ\alpha,\betaとすると△\text{ABC}の内角は
2\alpha+2\beta=180°
となります。
これの両辺を2で割れば
\alpha+\beta=90°
となります。
∠\text{ABC}=α+βなので、点\text{B}が\text{A,
C}以外のどこにあっても常に∠\text{ABC}=90°が成り立ちます。
このときできる二等辺三角形の頂角の外角に着目して円周角の定理を確かめます。
円周角の定理
円\text{O}の円周上に異なる3点\text{A, B,
C}をおき、円周角∠\text{ABC}について考えます。
1. 弧\text{AC}の長さが円周の半分より長いとき
半径\text{OA,
OC}と直径\text{BD}を引きます。このとき\text{OA}=\text{OB}=\text{OC}なので△\text{OAB,
}△\text{OBC}は二等辺三角形となります。
△\text{OAB, }△\text{OBC}の底角をそれぞれα,β、すなわち
∠\text{ABC}=\alpha+\beta
となります。この角は点\text{B}を含まないほうの弧\text{AC}に対する円周角となります。
\begin{align*}∠\text{OAB}=∠\text{OBA}&=\alpha\\[0.5em]∠\text{OBC}=∠\text{OCB}&=\beta\end{align*}
とすると、∠\text{ABC}は∠\text{ABC}=\alpha+\beta
となります。この角は点\text{B}を含まないほうの弧\text{AC}に対する円周角となります。
また、△\text{OAB, }△\text{OBC}それぞれの頂角の外角∠\text{AOD,
}∠\text{COD}に着目すると∠\text{AOD}=2α,∠\text{COD}=2βとなります。
したがって、同じ弧に対する中心角∠\text{AOC}は
このことから円周角の定理の「1つの弧に対する中心角の大きさは、同じ弧に対する円周角の大きさの2倍である。」が成り立っていることがわかります。
\begin{align*}∠\text{AOC}&=2\alpha+2\beta\\[0.5em]&=2(\alpha+\beta)\\[0.5em]\therefore∠\text{AOC}&=2∠\text{ABC}\end{align*}
となります。
このことから円周角の定理の「1つの弧に対する中心角の大きさは、同じ弧に対する円周角の大きさの2倍である。」が成り立っていることがわかります。
また、これは同一の弧\text{AC}上の点\text{A,
C}を除いたどの位置に点\text{B}があっても常に成り立ちます。すなわち、円周角の定理の「1つの弧に対する円周角の大きさは一定である。」が成り立っているということです。
2. 弧\text{AC}の長さが円周の半分に等しいとき
これは先ほどのタレスの定理の証明法の図に頂角の外角を書き込む形となります。
\text{BO}を延長して直径\text{BD}を引きます。タレスの定理で導出した通り∠\text{ABC}=α+β=90°であり、この角は点\text{B}を含まないほうの弧\text{AC}に対する円周角です。
1.と同様に外角の定理より∠\text{AOD}=2α,∠\text{COD}=2βなので、同じ弧に対する中心角∠\text{AOC}は
\begin{align*}∠\text{AOC}&=2(\alpha+\beta)\\[0.5em]&=2∠\text{ABC}\\[0.5em]\therefore∠\text{AOC}&=180°\end{align*}
となります。
3. 弧\text{AC}の長さが円周の半分より短いとき
点\text{B}を含まないほうの弧\text{AC}の長さが円周の半分より短いときを考えます。
1.の場合と異なり、点\text{B}の位置によって中心角と円周角の関係の求め方が変わります。
3-1. △\text{ABC}の内部に中心\text{O}があるとき
\text{OA, OC}と\text{OB}を延長した直径\text{BD}を引きます。
二等辺三角形△\text{OAB, }△\text{OBC}の底角をそれぞれα,βとすると、∠\text{ABC}は∠\text{ABC}=α+βとなります。この角は点\text{B}を含まないほうの弧\text{AC}に対する円周角です。
また、外角の定理より∠\text{AOD}=2α,∠\text{COD}=2βとなるので、同じ弧に対する中心角∠\text{AOC}は
\begin{align*}∠\text{AOC}&=2\alpha+2\beta\\[0.5em]&=2(\alpha+\beta)\\[0.5em]\therefore∠\text{AOC}&=2∠\text{ABC}\end{align*}
となります。
これは弧\text{AC}上の△\text{ABC}の内部に中心\text{O}があるような位置に点\text{B}がある限り常に成り立ちます。
3-2. △\text{ABC}の辺上に中心\text{O}があるとき
\text{OA,
OB}を引くとこれらは円\text{O}の半径なので△\text{OAB}は二等辺三角形となります。
△\text{OAB}の底角をαとすると、点\text{B}を含まないほうの弧\text{AC}に対する円周角∠\text{ABC}は∠\text{ABC}=αとなります。
また、外角の定理より同じ弧に対する中心角∠\text{AOC}は
\begin{align*}∠\text{AOC}&=2\alpha\\[0.5em]\therefore∠\text{AOC}&=2∠\text{ABC}\end{align*}
となります。これは\text{AB}上に中心\text{O}がある場合でも同様です。
3-3. △\text{ABC}の外部に中心\text{O}がある場合
△\text{ABC}の外部に中心\text{O}があるように点\text{B}をおいたときを考えます。ここでは上図のように点\text{B}が点\text{C}より点\text{A}に近い場合を考えます。
\text{OA, OC}と\text{OB}を延長した直径\text{BD}を引きます。
二等辺三角形△\text{OAB, }△\text{OBC}の底角をそれぞれα,βとすると、∠\text{ABC}は∠\text{ABC}=α-βとなります。この角は点\text{B}を含まないほうの弧\text{AC}に対する円周角です。
また、外角の定理より∠\text{AOD}=2α,∠\text{COD}=2βとなるので、同じ弧に対する中心角∠\text{AOC}は
\begin{align*}∠\text{AOC}&=2\alpha-2\beta\\[0.5em]&=2(\alpha-\beta)\\[0.5em]\therefore∠\text{AOC}&=2∠\text{ABC}\end{align*}
となります。これは点\text{B}が点\text{A}より点\text{C}に近い場合でも同様です。
したがって、弧\text{AC}上の△\text{ABC}の外部に中心\text{O}があるような位置に点\text{B}がある限り常に成り立ちます。
3-1.、3-2.、3-3.より常に∠\text{AOC}=2∠\text{ABC}が成り立つことがわかります。
1.、2.、3.より3点\text{A, B, C}を円周上にどのように配置しても
という円周角の定理が成り立つことを確かめることができました。
- 1つの弧に対する中心角の大きさは同じ弧に対する円周角の大きさの2倍である。
- 1つの弧に対する円周角の大きさは一定である。
また、これに関連して
等しい弧に対する円周角の大きさは等しい
というものがあります。
これが成り立つことを確かめてみます。
円周に対する弧の長さの割合は、円の中心角に対するおうぎ形の中心角の割合に等しいため、等しい弧をもつおうぎ形\text{OAB,
OCD}それぞれの中心角∠\text{AOB, }∠\text{COD}も等しくなります。
すると、円周角の定理よりそれぞれの弧に対する円周角は中心角の半分の大きさとなるため、等しい弧\text{AB,
CD}それぞれに対する円周角も等しくなることがわかります。
(2024/9)一部数式が表示されない不具合を修正&加筆
Share: