1. (2019·鄞州模拟) 如图，AB是半圆O的直径，CD⊥AB于点C，交半圆于点E，DF切半圆于点F。已知∠AEF=135°。

1. （1） 求证：DF∥AB；
3. （2） 若OC=CE，BF= ，求DE的长。