中等教育前期の数学/幾何編/下巻/円のソースを表示

{{Pathnav|メインページ|小学校・中学校・高等学校の学習|中高一貫校の学習|中等教育前期の数学|中等教育前期の数学/幾何編/下巻|frame=1}}
==円周角と中心角==
[[ファイル:円周角1.jpg|frame|right|円周角と中心角]]
中心がOである円を円Oと呼ぶ。円Oにおいて、円周上の2点A , Bをとったとき、AからBまでの円周の部分を '''弧AB''' （こAB）といい、<math style="vertical-align:-4%">\begin{array}{c}\frown\\[-9pt] \scriptstyle \rm AB\end{array}</math>と書く。<math>\angle AOB</math> を弧ABに対する '''中心角'''（ちゅうしんかく、英：central angle） という。また、弧ABを'''中心角 <math>\angle AOB</math> に対する弧'''（こ、英：arc）という。

円Oの周上の点で、弧AB上にはない点Pをとったとき、<math>\angle APB</math> を弧ABに対する '''円周角'''（えんしゅうかく、英：inscribed angle） という。また、弧ABを'''円周角 <math>\angle APB</math> に対する弧'''という。

右の図のように、弧ABに対する円周角は <math>\angle APB\  ,\  \angle AP'B\  ,\  \angle AP''B</math> のようにいくつもできる。しかし、弧ABに対する中心角 <math>\angle AOB</math> は1つに決まる

==円周角の定理==
中心角と円周角には次の性質がある。

{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''円周角の定理'''
|-
|style="padding:5px"|
1つの弧に対する円周角の大きさは一定であり、その弧に対する中心角の半分である。
|}

この定理を証明するためには、円Oの弧ABに対する円周角の1つを <math>\angle APB</math> として、<math>\angle APB = \frac{1}{2} \angle AOB</math> を示せばよい。

===中心Oが 直線PAまたは直線PB上にある場合===
[[ファイル:円周角2.jpg|frame|right|中心Oが <math>\angle APB</math> の辺上にある場合]]
Oが直線PB上にある場合について示せば十分である。<math>\angle AOB</math> は <math>\triangle AOP</math> の外角であるから、三角形の1つの外角はそれととなり合わない2つの内角の和に等しいので
:<math>
\angle AOB = \angle APO + \angle PAO \cdots \cdots (1)
</math>
<math>\triangle AOP</math> の辺OP , OAは等しいから
:<math>
\angle APO = \angle PAO \cdots \cdots (2)
</math>
(1)、(2)より
:<math>
\angle AOB = 2 \angle APO
</math>
したがって
:<math>
\angle APB = \frac{1}{2} \angle AOB
</math>
よって、中心Oが 直線PB上にある場合、<math>\angle APB = \frac{1}{2} \angle AOB</math> が成り立つ。

===中心Oが <math>\angle APB</math> の内部にある場合===
[[ファイル:円周角3.jpg|frame|right|中心Oが <math>\angle APB</math> の内部にある場合]]
直線POと円Oとの交点のうちPでない方をCとすると、<math>\angle AOC</math> は <math>\triangle AOP</math> の外角であるから
:<math>
\angle AOC = \angle APO + \angle PAO
</math>
<math>\triangle AOP</math> の辺OP , OAは等しいから
:<math>
\angle APO = \angle PAO 
</math>
したがって
:<math>
\angle AOC = 2 \angle APO \cdots \cdots (1)
</math>

<math>\angle BOC</math> は <math>\triangle BOP</math> の外角であるから
:<math>
\angle BOC = \angle BPO + \angle PBO
</math>
<math>\triangle BOP</math> の辺OP , OBは等しいから
:<math>
\angle BPO = \angle PBO 
</math>
したがって
:<math>
\angle BOC = 2 \angle BPO \cdots \cdots (2)
</math>

(1)と(2)の左辺どうしと右辺どうしをそれぞれ加えると
:<math>
\angle AOC + \angle BOC = 2 (\angle APO + \angle BPO)
</math>
したがって
:<math>
\angle AOB = 2 \angle APB
</math>
すなわち
:<math>
\angle APB = \frac{1}{2} \angle AOB
</math>

よって、中心Oが <math>\angle APB</math> の内部にある場合、<math>\angle APB = \frac{1}{2} \angle AOB</math> が成り立つ。

===中心Oが <math>\angle APB</math> の外部にある場合===
[[ファイル:円周角4.jpg|frame|right|中心Oが <math>\angle APB</math> の外部にある場合]]
直線POと円Oとの交点のうちPでない方をCとすると、<math>\angle AOC</math> は <math>\triangle AOP</math> の外角であるから
:<math>
\angle AOC = \angle APO + \angle PAO
</math>
<math>\triangle AOP</math> の辺OP , OAは等しいから
:<math>
\angle APO = \angle PAO 
</math>
したがって
:<math>
\angle AOC = 2 \angle APO \cdots \cdots (1)
</math>

<math>\angle BOC</math> は <math>\triangle BOP</math> の外角であるから
:<math>
\angle BOC = \angle BPO + \angle PBO
</math>
<math>\triangle BOP</math> の辺OP , OBは等しいから
:<math>
\angle BPO = \angle PBO 
</math>
したがって
:<math>
\angle BOC = 2 \angle BPO \cdots \cdots (2)
</math>

(1)と(2)の左辺どうしと右辺どうしをそれぞれひくと
:<math>
\angle AOC - \angle BOC = 2 (\angle APO - \angle BPO)
</math>
したがって
:<math>
\angle AOB = 2 \angle APB
</math>
すなわち
:<math>
\angle APB = \frac{1}{2} \angle AOB
</math>

よって、中心Oが <math>\angle APB</math> の外部にある場合、<math>\angle APB = \frac{1}{2} \angle AOB</math> が成り立つ。

以上で考えられるすべてのPの位置について証明されたので、「1つの弧に対する円周角の大きさはすべて等しい」ことが成り立つことがわかった。

===半円の弧に対する円周角===
半円の弧に対する中心角は <math>180{}^\circ</math> であるから、円周角は <math>90{}^\circ</math> である。半円の弧に対する弦は直径であるから、次の定理が得られる。

{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''直径と円周角(ターレスの定理)'''
|-
|style="padding:5px"|
[[ファイル:円周角5.jpg|right]]
線分ABを直径とする円の周上にA、Bと異なる点Pをとれば
:<math>
\angle APB = 90{}^\circ
</math>
である。
|}

