円に外接する四角形
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/25/Tangential_quadrilateral_2.svg/300px-Tangential_quadrilateral_2.svg.png)
平面幾何学において、円に外接する四角形[1](えんにがいせつするしかくけい、英: circumscribed quadrilateral,circumscribable quadrilateral,circumscribing quadrilateral,circumscriptible quadrilateral[2])または円外接四辺形[3][4]、接線四辺形(英: tangential quadrilateral,tangent quadrilateral)はすべての辺がある円に接する凸四角形である。特にこの円とその中心、半径をそれぞれ内接円、内心、内半径という。円に外接する四角形は円外接多角形の一つである。
英語では inscriptable quadrilateral, inscriptible quadrilateral, inscribable quadrilateral, circumcyclic quadrilateral,co-cyclic quadrilateralなどと言われる場合もある[2][5]。 しかしこの語は円に内接する四角形を指す場合が多く混同を避けるため、あまり使われない[2]。
任意の三角形は内接円を持つが四角形ではそうとは限らない。例えば、正方形でない長方形は内接円を持たない。 四角形が円に外接する必要十分条件は後述のピトーの定理などがある。
特別な場合
円に外接する四角形の例にひし形、正方形を含む凧形がある。凧形は円に外接する四角形であり、直交対角線四角形でもある[6]。また、直角凧形は外接円を持つ。内接円と外接円を持つ四角形は双心四角形と呼ばれ、直角凧形はその一つである。
特徴づけ
円に外接する四角形の4つの角の二等分線はその内心で交わる。逆に四角形の4つの角の二等分線が共点ならばその四角形は円に外接する四角形である[7]。
ピトーの定理によれば、円に外接する四角形の2組の対辺の長さの和は等しい。またその長さは四角形の半周長である。
逆に a + c = b + d ならばその四角形は円に外接する[2]:p.65[7]。
図のように台形でない凸四角形ABCDのそれぞれの対辺の交点をE,Fとする。 四角形ABCDが円に外接することと、以下の式が成り立つことは同値である[7]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/ae/Tangentenviereck-02.svg/800px-Tangentenviereck-02.svg.png)
他の、四角形が円に内接する必要十分条件は、△ABC,△ADCの内接円が接することである[2]:p.66。
1954年、Iosifescuは凸四角形が円に外接する必要十分条件を、以下の様な、対角線と辺の成す角による表現でまとめた[8]。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Tangential-quad-external-circles.svg/220px-Tangential-quad-external-circles.svg.png)
更に、辺長がa,b,c,dである凸四角形が円に外接することは
と同値である。ここでRa,Rb,Rc,Rdはそれぞれ辺a,b,c,dとその隣接する辺の延長に接する円の半径である[9]:p.72。
さらなる特徴づけには四角形の辺と対角線が成す4つの三角形を用いるものがある。
接点と接線の長さ
![](http://upload.wikimedia.org/wikipedia/commons/thumb/2/29/Tangency_chords_2.svg/300px-Tangency_chords_2.svg.png)
円に外接する四角形とその内接円は4点で接する。この4点から成る四角形は接触四角形(contact quadrilateral)とよばれ円に内接する四角形となる。
図の様に、4つの接点と対応する各頂点の距離、接線長[10](tangent lengths)をe,f,g,hとする。内接円と隣り合う2辺の接点と、その間の頂点の距離は等しい。
それぞれ対辺の対辺を結ぶ線分(図ではk,l)はtangency chordsと呼ばれる。これは接触四角形の対角線である。
面積
三角法を用いない公式
円に外接する四角形の面積Kは内半径と半周長を用いて以下の様に表される。
または、
ただしp,qは二つの対角線の長さとする[11]。
e,f,g,hを用いれば以下のようになる[6]。
a,b,c,dとe,f,g,hを両方用いれば、
となる[6]:p.128。もしこの四角形が円に内接するならばeg = fhが従い、双心四角形の面積公式となる[12]。
三角法による公式
辺の長さと、三角法を使う公式には以下の様なものがある[13][14][15][16]。
円に外接する四角形の辺長が与えられたとき、その面積が最大となるのは、外接円をもつ、つまり双心四角形となるときである。四角形が外接円をもつとき、それぞれの対角の和が180°となるためである。また微分幾何学を用いることによっても証明できる[17]。
四角形の頂点と内心Iの距離を用いたものもある:p.19。
2つの対辺と角によってあらわすこともできる[11]。
さらに外積を用いた面積公式ような形の公式もある[11]。
ここでθは対角線の成す角である。ただし凧形ではθは90°であるから上の式を使うことはできない。
不等式
上記の公式から円に外接する四角形の面積Kと辺長a,b,c,dについて
が成り立つ。等号成立条件は四角形が双心四角形である場合。
T. A. Ivanova (1976)によれば、内半径と半周長について
が成り立つ。等号成立条件は四角形が正方形である場合[18]。 この式とK = rsから
が導かれる。
分割
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/09/Tangentenviereck.png/200px-Tangentenviereck.png)
円に外接する四角形の内接円と各辺の接点と内心を結ぶ線分は四角形を4つの直角凧形に分割する。
円に外接する四角形を、面積と周長の等しい2つの多角形に分ける直線は内心を通る。
内半径
円に外接する四角形ABCDの内半径は面積Kと辺長a,b,c,d、半周長sを用いて以下のように書ける[11]。
円に外接する四角形の辺長が与えられたとき、その内半径が最大値をとるような四角形は双心四角形である。
接線長e,f,g,hを用いれば以下の様にも書ける[12]:Lemma2[19]。
各頂点と内心Iの距離をu = AI, v = BI, x = CI ,y = DIと書けば
となる[20]。ただし
△ABC,△BCD,△CDA,△DABの内半径をそれぞれとすればさらに
と変形できる[21]。ただし .
角の公式
円に外接する四角形ABCDについて、それぞれの頂点の接線長をe,f,g,hとする。四角形の角に対する正弦は次のように計算できる[6]。
対辺上の接点を結ぶ直線k,lの成す角の正弦は次のように計算できる[6]。
対角線
接線長e,f,g,hを用いて、対角線の長さp = AC , q = BDは以下の様に計算できる[12]:Lemma3。
接点を結ぶ直線
接線長e,f,g,hを用いて、接触四角形の対角線(Tangency chords)の長さk,lは以下の様に計算できる[6]。
ここで四角形の辺の長さa,b,c,dについてa = e + f , c = g + h , b = f + g , d = h + eが成り立つから
である[6]。2つのTangency chordsには以下の様な性質がある。
円に外接する四角形ABCDについて、AB,CDがBC,DAよりも短ければ、AB,CD間のtangency chordはBC,DA間のtangency chordより長い[23]:p.162。
AB,CDと内接円の接点をそれぞれW,Y、WY,BDの交点をMとする。とは等しい[24]。
共線点
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a8/Newton_line_tangential_quadrilateral.svg/220px-Newton_line_tangential_quadrilateral.svg.png)
円に外接する四角形ABCDの対角線AC,BDの中点をそれぞれM1,M2、内心をI、対辺AB,CDの交点JとBC,DAの交点Kを通る線分JKの中点をM3とする。この4点M1,M2,M3,Iは共線である[25][7]:p.42。この線をニュートン線という。
一般に四角形のすべての辺に接する楕円(内接楕円(英語版))の中心は、そのニュートン線上にある[26]。
また接触四角形のそれぞれの対辺の交点をL,Mとすると、J,L,K,Mは共線である[27]:Cor.3。
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Tangential_orthocenter_lines.svg/220px-Tangential_orthocenter_lines.svg.png)
AB,BC,CD,DAと内接円の接点をT1,T2,T3,T4、T1,T2,T3,T4の等長共役点(AT1 = BN1となる点)をそれぞれN1,N2,N3,N4とする。円に外接する四角形のナーゲル点は直線N1N3,N2N4 の交点として定義される。N1N3,N2N4はどちらも四角形の周長を二等分する。さらに四角形のナーゲル点N、質量中心G、内心Iは共線でNG = 2GI が成り立つ。この線はナーゲル線と呼ばれる[28]。
円に外接する四角形ABCDの内心をI、対角線の交点をP、△AIB,△BIC,△CID,△DIAの垂心をそれぞれHX, HY, HZ, HWとするとP,HX, HY, HZ, HWは共線である[15]:p.28。
共点と垂線
2つの対角線と2つのtangency chordsは共点である[16][15]:p.11。 これは、ブリアンションの定理で2つの点を極限まで近づけた場合を用いて証明できる。円に外接する六角形の頂点2つを別の頂点に極限まで近づけると、近づかれた2点と、他の2点の接線が円に外接する四角形を成し、近づいた点と近づかれた点の接線の交点はその2点と一致してtangency chordsとなる。同様の操作をすることで、もう一方のtangency chordsの共点も証明できる。
対辺AB,CDの交点JとBC,DAの交点Kを結ぶ直線JKと、対角線の交点Pと内心Iを結ぶ直線IPは直交する[27]:Cor.4。
内心
内心Iと円に外接する四角形ABCDの頂点の距離の比について次の式が成り立つ[15]:p.15。
この式から、以下の式が満足する[30]。
また
が成り立つ[15]:p.16。内心が頂点の重心(幾何中心)となるのは、
が成立することと同値である[15]:p.22。AC,BDの中点をそれぞれMp,Mqとすると、以下の式が成り立つ[15]:p.19[31]。
ただしe,f,g,hはそれぞれA,B,C,Dの接線長である。このことから内心が幾何中心と一致するのは、内心が対角線の中点を繋げた線分の中点であるときである。
円に外接する四角形が四節リンク機構(英語版)とみなすとき、四角形が凸であれば、どのように機構を動かしても、円に外接する状態は変わらない[32][33]。例えば正方形をひし形に変形しても円に外接したままである。ある辺が固定されて四角形が動くとき、その内心は半径がの円を描く。ただし、a,b,c,dはいづれかの四角形の辺長で、sは半周長。
4つの三角形の特徴づけ
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d5/Chao_tangentual_quad_radii.svg/240px-Chao_tangentual_quad_radii.svg.png)
凸四角形ABCDと対角線の交点Pから重なり合わない三角形△APB, △BPC, △CPD, △DPAを作る。四角形が円に外接するときこれらの四角形は多くの特徴を持つ。
△APB, △BPC, △CPD, △DPAの内半径をそれぞれr1,r2,r3,r4とする。チャオとシメオノフは四角形が円に外接することと次の式の成立が同値であることを証明した[34]。
ただし、この性質はVaynshtejnが5年早く発表していた[22]:p.169[35]。この問題の解決は、VasilyevとSenderovの証明した性質が使われた。四角形の辺を底辺としてみたときの、4つの三角形の高さをそれぞれh1,h2,h3,h4とする。四角形が円に外接することと、以下の式が成り立つことは同値である[8][35]。
内半径と同様に、傍接円半径についても同じような性質がある。△APB, △BPC, △CPD, △DPAの角P内の傍接円の半径をそれぞれra,rb,rc,rdとする。四角形が円に外接することと、以下の式が成り立つことは同値である[2]:p.70。
さらにこれらの三角形の外接円の半径をそれぞれR1,R2,R3,R4として
が成り立つことも、四角形が円に外接する必要十分条件となる[36]:pp. 23–24。
1996年、Vaynshtejnは美しい性質を初めに証明し、いくつかの雑誌やウェブサイトで掲載された[2]:pp. 72–73。それは、 凸四角形が対角線の交点で4つの三角形に分割されていて、それら三角形の内心が共円ならば、その四角形は円に外接する、というものである。このとき4つの内心から成る四角形は円に内接する直角四角形である[2]:p.74。対角線の交点の角内にある傍接円に関しても、同様の性質が成り立ち、4つの傍心の成す四角形は円に内接する四角形となる[2]:p. 73。
凸四角形ABCDとその対角線の交点Pについて、角B,D内の△APB, △BPC, △CPD, △DPAの傍心が共円であることと、四角形が円に外接することは同値である[2]:p. 79。それらの傍接円半径をそれぞれRa,Rb,Rc,Rdとして、以下の式が成り立つこともまた、四角形が円に外接する必要十分条件となる[2]:p. 80。
さらに次の式が成り立つこともそれらと同値である[8]。
ただし△(APB)でその三角形の面積を表す。
AP = p1,BP = p2,CP = q1,DP = q2とする。以下の式の成立も、四角形が円に外接する必要十分条件である[37]。
または[2]:p. 74
または[2]:p. 77
円に外接する四角形が、他の種類の四角形である条件
ひし形
円に外接する四角形の対角が等しいことと、その四角形がひし形であることは同値[38]。
凧形
円に外接する四角形が凧形であることは以下の様な条件がある[22]。
- 対角線によって面積が二等分される。
- 対角線が直交する。
- それぞれの対辺の内接円との接点を結んだ線分の長さが等しい。
- 接線長が、反対の接線長と等しい。
- 2組の対辺の中点を結んだ線分(bimedians)の長さが等しい。
- 2組の対辺の長さの積が等しい。
- 内接円の中心が対称の軸となる対角線上にある。
双心四角形
![](http://upload.wikimedia.org/wikipedia/commons/thumb/e/ef/Bicentric_quadrilateral.svg/220px-Bicentric_quadrilateral.svg.png)
AB,BC,CD,DAと内接円の接点をそれぞれW,X,Y,Zとする。円に外接する四角形が外接円を持つ、つまり双心四角形であるための十分条件には以下の様なものがある[5][6]:p.124[27]。
- WY,XZが直交する。
一つ目の条件は接触四角形が直交対角線四角形となることである。
また、同じ辺長をもつどの円に外接する四角形よりも大きい内半径をもつ円に外接する四角形は双心四角形となる[39]:pp.392–393。
台形
円に外接する四角形がAB,CDが平行である円に外接する台形となるのは以下の式が成り立つときである[40]:Thm. 2。
AD,BCが平行である場合は以下の式と同値である。
関連項目
出典
- ^ “円に外接する四角形とその性質”. 高校数学の美しい物語 (2022年1月15日). 2024年7月13日閲覧。
- ^ a b c d e f g h i j k l m Josefsson, Martin (2011), “More Characterizations of Tangential Quadrilaterals”, Forum Geometricorum 11: 65–82, http://forumgeom.fau.edu/FG2011volume11/FG201108.pdf .
- ^ 『幾何解法ノ極意』青野文魁堂、1901年、50頁。doi:10.11501/828418。https://dl.ndl.go.jp/pid/828418/1/50。
- ^ 『幾何学問題集』有朋堂書店、1922年、259頁。doi:10.11501/949111。https://dl.ndl.go.jp/pid/949111/1/79。
- ^ a b Bryant, Victor; Duncan, John (2010), “Wheels within wheels”, The Mathematical Gazette 94 (November): 502–505 .
- ^ a b c d e f g h i JosefssonMartin「Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral」『Forum Geometricorum』第10巻、119–130頁、2010年。http://forumgeom.fau.edu/FG2010volume10/FG201013.pdf。 .
- ^ a b c d Andreescu, Titu; Enescu, Bogdan (2006), Mathematical Olympiad Treasures, Birkhäuser, pp. 64–68 .
- ^ a b c MinculeteNicusor「Characterizations of a Tangential Quadrilateral」『Forum Geometricorum』第9巻、113–118頁、2009年。http://forumgeom.fau.edu/FG2009volume9/FG200910.pdf。 .
- ^ Josefsson, Martin (2012), “Similar Metric Characterizations of Tangential and Extangential Quadrilaterals”, Forum Geometricorum 12: 63–77, http://forumgeom.fau.edu/FG2012volume12/FG201207.pdf
- ^ 長井, 熊吉、仲野, 雄介『測量設計實用表』(改訂)仲野雄介、1940年、431頁。doi:10.11501/845933。https://dl.ndl.go.jp/pid/845933/1/229。
- ^ a b c d Durell, C.V.; Robson, A. (2003), Advanced Trigonometry, Dover reprint, pp. 28–30 .
- ^ a b c Hajja, Mowaffaq (2008), “A condition for a circumscriptible quadrilateral to be cyclic”, Forum Geometricorum 8: 103–106, http://forumgeom.fau.edu/FG2008volume8/FG200814.pdf .
- ^ Durell, C.V.; Robson, A. (2003), Advanced Trigonometry, Dover reprint, pp. 28–30 .
- ^ Siddons, A.W.; Hughes, R.T. (1929), Trigonometry, Cambridge Univ. Press, p. 203 .
- ^ a b c d e f g Grinberg, Darij, Circumscribed quadrilaterals revisited, 2008
- ^ a b Yiu, Paul, Euclidean Geometry, , 1998, pp. 156–157.
- ^ Hoyt, John P. (1986), “Maximizing the Area of a Trapezium”, American Mathematical Monthly 93 (1): 54–56, doi:10.2307/2322549 .
- ^ “Art of Problem Solving”. artofproblemsolving.com. 2024年7月13日閲覧。
- ^ Hoyt, John P. (1984), “Quickies, Q694”, Mathematics Magazine 57 (4): 239, 242 .
- ^ Josefsson, Martin (2010), “On the inradius of a tangential quadrilateral”, Forum Geometricorum 10: 27–34, http://forumgeom.fau.edu/FG2010volume10/FG201005.pdf .
- ^ “An Inradii Relation in Inscriptible Quadrilateral”. www.cut-the-knot.org. 2024年7月13日閲覧。
- ^ a b c Josefsson, Martin (2011), “When is a Tangential Quadrilateral a Kite?”, Forum Geometricorum 11: 165–174, http://forumgeom.fau.edu/FG2011volume11/FG201117.pdf .
- ^ Josefsson, Martin (2011), “The Area of a Bicentric Quadrilateral”, Forum Geometricorum 11: 155–164, http://forumgeom.fau.edu/FG2011volume11/FG201116.pdf .
- ^ “Geometry classes, Problem 152. Circumscribed Quadrilateral, Diagonal, Chord, Proportion. iPad Apps. Math teacher Master Degree. College, SAT Prep. Elearning, Online math tutor, LMS.”. gogeometry.com. 2024年7月13日閲覧。
- ^ “ニュートンの定理とその証明”. 高校数学の美しい物語 (2021年3月7日). 2024年7月13日閲覧。
- ^ Chakerian, G. D. "A Distorted View of Geometry." Ch. 7 in Mathematical Plums (R. Honsberger, editor). Washington, DC: Mathematical Association of America, 1979.
- ^ a b c Josefsson, Martin (2010), “Characterizations of Bicentric Quadrilaterals”, Forum Geometricorum 10: 165–173, http://forumgeom.fau.edu/FG2010volume10/FG201019.pdf .
- ^ Myakishev, Alexei (2006), “On Two Remarkable Lines Related to a Quadrilateral”, Forum Geometricorum 6: 289–295, http://forumgeom.fau.edu/FG2006volume6/FG200634.pdf .
- ^ Dergiades, Nikolaos; Christodoulou, Dimitris M. (2017), “The two incenters of an arbitrary convex quadrilateral”, Forum Geometricorum 17: 245–254, http://forumgeom.fau.edu/FG2017volume17/FG201727.pdf .
- ^ Andreescu, Titu; Feng, Zuming (2005), 103 Trigonometry Problems From the Training of the USA IMO Team, Birkhäuser, pp. 176–177 .
- ^ “Art of Problem Solving (2011)”. artofproblemsolving.com. 2024年7月13日閲覧。
- ^ Barton, Helen (1926), “On a circle attached to a collapsible four-bar”, American Mathematical Monthly 33 (9): 462–465, doi:10.2307/2299611, JSTOR 2299611, https://jstor.org/stable/2299611 .
- ^ “When A Quadrilateral Is Inscriptible?”. www.cut-the-knot.org. 2024年7月13日閲覧。
- ^ Chao, Wu Wei; Simeonov, Plamen (2000), “When quadrilaterals have inscribed circles (solution to problem 10698)”, American Mathematical Monthly 107 (7): 657–658, doi:10.2307/2589133 .
- ^ a b Vaynshtejn, I.; Vasilyev, N.; Senderov, V. (1995), “(Solution to problem) M1495”, Kvant (6): 27–28.
- ^ Josefsson, Martin (2012), “Characterizations of Orthodiagonal Quadrilaterals”, Forum Geometricorum 12: 13–25, http://forumgeom.fau.edu/FG2012volume12/FG201202.pdf .
- ^ Hoehn, Larry (2011), “A new formula concerning the diagonals and sides of a quadrilateral”, Forum Geometricorum 11: 211–212, http://forumgeom.fau.edu/FG2011volume11/FG201122.pdf .
- ^ De Villiers, Michael (2011), “Equiangular cyclic and equilateral circumscribed polygons”, Mathematical Gazette 95 (March): 102–107 .
- ^ Hess, Albrecht (2014), “On a circle containing the incenters of tangential quadrilaterals”, Forum Geometricorum 14: 389–396, http://forumgeom.fau.edu/FG2014volume14/FG201437.pdf .
- ^ Josefsson, Martin (2014), “The diagonal point triangle revisited”, Forum Geometricorum 14: 381–385, http://forumgeom.fau.edu/FG2014volume14/FG201435.pdf .
外部リンク
- Weisstein, Eric W. "Tangential Quadrilateral". mathworld.wolfram.com (英語).