题目内容：

如图，点O在线段AB上，（不与端点A、B重合），以点O为圆心，OA的长为半径画弧，线段BP与这条弧相切与点P，直线CD垂直平分PB，交PB于点C，交AB于点D，在射线DC上截取DE，使DE＝DB。已知AB＝6，设OA＝r。

（1）求证：OP∥ED；

（2）当∠ABP＝30°时，求扇形AOP的面积，并证明四边形PDBE是菱形；

（3）过点O作OF⊥DE于点F，如图所示，线段EF的长度是否随r的变化而变化？若不变，直接写出EF的值；若变化，直接写出EF与r的关系。