高田の定理
円に内接する五角形の辺と対角線に囲まれて、五芒星に含まれない5つの三角形の外接円を描いたとき、隣同士の外接円が交わる点のうち五角形の頂点でないほうの点はすべて同一円に含まれているという定理である。