==円周角と弧==
[[ファイル:円周角6.jpg|frame|right|円周角と弧]]
右の図の円Oで、円周角 <math>\angle APB\  ,\  \angle CQD</math> が等しい場合、円周角の定理により
:<math>
\angle AOB = 2 \angle APB \cdots \cdots (1)
</math>
:<math>
\angle COD = 2 \angle CQD  \cdots \cdots (2)
</math>
となる。

<math>\angle APB = \angle CQD</math> であるから、(1)、(2)より
:<math>
\angle AOB = \angle COD
</math> 
となる。

1つの円において等しい中心角に対する弧の長さは等しいので、
:<math style="vertical-align:-4%">\begin{array}{c}\frown\\[-9pt] \scriptstyle \rm AB\end{array} = \begin{array}{c}\frown\\[-9pt] \scriptstyle \rm CD\end{array}</math>
が成り立つ。


また、右の図の円Oで、<math style="vertical-align:-4%">\begin{array}{c}\frown\\[-9pt] \scriptstyle \rm AB\end{array}\  ,\  \begin{array}{c}\frown\\[-9pt] \scriptstyle \rm CD\end{array}</math>が等しい場合、1つの円において等しい長さの弧に対する中心角は等しいので
:<math>
\angle AOB = \angle COD
</math>
となる。

よって、円周角の定理により
:<math>
\angle APB = \angle CQD
</math>
が成り立つ。


