由题意知△ABC为等腰直角三角形,设AC=BC=a。据旋转对称性及∠ECF=45°,可得CE=CF且EF∥AB。利用相似三角形性质与勾股定理可推得EF=$frac{a}{sqrt{2}}$。
(1)证明:如图,∵∠ACB=90°,AC=BC
∴△ABC是等腰直角三角形.
所以∠A=∠B=45°=∠ECF.
∠CEF=∠ACE+∠A=∠ACE+45°
∠ACF=∠ACE+∠ECF=∠ACE+45°
∴∠ACF=∠CEF
又∵∠A=∠B
∴△ACF∽△BEC.
(2)证明:由上题结论△ACF∽△BEC可得
AC:BE=AF:BC
∴AC×BC=AF×BE
又∵S=1/2AC×BC
∴AC×BC=2S
∴AF×BE=2S.
(做这种题要注意根据题目所给的条件找出对应边与对应角)