双心四角形

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

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

特別な場合

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

作図

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

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

面積の公式

4辺が $a, b, c, d$ である双心四角形 $ABCD$ の面積は次の公式で表される。 $S={\sqrt {abcd}}$ より一般に、内接円を持つ四角形 $ABCD$ の面積は、 $t = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}A + C/2$ とおくと次で与えられる。 $S={\sqrt {abcd}}\sin t$ 双心四角形に対する公式は、 $t = 90°$ という特殊な場合である。

証明

双心四角形 $ABCD$ において、外接円を持つことからブラーマグプタの公式が使えて、次の式が成り立つ。 $S={\sqrt {(s-a)(s-b)(s-c)(s-d)}}$

ただし $s = 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$ 、対角線の成す角を $θ$ などとすれば次のように書ける^[5]^[6]^[7]。

$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$ はそれぞれ内半径と外半径。

不等式

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

$\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}}};$ 等号成立条件は凧形。

角の公式

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

${\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}$ が成り立つ^[2]^[11]^[12]^[13]。定理名はニコラス・フース（英語版）に由来する^[14]。

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

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

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

Carlitzの恒等式

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

$\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$ とすると以下の不等式が成立する^[16]。

$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$ でも以下の不等式が成立する^[16]。

$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}).$

内心の性質

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

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

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

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

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

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

出典

[脚注の使い方]

↑ 村田, 翔吾「四角形の包摂関係の拡張過程に関する一考察」『日本数学教育学会誌』第100巻第3号、2018年、3頁、doi:10.32296/jjsme.100.3_3。
1 2 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.wolfram.com (英語).
↑ 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 .
1 2 Josefsson, Martin (2011), “The Area of a Bicentric Quadrilateral”, Forum Geometricorum 11: 155–164 .
↑ Josefsson, Martin (2012), “Maximal Area of a Bicentric Quadrilateral”, Forum Geometricorum 12: 237–241 .
↑ “Inequalities proposed in Crux Mathematicorum”. Crux Mathematicorum. (2007).
↑ Josefsson, Martin (2012), “A New Proof of Yun’s Inequality for Bicentric Quadrilaterals”, Forum Geometricorum 12: 79–82 .
↑ Durell, C. V.; Robson, A. (2003). Advanced Trigonometry. Dover. pp. 28, 30.
↑ Yiu, Paul (1998), Euclidean Geometry, pp. 158-164
↑ Salazar, Juan Carlos (2006), “Fuss's Theorem”, Mathematical Gazette 90 (July): 306–307
↑ 棈松, 祐介「Ravi変換によるオイラーの不等式の証明と双心四角形の外接円と内接円の半径比の算術幾何平均による評価」『第76回九州数学教育会総会並びに九州算数・数学教育研究(鹿児島)大会研究集録』2022年、118-118頁。
↑ 窪田忠彦『初等幾何学特選問題』共立社書店、1932年、69頁。NDLJP:1211458。
↑ Calin, Ovidiu. Euclidean and Non-Euclidean Geometry a metric approach. pp. 153–158
1 2 Radic, Mirko (2005,). “Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons”. Journal of Inequalities in Pure and Applied Mathematics 6 (1).
↑ Bogomolny, Alex (2004年). “Collinearity in Bicentric Quadrilaterals”. 2025年9月24日閲覧。
↑ L. V. Nagarajan (2014), Bi-centric Polygons
↑ Crux Mathematicorum 34 (4): 242. (2008).
↑ Alexey A. Zaslavsky (2019), One property of bicentral quadrilaterals

外部リンク

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

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

[1] 村田, 翔吾「四角形の包摂関係の拡張過程に関する一考察」『日本数学教育学会誌』第100巻第3号、2018年、3頁、doi:10.32296/jjsme.100.3_3。

[:0-2] 1 2 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

[3] Weisstein, Eric W. “Poncelet's Porism”. mathworld.wolfram.com (英語).

[4] 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-5] Josefsson, Martin (2010), “Calculations concerning the tangent lengths and tangency chords of a tangential quadrilateral”, Forum Geometricorum 10: 119–130 .

[Josefsson3-6] 1 2 Josefsson, Martin (2011), “The Area of a Bicentric Quadrilateral”, Forum Geometricorum 11: 155–164 .

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

[Crux-8] “Inequalities proposed in Crux Mathematicorum”. Crux Mathematicorum. (2007).

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

[Durell-10] Durell, C. V.; Robson, A. (2003). Advanced Trigonometry. Dover. pp. 28, 30.

[Yiu-11] Yiu, Paul (1998), Euclidean Geometry, pp. 158-164

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

[13] 棈松, 祐介「Ravi変換によるオイラーの不等式の証明と双心四角形の外接円と内接円の半径比の算術幾何平均による評価」『第76回九州数学教育会総会並びに九州算数・数学教育研究(鹿児島)大会研究集録』2022年、118-118頁。

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

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

[Radic-16] 1 2 Radic, Mirko (2005,). “Certain inequalities concerning bicentric quadrilaterals, hexagons and octagons”. Journal of Inequalities in Pure and Applied Mathematics 6 (1).

[17] Bogomolny, Alex (2004年). “Collinearity in Bicentric Quadrilaterals”. 2025年9月24日閲覧。

[18] L. V. Nagarajan (2014), Bi-centric Polygons

[19] Crux Mathematicorum 34 (4): 242. (2008).

[20] Alexey A. Zaslavsky (2019), One property of bicentral quadrilaterals

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]