{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''円周角と弧'''
|-
|style="padding:5px"|
1つの円において
#　等しい円周角に対する弧は等しい。
#　等しい弧に対する円周角は等しい。
|}

==円周角の定理の逆==
円Oの周上の点をA,B,Cとし、<math>\angle ACB = \angle a</math> とする。また、直線ABについて点Cと同じ側に点Pをとる。このとき、Pが円Oの周上、内部、外部にある場合について、<math>\angle APB</math> と <math>\angle a</math> との大きさを比べる。

===点Pが円Oの周上にある場合===
[[ファイル:円周角7.jpg|frame|right|点Pが円Oの周上にある場合]]
円周角の定理により
:<math>
\angle APB = \angle a
</math>

===点Pが円Oの内部にある場合===
[[ファイル:円周角8.jpg|frame|right|点Pが円Oの内部にある場合]]
APの延長と円周の交点をQとする。<math>\angle APB</math> は <math>\triangle PBQ</math> における <math>\angle P</math> の外角であるから
:<math>
\angle APB = \angle PQB + \angle PBQ
</math>
となる。
円周角の定理により、<math>\angle AQB = \angle ACB = \angle a</math> であるから、
:<math>
\angle APB = \angle a + \angle PBQ
</math>
よって
:<math>
\angle APB > \angle a
</math>

===点Pが円Oの外部にある場合===
[[ファイル:円周角9.jpg|frame|right|点Pが円Oの外部にある場合]]
APと円周の交点をQとする。<math>\angle AQB</math> は <math>\triangle QBP</math> における <math>\angle Q</math> の外角であるから
:<math>
\angle AQB = \angle QPB + \angle PBQ
</math>
となる。
円周角の定理により、<math>\angle AQB = \angle ACB = \angle a</math> であるから、
:<math>
\angle a = \angle APB + \angle PBQ
</math>
式を変形すると
:<math>
\angle APB = \angle a - \angle PBQ
</math>
よって
:<math>
\angle APB < \angle a
</math>

===円周角の定理の逆===
上で調べたことから、点Pを直線ABについて点Cと同じ側にとったとき
:<math>
\angle APB = \angle a
</math>
ならば、点Pは円Oの周上にあることがわかった。したがって、円周角の定理の逆として次のようにまとめられる。

{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''円周角の定理の逆'''
|-
|style="padding:5px"|
[[ファイル:円周角10.jpg|frame|right|円周角の定理の逆]]
4点A,B,P,Qについて、P,Qが直線ABについて同じ側にあるとき，
:<math>
\angle APB = \angle AQB
</math>
ならば，この4点は1つの円周上にある。
|}

==円周角の定理の応用==
===円の接線===
まずは1年生で学んだ円の接線について復習する。

直線が円とただ1点で出あうとき、この直線は円に'''接する'''（せっする）といい、この直線を円の '''接線'''（せっせん、英：tangent） といい、出あう1点を '''接点'''（せってん、英：point of contact） という。
{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''円の接線'''
|-
|style="padding:5px"|
[[ファイル:円周角11.jpg|frame|right|円の接線]]
円の接線は、接点を通る半径に垂直である。
|}

===円外の点からの接線===
[[ファイル:円周角12.jpg|frame|right|円外の点からの接線]]
円O外の点Aから円Oにひけたとし、その接点をP,P'とする。
AP,AP'は円Oの接線であるから、
:<math>
\angle APO = 90{}^\circ
</math>
:<math>
\angle AP'O = 90{}^\circ
</math>
であるから、点P,P'はAOを直径上とする円周上にあることがわかる。


このことをふまえて、円O外の点Aから円Oに接線をひくには、次のようにすればよい。
[[ファイル:円周角13.jpg|frame|right|円外の点からの接線のひき方]]
#　点AとOを結ぶ。
#　線分AOの垂直二等分線をひき、AOとの交点をO'とする。
#　点O'を中心として半径OO'の円を書き、円Oとの交点をP,P'とする。
#　直線AP,AP'をひく。

===接線の長さ===
[[ファイル:円周角14.jpg|frame|right|接線の長さの証明]]
<math>\triangle APO</math> と <math>\triangle AP'O</math> において

AP,AP'は接線だから
:<math>
\angle APO = \angle AP'O = 90{}^\circ \cdots \cdots (1)
</math>
共通な辺だから
:<math>
AO = AO = \cdots \cdots (2)
</math>
円Oの半径だから
:<math>
OP = OP' \cdots \cdots (3)
</math>
(1)、(2)、(3)より斜辺と他の1辺がそれぞれ等しいから
:<math>
\triangle APO \equiv \triangle AP'O
</math>
したがって、<math>AP = AP'</math>


線分APまたはAP'の長さを、Aから円Oにひいた'''接線の長さ'''という。

上で調べたことから、次のようにまとめられる。
{| style="border:2px solid magenta;width:80%" cellspacing=0
|style="background:magenta"|'''接線の長さ'''
|-
|style="padding:5px"|
円外の1点からその円にひいた2つの接線の長さは等しい。
|}

==== 三角形の外心 ====
[[File:Perpendicular Bisector.svg|thumb|]]

:※ 検定教科書では、辺の両端の2つの頂点から等距離にある点を結んだ線分が垂直二等分線である事は、証明の不要な事実として扱っている。この性質を利用して、下記の定理が証明される。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''三角形の外心'''
|-
|style="padding:5px"|
;定理

三角形の3つの辺の垂直二等分線は1点で交わる。
|}

