如图，已知矩形ABCD中，∠ACB=30°，将矩形ABCD绕点A旋转得到矩形AB′C′D′，使点B的对应点B′落在AC上，B′C′交AD于点E，在B′C′上取点F，使FB′=AB。