共円四辺形

初等幾何学における共円四辺形（きょうえんしへんけい、英: concyclic quadrilateral, cyclic quadrilateral）または円に内接する四辺形あるいは（円）内接四辺形 (inscribed quadrilateral) は、そのすべての頂点が「同一円周上にある」ような四辺形を言う。このとき、すべての頂点が共有する円は外円 (circumcircle) または外接円（その中心および半径をそれぞれ外心および外半径）と呼び、またすべての頂点は共円 (concyclic) であると言う。共円四辺形は全ての辺が外接円の弦となっているような四辺形であるから、chordal quadrilateralとも言う。通常、共円四辺形は凸なものを考えるが、自己交叉型の共円四辺形（交叉共円四辺形）を考えることもできる。以下本項では凸四辺形に限って述べることにする。
すべての三角形が外接円を持つのに対して、四辺形の場合には必ずしもそうではない—例えば正方形でない菱形は共円でない（四辺形が外接円を持つための必要十分条件については#特徴付け節を参照）。任意の正方形、矩形、等脚台形、交叉平行四辺形は共円である。凧形が共円となるための必要十分条件は、それが二つの直角を持つことである。双心四辺形は円内接四辺形であるとともに円外接四辺形でもあるような四辺形であり、傍双心四辺形は円内接かつ円傍接であるような四辺形を言う。

面積公式

共円四辺形の面積 K は、その四辺の長さを a, b, c, d とすれば、ブラーマグプタの公式により
 と与えられる。ここに、s := (a + b + c + d) は半周長である。これは一般の四辺形に対して成立するブレートシュナイダーの公式において、共円の場合に向かい合う角が補角であることを適用した系として得られる。さらに d = 0 であるとすれば、共円四辺形は三角形に退化するから、ブラーマグプタの公式もヘロンの公式に退化する。
共円四辺形は、各辺がそれぞれ決まった長さの並びであるようなすべての四辺形の中で最大の面積を持つ（これもまたブレートシュナイダーの公式の系であるし、微分積分学を用いても証明できる）。
ブラーマグプタの公式を見れば、各辺の長さがどの二つも異なり他の三つの辺の長さの和よりも小さいという条件のもとで、そのような長さの辺を持つ共円四辺形は面積が決まれば合同の違いを除いて三種類しかないことが分かる。具体的に言えば、各辺の長さが隣り合う順に a, b, c, d であったときに、長さ a の辺と残りの長さ b, c, d の辺のどれとでもよいから入れ替えるならば、面積は同じで、しかも合同にはならない。
共円四辺形の面積は、辺の長さが隣り合う順に a, b, c, d で長さ a および b の辺の成す角度が B であるとき 
 と表せる。あるいは日本の対角線の成す角度を θ とすれば 
 である。また A が直角でないならば 
 とも書ける。
もっと別の形では、外半径を R として、
 というものもある。すると直ちに 
 がわかるが、ここで等号が成り立つのは考える四辺形が正方形のときであり、かつそのときに限る。

対角線公式

共円四辺形の頂点が隣り合う順に A, B, C, D であり、各辺の長さを a := AB, b := BC, c := CD, d := DA とするとき、対角線の長さ p := AC, q := BD は辺の長さを用いて 
 と表せる。よって、トレミーの定理 
 も示せる。同じ設定のもと、トレミーの第二定理に従えば 
 である。
対角線の長さの和に関して不等式 
 が成り立つ。ここで等号が成り立つための必要十分条件が、二つの対角線の長さが一致することであるということを、相加相乗平均の関係式を用いて示せる。さらに 
 が成り立つ。
任意の凸四辺形が二つの対角線によって四つの三角形に分割されるが、共円四辺形においてそれら四つの三角形の向かい合う対は互いに相似になる。
二つの対角線 AC, BD の中点をそれぞれ M, N とすれば 
 が成り立つ。ここに点 E, F は向かい合う辺を延長したときにできる交点とする。共円四辺形 □ABCD の二辺 AC と BD が E で交わるとすると 
 が成り立つ。