[[File:Circumcenter triangle proof.svg|thumb|]]

;証明

△ABCを取り、辺AB,AC のそれぞれに対して垂直二等分線を取り、2直線の交点をOとする。このとき、点OがAB,ACのそれぞれに対する垂直2等分線上にあることから
:<math>AO = OB</math> 　かつ　 <math>AO = OC</math>
であるので、
:<math>OB = OC</math>
が成り立つ。

よって点Oは辺BCの垂直二等分線上にある。　　（証明 おわり）


[[File:Circumcenter triangle.svg|thumb|300px]]
上の証明から、<math>OA = OB = OC</math> であるので、この点は三角形の3つの頂点から等距離にあることが分かるので、この点Oを中心として円を書くと、三角形ABCの頂点3つを通る円を書くことができる。

このように、三角形の3つの頂点を通る円（右図では赤線の部分）のことを'''外接円'''(がいせつえん、 英：circumscribed circle)という。

そして、外接円の中心（右図の点Oの部分）のことを、その三角形の '''外心'''（がいしん）という。

{{-}}
==== 三角形の内心 ====

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''三角形の内心'''
|-
|style="padding:5px"|
三角形の3角のそれぞれに対して角の2等分線を取ったとき、それぞれの直線は1点で交わる。
|}


* 証明
[[File:Inner center triangle.svg|thumb|300px]]

△ABCを取り、角A,Bについて角の2等分線を取り2直線の交点をIと呼ぶ。
さらに、点Iから辺BC,CA,ABに下ろした垂線とそれぞれの辺の交点をそれぞれ D,E,F と呼ぶとする。このとき、角Aの二等分線の性質から
:<math>
IE=IF
</math>
が成り立ち、同様に角Bの2等分線の性質から
:<math>
IF=ID
</math>
が成り立つので、

よって
:<math>
ID=IE
</math>
である。

したがって、点Iは角Cの二等分線上にある。（証明 おわり）


[[File:Inner center triangle proof.svg|thumb|300px]]

ID＝IE＝IF  なので、図のように三角形の三辺に接する円を書くことができ。この円を △ABCの'''内接円''' （ないせつえん、英：inscribed circle）といい、その中心Iを'''内心'''（ないしん）という。

{{-}}
* 研究
なお、三角形の内接円の半径を''r''とすると、面積''S''と三辺の長さ''a'',''b'',''c''との間に
:<math>S=\frac{1}{2}r(a+b+c)</math>
の関係式が成り立つ（△ABI、△BCI、△CAIの3つの三角形の面積を考えてみよ）。面積''S''は[[w:ヘロンの公式|ヘロンの公式]]を用いれば三辺の長さから計算できるので、結局三辺の長さがわかっていれば内接円の半径は計算できることがわかる。

==== 三角形の垂心 ====
[[File:Orthocenter triangle.svg|thumb|]]
外心の性質を利用して、次の定理が証明できる。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''三角形の垂心'''
|-
|style="padding:5px"|
;定理
三角形の各頂点から対辺またはその延長に降ろした垂線は、1点で交わる。
|}

;証明
[[File:Orthocenter triangle proof.svg|thumb|400px]]

点Aを通り辺BCに平行な直線、点Bを通り辺CAに平行な直線、点Cを通り辺ABに平行な直線をかき、これらの直線の交点を図のようにP,Q,Rとする。

すると、四角形RBCA は平行四辺形なので、 RA ＝ BC である。
同様に、四角形ABCQ も平行四辺形なので BC＝AQ である。  
よって RA＝BC かつ BC＝AQ なので、 RA ＝ AQ である。

