因为 BD是角ABC的平分线
所以 角ABD=角DBE
因为 角DAB=角DEB=90°
且 BD=BD
所以 三角形ABD全等于三角形EBD（角角边）
所以 AB=BE
又因为 BE=EC
所以 AB=EC已经算完了忘了等量代换了。。