在正方形abcd中, e是bc的中点,且AF=BC CF.求证: