正方形ABCD边长为a,E为CD中点,点F在BC边上移动,是判断当点F移到什么位置时,AE是角DAF的平分线,试证明