オイラーの定理 (平面幾何学)

三角形におけるオイラーの定理（オイラーのていり）とは、三角形の内接円と外接円の半径と内心と外心の距離の関係を表した定理である。

レオンハルト・オイラーは、1765年にこの関係について述べている岩田至康『幾何学大事典』1巻 P.207が、ウィリアム・チャップルは同じ関係式を1745年に発表している。このため、Chappleの定理・Chapple-Eulerの定理などとも呼ばれる。

定理三角形の外接円の半径を R 、内接円の半径を r 、内心と外心の距離を d としたとき、以下の式が成り立つ。

この式を変形するとが成り立つ。これはオイラーの不等式と呼ばれる。また、この式の両辺を 2 で割ることにより、九点円の半径が内接円の半径より大きいことが分かる。

3辺の長さを面積をとして、オイラーはこの式を以下の形で提示している。

逆に、2円の半径が上記の関係を満たしている場合、2つの円を外接円と内接円とする三角形は無限に存在する。これはポンスレの閉形定理の最も簡単な例である。

証明

以下の証明は右の図に書かれているものである。

において、外接円・内接円半径、外心・内心とその距離をと定義し、とする。

が外接円と交わる（でない）点をとし、が外接円と交わる点をとする。

からに下ろした垂線の足をとすると、。

は外接円の直径なので∠MBL は直角。よって∠ADI=∠MBL。円周角なので ∠BAL=∠BML。よって△ADI∽△MBL がいえる。よって AI×BL = ID×ML = 2R r 。

BI を結ぶと、∠BIL = ∠IAB + ∠ABI = α/2 + β/2, ∠IBL = ∠IBC + ∠CBL = β/2 + α/2。よって∠BIL = ∠IBL がいえるので△LBI は二等辺三角形であり、LB = LI。よって AI×IL = 2R r 。

OI の延長線が外接円と交わる点を P, Q とする。PI×IQ = (R -d )(R +d ) である。方べきの定理より AI×IL = PI×IQ である。

2R r = (R -d )(R +d ) なので、これを整理すれば求める式が得られる。

傍心との距離傍接円の半径を、その中心と外心の距離をとすると、次の式が成り立つ。

証明は内心の場合とほぼ同様である。

n次元への拡張 n次元のn次元単体にそれぞれ内接、外接するn-1次元超球の半径について、以下の式が成り立つ。

これはオイラーの不等式の一般化である。

脚注

Źródło i licencja