双心四角形

双心四角形（そうしんしかっけい、英: Bicentric Quadrilateral, chord-tangent, quadrilateralinscribed and circumscribed quadrilateral^[1]）とは外接円と内接円の両方をもつ四角形のことである。双心多角形の一種。

ポンスレの閉形定理より、ある二円についての双心四角形が一つ見つかれば、そのような四角形は無数に存在する^[2]。

特別な場合

双心四角形の一つに正方形、直角凧形、円に外接する等脚台形などがある。

作図

双心四角形の単純な作図には次のようなものがある。

内接円とする円を描いて、2つの垂直な弦を作り、この弦の端点から内接円の接線を引くと、これら接線は双心四角形を成す^[3]。これは円に外接する四角形の接触四角形が直交対角線四角形となるためである。

面積の公式

4辺が a, b, c, d である双心四角形 $ABCD$ の面積は次の公式で表される。

S={\sqrt {abcd}}

より一般に、内接円を持つ四角形 ABCD の面積は、 $t={\frac {A+C}{2}}$ とおくと次で与えられる。

S={\sqrt {abcd}}\sin t

双心四角形に対する公式は、 $t = 90°$ という特殊な場合である。

証明

双心四角形ABCD において、外接円を持つことからブラーマグプタの公式が使えて、次の式が成り立つ。

S={\sqrt {(s-a)(s-b)(s-c)(s-d)}}

ただし

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

（半周長）

内接円を持つ四角形の対辺の和は等しいので

a + c = b + d = s

したがって

s − a = c

s − c = a

s − b = d

s − d = b

ゆえに

S={\sqrt {abcd}}

（証終）

外接円を持つとは限らない一般の場合の公式は、ブレートシュナイダーの公式を用いて同様に示せる。

その他の面積公式

またA,B,C,Dに対する接線長を $e,f,g,h$ 、内心を $I$ 、対角線の成す角を $θ$ などとすれば次のように書ける^[4]^[5]^[6]。

$K={\sqrt[{4}]{efgh}}(e+f+g+h).$

$K={\overline {AI}}\cdot {\overline {CI}}+{\overline {BI}}\cdot {\overline {DI}}.$

$K=r(r+{\sqrt {4R^{2}+r^{2}}})\sin \theta$

ただし、 $r,R$ はそれぞれ内半径と外半径。

不等式

面積の関係する不等式には以下の様なものがある^[7]。

$\displaystyle 4r^{2}\leq K\leq 2R^{2}.$ 　等号成立は正方形。

$K\leq {\tfrac {4}{3}}r{\sqrt {4R^{2}+r^{2}}}$ 　等号成立は正方形

$2{\sqrt {K}}\leq s\leq r+{\sqrt {r^{2}+4R^{2}}};$ 　等号成立条件は凧形。

角の公式

角の三角関数について、以下の式が成り立つ^[5]^[8]^[9]。記号は前項と同。

${\begin{aligned}\tan {\frac {A}{2}}&={\sqrt {\frac {bc}{ad}}}=\cot {\frac {C}{2}},\\\tan {\frac {B}{2}}&={\sqrt {\frac {cd}{ab}}}=\cot {\frac {D}{2}}.\end{aligned}}$

${\begin{aligned}\sin {\frac {A}{2}}&={\sqrt {\frac {bc}{ad+bc}}}=\cos {\frac {C}{2}},\\\cos {\frac {A}{2}}&={\sqrt {\frac {ad}{ad+bc}}}=\sin {\frac {C}{2}},\\\sin {\frac {B}{2}}&={\sqrt {\frac {cd}{ab+cd}}}=\cos {\frac {D}{2}},\\\cos {\frac {B}{2}}&={\sqrt {\frac {ab}{ab+cd}}}=\sin {\frac {D}{2}}.\end{aligned}}$

$\displaystyle \tan {\frac {\theta }{2}}={\sqrt {\frac {bd}{ac}}}.$

外接円と内接円の関係

ファスの定理

外接円の半径を R、内接円の半径を r、外接円の中心と内接円の中心の距離を d としたとき、 ${\frac {1}{(R-d)^{2}}}+{\frac {1}{(R+d)^{2}}}={\frac {1}{r^{2}}},$

または

2r^{2}(R^{2}+d^{2})=(R^{2}-d^{2})^{2}

が成り立つ^[1]^[10]^[11]。定理名はニコラス・ファス（英語版）に由来する（Fussはフースとも^[12]）。

とくにdについて整理すれば

$d={\sqrt {R^{2}+r^{2}-r{\sqrt {4R^{2}+r^{2}}}}}.$

を得る。これはオイラーの定理の四角形における形式である。また、この式を満たす $d,r,R$ が存在すれば四角形についてポンスレの閉形定理が成立する。

Carlitzの恒等式

Leonard Carlitz (Leonard Carlitz) によれば、次の式が成り立つ^[13]。

$\displaystyle d^{2}=R^{2}-2Rr\cdot \mu$

ただし

$\displaystyle \mu ={\sqrt {\frac {(ab+cd)(ad+bc)}{(a+c)^{2}(ac+bd)}}}={\sqrt {\frac {(ab+cd)(ad+bc)}{(b+d)^{2}(ac+bd)}}}$

接線長と辺の長さに関する不等式

$A,B,C,D$ の接線長を $e,f,g,h$ とすると以下の不等式が成立する^[14]。

$4r\leq e+f+g+h\leq 4r\cdot {\frac {R^{2}+x^{2}}{R^{2}-x^{2}}}$

$4r^{2}\leq e^{2}+f^{2}+g^{2}+h^{2}\leq 4(R^{2}+x^{2}-r^{2})$

同様に辺 $a,b,c,d$ でも以下の不等式が成立する^[14]。

