一般数学有角平分线时,经常会用到什么定理