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

ウィキペディア

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

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/12/03 19:28 UTC 版)

ヘルマン・ヴァイルの名を冠する定理については「ワイルの定理」をご覧ください。

このページ名「ヴァイルの定理 (幾何学)」は暫定的なものです。（2024年5月）

三角形、四角形、六角形におけるヴァイルの定理

幾何学において、ヴァイルの定理（ヴァイルのていり、英:Weill's theorem）とは、多角形の外接円と内接円に関する定理である^[1][2][3]。ジョゼフ・リウヴィルの雑誌『Journal de Mathématiques Pures et Appliquées』で1878年、ヴァイル（Weill）が証明した^{[4][5][註 1]}。書籍によっては、ワイルの定理、ウェイルの定理とも書かれている^[6][7][8]。

定理

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}$