共円四辺形を成す辺の集合が一つ与えられれば、それらの並びだけを替えて、外接円と面積を変えることなく、三つの相異なる共円四辺形を作ることができる（面積が変わらないことはブラーマグプタの公式からわかる）。そのような共円四辺形のどの二つも、ひとつの対角線の長さは共通である。

パラメシュヴァーラの外半径公式

共円四辺形の辺を隣り合う順に a, b, c, d とし、その半周長を s := (a + b + c + d)/2 と書けば、その四辺形の外半径（外接円の半径）R は 
 で与えられる。これは15世紀のインドの数学者 Vatasseri Parameshvara によって導かれた。
ブラーマグプタの公式を用いれば、上記の公式は 
 と書き直せる。ただし K はこの共円四辺形の面積である。

反中心・共線性

四辺形において、一辺に垂直で対辺の中点を通る線分は（「中点からの垂線」の短縮形として）中垂線 (maltitude) と呼ばれる。共円四辺形の各辺に引いた四つの中垂線は一点で交わる。このときの共通交点は反中心 (anticenter) と呼ばれる。反中心は、「頂点重心」の外心に関する鏡像になっているという特徴を持つ点である。したがって、共円四辺形では外心、「頂点重心」、反中心は同一直線上にある。
共円四辺形のふたつの対角線の交点を P とし、対角線の中点をそれぞれ M, N とするならば、その共円四辺形の反中心は三角形 △MNP の垂心に一致する。

ブラーマグプタの四辺形

ブラーマグプタ (Brahmagupta) の四辺形とは、辺の長さおよび対角線の長さが全て整数で面積も整数となる共円四辺形をいう。すべてのブラーマグプタの四辺形は、その辺の長さを a, b, c, d, 対角線の長さを e,f とし、面積を K, 外半径を R と書けば、有理数の範囲を動くパラメータ t, u, v を用いて書ける以下の公式 
　から、分母を払う ことで得られる。

外半径と面積

共円四辺形でなおかつ直交対角線である（つまり二つの対角線が互いに垂直である）ようなものに対し、二つの対角線の交点が一方の対角線を長さ p₁ および p₂ の線分に分け、他方の対角線を長さ q₁ および q₂ の線分に分けるものとすると 
（最初の等号は、アルキメデスの『補題の書』の命題11による）が成り立つ。ここで D は外接円の直径である。これが成り立つのは、二つの対角線が円の弦に垂直であることによる。これら等式から、外半径 R は 
 と表せることが分かる。これはまた辺の長さを用いて 
 とも書ける。あるいはまた 
 も成り立つ。ゆえに、オイラーの四辺形定理に従えば、外半径は二つの対角線の長さ p, q とそれら対角線の中点間の距離 x を用いて 
 と表せる。
共円直交対角線四辺形の面積 K を四辺の長さで表す公式は、トレミーの定理と直交対角線四辺形の面積公式を組合わせることで直接的に得られる。それは 
 というものである。

共円球面四辺形

球面幾何学において、交わる四つの大円から形作られる球面四辺形が「共円」となるための必要十分条件は、二組の向かい合う角の和が等しい（つまり、隣り合う順に四つの角度が α, β, γ, δ であるとき、α + γ = β + δ ちなる）ことである。この定理の一つの方向は1786年に I. A. Lexell が示した。(Lexell 1786) では、球の小円に内接する球面四辺形において向かい合う角の和が等しいことおよび外接する球面四辺形において向かい合う辺の和が等しいことが示されている。この二つの定理について、前者は平面幾何における同様の定理の球面幾何版であり、後者は前者の双対（つまり大円と極点との役割をいれかえたもの）になっている。Kiper らはこの定理の逆「球面四辺形において向かい合う辺の長さの和が等しいならば、この球面四辺形に内接する円が存在する」を示した。