（11·十堰）如图，AB是半圆O的直径，点C为半径OB上一点，过点C作CD⊥AB交半圆O于点D，将△ACD沿AD折叠得到△AED，AE交半圆于点F，连接DF。
（1）求证：DE是半圆的切线；
（2）连接OD，当OC=BC时，判断四边形ODFA的形状，并证明你的结论。