円に外接する四角形

ウィキペディア

円に外接する四角形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/04/24 16:39 UTC 版)

円に外接する四角形とその内接円

平面幾何学において、円に外接する四角形（えんにがいせつするしかくけい、英: circumscribed quadrilateral, circumscribable quadrilateral, circumscribing quadrilateral, circumscriptible quadrilateral）または円外接四辺形、接線四辺形（英: tangential quadrilateral, tangent quadrilateral）はすべての辺が四角形の内側に位置するある円と接している凸四角形である。この円とその中心、半径をそれぞれ内接円、内心、内半径という。円に外接する四角形は円外接多角形の一つである。

英語では inscriptable quadrilateral, inscriptible quadrilateral, inscribable quadrilateral, circumcyclic quadrilateral, co-cyclic quadrilateral などと言われる場合もある。 しかしこの語は円に内接する四角形を指す場合が多く混同を避けるため、あまり使われない。

任意の三角形は内接円を持つが四角形ではそうとは限らない。例えば、正方形でない長方形は内接円を持たない。 四角形が円に外接する必要十分条件は後述のピトーの定理などがある。

特別な場合

円に外接する四角形の例にひし形、正方形を含む凧形がある。凧形は円に外接する四角形であり、直交対角線四角形でもある。直角凧形は外接円を持つ。内接円と外接円を持つ四角形は双心四角形と呼ばれ、直角凧形はその一つである。

円に外接する台形は接線台形などと呼ばれる。

特徴づけ

円に外接する四角形の4つの角の二等分線はその内心で交わる。逆に四角形の4つの角の二等分線が共点ならばその四角形は円に外接する。

ピトーの定理によれば、円に外接する四角形の2組の対辺の長さの和は等しい。またその長さは四角形の半周長である。

$a+c=b+d={\frac {a+b+c+d}{2}}=s.$

他の、四角形が円に内接する必要十分条件は、△ABC, △ADCの内接円が接することである。

1954年、Iosifescu は凸四角形が円に外接する必要十分条件を、以下の様な、対角線と辺の成す角による表現でまとめた。

$\tan {\frac {\angle ABD}{2}}\cdot \tan {\frac {\angle BDC}{2}}=\tan {\frac {\angle ADB}{2}}\cdot \tan {\frac {\angle DBC}{2}}.$

円に外接する四角形（青）とその内接円（破線）と4つの外部で接する円（赤）。赤い円はある2つの辺の延長で接している。

更に、辺長がa, b, c, dである凸四角形が円に外接することは

$R_{a}R_{c}=R_{b}R_{d}$

円に外接する四角形（青）とその内接円との接点が成す四角形（緑）。赤い線は緑の四角形の対角線。

円に外接する四角形とその内接円は4点で接する。この4点から成る四角形は接触四角形（contact quadrilateral）とよばれ円に内接する四角形である。

図の様に、4つの接点と対応する各頂点の距離、接線長（tangent lengths）をe, f, g, hとする。内接円と隣り合う2辺の接点と、その間の頂点の距離は等しい。

それぞれ対辺の対辺を結ぶ線分（図ではk,l）は tangency chords と呼ばれる。これは接触四角形の対角線である。

面積

三角法を用いない公式

円に外接する四角形の面積Kは内半径と半周長を用いて次の様に表される。

$\displaystyle K=r\cdot s,$

円に外接する四角形

円に外接する四角形の内接円と各辺の接点と内心を結ぶ線分は、四角形を4つの直角凧形に分割する。

円に外接する四角形を面積と周長の等しい2つの多角形に分ける直線は、内心を通る。

内半径

円に外接する四角形ABCDの内半径は面積Kと辺長a, b, c, d、半周長sを用いて以下のように書ける。

$r={\frac {K}{s}}={\frac {K}{a+c}}={\frac {K}{b+d}}$

円に外接する四角形（青）のニュートン線 (赤) 。ニュートン線は内心I、対角線の中点M₁, M₂と対辺の交点J, Kを結ぶ線分（緑）の中点M₃を通る。

