①AD和EF互相垂直平分;
②AE=AF;
③当∠BAC=90°时,AD=EF;
④DE是AB的垂直平分线.
其中正确的是(填序号).
在平面直角坐标系中,△ABC的点坐标分别是A(2,4)、B(1,2)、C(5,3),如图:
(1)以点(0,0)为旋转中心,将△ABC顺时针转动90°,得到△A1B1C1 , 在坐标系中画出△A1B1C1 , 写出A1、B1、C1的坐标;
(2)在(1)中,若△ABC上有一点P(m,n),直接写出对应点P1的坐标.