共円
一般に、円の中心 O と円周上の点 P, Q があれば、必ず線分の長さ OP と OQ は等しくなければならないから(円の半径)、中心 O は線分 PQ の垂直二等分線上にある。
相異なる n 点に対しては、n(n − 1)/2 本の二等分線が引けるが、これらの点の共円条件はそれら二等分線がただ一点(それは共有する円の中心 O となるべき点である)で交わることと述べられる。
↑ ホモロジー代数におけるコサイクル (cocycle) と混同してはならない。