在数学中，角平分线长公式是已知三角形三条边的长度时计算内角平分线长度的公式。在三角形formula_1中, 若将formula_2的角平分线记为formula_3, 且将a分为formula_4、formula_5, formula_6的角平分线记为formula_7, 且将b分为formula_8、formula_9, formula_10的角平分线记为formula_11, 且将c分为formula_12、formula_13, 那么它们长度可用如下公式计算：公式1：其中的formula_20是半