ここでは、メネラウスの定理、チェバの定理、三角形の五心及び四角形が円に内接する条件や方べきの定理などについて扱う。
メネラウスの定理[編集]
任意の直線
と三角形
において、直線
と直線
の交点をそれぞれ
とする。このとき

が成り立つ。
証明
点
から直線
に平行な直線をかき、直線
との交点を
とする。
平行線による比の移動より、
したがって、
[1]
メネラウスの定理の逆
三角形
に対して、直線
上に点
をとり、
のうち三角形
の辺上にある点が0個あるいは2個で、かつ、
が成り立つとき、3点
は一直線上にある。
証明
2直線
の交点を
とする。このとき、メネラウスの定理より、
である。また、仮定より
である。これら2式より、
である。これは、2点
が線分
を同じ比で内分する点であることを示すので、 点
と点
は一致する。したがって、3点
は一直線上にある。
チェバの定理[編集]
三角形
に対し、任意の一点
と
を結んだ直線がそれぞれ
と交わる点を
とする。
このとき、
が成り立つ。
証明
点
を通り直線
に平行な直線をかき、
との交点をそれぞれ
とする。
したがって、
平行線による比の移動より、
チェバの定理の逆
三角形
に対し、直線
上にそれぞれ点
があるとき、
ならば、直線
は一点で交わる。
証明
直線
の交点を
とおき、直線
と直線
との交点を
とおく。このとき、チェバの定理より、
が成り立つ。また、仮定より、
である。これら2つの式から、
が得られる。これは、2点
が線分
を同じ比で内分する点であることを示すので、 点
と点
は一致する。よって、直線
は一点で交わる。
三角形の性質[編集]
三角形の重心[編集]
三角形の頂点から相対する辺の中点に対して下ろした線分のことを 中線 という。三角形の3つの中線の交わる点を重心という。
三角形の重心
|
三角形の重心
- 定理
三角形の3本の中線は1点で交わる。また、その交点は中線を 2:1 に内分する。
|
証明
チェバの定理の逆より、三角形の3本の中線は一点で交わる。
について、その重心を
、
の中点をそれぞれ
とおく。このとき、三角形
及び、直線
に対してメネラウスの定理を用いることにより、
したがって、
である。これより、重心は中線を2:1に内分することが分かる。
(※ 高校数学の範囲外)「重心」の力学的なバランス
|
- ※ 2019年現在では高校の理科で 重心 の力学的な習うが、過去のカリキュラムでは中学の数学で後述の話題を扱ってた時代がある。
厚めの画用紙などで三角形をつくり、その三角形を水平にして、右図のように三角形の重心の部分で、棒で支えると、
水平方向の重さのバランスがとれるので、三角形を水平に保つことができる。
そもそも、このように重さのバランスを取れる場所であるので「重心」という名前がついている。重心の英語の center of gravity という英単語も、「重力の中心」という意味である。
理科の「物理」科目で習う「重心」とは、この例のように、重さのバランスを取れる部分という意味である。
なお、このような力学的な「重心」については、三角形だけでなく四角形や五角形などでも、同様に水平方向の重さのつりあいをとれる点として、力学的に「重心」を定義できる。
また、平面図形だけでなく立体図形でも同様、力学的に「重心」を定義できる。
|
三角形の外心[編集]
三角形の外心
|
- 定理
三角形の3つの辺の垂直二等分線は1点で交わる。
|
- 証明
△ABCを取り、辺AB,AC のそれぞれに対して垂直二等分線を取り、2直線の交点をOとする。このとき、点OがAB,ACのそれぞれに対する垂直2等分線上にあることから
かつ 
であるので、

