如图，在Rt△ABC中，AB＝AC，D、E是斜边BC上的两点，∠EAD＝45°，将△ADC绕点A顺时针旋转90°，得到△AFB，连接EF．