证明：如图，连接BD，交AC于点O，作EG⊥AC，垂足为G点，
∵四边形AEFC为菱形，
∴EF∥AC．
∴GE=OB，
∵四边形ABCD为正方形，
∴OB⊥AC，
∴OB∥GE，
∵AE=AC，OB=

1

2

BD=

1

2

AC，
∴EG=

1

2

AE，
∴∠EAG=30°．
∴∠BAE=15°．
在菱形AEFC中，AF平分∠EAC，
∴∠EAF=∠FAC=

1

2

∠EAC=15°
∴∠EAB=∠FAE=∠FAC．
即AE、AF把∠BAC三等分．