角形内接圆定理 · 四心共线与圆之谜
◈ 定理核心 · 内接圆与外接圆
? 外接圆 circumcircle
经过三角形三个顶点的圆称为外接圆，圆心即外心。在三角形内接圆定理中，外心位置决定外接圆半径R。
直角三角形外心位于斜边中点；钝角三角形外心在形外。
? 内切圆 incircle
与三角形三边都相切的圆叫内切圆，圆心为内心。内切圆半径r与面积、半周长紧密相关。
公式：r = 2S / (a+b+c) ，其中S为面积。
⭐ 定理精髓
三角形内接圆定理指出外接圆与内切圆半径满足 R ≥ 2r （欧拉不等式），等号仅当等边三角形成立。
同时关联垂心H、外心O、重心G、内心I的共线关系（欧拉线）。
◆ 半径公式与深度计算
直角三角形 · 外接圆直径即斜边
在直角△ABC中，∠C=90°，斜边c为直径。因此外接圆半径 R = c/2。内切圆半径 r = (a+b-c)/2。
R = 5/2 = 2.5 ； r = (3+4-5)/2 = 1 。
面积 S = 6 ，半周长 s=6 ，验证 r = S/s = 1。
R = 2.5 , r = 1 ，比值 R/r = 2.5
此时垂心H就是直角顶点C，外心O在斜边中点，内心I距离直角顶点为√2·r 。四心排列：C(H)→I→G→O。
等边三角形 · 四心合一
边长为a的等边三角形，外心、内心、重心、垂心完全重合。外接圆半径 R = a/√3 ，内切圆半径 r = a/(2√3) 。
恰好 R = 2r ，满足欧拉不等式等号。
该点同时也是中垂线、角平分线交点，体现了三角形内接圆定理中最对称的情形。
般三角形 · 余弦与正弦
对于任意△ABC，使用正弦定理：a/sinA = 2R ，故 R = a/(2sinA)。面积S = (abc)/(4R)。
内切圆半径 r = S / s ，s为半周长。结合海伦公式可求。
- 外接圆半径R = abc / (4S)
- 内切圆半径r = (s-a)(s-b)(s-c) / s 的平方根相关
- 欧拉公式：OI² = R(R-2r) ，描述外心与内心距离
⏳ 四心演化 · 欧拉线时间轴
年 · 欧拉发现垂心、外心、重心共线
欧拉证明重心G位于外心O与垂心H连线上，且HG = 2GO。这条线后来被称为欧拉线。
内心I与欧拉线的关系
般情况下内心I不在欧拉线上，仅当三角形为等腰时I落在欧拉线上。三角形内接圆定理进一步探讨了内心到外心的距离公式。
点圆与内接圆
点圆半径为R/2，且与内切圆相切（费尔巴哈定理）。这丰富了内接圆定理的内涵。
? 网友们还关心这些周边知识
? 内切圆半径的最大值问题
固定周长下，等边三角形内切圆半径最大。这与等周不等式相关，体现三角形内接圆定理的极值性质。
对于给定两边，夹角90°时内切圆半径取得局部极值。
? 旁切圆与内接圆
每个三角形有三个旁切圆，其圆心与内心、外心构成丰富几何结构。旁心与内心连线被外接圆平分。
? 实际应用：三角测量
在导航与工程中，利用外接圆可确定未知点位置。已知三点坐标求外接圆圆心是定位算法基础。
? 深入示例：边长为7,8,9的三角形
半周长 s = (7+8+9)/2 = 12 。面积 S = √(12×5×4×3) = √720 ≈ 26.83 。
内切圆半径 r = S/s ≈ 2.236 ； 外接圆半径 R = (7×8×9)/(4×26.83) ≈ 4.69 。
欧拉距离 OI = √(R(R-2r)) ≈ 1.02 。可见内心与外心距离较小。
? 典型示例与图解心算
等腰三角形顶角120°
外心位于形外，且外接圆半径R与腰长关系：R = 腰长。内切圆半径较小。
- 顶角120°，底角30°
- 外心在顶点外侧
- 内心仍在形内
直角三角形 5,12,13
R=6.5 , r= (5+12-13)/2=2 。面积30，半周长15，r=2吻合。
垂心H为直角顶点，外心斜边中点。