Answer:
See proof below
Explanation:
Given
Then,
because corresponding parts of congruent triangles are congruent.
Since
, by the linear pair postulate,
.
Similarly,
, so by the linear pair postulate,
.
By the Congruent supplements theorem, since
,
, and
, then
. (note, this is one pair of opposite angles inside quadrilateral DFBE)
Recalling that
, then,
, and
by definition of angle bisector.
Note that
because corresponding parts of congruent triangles are congruent.
Also, note that
and
because B, E, A are colinear, and D, F, C are colinear.
So, by the transitive property of angle congruence,
(This is the other pair of opposite angles inside quadrilateral DFBE)
So, since both pairs of opposite angles are congruent, quadrilateral DFBE is a parallelogram, by a theorem about quadrilateral properties (your book may or may not have a name for it. It may just have a number).