PRINCIPIA · THEOREM
内切圆半径与面积 r·s = S
依赖:三角形内切圆 + 内心(内切圆存在 + 内心 到三边距离都等于 )、三角形面积 = ½ × 底 × 高(底高)。
陈述
设 三边长依次为 、、,面积 记作 ,内切圆半径 记作 ,半周长
则三角形的面积、半周长与内切圆半径之间满足
等价写法 把"内切圆半径"问题降到"求面积 + 求周长"两个常见量;与 海伦公式 串联,立刻得到 关于三边的纯代数表达式。

帮我把这条定理写得更好
依赖:三角形内切圆 + 内心(内切圆存在 + 内心 到三边距离都等于 )、三角形面积 = ½ × 底 × 高(底高)。
设 三边长依次为 、、,面积 记作 ,内切圆半径 记作 ,半周长
则三角形的面积、半周长与内切圆半径之间满足
等价写法 把"内切圆半径"问题降到"求面积 + 求周长"两个常见量;与 海伦公式 串联,立刻得到 关于三边的纯代数表达式。
