円に外接する四角形

円に外接する四角形とその内接円
平面幾何学において、円に外接する四角形（えんにがいせつするしかくけい、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組の対辺の長さの和は等しい。またその長さは四角形の半周長である。
 
逆に ならばその四角形は円に外接するp.65。
図のように、台形でない凸四角形ABCDのそれぞれの対辺の交点をE, Fとする。 四角形ABCDが円に外接することと、以下の式が成り立つことは同値である。
 
800x800ピクセル
他の、四角形が円に内接する必要十分条件は、△ABC, △ADCの内接円が接することであるp.66。
1954年、Iosifescu は凸四角形が円に外接する必要十分条件を、以下の様な、対角線と辺の成す角による表現でまとめた。
 
円に外接する四角形（青）とその内接円（破線）と4つの外部で接する円（赤）。赤い円はある2つの辺の延長で接している。
更に、辺長がa, b, c, dである凸四角形が円に外接することは
 
と同値である。ここではそれぞれ辺a, b, c, dとその隣接する辺の延長に接する円の半径であるp.72。
さらなる特徴づけには四角形の辺と対角線が成す4つの三角形を用いるものがある。

**接点と接線の長さ**
円に外接する四角形（青）とその内接円との接点が成す四角形（緑）。赤い線は緑の四角形の対角線。
円に外接する四角形とその内接円は4点で接する。この4点から成る四角形は接触四角形（contact quadrilateral）とよばれ円に内接する四角形である。
図の様に、4つの接点と対応する各頂点の距離、接線長（tangent lengths）をe, f, g, hとする。内接円と隣り合う2辺の接点と、その間の頂点の距離は等しい。 
それぞれ対辺の対辺を結ぶ線分（図ではk,l）は tangency chords と呼ばれる。これは接触四角形の対角線である。

**面積**

**三角法を用いない公式**
円に外接する四角形の面積Kは内半径と半周長を用いて次の様に表される。
 
または、
 
ただしp, qは2つの対角線の長さとする。
を用いれば以下のようになる。
 
とe, f, g, hを両方用いれば、
 
となるp.128。もしこの四角形が円に内接するならば1=eg = fhが従い、双心四角形の面積公式となる。

**三角法による公式**
辺の長さと、三角法を使う公式には以下の様なものがある。
 
円に外接する四角形の辺長が与えられたとき、その面積が最大となるのは、外接円をもつ、つまり双心四角形となるときである。四角形が外接円をもつとき、それぞれの対角の和が180°となるためである。また微分幾何学を用いることによっても証明できる。
四角形の頂点と内心Iの距離を用いたものもあるp.19。
 
2つの隣接辺と角によって表すこともできる。
 
さらに外積を用いた面積公式ような形の公式もある。
 
ここでθは対角線の成す角である。ただし凧形ではθは90°であるから上の式を使うことはできない。

**不等式**
上記の公式から円に外接する四角形の面積Kと辺長a, b, c, dについて
 
が成り立つ。等号成立条件は四角形が双心四角形である場合。
T. A. Ivanova (1976)によれば、内半径と半周長について
 
が成り立つ。等号成立条件は四角形が正方形である場合。 この式と1=K = rsから
 
が導かれる。

**分割**
円に外接する四角形
円に外接する四角形の内接円と各辺の接点と内心を結ぶ線分は、四角形を4つの直角凧形に分割する。
円に外接する四角形を面積と周長の等しい2つの多角形に分ける直線は、内心を通る。

**内半径**
円に外接する四角形ABCDの内半径は面積Kと辺長a, b, c, d、半周長sを用いて以下のように書ける。
 
円に外接する四角形の各辺長が与えられたとき、その内半径が最大値をとるような四角形は双心四角形である。
接線長e, f, g, hを用いれば以下の様にも書けるLemma2。
 
各頂点と内心Iの距離を1=u = AI, v = BI, x = CI, y = DIと書けば
 
となる。ただし 
の内半径をそれぞれとすればさらに
 
と変形できる。ただし .

