Given: and bisect each other at .
A bisector divides a segment into equal parts. Now, since and bisect each other,
and by definition of bisector.
We also know that
because vertical angles are congruent.
Now, since the angle is between the congruent sides,
by SAS congruence.
Therefore, since corresponding sides of congruent triangles are congruent.