次に、点Aから対辺BCまたはその延長上に垂線ADを引く。
すると、 RQ // BC の仮定により、平行な2直線の同位角が等しい事を利用して、
:AD ⊥ RQ
が導かれる。したがって、この線分ADは、△RQPの辺RQの垂直二等分線である。

同様に考えると、頂点Bから辺ACまたはその延長上に降ろした垂線BEは辺RPの垂直二等分線であり、頂点Cから辺ABまたはその延長上に降ろした垂線CFは辺PQの垂直二等分線であることがわかる。

この3本の垂直二等分線は、△RQPの外心で交わる。すなわち△ABCの各頂点から対辺に引いた3本の垂線 AD,BE,CF は一点で交わる。

==== 三角形の角の二等分線と辺の比 ====
三角形の角の二等分線に関して、次のことが成り立つ。
{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''三角形の角の2等分線と辺の比'''
|-
|style="padding:5px"|
<math>\triangle ABC</math> の <math>\angle A</math> の二等分線と辺BCとの交点をDとすると、<math>AB:AC=BD:DC</math> となる。
|}

* 証明
<math>\angle A</math> の2等分線と辺BCとの交点がDだから
:<math>\angle BAD = \angle DAC</math>
Cを通りADに平行な直線とBAの延長との交点をEとする。<br>
ADとECは平行であるから
:<math>\angle BAD = \angle AEC</math>
:<math>\angle DAC = \angle ACE</math>
上の3つの式から
:<math>\angle AEC = \angle ACE</math>
よって
:<math>AE=AC</math> ……(1)
また、ADとECは平行であるから
:<math>BD:DC=BA:AE</math> ……(2)
(1)と(2)より
:<math>AB:AC=BD:DC</math>


三角形の外角の2等分線に関して、次のことが成り立つ。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''三角形の外角の二等分線と辺の比'''
|-
|style="padding:5px"|
<math>\triangle ABC</math> の <math>\angle A</math> の外角の二等分線と辺BCの延長との交点をDとすると、<math>AB:AC=BD:DC</math> となる。ただし、<math>AB \ne AC</math> とする。
|}

* 証明
Cを通りADに平行な直線とABの延長との交点をEとすると、上の定理と同様に
:<math>BD:DC=BA:AE=AB:AC</math>

=== 円の性質 ===
==== 円周角の定理の逆 ====
円周上に3点A,B,Cがある。直線ABについて点Cと同じ側に点Pをとり、<math>\angle APB</math> と <math>\angle ACB</math> の大きさを比べる。

点Pについては、
:(1)　Pが円周上にある
:(2)　Pが円の内部にある
:(3)　Pが円の外部にある
のいずれかである。

(2)の場合、三角形の外角と内角の間の大小関係より
:<math>
\angle APB > \angle ACB  
</math>
(3)の場合も、三角形の外角と内角の間の大小関係より
:<math>
\angle APB < \angle ACB  
</math>
この結果、次のことがいえる。

:(1)　Pが円周上にある <math>\Rightarrow \angle APB = \angle ACB </math>
:(2)　Pが円の内部にある <math>\Rightarrow \angle APB > \angle ACB </math>
:(3)　Pが円の外部にある <math>\Rightarrow \angle APB < \angle ACB </math>


このことから、次のようなことがいえる。
{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''円周角の定理の逆'''
|-
|style="padding:5px"|
2点C,Pが直線ABについて同じ側にあるとき、<math>\angle APB = \angle ACB </math> ならば、4点A,B,C,Pは同じ円周上にある。
|}

==== 円に内接する四角形 ====
上の議論から三角形に外接する円はどのような三角形を取ったとしても常に存在
することが分かった。しかし、四角形に関してはそれに対して外接するような
円は常に存在するわけではない。
一般に円に内接するような四角形に関しては以下の性質が成り立つ。


{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''円に内接する四角形の性質(1)'''
|-
|style="padding:5px"|
円に内接する四角形の相対する角の和は<math>180^\circ</math>となる。
|}

* 証明
内接する四角形の頂点を反時計回りにA,B,C,Dとする。
このとき、角A,角Cはそれぞれ点B,Dを対応する端点とする円弧に対する円周角となっている。ただし、角Aと角Cは互いに逆の円弧を対応する弧としているため、2つの弧を合わせるとそれらの弧はちょうど円周をおおうことになる。
このため、これらの2つの弧に対応する中心角の和は<math>360^\circ</math>に対応し、同じ弧に対応する円周角の和は
<math>180^\circ</math>に対応するのである。


