②若AD＝25，且AE DE，求AE的长和tan∠PCB的值；

③当BP＝9时，直接写出BE•EF的值.

在上述条件下，小明增加条件“当∠BAD=∠B=∠D= 90°时”如图(2)，小明很快就判断出线段BE、DF、EF之间的数量关系为：。

类比特殊情景，小明猜想：在如图(1)的条件下线段BE、DF、EF之间的数量关系是否仍然成立？若成立，请你帮助小明完成证明；若不成立，请说明理由。

如图(3)，在△ABC中，∠BAC= 90°，AB=AC=4，点D、E均在边BC上，且∠DAE=45°，若BD= ，请求出线段DE的长。