角平分线和全等三角形证明分类