在梯形ABCD中，AB∥CD，∠BCD=90°，且AB=1，BC=2，tan∠ADC=2．对角线AC和BD相交于点O，等腰直角三角板的直角顶点落在梯形的顶点C上，使三角板绕点C旋转．
（1）如图1，当三角板旋转到点E落在BC边上时，线段DE与BF的位置关系是

垂直

垂直

，数量关系是

相等

相等

；
（2）继续旋转三角板，旋转角为α．请你在图2中画出图形，并判断（1）中结论还成立吗？如果成立请加以证明；如果不成立，请说明理由；
（3）如图3，当三角板的一边CF与梯形对角线AC重合时，EF与CD相交于点P，若

OF

=

5

6

，求PE的长．