在平面直角坐标系中,将点P(﹣2,1)向右平移3个单位长度,再向下平移4个单位长度得到点P′的坐标是( )
A:(2,4)
B:(1,﹣3)
C:(1,5)
D:(﹣5,5)
已知在矩形ABCD中,点E为边AD上一点,点A关于BE的对称点G位于对角线BD上,EG的延长线交边BC于点F.
(1)求证:AE≠ED;
(2)求证:△BEF是等腰三角形;
(3)若△BEF是正三角形,且AB=1,求EF的长.