AAS Theorem is what should be used I believe. The Sides are congruent and so are the 90 degree angles, the angles that are next to eachother on the left are evenly split by the transverse theorem. So AAS states that two angles and a side being equivelant on both triangles makes them congruent.
