円外接多角形

ユークリッド幾何学における接多角形 (tangential polygon) あるいは円の外接多角形（がいせつたかっけい、英: circumscribed polygon; 円外接多角形）は、内接円（内円）と呼ばれるただ一つの円に全ての辺が接する凸多角形を言う。円外接多角形の双対多角形（英語版）は円内接多角形（共円多角形）で、この場合そのすべての頂点が外接円と呼ばれるひとつの円周上にある。

任意の三角形は円に外接し、また任意の正多角形も内接円を持つ。よく調べられている外接多角形は円に外接する四角形で菱形や凧形などはその例となる。

特徴付け

凸多角形が内接円を持つための必要十分条件は、その内角の二等分線がすべて一点で交わることである。この共通交点は内心（内接円の中心）となる^[1]^:77。

辺長による存在判定

$n$ 個の辺が相隣る順に $a 1, \dots, a n$ であるような接多角形が存在するための必要十分条件は、連立方程式 $x_{1}+x_{2}=a_{1},\quad x_{2}+x_{3}=a_{2},\quad \ldots ,\quad x_{n}+x_{1}=a_{n}$ が正の実数解 $(x 1, \dots, x n)$ を持つことである^[2]。

そのような解が存在するとき、 $x 1, \dots, x n$ を外接多角形の接辺長 (tangent length) と呼ぶ（ $x i$ は外接多角形の各頂点から相隣る接点までの長さになっていることに注意する）。

一意性と多意性

多角形の辺数 $n$ が奇数ならば、任意に与えられた辺長の組 $a 1, \dots, a n$ に対して、上記の判定法により、そのような辺長を持つ接多角形がただ一つ存在する。しかし $n$ が偶数の場合には、そのような接多角形は無数 (infinitude) に存在する^[3]^:389。例えば、すべての辺が同じ長さを持つ四辺形の場合、任意の角度の鋭角を持つ菱形が作れて、内接円に接する。

内半径

円外接 $n$ -角形の辺長が $a 1, \dots, a n$ であるとき、その内半径（内接円の半径）は $r={\frac {K}{s}}={\frac {2K}{\sum _{i=1}^{n}a_{i}}}$ で与えられる^[4]^:125。ただし、 $K$ はその多角形の面積で $s$ は多角形の半周長とする。

（任意の三角形は内接円を持つのであったから、この公式は任意の三角形に当てはまる。）

その他の性質

円外接奇数角形に対して、すべての辺の長さが等しいための必要十分条件は、全ての角の大きさが等しい（したがって正多角形となる）ことである。円外接偶数角形のすべての辺の長さが等しいための必要十分条件は、連続する全ての角が交互に等しいことである（つまり、相隣る角を順に $A, B, C, D, E, F, \dots$ とすれば、それらの角度は $A, C, E, \dots$ が等しくかつ $B, D, F, \dots$ が等しい）^[5]。
円外接偶数角形において、奇数番目の辺の辺長の総和と偶数番目の辺の辺長の総和は等しい^[2]^:561。
接多角形の面積は、同じ周長を持ちかつ順番まで込めて対応する内角の角度が同じであるようなほかの任意の多角形の面積よりも大きい^[6]^:862^[7]
任意の接多角形において、多角形の重心、境界点すべてからなる集合の重心と、内心は同一直線上にある。このとき、多角形の重心とほかの二点との間の距離は、内心から境界点集合の重心までの距離の二倍になる^[6]^:858–859。

接線三角形

任意の三角形が何らかの円に外接するけれども、特に接線三角形と呼ぶときには、基準となる三角形 (reference triangle) を固定して、内接円との接点が基準三角形の頂点となっているような三角形の意味で用いる。

接四辺形

This section is an excerpt from 円に外接する四角形.[編集]

平面幾何学において、円に外接する四角形（えんにがいせつするしかくけい、）または円外接四辺形、接線四辺形（）はすべての辺がある円に接する凸四角形である。特にこの円とその中心、半径をそれぞれ内接円、内心、内半径という。円に外接する四角形は円外接多角形の一つである。

英語では inscriptable quadrilateral, inscriptible quadrilateral, inscribable quadrilateral, circumcyclic quadrilateral,co-cyclic quadrilateralなどと言われる場合もある。しかしこの語は円に内接する四角形を指す場合が多く混同を避けるため、あまり使われない。

任意の三角形は内接円を持つが四角形ではそうとは限らない。例えば、正方形でない長方形は内接円を持たない。四角形が円に外接する必要十分条件は後述のピトーの定理などがある。

接六角形

接六角形 $ABCDEF$ において、主対角線 $AD, BE, CF$ はブリアンションの定理により共線である。

参考文献

^ Owen Byer, Felix Lazebnik and Deirdre Smeltzer, Methods for Euclidean Geometry, Mathematical Association of America, 2010.
^ ^a ^b Dušan Djukić, Vladimir Janković, Ivan Matić, Nikola Petrović, The IMO Compendium, Springer, 2006
^ HessAlbrecht「On a circle containing the incenters of tangential quadrilaterals」『Forum Geometricorum』第14巻、389–396頁、2014年。 .
^ Alsina, Claudi and Nelsen, Roger, Icons of Mathematics. An exploration of twenty key images, Mathematical Association of America, 2011
^ De Villiers, Michael (March 2011), “Equiangular cyclic and equilateral circumscribed polygons”, Mathematical Gazette 95: 102–107
^ ^a ^b Tom M. Apostol and Mamikon A. Mnatsakanian (December 2004). “Figures Circumscribing Circles”. American Mathematical Monthly 111: 853–863. doi:10.2307/4145094 6 April 2016閲覧。.
^ Apostol, Tom (December 2005). “erratum”. American Mathematical Monthly 112 (10): 946. doi:10.1080/00029890.2005.11920274.

外部リンク

Weisstein, Eric W. "Tangential Polygon". mathworld.wolfram.com (英語).

[1] Owen Byer, Felix Lazebnik and Deirdre Smeltzer, Methods for Euclidean Geometry, Mathematical Association of America, 2010.

[IMO-2] Dušan Djukić, Vladimir Janković, Ivan Matić, Nikola Petrović, The IMO Compendium, Springer, 2006

[Hess-3] HessAlbrecht「On a circle containing the incenters of tangential quadrilaterals」『Forum Geometricorum』第14巻、389–396頁、2014年。 .

[4] Alsina, Claudi and Nelsen, Roger, Icons of Mathematics. An exploration of twenty key images, Mathematical Association of America, 2011

[5] De Villiers, Michael (March 2011), “Equiangular cyclic and equilateral circumscribed polygons”, Mathematical Gazette 95: 102–107

[AM-6] Tom M. Apostol and Mamikon A. Mnatsakanian (December 2004). “Figures Circumscribing Circles”. American Mathematical Monthly 111: 853–863. doi:10.2307/4145094 6 April 2016閲覧。.

[7] Apostol, Tom (December 2005). “erratum”. American Mathematical Monthly 112 (10): 946. doi:10.1080/00029890.2005.11920274.

[1]

[2]

[3]

[4]

[5]

[6]

[7]