以△ABC的AB、AC边为边分别向形外作正方形ABDE,连接EF,求证S△AEF=S△ABC