**角の公式**
円に外接する四角形ABCDについて、それぞれの頂点の接線長をe, f, g, hとする。四角形の角に対する正弦は次のように計算できる。
 
 
 
 
対辺上の接点を結ぶ直線k,lの成す角の正弦は次のように計算できる。
 

**対角線**
接線長e, f, g, hを用いて、対角線の長さ1=p = AC , q = BDは以下の様に計算できるLemma3。
 
 

**接点を結ぶ直線**
接線長e, f, g, hを用いて、接触四角形の対角線（Tangency chords）の長さk, lは次の様に計算できる。
 
 
ここで四角形の辺の長さa, b, c, dについて1=a = e + f , c = g + h , b = f + g , d = h + eが成り立つから
 
である。2つの Tangency chords には以下の様な性質がある。- 双心四角形ならば直交するp.124。- 凧形ならば長さが等しいp.166。
円に外接する四角形ABCDについて、AB, CDがBC, DAよりも短ければ、AB, CD間の tangency chord はBC, DA間の tangency chord より長いp.162。
と内接円の接点をそれぞれW, Y、WY, BDの交点をMとする。とは等しい。

**共線点**
ファイル:Newton_line_tangential_quadrilateral.svg|サムネイル|円に外接する四角形（青）のニュートン線 (赤)  。ニュートン線は内心I、対角線の中点と対辺の交点J, Kを結ぶ線分（緑）の中点を通る。
円に外接する四角形ABCDの対角線AC, BDの中点をそれぞれ、内心をI、対辺AB, CDの交点JとBC, DAの交点Kを通る線分JKの中点をとする。この4点は共線であるp.42。この線をニュートン線という。
一般に四角形のすべての辺に接する楕円（Inellipse）の中心は、そのニュートン線上にある。
また接触四角形のそれぞれの対辺の交点をL, Mとすると、J, L, K, Mは共線であるCor.3。
ファイル:Tangential_orthocenter_lines.svg|左|サムネイル|円に外接する四角形を内心で4つの三角形に分割する。それぞれの垂心（紫）と元の四角形の対角線（緑）の交点は共線である。
と内接円の接点を、の等長共役点（となる点）をそれぞれとする。円に外接する四角形のナーゲル点は直線 の交点として定義される。はどちらも四角形の周長を二等分する。さらに四角形のナーゲル点N、質量中心G、内心Iは共線で1=NG = 2GI が成り立つ。この線はナーゲル線と呼ばれる。
円に外接する四角形ABCDの内心をI、対角線の交点をP、△AIB, △BIC, △CID, △DIAの垂心をそれぞれとするとは共線であるp.28。

**共点と垂線**
2つの対角線と2つの tangency chord は共点であるp.11。 これは、ブリアンションの定理で2つの点を極限まで近づけた場合を用いて証明できる。円に外接する六角形の頂点2つをそれぞれ別の頂点に極限まで近づけると、近づかれた2点と、他の2点の接線が円に外接する四角形を成し、近づいた点と近づかれた点の接線の交点はその2点と一致して tangency chord となる。同様の操作をすることで、もう一方の tangency chord の共点も証明できる。
対辺AB, CDの交点JとBC, DAの交点Kとを結ぶ直線JKと、対角線の交点Pと内心Iを結ぶ直線IPは直交するCor.4。

**内心**
円に外接する四角形の内心はニュートン線上にある。
内心Iと円に外接する四角形ABCDの頂点の距離の比について次の式が成り立つp.15。
 
この式から、以下の式が満足する。
 
また
 
が成り立つp.16。内心が頂点の重心（幾何中心）となるのは、
 
が成立することと同値であるp.22。AC, BDの中点をそれぞれとすると、以下の式が成り立つp.19。
 
ただしe, f, g, hはそれぞれA, B, C, Dの接線長である。このことから内心が幾何中心と一致するのは、内心が対角線の中点を繋げた線分の中点であるときである。
円に外接する四角形をfour-bar linkageとみなすとき、四角形が凸であれば、どのように機構を動かしても、円に外接する状態は変わらない。例えば正方形をひし形に変形しても円に外接したままである。ある辺が固定されて四角形が動くとき、その内心は半径がの円を描く。ただし、a, b, c, dはいずれかの四角形の辺長で、sは半周長。

