当E在线段AC上时,角DEC=角BEC,AC为三角形BED的中垂线,BC=CD,则AC为三角形ABD的中线,又因为AC垂直BD,所以三角形ABD为等腰三角形,AB=AD
当E在AC延长线上时,同理,可证