角平分线公式：(k-k1)/(1+k1*k)=(k2-k)/(1+k2*k)。

角平分线定理1是：描述角平分线上的点到角两边距离定量关系的定理，也可看作是角平分线的性质。

角平分线定理2是：将角平分线放到三角形中研究得出的线段等比例关系的定理，由它以及相关公式还可以推导出三角形内角平分线长与各线段间的定量关系。