また、円に内接する四角形に関して以下の性質も成り立つ。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''円に内接する四角形の性質(2)'''
|-
|style="padding:5px"|
円に内接する四角形において、1つの内角は、それに向かい合う内角の隣にある外角に等しい。
|}

* 導出
円に内接する四角形ABCDにおいて、上の定理より
:<math>
\angle A + \angle C = 180^\circ 
</math>
また、頂点Cにおける外角を <math>\angle DCE</math> とすると、<math>\angle DCE + \angle C = 180^\circ</math> であるから
:<math>
\angle A = \angle DCE 
</math>


円に内接する四角形の性質の逆について考えてみよう。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''四角形が円に内接する条件'''
|-
|style="padding:5px"|
(1)　向かい合う内角の和が<math>180^\circ</math>の四角形は、円に内接する。

(2)　1つの内角が、それに向かい合う内角の隣にある外角に等しい四角形は、円に内接する。
|}

* 証明
'''(1)の証明'''

四角形ABCDで、
:<math>\angle B + \angle D = 180^\circ</math> …(1)
とする。

<math>\triangle ABC</math>の外接円Oを書き、円Oに内接する四角形ABCD'を作ると
:<math>\angle B + \angle D' = 180^\circ</math> …(2)
(1),(2)より
:<math>
\angle D = \angle D'
</math>
したがって、円周角の定理の逆から、点Dはこの円Oの周上にある。

よって、四角形ABCDは円に内接する。

'''(2)の証明'''

四角形ABCDで、頂点Cにおける外角を <math>\angle DCE</math> として、
:<math>
\angle A = \angle DCE 
</math>
とする。
:<math>
\angle DCE + \angle C = 180^\circ
</math>
であるから
:<math>
\angle A + \angle C = 180^\circ 
</math>
四角形が円に内接する条件(1)より、向かい合う内角の和が<math>180^\circ</math>であるから、四角形ABCDは円に内接する。


==== 接線の長さ ====
円Oの外の点Aからその円に2本の接線を引ける。その接点をP,Qとするとき、線分AP,AQの長さを、円Oの外の点Aから円Oに引いた'''接線の長さ'''という。

2つの接線の長さについて、次のことがいえる。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''接線の長さ'''
|-
|style="padding:5px"|
円外の点からその円に引いた2本の接線の長さは等しい。
|}

* 導出
直角三角形APO,AQOにおいて

:<math>PO=QO</math> …(I)

:<math>AO</math>は共通 …(II)
(I),(II)より
:<math>
\triangle APO \equiv \triangle AQO
</math>
よって、対応する辺APとAQは等しい。


==== 接弦定理 ====
円周上の点Aを通る接線ATがあって、円周上に2点B,Cをとるとき、<math>\angle TAB </math> と円周角 <math>\angle ACB </math> の大きさには、次のような関係がある。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''接弦定理'''
|-
|style="padding:5px"|
円の弦とその一端から引いた接線とのなす角は、その角内にある弧に対する円周角に等しい。
|}

* 証明
<math>\angle TAB </math> が鋭角の場合について考える。

直径ADを引くと、<math>\angle TAD = 90^\circ</math> であるから、

:<math>\angle TAB = 90^\circ - \angle BAD</math> …(1)

また、ADは直径であるから

:<math>\angle ACD = 90^\circ</math>
:<math>\angle ACB = 90^\circ - \angle BCD</math> …(2)

<math>\angle BAD</math> と <math>\angle BCD</math> は弧BDに対する円周角であるから
:<math>\angle BAD = \angle BCD</math> …(3)

(1),(2),(3)より
:<math>
\angle TAB = \angle ACB
</math>

<math>\angle TAB </math> が直角、鈍角の場合についても同様に証明できる。

==== 方べきの定理 ====
中心Oとする円について次の定理が成り立つ。

