(1)證明:
作AG⊥EF于G
∵四邊形ABCD是正方形
∴∠BAD=∠B=∠C=∠D=90°
AB=BC=CD=AD=6
∵AE平分∠BEF
∴∠AEB=∠AEG
又∵∠B=∠AGE=90°,AE=AE
∴△ABE≌△AGE(AAS)
∴AB=AG,BE=EG,∠BAE=∠GAE
∵∠D=∠AGF=90°,AG=AD,AF=AF
∴△AGF≌△ADF(HL)
∴GF=DF,∠GAF=∠DAF
∴∠BAE+∠DAF=∠EAG+∠FAG=∠EAF
∵∠BAE+∠DAF+∠EAG+∠FAG=∠BAD=90°
∴∠EAF=45°
(2)【2題必須在1題的基礎(chǔ)上解得】
∵E是BC中點(diǎn),AB=6
∴CE=BE=EG=3
設(shè)DF=FG=x
根據(jù)勾股定理:EF²=CE²+CF²
EF=EC+FG=3+x,CF=CD-DF=6-x,CE =3
代入解得x=2
EF=3+2=5
S△AEF=½EF×AG=15