在正方形ABCD中,BC中点E,连结AE,在CD上取一点F,使EF⊥AE,连结AF,求证:AF=AD+FC