{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''方べきの定理'''
|-
|style="padding:5px"|
円周上に異なった2点A,Bを取りその2点を通る直線を取る。また、同様に
A,Bと異なった2点C,Dを通りそれらを通過する直線を取り、直線ABと直線CDの
交点をEと取る。このとき、
:<math>
AE \times BE = CE \times DE
</math>
が成り立つ。この定理を'''方べきの定理'''と呼ぶ。
|}


* 証明
まず、点Eが円の外部にある場合を考える。このとき、直線AB上で点Eに近い点を点B,
直線CD上で点Eに近い点を点Cとおいたとき、三角形ECBと三角形EADが相似であることを
示す。

* 図
まず、四角形ABCDは円に内接していることから、
:<math>
\angle DAE, \angle BCE
</math>
について、
:<math>
\angle DAE= \angle BCE
</math>
が成立する。これは円に内接する四角形の相対する角の和が<math>180^\circ</math>になることに
よっている。同様にして
:<math>
\angle ADE= \angle CBE
</math>
が成立し、2角が等しいことから三角形ECBと三角形EADは相似となる。
このことから、
:<math>
EC : EA = EB : ED
</math>
となるが、このことは
:<math>
EA \times EB = EC \times ED
</math>
に等しい。

次に、点Eが円の内部にある場合を考える。

* 図
このとき三角形EADと三角形EBCが互いに相似であることを示す。
最初に
:<math>
\angle AED,\angle CEB
</math>
についてこれらが互いの対頂角であることから
:<math>
\angle AED= \angle CEB
</math>
が成り立つ。次に、
:<math>
\angle EAD,\angle ECB
</math>
についてこれらが円周BDの円周角であることから
:<math>
\angle EAD=\angle ECB
</math>
が成り立つ。よって、2角が等しいことから三角形EADと三角形EBCは
互いに相似である。このことから
:<math>
EC : EA = EB : ED
</math>
となるが、このことは
:<math>
EA \times EB = EC \times ED
</math>
に等しい。
よって、どちらの場合にも方べきの定理が示された。


また、中心Oとする円の弦と接線について次の定理が成り立つ。
{| style="border:2px solid yellow;width:80%" cellspacing=0
|style="background:yellow"|'''方べきの定理(2)'''
|-
|style="padding:5px"|
円の弦ABの延長上の点Pから円に引いた接線をPTとする。このとき、
:<math>
PA \times PB = PT^2
</math>
が成り立つ。
|}

* 証明
<math>\triangle PAT</math> と <math>\triangle PTB</math> において

接弦定理より
:<math>\angle ATP = \angle TBP</math> …(II)
:<math>\angle APT = \angle TPB</math>（共通） …(II)

だから、<math>\triangle PAT</math> と <math>\triangle PTB</math> は相似

よって、
:<math>
PA:PT=PT:PB
</math>
したがって、
:<math>
PA \times PB = PT^2
</math>

==== 2つの円の位置関係 ====
2つの円を取ったときこれらはいくつかの仕方で関係する。2つの円の関係は2つの円の中心間の距離と、2円の半径によって定まる。
2円の距離をそれぞれ<math>r _1</math>,<math>r _2</math>(<math>r _1>r _2</math>),中心間の距離を<math>l</math>とすると、2円の位置関係として
:<math>l < r _1 - r _2 </math>のとき、円2は円1に含まれている。
:<math>r _1 - r _2 = l</math>のとき、2つの円は'''内接'''している。
:<math>r _1 - r _2 < l < r _1 + r _2</math>のとき、円2と円1は互いに交わっている。
:<math>r _1 + r _2 = l</math>のとき、2つの円は'''外接'''している。
:<math>r _1 + r _2 < l</math>のとき、2円は離れている。
がある。

2つの円がただ1つの共有点をもつとき、この2つの円は'''接する'''といい、この共有点を'''接点'''（せってん、英：point of contact）という。


1つの直線が、2つの円に接しているとき、この直線を、2つの円の'''共通接線'''という。

:<math>l < r _1 - r _2 </math>のとき、共通接線はない。
:<math>r _1 - r _2 = l</math>のとき、共通接線は1本。
:<math>r _1 - r _2 < l < r _1 + r _2</math>のとき、共通接線は2本。
:<math>r _1 + r _2 = l</math>のとき、共通接線は3本。
:<math>r _1 + r _2 < l</math>のとき、共通接線は4本。

[[カテゴリ:幾何学]]