如图，在Rt△ABC中，AB=AC，D、E是斜边BC上两点，且∠DAE=45°，将△ADC绕点A顺时针旋转90°后，得到△AFB连接EF，证明：△AED≌△AEF．