**4つの三角形の特徴づけ**
ファイル:Chao_tangentual_quad_radii.svg|サムネイル|240x240ピクセル|4つの三角形の内接円半径に関するチャオとシメオノフの特徴づけ
凸四角形ABCDと対角線の交点Pから重なり合わない三角形△APB, △BPC, △CPD, △DPAを作る。四角形が円に外接するときこれらの四角形は多くの特徴を持つ。
の内半径をそれぞれとする。チャオとシメオノフは四角形が円に外接することと次の式の成立が同値であることを証明した。
 
ただし、この性質は Vaynshtejn が5年早く発表していたp.169。この問題の解決は、Vasilyev と Senderov の証明した性質が使われた。四角形の辺を底辺としてみたときの、4つの三角形の高さをそれぞれとする。四角形が円に外接することと、以下の式が成り立つことは同値である。
 
内半径と同様に、傍接円半径についても同じような性質がある。△APB, △BPC, △CPD, △DPAの角P内の傍接円の半径をそれぞれとする。四角形が円に外接することと、以下の式が成り立つことは同値であるp.70。
 
さらにこれらの三角形の外接円の半径をそれぞれとして
 
が成り立つことも、四角形が円に外接する必要十分条件となるpp. 23–24。
1996年、Vaynshtejn は美しい性質を初めて証明し、いくつかの雑誌やウェブサイトで掲載されたpp. 72–73。それは、凸四角形が対角線によって4つの三角形に分割されていて、それら三角形の内心が共円ならば、その四角形は円に外接する、というものである。このとき4つの内心から成る四角形は円に内接する直交対角線四角形であるp.74。対角線の交点の角内にある傍接円に関しても、同様の性質が成り立ち、4つの傍心の成す四角形は円に内接する四角形となるp. 73。
凸四角形ABCDとその対角線の交点Pについて、角Bあるいは角D内の△APB, △BPC, △CPD, △DPAの傍心が共円であることと、四角形が円に外接することは同値であるp. 79。傍接円半径をそれぞれとして、以下の式が成り立つこともまた、四角形が円に外接する必要十分条件となるp. 80。
 
さらに次の式が成り立つこともそれらと同値である。
 
ただし△(APB)でその三角形の面積を表す。
とする。以下の式の成立も、四角形が円に外接する必要十分条件である。
 
またはp. 74
 
またはp. 77
 

**円に外接する四角形が、他の種類の四角形である条件**

**ひし形**
円に外接する四角形の対角が等しいことと、その四角形がひし形であることは同値。

**凧形**
円に外接する四角形が凧形であることは以下の様な条件がある。- 対角線によって面積が二等分される。- 対角線が直交する。- それぞれの対辺の内接円との接点を結んだ線分の長さが等しい。- 接線長が、反対の接線長と等しい。- 2組の対辺の中点を結んだ線分（bimedians）の長さが等しい。- 2組の対辺の長さの積が等しい。- 内接円の中心が対称の軸となる対角線上にある。

**双心四角形**
ファイル:Bicentric_quadrilateral.svg|サムネイル|双心四角形ABCD。その接触四角形（桃）は直交対角線四角形となる。
と内接円の接点をそれぞれW, X, Y, Zとする。円に外接する四角形が外接円を持つ、つまり双心四角形であるための十分条件には以下の様なものがあるp.124。- WY, XZが直交する。
一つ目の条件は接触四角形が直交対角線四角形となることである。
また、同じ順に同じ長さの辺を持つ円に外接する四角形の中で、内半径が最大である物は双心四角形となるpp.392–393。

**台形**
円に外接する四角形がAB, CDが平行である円に外接する台形となるのは以下の式が成り立つときであるThm. 2。
 
が平行である場合は以下の式と同値である。
 

**出典**

**関連項目**
 Circumscribed circle- 傍接四角形- 接線三角形- 円外接多角形

**外部リンク**
 title=Tangential Quadrilateral