As shown in the figure, in the quadrilateral ABCD, ab = BC, BF is the bisector of ∠ ABC, AF ‖ DC connects AC and CF

As shown in the figure, in the quadrilateral ABCD, ab = BC, BF is the bisector of ∠ ABC, AF ‖ DC connects AC and CF

It is proved that: ∵ BF is the bisector of ∵ ABC, ∵ 1 = ∵ 2, ab = BC, BF = BF, ≌ △ Abf ≌ △ CBF (SAS), ∵ FA = FC, ∵ 3 = ∵ 4, AF ∥ DC, ? 4 = ? 5, ≌ CA is the bisector of ? DCF