我们在作角ABC的平分线时,应用了三角形的什么定理?