E为正方形abcd的边bc上一点,点P在BC延长线上,EF垂直于AE交角DCP的平分线于F 求EF=AE