(1)
∵∠FCE=∠ADC=∠BCD=90°
∴∠FCD=∠ECB,∠FDC=∠EBC
又∵DC=BC
∴根据三角形全等判定方法中的角边角(ASA)定理,得
Rt△FDC≌Rt△EBC
∴对应边CF=CE,BE=DF
得证!
(2)
∵S(正方形ABCD)=256,S(△CEF)=200,△CEF是等腰直角三角形
∴DC=√S(正方形ABCD)=16,FC=√[2*S(△CEF)]=20,
∴在△FDC中,再由勾股定理,得
DF=√(CF²-DC²)=12
由(1)中的结果,知道
BE=DF
BE=DF=12