円外接多角形

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

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

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

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

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

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

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

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

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

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

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

• Circumgon

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

• 多角形
• 数学に関する記事