内切圆半径

内切圆的圆心（内心）是三条角平分线的交点，到三边距离相等，这个距离就是内切圆半径 r。公式 r = K ÷ s 优雅得出奇：面积除以半周长。推导只需把三角形分成以内心为顶点、三边为底的三个小三角形，面积相加即得 K = rs。

切点把每边分成两段，长度恰为 s−a、s−b、s−c（从对应顶点量起）——「圆外一点引圆的两条切线等长」的直接应用。内心永远位于三角形内部（与外心不同），这也是角平分线与垂直平分线的本质区别。

内切圆的存在性源于三角形的一个基本性质：三条内角平分线必交于一点（内心），且该点到三边距离相等。这个结论对任意三角形都成立，因此每个三角形都有唯一的内切圆。与之对应，三角形还有三个旁切圆——每个旁切圆与一条边和另两条边的延长线相切，旁心由一条内角平分线和两条外角平分线交成。

公式 r = K ÷ s 的推导非常优雅：连接内心与三个顶点，把三角形分成三个小三角形，它们的高都是 r，底分别是 a、b、c，总面积 K = (a·r + b·r + c·r) ÷ 2 = r·s。这个「面积桥」思想可以推广到任意有内切圆的多边形（切多边形）：面积 = r × 半周长，正多边形、菱形都适用。

切点分边公式 s−a、s−b、s−c 来自「从同一顶点出发的两条切线等长」。设顶点 A、B、C 处的切线长分别为 x、y、z，则 x+y = c、y+z = a、z+x = b，解得 x = s−a。这组关系在竞赛几何中高频出现，也是判断切点位置、计算切线段的快捷工具。

内切圆半径是三角形「厚度」的度量：r 越大，三角形越「饱满」；r 趋近于 0 时三角形退化为一条线段。固定周长时，等边三角形的内切圆半径最大（r = a√3 ÷ 6），这符合等周不等式的精神——对称性最高的图形最「圆」。工程上，r 决定了三角形截面通道内能通过的最大圆柱直径。

欧拉不等式 R ≥ 2r 是联系外接圆半径与内切圆半径的经典结论，等号仅在等边三角形时成立。它的一个等价形式是 OI² = R(R−2r)（欧拉公式，O 为外心、I 为内心），直接给出两心距离的非负性证明。这类关系式在数学竞赛和三角形构形分析中反复出现。