如图，矩形ABCD中，AB=4，点E，F分别在AD，BC边上，且EF⊥BC，若矩形ABFE∽矩形DEFC，且相似比为1：2，求AD的长．