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

4、如图，在Rt△ABC中，AB=AC，AD⊥BC，垂足为D．E、F分别是CD、AD上的点，且CE=AF．如果∠AED=62°，那么∠DBF=（　　）

30、如图，在Rt△ABC中，AB=AC，D、E是斜边BC上两点，且∠DAE=45°，将△ADC绕点A顺时针旋转90°后，得到△AFB，连接EF，下列结论中正确的个数有①∠EAF=45°；②△ABE∽△ACD；③EA平分∠CEF；④BE²+DC²=DE²（　　）

如图，在Rt△ABC中，AB=AC，∠BAC=90°，∠1=∠2，CE⊥BD的延长于E．求证：BD=2CE．

如图，在Rt△ABC中，AB=AC，∠BAC=90°，O为BC的中点．
（1）写出点O到△ABC的三个顶点A、B、C的距离的大小关系．
（2）如果点M、N分别在线段AB、AC上移动，移动中保持AN=BM，请判断△OMN的形状，并证明你的结论．
（3）当点M、N分别在AB、AC上运动时，四边形AMON的面积是否发生变化？说明理由．