如图,在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.