が成り立つ。
よって点Oは辺BCの垂直二等分線上にある。
上の証明から、
であるので、この点は三角形の3つの頂点から等距離にあることが分かるので、この点Oを中心として円を書くと、三角形ABCの頂点3つを通る円を書くことができる。
このように、三角形の3つの頂点を通る円(右図では赤線の部分)のことを外接円(がいせつえん、 英:circumscribed circle)という。
そして、外接円の中心(右図の点Oの部分)のことを、その三角形の 外心(がいしん)という。
三角形の内心[編集]
三角形の内心
|
三角形の3角のそれぞれに対して角の2等分線を取ったとき、それぞれの直線は1点で交わる。
|
△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はヘロンの公式を用いれば、三角形の三辺の長さから内接円の半径が計算できる。
三角形の垂心[編集]
外心の性質を利用して、次の定理が証明できる。
三角形の垂心
|
- 定理
三角形の各頂点から対辺またはその延長に降ろした垂線は、1点で交わる。
|
- 証明
点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 は一点で交わる。
三角形の傍心[編集]
三角形の傍心
|
- 定理
三角形の2つの外角のそれぞれの二等分線と、残りの1つの内角の二等分線とは、一点で交わる。
|
- 証明
外角Bと外角Cの二等分線の交点をPとする。
図のように、Pから△ABCの3辺またはその延長線上に垂線PD,PE,PFをおろす。
すると、
- PF=PD かつ PE=PD
なので、
- PF=PE
である。
よって、直線APは∠Aの二等分線である。
この点 P を 傍心(ぼうしん)という。
三角形には3つの傍心が存在する。
三角形の角の2等分線と辺の比[編集]
三角形の角の2等分線に関して、次のことが成り立つ。
の2等分線と辺BCとの交点がDだから

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


上の3つの式から

よって
……(1)
また、ADとECは平行であるから
……(2)
(1)と(2)より

三角形の外角の2等分線に関して、次のことが成り立つ。
Cを通りADに平行な直線とABの延長との交点をEとすると、上の定理と同様に

三角形の辺と角[編集]
三角形の辺と角の大小関係について、次のようなことが言える。
三角形の辺と角の大小
|
において
|
(
の証明)
とし、辺AC上に点Dを、
となるようにとれば
……(1)
ところで、
は
の
の外角だから
……(2)
また、点Dは辺AC上にあるから
……(3)
(1),(2),(3)より、
(
の証明)
であって、
ではないとすると、次のどちらかが成り立つ。
……(1)
……(2)
(1)が成り立つとすると、二等辺三角形になるので、
(2)が成り立つとすると、前半で示したとおり、
どちらの場合も、仮定
に反する。
よって、
でなければならない。
三角形の3辺について、次のようなことが言える。
三角形の2辺の和
|
三角形の2辺の和は、残りの辺よりも大きい。
|
において、
を証明する。
辺BAをAの方に延長し、その上に点Dを、
となるようにとる。
は二等辺三角形であるから

において、点Aは辺BD上にあるから

よって、三角形の辺と角の大小の定理より

の3辺の長さを、
とすると、上の定理より次のことがわかる。

三角形の2辺の差
|
三角形の2辺の差は、残りの辺よりも小さい。
|

であるから、
のとき、
より

のとき、
より

が成り立つ。
2つの定理より、三角形の3辺が
であるとき、

が成り立つことがわかる。
逆に、正の数
が不等式
を満たすとき、3辺の長さが
である三角形が存在する。
円の性質[編集]
円周角の定理の逆[編集]
円周上に3点A,B,Cがある。直線ABについて点Cと同じ側に点Pをとり、
と
の大きさを比べる。
点Pについては、
- (1) Pが円周上にある
- (2) Pが円の内部にある
- (3) Pが円の外部にある
のいずれかである。
(2)の場合、三角形の外角と内角の間の大小関係より

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

この結果、次のことがいえる。
- (1) Pが円周上にある

- (2) Pが円の内部にある

- (3) Pが円の外部にある

このことから、次のようなことがいえる。
円周角の定理の逆
|
2点C,Pが直線ABについて同じ側にあるとき、 ならば、4点A,B,C,Pは同じ円周上にある。
|
円に内接する四角形[編集]
上の議論から三角形に外接する円はどのような三角形を取ったとしても常に存在
することが分かった。しかし、四角形に関してはそれに対して外接するような
円は常に存在するわけではない。
一般に円に内接するような四角形に関しては以下の性質が成り立つ。
円に内接する四角形の性質(1)
|
円に内接する四角形の相対する角の和は となる。
|
内接する四角形の頂点を反時計回りにA,B,C,Dとする。
このとき、角A,角Cはそれぞれ点B,Dを対応する端点とする円弧に対する円周角となっている。ただし、角Aと角Cは互いに逆の円弧を対応する弧としているため、2つの弧を合わせるとそれらの弧はちょうど円周をおおうことになる。
このため、これらの2つの弧に対応する中心角の和は
に対応し、同じ弧に対応する円周角の和は
に対応するのである。
また、円に内接する四角形に関して以下の性質も成り立つ。
円に内接する四角形の性質(2)
|
円に内接する四角形において、1つの内角は、それに向かい合う内角の隣にある外角に等しい。
|
円に内接する四角形ABCDにおいて、上の定理より

