（本题10分）如图，AB是半圆O的直径，CD⊥AB于点C，交半圆于点E， DF切半圆于点F。已知∠AEF=135°。

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