初三证明几何题

证明：连BD,交AC于O,过E作△ACE边AC上高EG,
在正方形ABCD中DO=BO=BD/2=AC/2,
因为DE∥AC
所以EG=DO
因为直角△CEG中,EG=CE/2,
所以AC=EC,
因为∠ACE=30°,
所以∠E=(180-30)/2=75,
因为∠EFA=∠DAC+∠ACE=75
所以∠AEF=∠EFA
所以AE=AF