双心多角形

正三角形

直角凧形

等脚接線台形

正五角形

幾何学における双心多角形（そうしんたかくけい、テンプレート:Lang-en-short）は内接円と外接円を持つ多角形である。すべての三角形は外接円と内接円を持つので、双心多角形である。しかし例えば正方形でない長方形は、外接円を持つが内接円を持たないため双心多角形でない。

三角形

前述のとおり、任意の三角形は外接円と内接円を持つ。内半径、外半径をそれぞれテンプレート:Mvar、内心と外心の距離をテンプレート:Mvarとして

$\frac{1}{R-d}+\frac{1}{R+d}=\frac{1}{r}$

が成り立つ。これはオイラーの定理である。

証明

双心四辺形

すべての四角形が内接円と外接円を持つわけではない。$R>r$を満たすテンプレート:Mvarをそれぞれ半径とする円の中心の距離をテンプレート:Mvarとする。この2円に内接、外接する四角形が存在することと、以下の式が成り立つことは同値である。

$\frac{1}{(R-d{)}^2}+\frac{1}{(R+d{)}^2}=\frac{1}{r^2}$

この定理はファスの定理として知られている。

n > 4の多角形

テンプレート:Mvarを前項と同様に定義する。一般の双心n角形のテンプレート:Mvarの関係式は非常に複雑である。

以下に、いくつかの双心n角形のテンプレート:Mvarに関する関係式を挙げた。

$n=5:r(R-d)=(R+d)\sqrt{(R-r+d)(R-r-d)}+(R+d)\sqrt{2R(R-r-d)},$

$n=6:3(R^2-d^2{)}^4=4r^2(R^2+d^2)(R^2-d^2{)}^2+16r^4{d}^2{R}^2,$

$n=8:16p^4{q}^4(p^2-1)(q^2-1)=(p^2+q^2-p^2{q}^2{)}^4,$

ただし、$p=\frac{R+d}{r},q=\frac{R-d}{r}$である。

正多角形

全ての正多角形は双心である。さらに、その外接円と内接円は同心円となる。また、内接円の半径は 辺心距離と等しい。

辺長がテンプレート:Mvarである正n角形について、次の式が成立する。

$R=\frac{a}{2\sin \frac{\pi }{n}}=\frac{r}{\cos \frac{\pi }{n}}.$

定規とコンパスによる作図可能な正多角形についてはいかのような関係式がある。

$n$	$R\text{and}a$	$r\text{and}a$	$r\text{and}R$
3	$R\sqrt{3}=a$	$2r=\frac{a}{3}\sqrt{3}$	$2r=R$
4	$R\sqrt{2}=a$	$r=\frac{a}{2}$	$2r=R\sqrt{2}$
5	$R\sqrt{\frac{5-\sqrt{5}}{2}}=a$	$r(\sqrt{5}-1)=\frac{a}{10}\sqrt{50+10\sqrt{5}}$	$r(\sqrt{5}-1)=R$
6	$R=a$	$\frac{2r}{3}\sqrt{3}=a$	$\frac{2r}{3}\sqrt{3}=R$
8	$R\sqrt{2+\sqrt{2}}=a(\sqrt{2}+1)$	$r\sqrt{4-2\sqrt{2}}=\frac{a}{2}\sqrt{4+2\sqrt{2}}$	$2r(\sqrt{2}-1)=R\sqrt{2-\sqrt{2}}$
10	$(\sqrt{5}-1)R=2a$	$2r\sqrt{25-10\sqrt{5}}=5a$	$\frac{2r}{5}\sqrt{25-10\sqrt{5}}=\frac{R}{2}(\sqrt{5}-1)$

外半径、内半径、1辺に長さの比の近似値は以下のようになる。

$n$		$R/a$		$r/a$		$R/r$
$3$		$0.577$		$0.289$		$2.000$
$4$		$0.707$		$0.500$		$1.414$
$5$		$0.851$		$0.688$		$1.236$
$6$		$1.000$		$0.866$		$1.155$
$8$		$1.307$		$1.207$		$1.082$
$10$		$1.618$		$1.539$		$1.051$

ポンスレの閉形問題

テンプレート:Main 2つの円に外接、内接するようなn角形が1つでも存在すれば、同様にその2円に外接、内接するn角形が無数に存在する。これはポンスレの閉形定理と呼ばれる。より一般には円を円錐曲線へ置き換えても成り立つ。

さらに、そのような多角形のどの対角線もある円錐曲線へ接する。

関連項目

• ヴァイルの定理
• 円外接多角形
• 円外接多角形状図形

外部リンク

• テンプレート:MathWorld