几何证明题正方形ABCD,AE交BC与E点,角AEF为直角,cf为角平分线,证明ae=ef