矩形ABCD中，AC=2AB，将矩形ABCD绕点A旋转得到矩形AB′C′D′，使点B的对应点B'落在AC上，B'C'交AD于点E，在B'C′上取点F，使B'F=AB．