Math Core

Lesson 5.4 · Congruent Triangles

Right triangles: HL

Right triangles come with a head start: every right angle is congruent to every other right angle, so one pair of angles is already matched before you look at anything else. That extra fact makes right triangles special in one surprising way. A side-side-angle combination, which fails for triangles in general, does work when the angle is a right angle.

Parts of a right triangle

In a right triangle, the side opposite the right angle is the hypotenuse. It is always the longest side. The two sides that form the right angle are the legs.

When you compare two right triangles, you get the pair of right angles for free. So right triangles need only two more pairs of parts, as long as they are the right pairs.

The hypotenuse-leg theorem

Right triangles with congruent hypotenuses (AB and DE) and congruent legs (AC and DF).

In the figure, both triangles are right triangles, the hypotenuses AB‾\overline{AB} and DE‾\overline{DE} are congruent, and the legs AC‾\overline{AC} and DF‾\overline{DF} are congruent. The right angle is not between the marked sides, so this looks like SSA. But here it works.

Hypotenuse-Leg (HL) theorem

If the hypotenuse and one leg of a right triangle are congruent to the hypotenuse and one leg of another right triangle, then the triangles are congruent.

Why it works. The Pythagorean theorem ties the three sides of a right triangle together: a2+b2=c2a^2 + b^2 = c^2. If you know the hypotenuse cc and one leg aa, the other leg must be b=c2−a2b = \sqrt{c^2 - a^2}, with no other choice. So when two right triangles share a hypotenuse length and a leg length, their other legs are equal too, and the triangles are congruent by SSS.

For instance, any right triangle with hypotenuse 1313 and a leg of 55 has other leg 169−25=144=12\sqrt{169 - 25} = \sqrt{144} = 12. Every such triangle is a copy of the same 55-1212-1313 triangle.

Using HL takes three things:

  1. Both triangles are right triangles (say so in your proof).
  2. The hypotenuses are congruent.
  3. One pair of legs is congruent.

Common mistake

HL only works for right triangles. If neither angle is a right angle, two sides and a non-included angle do not prove congruence. Also, be sure the sides you match really are hypotenuse with hypotenuse and leg with leg. A hypotenuse congruent to a leg in the other triangle gives you nothing.

The other shortcuts still work

Everything you already know applies to right triangles, and the free right angle often completes a shortcut.

What you know (besides the right angles)Shortcut
Hypotenuse and a legHL
Both legsSAS (the right angle is included)
A leg and an acute angleASA or AAS
The hypotenuse and an acute angleAAS

Some textbooks call these LL, LA and HA. They're not new postulates, just SAS, ASA and AAS with one pair of parts being the right angles.

Proofs with HL

Worked example: An altitude in an isosceles triangle

Given: AD‾⊥BC‾\overline{AD} \perp \overline{BC} and AB‾≅AC‾\overline{AB} \cong \overline{AC}

Prove: △ABD≅△ACD\triangle ABD \cong \triangle ACD

AD is perpendicular to BC, and AB = AC.
StatementReason
1. AD‾⊥BC‾\overline{AD} \perp \overline{BC}Given
2. ∠ADB\angle ADB and ∠ADC\angle ADC are right anglesDefinition of perpendicular lines
3. △ABD\triangle ABD and △ACD\triangle ACD are right trianglesDefinition of right triangle
4. AB‾≅AC‾\overline{AB} \cong \overline{AC}Given
5. AD‾≅AD‾\overline{AD} \cong \overline{AD}Reflexive property of congruence
6. △ABD≅△ACD\triangle ABD \cong \triangle ACDHL

AB‾\overline{AB} and AC‾\overline{AC} are the hypotenuses (each is opposite a right angle at DD), and AD‾\overline{AD} is a leg of both triangles.

Worked example: A diagonal as the shared hypotenuse

Given: ∠B\angle B and ∠D\angle D are right angles, and AB‾≅CD‾\overline{AB} \cong \overline{CD}.

Prove: △ABC≅△CDA\triangle ABC \cong \triangle CDA

