ABCD是正形,点E是边BC中点,角AEF=90度,EF交正方形外角的平分线CF于F,证AE=EF