因为 角EDF=角ECF=90度
所以
四边形CEDF为长方形,其四个内角都是90度
所以 角DFB=90度
(连接点C和点D,形成线段CD)
因为 D是AB中点
所以 CD=1/2AB,EF=1/2AB=DB
因为 角DFB=90度,角C=90度
EC=DB
EF=DB
所以
三角形CEF全等于三角形FDB
所以 CF=BF,则F为CB中点
因为 FB=ED
AD=DB
角FBD=角EDA
所以 三角形FBD全等于三角形EDA
所以AE=DF=EC
(现在有两个主要结论,分别是CF=BF,AE=EC)
因为 EC²+CF²=EF²
所以 AE²+BF²=EF²