高BD、CE相等,则直角三角形ABD与ACE全等(两角夹边相等)
AB=AC AE=AD
角AED=角ADE
角ABC=角ACB
由于两等腰三角形顶角相等
故:角AED=角ABC
ED//BC(同位角相等则平行)