中等教育前期の数学/幾何編/下巻/線分の比と計量
平面図形

ここでは、三角形の重心、外心、内心などについて説明する。更に、四角形が円に内接する条件や方べきの定理などについても扱う。
平面図形

三角形の頂点から相対する辺の中点に対して下ろした線分のことを 中線 (ちゅうせん)という。
平面図形

右図では、点Gが△ABCの重心である。
平面図形

△ ABC を取りBC,ACの中点をそれぞれ D, E とする。また、線分AD,BEの交点を G とする。ここで、点Eから線分ADに向かって辺BCに平行な線分を取り、 線分ADとの交点を L とする。
平面図形

このとき、三角形 GEL と、GBDは相似であり 互いの相似比は 1:2 であることを示す。 LEとBCが平行であることから、
平面図形

となり、2角が等しいことから△ GEL と △ GBD は相似である。 更に、LEとBCが平行であることから△ALEと△ADCも相似であり、その相似比は点Eが線分ACの中点であることを考えると、1:2である。よって、
平面図形

が成立し、△GELと△GBDの相似比は1:2であることがわかった。 また、△ALEと△ADCの相似から
平面図形

が得られる。これらのことからAGとADの比を計算すると、
平面図形

となり、確かに G はADを2:1に内分する点になっている。
平面図形

同様にして、頂点Cから線分ABにむかって中線AKを引き、中線AKとADとの交点をHとすると、 上記の証明と同様の論理でADは点Hにより 2:1 に内分される。
平面図形

内分の比率が同じなので、点Hと点Gは一致する。
平面図形

△ABCを取り、辺AB,AC のそれぞれに対して垂直二等分線を取り、2直線の交点をOとする。このとき、点OがAB,ACのそれぞれに対する垂直2等分線上にあることから
平面図形

であるので、
平面図形

が成り立つ。
平面図形

よって点Oは辺BCの垂直二等分線上にある。 (証明 おわり)
平面図形

上の証明から、 O A = O B = O C {\displaystyle OA=OB=OC} であるので、この点は三角形の3つの頂点から等距離にあることが分かるので、この点Oを中心として円を書くと、三角形ABCの頂点3つを通る円を書くことができる。
平面図形

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

そして、外接円の中心(右図の点Oの部分)のことを、その三角形の 外心(がいしん)という。
平面図形

△ABCを取り、角A,Bについて角の2等分線を取り2直線の交点をIと呼ぶ。 さらに、点Iから辺BC,CA,ABに下ろした垂線とそれぞれの辺の交点をそれぞれ D,E,F と呼ぶとする。このとき、角Aの二等分線の性質から
平面図形

が成り立ち、同様に角Bの2等分線の性質から
平面図形

が成り立つので、
平面図形

よって
平面図形

である。
平面図形

したがって、点Iは角Cの二等分線上にある。(証明 おわり)
平面図形

ID=IE=IF なので、図のように三角形の三辺に接する円を書くことができ。この円を △ABCの内接円 (ないせつえん、英:inscribed circle)といい、その中心Iを内心(ないしん)という。
平面図形

なお、三角形の内接円の半径をrとすると、面積Sと三辺の長さa,b,cとの間に
平面図形

の関係式が成り立つ(△ABI、△BCI、△CAIの3つの三角形の面積を考えてみよ)。面積Sはヘロンの公式を用いれば三辺の長さから計算できるので、結局三辺の長さがわかっていれば内接円の半径は計算できることがわかる。
平面図形

外心の性質を利用して、次の定理が証明できる。
平面図形

点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は、△RQPの辺RQの垂直二等分線である。
平面図形

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

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

三角形の角の二等分線に関して、次のことが成り立つ。
平面図形

∠ A {\displaystyle \angle A} の2等分線と辺BCとの交点がDだから
平面図形

Cを通りADに平行な直線とBAの延長との交点をEとする。 ADとECは平行であるから
平面図形

上の3つの式から
平面図形

よって
平面図形

また、ADとECは平行であるから
平面図形

(1)と(2)より
平面図形

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

Cを通りADに平行な直線とABの延長との交点をEとすると、上の定理と同様に
平面図形

円周上に3点A,B,Cがある。直線ABについて点Cと同じ側に点Pをとり、 ∠ A P B {\displaystyle \angle APB} と ∠ A C B {\displaystyle \angle ACB} の大きさを比べる。
平面図形

