(1)证明:作EM⊥BC于点M,EN⊥CD于点N,
∵四边形ABCD是正方形,
∴AC平分∠BCD,
∴EM=EN,∠NEM=90°,

∵∠BEF=90°,
∴∠BEM=∠NEF,
∵∠BME=∠FNE=90°,
∴△BEM≌△FEN,
∴BE=EF;
(2)解:设BM=x,则NF=x,
由(1)可知四边形EMCN为正方形,
∴EM=CM=CN=4+x,
∴CE=

(4+x),
∵EM∥AB,
∴

,
∴

,
解得:x=1或-4(舍),
∴BC=BM+CM=6,
∴正方形ABCD的面积为:6×6=36.
分析:(1)作EM⊥BC于点M,EN⊥CD于点N,利用正方形的性质和角平分线上的点到角的两边相等以及已知条件即可证明△BEM≌△FEN,进而得到BE=EF;
(2)设BM=x,则NF=x,由(1)可知四边形EMCN为正方形,得到EM∥AB,根据平行线分线段成比例定理即可得到关于x的比例式,求出x的值,即可求出正方形的边长,进而求出其面积.
点评:本题考查了正方形的性质、直角三角形的性质、全等三角形的判定和全等三角形的性质以及平行线分线段成比例定理,解题的关键是作垂线段构造全等三角形.