证明:
因为角AF垂直BC,所以角BFA等于90度
所以角DBC跟角BEF互余
所以角AED也与角DBC互余
因为角BAC为90度
所以角ABD跟角BDA互余
因为角ABD=角DBC
所以角BDA等于角AED
所以AE=AD