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

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