如图,在平面直角坐标系中,△ABC的三个顶点坐标分别为A(1,4),B(4,2),C(3,5)(每个方格的边长均为1个单位长度).
(1)请画出△A1B1C1 , 使△A1B1C1与△ABC关于x轴对称;
(2)将△ABC绕点O逆时针旋转90°,画出旋转后得到的△A2B2C2 , 并直接写出点B旋转到点B2所经过的路径长.
在正方形ABCD中,对角线AC与BD交于点O;在Rt△PMN中,∠MPN=90°.
①如图2,在旋转过程中(1)中的结论依然成立吗?若成立,请证明;若不成立,请说明理由;
②如图2,在旋转过程中,当∠DOM=15°时,连接EF,若正方形的边长为2,请直接写出线段EF的长;
③如图3,旋转后,若Rt△PMN的顶点P在线段OB上移动(不与点O、B重合),当BD=3BP时,猜想此时PE与PF的数量关系,并给出证明;当BD=m•BP时,请直接写出PE与PF的数量关系.