また、頂点Cにおける外角を
とすると、
であるから

円に内接する四角形の性質の逆について考えてみよう。
四角形が円に内接する条件
|
(1) 向かい合う内角の和が の四角形は、円に内接する。
(2) 1つの内角が、それに向かい合う内角の隣にある外角に等しい四角形は、円に内接する。
|
(1)の証明
四角形ABCDで、
…(I)
とする。
の外接円Oを書き、円Oに内接する四角形ABCD'を作ると
…(II)
(I),(II)より

したがって、円周角の定理の逆から、点Dはこの円Oの周上にある。
よって、四角形ABCDは円に内接する。
(2)の証明
四角形ABCDで、頂点Cにおける外角を
として、

とする。

であるから

四角形が円に内接する条件(1)より、向かい合う内角の和が
であるから、四角形ABCDは円に内接する。
接線の長さ[編集]
円Oの外の点Aからその円に2本の接線を引ける。その接点をP,Qとするとき、線分AP,AQの長さを、円Oの外の点Aから円Oに引いた接線の長さという。
2つの接線の長さについて、次のことがいえる。
接線の長さ
|
円外の点からその円に引いた2本の接線の長さは等しい。
|
直角三角形APO,AQOにおいて
…(I)
は共通 …(II)
(I),(II)より

よって、対応する辺APとAQは等しい。
接弦定理[編集]
円周上の点Aを通る接線ATがあって、円周上に2点B,Cをとるとき、
と円周角
の大きさには、次のような関係がある。
接弦定理
|
円の弦とその一端から引いた接線とのなす角は、その角内にある弧に対する円周角に等しい。
|
が鋭角の場合について考える。
直径ADを引くと、
であるから、
…(I)
また、ADは直径であるから

…(II)
と
は弧BDに対する円周角であるから
…(III)
(I),(II),(III)より

が直角、鈍角の場合についても同様に証明できる。
方べきの定理[編集]
中心Oとする円について次の定理が成り立つ。
方べきの定理
|
円周上に異なった2点A,Bを取りその2点を通る直線を取る。また、同様に
A,Bと異なった2点C,Dを通りそれらを通過する直線を取り、直線ABと直線CDの
交点をEと取る。このとき、

が成り立つ。この定理を方べきの定理と呼ぶ。
|
まず、点Eが円の外部にある場合を考える。このとき、直線AB上で点Eに近い点を点B,
直線CD上で点Eに近い点を点Cとおいたとき、三角形ECBと三角形EADが相似であることを
示す。
まず、四角形ABCDは円に内接していることから、

について、

が成立する。これは円に内接する四角形の相対する角の和が
になることに
よっている。同様にして

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

となるが、このことは

に等しい。
次に、点Eが円の内部にある場合を考える。
このとき三角形EADと三角形EBCが互いに相似であることを示す。
最初に

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

が成り立つ。次に、

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

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

となるが、このことは

に等しい。
よって、どちらの場合にも方べきの定理が示された。
また、中心Oとする円の弦と接線について次の定理が成り立つ。
方べきの定理(2)
|
円の弦ABの延長上の点Pから円に引いた接線をPTとする。このとき、

が成り立つ。
|
と
において
接弦定理より
…(II)
(共通) …(II)
だから、
と
は相似
よって、

したがって、

2つの円の位置関係[編集]
2つの円を取ったときこれらはいくつかの仕方で関係する。2つの円の関係は2つの円の中心間の距離と、2円の半径によって定まる。
2円の距離をそれぞれ
,
(
),中心間の距離を
とすると、2円の位置関係として
のとき、円2は円1に含まれている。
のとき、2つの円は内接している。
のとき、円2と円1は互いに交わっている。
のとき、2つの円は外接している。
のとき、2円は離れている。
がある。
2つの円がただ1つの共有点をもつとき、この2つの円は接するといい、この共有点を接点(せってん、英:point of contact)という。
1つの直線が、2つの円に接しているとき、この直線を、2つの円の共通接線という。
のとき、共通接線はない。
のとき、共通接線は1本。
のとき、共通接線は2本。
のとき、共通接線は3本。
のとき、共通接線は4本。
- ^
を使って変形した