ヴァイルの定理 (幾何学)

nを3以上の整数とする。ポンスレの閉形定理によれば、ある2円を外接円、内接円とするn角形が一つあれば、そのようなn角形は無数に存在する^[9]。このとき、n角形の辺と内接円の接点が成す多角形の幾何中心は一定である。これをヴァイルの定理と言う。また、その点はヴァイル点（Weill point）と呼ばれる。

1888年、ジョン・ケイシーはn個の接点のうちm個（mは、n≧m>0を満たす整数）の点の幾何中心の軌跡は定円であることを発見した^[2]。ヴァイル点はn=mの場合である。

三角形のヴァイル点は、接触三角形の重心として定義される（三角形の重心は幾何中心と一致する）^[10]。Encyclopedia of Triangle centersでは三角形の中心としてX(354)に登録されている。ヴァイル点WはOI線上に存在し、ヴァイル点と外心は、内心を

${\displaystyle WI:IO=r:3R=(a+b-c)(a-b+c)(-a+b+c):6abc}$

に内分する。ここでr,Rはそれぞれ内接円、外接円の半径である。ヴァイル点の三線座標は以下の式で与えられる^[11]。

${\displaystyle (b-c)^{2}-a(b+c):(c-a)^{2}-b(a+c):(a-b)^{2}-c(a+b)}$

三角形のヴァイル点はアダムス円と3辺の6つ交点の幾何中心、コンウェイ円と3辺の6つの交点の幾何中心などと一致する^[11]。