As you can see, angles and form two half-kites, which you should know have <em>two</em><em> </em><em>pairs of</em><em> </em><em>congruent</em><em> </em><em>sides</em>, therefore segments and are what you call anglebisectours, which is why segments and are congruent.