证明:(1)∵四边形ABCD是正方形,
∴BC=CD,且∠BCE=∠DCE,
又∵CE是公共边,
∴△BEC≌△DEC,
∴∠BEC=∠DEC.
(2)连接BD.
∵CE=CD,∴∠DEC=∠EDC.
∵∠BEC=∠DEC,∠BEC=∠AEF,
∴∠EDC=∠AEF.
∵∠AEF+∠FED=∠EDC+∠ECD,
∴∠FED=∠ECD.
∵四边形ABCD是正方形,
∴∠ECD=
∠BCD=45°,∠ADB=1 2
∠ADC=45°,1 2
∴∠ECD=∠ADB.
∴∠FED=∠ADB.
又∵∠BFD是公共角,
∴△FDE∽△FBD,
∴
=EF DF
,即DF2=EF?BF.DF BF