在正方形ABCD中,已知F为CD延长线上一点,CE⊥AF于点E