已知，如图，在梯形ABCD中，AD∥BC，DA=DC，以点D为圆心，DA长为半径的⊙D与AB相切于A，与BC交于点F，过点D作DE⊥BC，垂足为E．
（1）求证：四边形ABED为矩形；
（2）若AB=4， ，求CF的长．