$8r\leq a+b+c+d\leq 8r\cdot {\frac {R^{2}+x^{2}}{R^{2}-x^{2}}}$

$4(R^{2}-x^{2}+2r^{2})\leq a^{2}+b^{2}+c^{2}+d^{2}\leq 4(3R^{2}-2r^{2}).$

内心の性質

双心四角形の内心、外心、対角線の交点は共線である^[15]。

内接円の半径と、内心と各頂点の距離について ${\frac {1}{{\overline {AI}}^{2}}}+{\frac {1}{{\overline {CI}}^{2}}}={\frac {1}{{\overline {BI}}^{2}}}+{\frac {1}{{\overline {DI}}^{2}}}={\frac {1}{r^{2}}}$ が成り立つ^[16]。

また、対角線の交点を $P$ と置けば、

${\frac {\overline {AP}}{\overline {CP}}}={\frac {{\overline {AI}}^{2}}{{\overline {CI}}^{2}}}.$ である^[17]。

分割された4つの三角形の内心

双心三角形 $ABCD$ の外心 $O$ で分割された4つの三角形 $△ OAB, △ OBC, △ OCD, △ ODA$ の内心は共円である^[18]。

出典

^ ^a ^b Dörrie, Heinrich; Dörrie, Heinrich (2009). 100 great problems of elementary mathematics: their history and solution. New York: Dover Publ. ISBN 978-0-486-61348-2
^ Weisstein, Eric W.. “Poncelet's Porism” (英語). Mathworld. 2024年7月16日閲覧。
^ Alsina, Claudi; Nelsen, Roger (2011). Icons of Mathematics. An exploration of twenty key images. Mathematical Association of America. pp. 125–126. ISBN 978-0-88385-352-8
^ Josefsson, Martin (2010), “Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral”, Forum Geometricorum 10: 119–130 .
^ ^a ^b JosefssonMartin「The Area of a Bicentric Quadrilateral」『Forum Geometricorum』第11巻、155–164頁、2011年。 .
^ Josefsson, Martin (2012), “Maximal Area of a Bicentric Quadrilateral”, Forum Geometricorum 12: 237–241 .
^ Inequalities proposed in Crux Mathematicorum, 2007.[1]
^ Josefsson, Martin (2012), “A New Proof of Yun’s Inequality for Bicentric Quadrilaterals”, Forum Geometricorum 12: 79–82 .
^ Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.
^ Yiu, Paul, Euclidean Geometry, [2], 1998, pp. 158-164.
^ Salazar, Juan Carlos (2006), “Fuss's Theorem”, Mathematical Gazette 90 (July): 306–307 .
^ 窪田忠彦『初等幾何学特選問題』共立社書店、1932年、69頁。NDLJP:1211458。
^ Calin, Ovidiu, Euclidean and Non-Euclidean Geometry a metric approach, [3], pp. 153–158.
^ ^a ^b Radic, Mirko, "Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons", Journal of Inequalities in Pure and Applied Mathematics, Volume 6, Issue 1, 2005, [4]
^ Bogomolny, Alex, Collinearity in Bicentric Quadrilaterals [5], 2004.
^ L. V. Nagarajan, Bi-centric Polygons, 2014, [6].
^ Crux Mathematicorum 34 (2008) no 4, p. 242.
^ Alexey A. Zaslavsky, One property of bicentral quadrilaterals, 2019, [7]

外部リンク

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

この項目は、初等幾何学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています。

[:0-1] Dörrie, Heinrich; Dörrie, Heinrich (2009). 100 great problems of elementary mathematics: their history and solution. New York: Dover Publ. ISBN 978-0-486-61348-2

[2] Weisstein, Eric W.. “Poncelet's Porism” (英語). Mathworld. 2024年7月16日閲覧。

[3] Alsina, Claudi; Nelsen, Roger (2011). Icons of Mathematics. An exploration of twenty key images. Mathematical Association of America. pp. 125–126. ISBN 978-0-88385-352-8

[Josefsson2-4] Josefsson, Martin (2010), “Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral”, Forum Geometricorum 10: 119–130 .

[Josefsson3-5] JosefssonMartin「The Area of a Bicentric Quadrilateral」『Forum Geometricorum』第11巻、155–164頁、2011年。 .

[MJFG-6] Josefsson, Martin (2012), “Maximal Area of a Bicentric Quadrilateral”, Forum Geometricorum 12: 237–241 .

[Crux-7] Inequalities proposed in Crux Mathematicorum, 2007.[1]

[Josefsson4-8] Josefsson, Martin (2012), “A New Proof of Yun’s Inequality for Bicentric Quadrilaterals”, Forum Geometricorum 12: 79–82 .

[Durell-9] Durell, C. V. and Robson, A., Advanced Trigonometry, Dover, 2003, pp. 28, 30.

[Yiu-10] Yiu, Paul, Euclidean Geometry, [2], 1998, pp. 158-164.

[11] Salazar, Juan Carlos (2006), “Fuss's Theorem”, Mathematical Gazette 90 (July): 306–307 .

[12] 窪田忠彦『初等幾何学特選問題』共立社書店、1932年、69頁。NDLJP:1211458。

[13] Calin, Ovidiu, Euclidean and Non-Euclidean Geometry a metric approach, [3], pp. 153–158.

[Radic-14] Radic, Mirko, "Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons", Journal of Inequalities in Pure and Applied Mathematics, Volume 6, Issue 1, 2005, [4]

[15] Bogomolny, Alex, Collinearity in Bicentric Quadrilaterals [5], 2004.

[16] L. V. Nagarajan, Bi-centric Polygons, 2014, [6].

[17] Crux Mathematicorum 34 (2008) no 4, p. 242.

[18] Alexey A. Zaslavsky, One property of bicentral quadrilaterals, 2019, [7]

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]