双心四角形

四角形$ABCD$及び四角形$EFGH$は双心四角形である。

双心四角形（そうしんしかっけい、テンプレート:Lang-en-short）とは外接円と内接円の両方をもつ四角形のことである。双心多角形の一種。

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

特別な場合

直角凧形

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

作図

双心四角形の作図。アニメーションは、こちらを参照

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

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

面積の公式

4辺が a, b, c, d である双心四角形テンプレート:Mvarの面積は次の公式で表される。

$S=\sqrt{abcd}$

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

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

双心四角形に対する公式は、テンプレート:Math という特殊な場合である。

証明

双心四角形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に対する接線長をテンプレート:Mvar、内心をテンプレート:Mvar、対角線の成す角をテンプレート:Mvarなどとすれば次のように書ける。

$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$

ただし、テンプレート:Mvarはそれぞれ内半径と外半径。

不等式

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

$4r^2\le K\le 2R^2.$　等号成立は正方形。

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

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

角の公式

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

$\begin{array}{cc}\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{array}$

$\begin{array}{cc}\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{array}$

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

外接円と内接円の関係

ファスの定理（Fuss's theorem）

ファスの定理

外接円の半径を 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$

が成り立つ。定理名はテンプレート:仮リンクに由来する（Fussはフースとも）。

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

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

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

Carlitzの恒等式

Leonard Carlitzテンプレート:Enlinkによれば、次の式が成り立つ。

$d^2=R^2-2Rr\cdot \mu$

ただし

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

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

テンプレート:Mvarの接線長をテンプレート:Mvarとすると以下の不等式が成立する。

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

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

同様に辺テンプレート:Mvarでも以下の不等式が成立する。

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

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

内心の性質

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

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

また、対角線の交点をテンプレート:Mvarと置けば、

$\frac{\overline{AP}}{\overline{CP}}=\frac{\stackrel{2}{\stackrel{‾}{AI}}}{\stackrel{2}{\stackrel{‾}{CI}}}.$ である。

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

双心三角形テンプレート:Mvarの外心テンプレート:Mvarで分割された4つの三角形テンプレート:Mathの内心は共円である。

関連項目

• ブラーマグプタの公式
• ポンスレの閉形定理
• 傍接四角形

外部リンク

• テンプレート:MathWorld