Angles B and D are right angles, and AB = CD.
StatementReason
1. ∠B\angle B and ∠D\angle D are right anglesGiven
2. △ABC\triangle ABC and △CDA\triangle CDA are right trianglesDefinition of right triangle
3. AC‾≅CA‾\overline{AC} \cong \overline{CA}Reflexive property of congruence
4. AB‾≅CD‾\overline{AB} \cong \overline{CD}Given
5. △ABC≅△CDA\triangle ABC \cong \triangle CDAHL

The diagonal AC‾\overline{AC} is opposite both right angles, so it is the hypotenuse of each triangle. Notice the order in the statement: AB‾\overline{AB} matches CD‾\overline{CD}, so A↔CA \leftrightarrow C and B↔DB \leftrightarrow D, which leaves C↔AC \leftrightarrow A.

Worked example: HL with algebra

△JKL\triangle JKL and △MNP\triangle MNP are right triangles with right angles at KK and NN. JK=MN=8JK = MN = 8, JL=17JL = 17 and MP=3x+2MP = 3x + 2. What value of xx makes the triangles congruent by HL, and what is the length of the other leg?

JL‾\overline{JL} and MP‾\overline{MP} are the hypotenuses (opposite the right angles). For HL they must be equal:

3x+2=17⇒x=5.3x + 2 = 17 \quad\Rightarrow\quad x = 5.

The other leg of each triangle is 172−82=289−64=225=15\sqrt{17^2 - 8^2} = \sqrt{289 - 64} = \sqrt{225} = 15.

Tip

To spot the hypotenuse fast, find the right angle and look straight across the triangle from it.

Practice

Practice 1

△PQR\triangle PQR and △XYZ\triangle XYZ are right triangles with right angles at QQ and YY. PR‾≅XZ‾\overline{PR} \cong \overline{XZ} and QR‾≅YZ‾\overline{QR} \cong \overline{YZ}. Which shortcut proves △PQR≅△XYZ\triangle PQR \cong \triangle XYZ?

Practice 2

△PQR\triangle PQR and △XYZ\triangle XYZ are right triangles with right angles at QQ and YY. PQ‾≅XY‾\overline{PQ} \cong \overline{XY} and QR‾≅YZ‾\overline{QR} \cong \overline{YZ}. Which shortcut proves △PQR≅△XYZ\triangle PQR \cong \triangle XYZ?

Practice 3

△PQR\triangle PQR and △XYZ\triangle XYZ are right triangles with right angles at QQ and YY. PR‾≅XZ‾\overline{PR} \cong \overline{XZ} and ∠P≅∠X\angle P \cong \angle X. Which shortcut proves △PQR≅△XYZ\triangle PQR \cong \triangle XYZ?

Practice 4

In △ABC\triangle ABC and △DEF\triangle DEF, m∠A=m∠D=70∘m\angle A = m\angle D = 70^\circ, BC‾≅EF‾\overline{BC} \cong \overline{EF} and AB‾≅DE‾\overline{AB} \cong \overline{DE}. Can you use HL to prove the triangles congruent?

Practice 5

In the proof that △ABD≅△ACD\triangle ABD \cong \triangle ACD, where AD‾⊥BC‾\overline{AD} \perp \overline{BC}, what is the reason for the statement "∠ADB\angle ADB and ∠ADC\angle ADC are right angles"?

Practice 6

△ABC≅△DEF\triangle ABC \cong \triangle DEF by HL, with right angles at CC and FF. AB=25AB = 25 and AC=7AC = 7. Find EFEF.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 7

△JKL\triangle JKL and △MNP\triangle MNP are right triangles with right angles at KK and NN, and JK‾≅MN‾\overline{JK} \cong \overline{MN}. If JL=4x−1JL = 4x - 1 and MP=3x+4MP = 3x + 4, what value of xx makes the triangles congruent by HL?

Enter a number. Fractions like 3/4 and sqrt(2) are OK.

Practice 8

Two ladders, each 1313 feet long, lean against a vertical wall on level ground. The foot of each ladder is 55 feet from the wall. Each ladder, the wall and the ground form a right triangle. Explain why the two triangles are congruent, then find how high up the wall each ladder reaches, in feet.

Enter a number. Fractions like 3/4 and sqrt(2) are OK.