リュイリエの定理（) とは、初等幾何学における三角形についての定理で、1809年にスイスの数学者サイモン・アントワーヌ・ジャン・リュイリエによって提唱されたものである。
定理
証明 面積 の三角形の3辺を とする。
内接円の半径 の逆数は
3傍接円の半径 の逆数は
故に逆数和は
となる。
拡張 リュイリエの定理は平面（2次元）の結果だが、次元空間に拡張できる。
を単体（2次元では三角形、3次元では四面体）とする。の内接球は、の内部から各面への距離が等しくなる点を中心とした、各面に接する球として定義できる。この半径をとする。同様に、の傍接球は、の内部から一つの面に対してだけ反対側に行った領域から、各面への距離が等しくなる点を中心とした、各面に接する球として定義できる。は個の面を持つので、これらの半径をとする。このとき、
が成り立つ Theorem 4.1。証明は線形代数を用いる。
この結果は日本の経済学者の戸田アレクシ哲が大学生のときに証明し、2014年に専門誌に掲載された。
派生項目 リュイリエは、彼の著書 (Lhuilier, 1809) において
であることも示唆している。
これより
であるから、リュイリエの定理：
と辺々掛け合わせると
が得られる。ここで は の半周長 である。この等式は、カール・フォイエルバッハが1822年に得たものであるそれよりも前にリュイリエが彼の著書 (Lhuilier, 1809) において全く同等の等式を示唆している（224頁）。。
脚注
関連項目 三角形の内接円と傍接円 三角形#内接円・傍接円による式
出典
外部リンク