因角BAC=90,AB=AC,因此△ABC为等腰直角三角形,又因 角DAE=45,因此∠BAD+∠EAC=45,△AEC旋转为△AFB需要旋转∠FAE=(∠FAB=∠EAC)+∠BAD+∠DAE,因此为90°.
DE²=EC²+DE²
提供一种不同算法,连接FE与AD交与H,因角FAE=90,AF=AE,∠AFE=∠AEF=45,又因∠DAE=∠AEF=45,因此∠AHE=90,连接FD,因为由前面条件可推知△FDE为等腰三角形,因此,FD=DE,因FB=EC,∠AFB=∠ABD=45,所以DE²=EC²+DE²