因为∠ADE=90度,三角形ABC是等腰直角三角形,∠A=45度
所以∠AED=45度,所以AD=DE,
连接BE,因为BD=BC,∠C=∠EDB=90度,BE是公共边,
所以△CBE全等于△DBE
所以EC=DE=AD