(关于证明的)正方形ABCD中,F在CD上,AE平分∠BAC,E为BC中点中点,求证AF=BC+CF