円に外接する四角形ABCDの対角線AC, BDの中点をそれぞれM₁, M₂、内心をI、対辺AB, CDの交点JとBC, DAの交点Kを通る線分JKの中点をM₃とする。この4点M₁, M₂, M₃, Iは共線である。この線をニュートン線という。

一般に四角形のすべての辺に接する楕円（内接楕円）の中心は、そのニュートン線上にある。

また接触四角形のそれぞれの対辺の交点をL, Mとすると、J, L, K, Mは共線である。

円に外接する四角形を内心で4つの三角形に分割する。それぞれの垂心（紫）と元の四角形の対角線（緑）の交点は共線である。

AB, BC, CD, DAと内接円の接点をT₁, T₂, T₃, T₄、T₁, T₂, T₃, T₄の等長共役点（AT₁ = BN₁となる点）をそれぞれN₁, N₂, N₃, N₄とする。円に外接する四角形のナーゲル点は直線N₁N₃, N₂N₄ の交点として定義される。N₁N₃, N₂N₄はどちらも四角形の周長を二等分する。さらに四角形のナーゲル点N、質量中心G、内心Iは共線でNG = 2GI が成り立つ。この線はナーゲル線と呼ばれる。

円に外接する四角形ABCDの内心をI、対角線の交点をP、△AIB, △BIC, △CID, △DIAの垂心をそれぞれH_X, H_Y, H_Z, H_WとするとP, H_X, H_Y, H_Z, H_Wは共線である。

共点と垂線

2つの対角線と2つの tangency chord は共点である。 これは、ブリアンションの定理で2つの点を極限まで近づけた場合を用いて証明できる。円に外接する六角形の頂点2つをそれぞれ別の頂点に極限まで近づけると、近づかれた2点と、他の2点の接線が円に外接する四角形を成し、近づいた点と近づかれた点の接線の交点はその2点と一致して tangency chord となる。同様の操作をすることで、もう一方の tangency chord の共点も証明できる。

対辺AB, CDの交点JとBC, DAの交点Kとを結ぶ直線JKと、対角線の交点Pと内心Iを結ぶ直線IPは直交する。

内心

円に外接する四角形の内心はニュートン線上にある。

内心Iと円に外接する四角形ABCDの頂点の距離の比について次の式が成り立つ。

${\frac {AB}{CD}}={\frac {IA\cdot IB}{IC\cdot ID}},\quad \quad {\frac {BC}{DA}}={\frac {IB\cdot IC}{ID\cdot IA}}.$

4つの三角形の内接円半径に関するチャオとシメオノフの特徴づけ

凸四角形ABCDと対角線の交点Pから重なり合わない三角形△APB, △BPC, △CPD, △DPAを作る。四角形が円に外接するときこれらの四角形は多くの特徴を持つ。

△APB, △BPC, △CPD, △DPAの内半径をそれぞれr₁, r₂, r₃, r₄とする。チャオとシメオノフは四角形が円に外接することと次の式の成立が同値であることを証明した。

${\frac {1}{r_{1}}}+{\frac {1}{r_{3}}}={\frac {1}{r_{2}}}+{\frac {1}{r_{4}}}.$

双心四角形ABCD。その接触四角形（桃）は直交対角線四角形となる。

AB, BC, CD, DAと内接円の接点をそれぞれW, X, Y, Zとする。円に外接する四角形が外接円を持つ、つまり双心四角形であるための十分条件には以下の様なものがある。

• WY, XZが直交する。
• $AW\cdot CY=BW\cdot DY$
• ${\frac {AC}{BD}}={\frac {AW+CY}{BX+DZ}}$

一つ目の条件は接触四角形が直交対角線四角形となることである。

また、同じ順に同じ長さの辺を持つ円に外接する四角形の中で、内半径が最大である物は双心四角形となる。

台形

円に外接する四角形がAB, CDが平行である円に外接する台形となるのは以下の式が成り立つときである。

$AW\cdot DY=BW\cdot CY$

AD, BCが平行である場合は以下の式と同値である。

$AW\cdot BW=CY\cdot DY.$

関連項目

• 外接する円
• 傍接四角形
• 接線三角形
• 円外接多角形

外部リンク

• Weisstein, Eric W. "Tangential Quadrilateral". mathworld.wolfram.com (英語).