hypotenuseleg

Hypotenuseleg is a term used to refer to the Hypotenuse-Leg (HL) congruence principle in Euclidean geometry. It is a specialized criterion for proving the congruence of right triangles.

The HL theorem states that if two right triangles have their hypotenuse and one corresponding leg equal to the hypotenuse and corresponding leg of the other triangle, then the two triangles are congruent. In formal terms, let triangles ABC and DEF be right triangles with right angles at C and F. If AB = DE (the hypotenuses) and BC = EF (one leg), then triangles ABC and DEF are congruent; hence the remaining corresponding side AC = DF and the remaining acute angles are equal as well.

Key aspects: the triangles involved must be right triangles; the equality must link the hypotenuse of one triangle with the hypotenuse of the other and a single corresponding leg with the matching leg. The HL theorem effectively serves as a specialized form of the SAS (side-angle-side) criterion, because the included angle is the right angle, known to be equal in both triangles.

Applications and limitations: HL is widely used in geometric proofs and problem solving to deduce congruence and derive other equalities (such as the remaining leg and the remaining angles) in right triangles. It does not apply to non-right triangles, for which no general HL-type congruence exists. The theorem is a standard tool in introductory geometry and is sometimes referenced as the HL postulate or HL congruence.