1. (2015八下·临沂期中) 如图，已知AD是三角形纸片ABC的高，将纸片沿直线EF折叠，使点A与点D重合，给出下列判断：

①EF是△ABC的中位线；

②△DEF的周长等于△ABC周长的一半；

③若四边形AEDF是菱形，则AB=AC；

④若∠BAC是直角，则四边形AEDF是矩形，

其中正确的是（   ）