已知AD是三角形ABC的角平分线,AD的垂直平分线交BC的延长线于点E,求证ED的平方等于EC乘以EB

证：
连接AE,AD的垂直平分线交BC的延长线于点E
∠BAD=∠CAD
EA=ED
∠EAD=∠EDA
∠EAD=∠EAC+∠CAD
∠EDA=∠BAD+∠DBA=∠CAD+∠DBA(△外角定理)
∴∠EAC=∠DBA=∠EBA
∵∠AEC=∠BEA
∴△AEC∽△BEA
∴EA/EB=EC/EA
EA^2=EC*EB
EA=ED
∴ED^2=EC*EB