欧拉定理 (几何)在平面几何学中的欧拉定理是说,三角形的外心与内心之间的距离 d {\displaystyle d} 可表示为 d = | I O | = R ( R − 2 r ) {\displaystyle d=|IO|={\sqrt {R(R-2r)}}} 提示:此条目的主题不是欧拉公式或欧拉定理 (数论)。 d 2 = R ( R − 2 r ) {\displaystyle d^{2}=R(R-2r)\,} 其中 R {\displaystyle R} 为外接圆半径, r {\displaystyle r} 为内切圆半径。 从欧拉定理可推出欧拉不等式 (当三角形等边时,等号成立): R {\displaystyle R} ≥ 2 r . {\displaystyle 2r.} 证明 (1)当 d = 0 {\displaystyle d=0} 时,表示外心 O {\displaystyle O} 与内心 I {\displaystyle I} 重合,此时易证三角形 A B C {\displaystyle \displaystyle ABC} 为正三角形,且 R = 2 r {\displaystyle R=2r} ,因此 d 2 = R ( R − 2 r ) {\displaystyle \displaystyle d^{2}=R(R-2r)} 。 (2)当 d {\displaystyle d} 大于 0 {\displaystyle 0} 时,请参考右下图: (a)设三角形 A B C {\displaystyle ABC} 的外心为 O {\displaystyle O} ,内心为 I {\displaystyle I} ,延长 A I {\displaystyle AI} 交外接圆于 L {\displaystyle L} ,则 L {\displaystyle L} 为弧 B C {\displaystyle BC} 的中点。连 L O {\displaystyle LO} 延长交外接圆于 M {\displaystyle M} ,过 I {\displaystyle I} 作 I D {\displaystyle ID} 垂直于 A B {\displaystyle AB} , D {\displaystyle D} 为垂足,则 I D = r {\displaystyle ID=r} 。易证三角形 A D I {\displaystyle \displaystyle ADI} 与三角形 M B L {\displaystyle \displaystyle MBL} 相似,故 I D B L = A I M L {\displaystyle {\frac {ID}{BL}}={\frac {AI}{ML}}} ,即 I D × M L = A I × B L {\displaystyle ID\times ML=AI\times BL} 。所以 2 R r = A I × B L {\displaystyle 2Rr=AI\times BL} 。 (b)连接 B I {\displaystyle \displaystyle BI} ,因 ∠ B I L = ∠ B A I + ∠ A B I = ∠ B A C 2 + ∠ A B C 2 {\displaystyle \angle BIL=\angle BAI+\angle ABI={\frac {\angle BAC}{2}}+{\frac {\angle ABC}{2}}} , ∠ I B L = ∠ I B C + ∠ C B L = ∠ A B C 2 + ∠ B A C 2 {\displaystyle \angle IBL=\angle IBC+\angle CBL={\frac {\angle ABC}{2}}+{\frac {\angle BAC}{2}}} ,所以 ∠ B I L = ∠ I B L {\displaystyle \angle BIL=\angle IBL} ,有 B L = I L {\displaystyle \displaystyle BL=IL} ,由(a)的结论知 A I ⋅ I L = 2 R r {\displaystyle AI\cdot IL=2Rr} 。 (c)设 O I {\displaystyle \displaystyle OI} 延长线交外接圆于 P , Q {\displaystyle \displaystyle P,\;\displaystyle Q} 两点,则 P I ⋅ Q I = A I ⋅ I L = 2 R r {\displaystyle PI\cdot QI=AI\cdot IL=2Rr} ,所以 ( R + d ) ( R − d ) = 2 R r {\displaystyle \displaystyle (R+d)(R-d)=2Rr} ,即 d 2 = R ( R − 2 r ) {\displaystyle \displaystyle d^{2}=R(R-2r)} 。