点Pについては、
平面図形

のいずれかである。
平面図形

(2)の場合、三角形の外角と内角の間の大小関係より
平面図形

(3)の場合も、三角形の外角と内角の間の大小関係より
平面図形

この結果、次のことがいえる。
平面図形

このことから、次のようなことがいえる。
平面図形

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

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

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

円に内接する四角形ABCDにおいて、上の定理より
平面図形

また、頂点Cにおける外角を ∠ D C E {\displaystyle \angle DCE} とすると、 ∠ D C E + ∠ C = 180 ∘ {\displaystyle \angle DCE+\angle C=180^{\circ }} であるから
平面図形

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

(1)の証明
平面図形

四角形ABCDで、
平面図形

とする。
平面図形

△ A B C {\displaystyle \triangle ABC} の外接円Oを書き、円Oに内接する四角形ABCD'を作ると
平面図形

(1),(2)より
平面図形

したがって、円周角の定理の逆から、点Dはこの円Oの周上にある。
平面図形

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

(2)の証明
平面図形

四角形ABCDで、頂点Cにおける外角を ∠ D C E {\displaystyle \angle DCE} として、
平面図形

とする。
平面図形

であるから
平面図形

四角形が円に内接する条件(1)より、向かい合う内角の和が 180 ∘ {\displaystyle 180^{\circ }} であるから、四角形ABCDは円に内接する。
平面図形

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

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

直角三角形APO,AQOにおいて
平面図形

(I),(II)より
平面図形

よって、対応する辺APとAQは等しい。
平面図形

円周上の点Aを通る接線ATがあって、円周上に2点B,Cをとるとき、 ∠ T A B {\displaystyle \angle TAB} と円周角 ∠ A C B {\displaystyle \angle ACB} の大きさには、次のような関係がある。
平面図形

∠ T A B {\displaystyle \angle TAB} が鋭角の場合について考える。
平面図形

直径ADを引くと、 ∠ T A D = 90 ∘ {\displaystyle \angle TAD=90^{\circ }} であるから、
平面図形

また、ADは直径であるから
平面図形

∠ B A D {\displaystyle \angle BAD} と ∠ B C D {\displaystyle \angle BCD} は弧BDに対する円周角であるから
平面図形

(1),(2),(3)より
平面図形

∠ T A B {\displaystyle \angle TAB} が直角、鈍角の場合についても同様に証明できる。
平面図形

中心Oとする円について次の定理が成り立つ。
平面図形

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

まず、四角形ABCDは円に内接していることから、
平面図形

について、
平面図形

が成立する。これは円に内接する四角形の相対する角の和が 180 ∘ {\displaystyle 180^{\circ }} になることに よっている。同様にして
平面図形

が成立し、2角が等しいことから三角形ECBと三角形EADは相似となる。 このことから、
平面図形

となるが、このことは
平面図形

に等しい。
平面図形

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

このとき三角形EADと三角形EBCが互いに相似であることを示す。 最初に
平面図形

についてこれらが互いの対頂角であることから
平面図形

が成り立つ。次に、
平面図形

についてこれらが円周BDの円周角であることから
平面図形

が成り立つ。よって、2角が等しいことから三角形EADと三角形EBCは 互いに相似である。このことから
平面図形

となるが、このことは
平面図形

に等しい。 よって、どちらの場合にも方べきの定理が示された。
平面図形

また、中心Oとする円の弦と接線について次の定理が成り立つ。
平面図形

△ P A T {\displaystyle \triangle PAT} と △ P T B {\displaystyle \triangle PTB} において
平面図形

接弦定理より
平面図形

だから、 △ P A T {\displaystyle \triangle PAT} と △ P T B {\displaystyle \triangle PTB} は相似
平面図形

よって、
平面図形

したがって、
平面図形

2つの円を取ったときこれらはいくつかの仕方で関係する。2つの円の関係は2つの円の中心間の距離と、2円の半径によって定まる。 2円の距離をそれぞれ r 1 {\displaystyle r_{1}} , r 2 {\displaystyle r_{2}} ( r 1 > r 2 {\displaystyle r_{1}>r_{2}} ),中心間の距離を l {\displaystyle l} とすると、2円の位置関係として
平面図形

がある。
平面図形

2つの円がただ1つの共有点をもつとき、この2つの円は接するといい、この共有点を接点(せってん、英:point of contact)という。
平面図形

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