将三角形AED沿点D顺时针旋转90度,得三角形DCE'
可得CE'=AE,DE'=DE,角EDE'=90度
又ae+cf=ef,则FE'=FE,可得三角形DEF全等于三角形DE'F
所以角EDF=角E'DF,
所以角EDF=45度