Question

如图，在正方形ABCD中，F是CD的中点，E是BC边上的一点，且AF平分∠DAE
（1）若正方形ABCD的边长为4，BE=3，求EF的长？
（2）求证：AE=EC+CD．

Answer 1

（1）∵四边形ABCD是正方形，
∴AD=CD=BC，∠D=∠C=90°．
∵BE=3，
∴EC=1．
∵F是CD的中点，
∴DF=CF=2．
在Rt△EFC中，由勾股定理得
EF=

CE2+CF2

=

12+22

=

5

．

（2）证明：过F作FG⊥AE于G
∵AF平分∠DAE，∠D=90°，FG⊥AE，

∴∠DAF=∠EAF，FG=FD，
在Rt△AGF与Rt△ADF中，
∵AF为公共边，FG=FD
∴Rt△AGF≌Rt△ADF（HL）．
∴AG=AD，GF=DF．
∵DF=FC=FG，FE为公共边，
∴△FGE≌△FCE．
∴GE=CE．
∵AE=AG+GE，AG=AD=CD，GE=CE，
∴AE=EC+CD．