如图，梯形ABCD中，AD∥BC，AE⊥BC于E，∠ADC的平分线交AE于点O，以点O为圆心，OA为半径的圆经过点B，交BC于另一点F．