如图，在梯形ABCD中，已知AD∥BC，∠B=90°，AB=7，AD=9，BC=12，在线段BC上任取一点E，连接DE，作EF⊥DE，交直线AB于点F．