四边形ABCD是正方形，E，F分别是DC和CB的延长线上的点，且DE=BF，连接AE，AF，EF。