要测量河两岸相对的两点A、B的距离，先在AB的垂线上取两点C、D，使 BC=CD，再作出BF的垂线DE，使E与A、C在一条直线上（如图所示），可以测得DE的长就是AB的长（即测得河宽），可由△EDC≌△ABC得到，判定这两个三角形全等的理由是（　　）

（1）如图1，在平行四边形ABCD中，对角线AC、BD相交于O点，过点O的直线l与边AB、CD分别交于点E、F，绕点O旋转直线l，猜想直线l旋转到什么位置时，四边形AECF是菱形．证明你的猜想．

（2）若将（1）中四边形ABCD改成矩形ABCD，使AB=4cm，BC=3cm，

①如图2，绕点O旋转直线l与边AB、CD分别交于点E、F，将矩形ABCD沿EF折叠，使点A与点C重合，点D的对应点为D′，连接DD′，求△DFD′的面积．

②如图3，绕点O继续旋转直线l，直线l与边BC或BC的延长线交于点E，连接AE，将矩形ABCD沿AE折叠，点B的对应点为B′，当△CEB′为直角三角形时，求BE的长度．请直接写出结果，不必写解答过程．

△OPA和△OQB分别是以OP、OQ为直角边的等腰直角三角形，点C、D、E分别是OA、OB、AB的中点．

类比、转化、从特殊到一般等思想方法，在数学学习和研究中经常用到，请看下面的案例．