命题 全等三角形对应角的角平分线长度相等 的已知是 ,求证是