如图1．在菱形ABCD中，AB=2 ，tan∠ABC=2，∠BCD=α，点E从点D出发，以每秒1个单位长度的速度沿着射线DA的方向匀速运动，设运动时间为t（秒），将线段CE绕点C顺时针旋转α度，得到对应线段CF，连接BD、EF，BD交EC、EF于点P、Q．
如图1，已知折痕与边BC交于点O，连结AP、OP、OA．
①求证：△OCP∽△PDA；
②求边AB的长；
如图2，连结AP、BP．动点M在线段AP上（点M与点P、A不重合），动点N在线段AB的延长线上，且BN=PM，连结MN交PB于点F，作ME⊥BP于点E．试问当点M、N在移动过程中，线段EF的长度是否发生变化？若变化，说明理由；若不变，求出线段EF的长度．
