在正方形ABCD中,点E,F分别在BC,CD上,∠EAF=45°,求证S正方形ABCD*EF=S△AEF*2AB