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

问题描述:

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

证明:∵△DAC≌△FAB,
∴AD=AF,∠DAC=∠FAB,
∴∠FAD=90°,
∵∠DAE=45°,
∴∠DAC+∠BAE=∠FAB+∠BAE=∠FAE=45°,
在△FAE和△DAE中

DA=FA
∠DAE=∠FAE
AE=AE

∴△FAE≌△DAE,
∴EF=ED.