円外接多角形

特徴付け

凸多角形が内接円を持つための必要十分条件は、その内角の二等分線がすべて一点で交わることである。この共通交点は内心（内接円の中心）となる^[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$ は外接多角形の各頂点から相隣る接点までの長さになっていることに注意する）。

Remove ads

一意性と多意性

多角形の辺数 $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。

Remove ads

接四辺形

この節は円に外接する四角形からの抜粋です。[編集]

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

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

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

Remove ads

円外接多角形

特徴付け

辺長による存在判定

一意性と多意性

内半径

その他の性質

接線三角形

接四辺形

接六角形

関連項目

参考文献

外部リンク

Wikiwand - on