HL

SSA or ASS is not a theorem in geometry because two triangles that are not congruent can satisfy this condition: 

 

 However, if the angle is a right angle, then the triangles are congruent.  This is a theorem, called HL for "hypotenuse-leg."

Theorem (HL): 

If two right triangles have congruent hypotenuse's and a pair of congruent legs, then the triangles are congruent.

We can prove this theorem by setting up two triangles that satisfy the HL hypothesis:

Given:   and  are right angles, , and

Prove: 

Proof:

Let  be a point on the ray opposite  so that , and draw  as in the picture on the right.  Because  is a right angle,  is also a right angle, and therefore congruent to .  So  by SAS.  

 

Therefore .  Since , the transitive property tells us that .  That shows  is isosceles, so .. Since , , and (using the transitive property again), .    Now we can conclude that  by SAA.