如图，在矩形ABCD中，AB=2DA，以点A为圆心，AB为半径的圆弧交DC于点E，交AD的延长线于点F，设DA=2．