双心四角形

サムネイル|四角形及び四角形は双心四角形である。双心四角形（そうしんしかっけい、）とは外接円と内接円の両方をもつ四角形のことである。双心多角形の一種。

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

特別な場合サムネイル|直角凧形双心四角形の一つに正方形、直角凧形、円に外接する等脚台形などがある。作図サムネイル|双心四角形の作図。アニメーションは、このリンクを参照双心四角形の単純な作図には次のようなものがある。

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

面積の公式 4辺がである双心四角形の面積は次の公式で表される。

より一般に、内接円を持つ四角形の面積は、とおくと次で与えられる。

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

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

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

したがって

ゆえに

（証終）

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

その他の面積公式に対する接線長を、内心を、対角線の成す角をなどとすれば次のように書ける...。

ただし、はそれぞれ内半径と外半径。

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

等号成立は正方形。

等号成立は正方形

等号成立条件は凧形。

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

外接円と内接円の関係サムネイル|252x252ピクセル|フースの定理（Fuss's theorem）

フースの定理外接円の半径を、内接円の半径を、外接円の中心と内接円の中心の距離をとしたとき、

または

が成り立つ。定理名はに由来する。

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

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

Carlitzの恒等式 Leonard Carlitzによれば、次の式が成り立つ。

ただし

接線長と辺の長さに関する不等式の接線長をとすると以下の不等式が成立する。

同様に辺でも以下の不等式が成立する。

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

内接円の半径と、内心と各頂点の距離についてが成り立つ。

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

である。

分割された4つの三角形の内心双心三角形の外心で分割された4つの三角形の内心は共円である。

出典

Źródło i licencja