AAS, HL, and Invalid Tests

Watch the video explainer

Learning goals

  • Derive AAS congruence from the triangle angle sum and ASA
  • Justify HL congruence using the isosceles base-angle theorem
  • Distinguish sufficient congruence information from AAA and unrestricted SSA data
  • Construct two noncongruent triangles satisfying one fixed set of SSA measurements

Two angles and a side not between them

The position of a known side need not stop a two-angle comparison. Suppose triangles ABCABC and DEFDEF have the following corresponding measurements:

m∠A=43∘m∠D=43∘m∠B=66∘m∠E=66∘BC=9EF=9.\begin{aligned} m\angle A&=43^\circ\\ m\angle D&=43^\circ\\ m\angle B&=66^\circ\\ m\angle E&=66^\circ\\ BC&=9\\ EF&=9.\end{aligned}

The known side is not between the two given angles.

The third angles match because both are what remains after subtracting the same two measures:

180∘−43∘−66∘=71∘.180^\circ-43^\circ-66^\circ=71^\circ.

Now use angles at B,CB,C and E,FE,F. The side of length 99 lies between those pairs, so angle-side-angle (ASA) proves the triangles congruent. We changed which angles we used, not which measurements were given.

AAS follows from ASA#

Suppose two angles of one triangle match two corresponding angles of another, and one pair of corresponding nonincluded sides has equal lengths.

The third-angle theorem makes the remaining angles congruent. Thus all three angle pairs are available.

Take the two angles at the endpoints of the given equal sides. Those are corresponding angles, with the given equal sides between them. ASA proves the triangles congruent.

This is angle-angle-side (AAS): two corresponding angles and a corresponding side not between them establish congruence. As in the earlier criteria, the correspondence must stay consistent. We use nondegenerate triangles throughout: three noncollinear vertices and positive side lengths.

Worked example 1 Identify the side after matching the angles

Problem. In △JKL\triangle JKL and △RST\triangle RST,

∠J≅∠R∠L≅∠TJK=15 cmRS=15 cm.\begin{aligned} \angle J&\cong\angle R \\ \angle L&\cong\angle T \\ JK&=15\text{ cm} \\ RS&=15\text{ cm}.\end{aligned}

Decide whether congruence follows and write the ordered statement.

Keep the nonincluded side in the angle correspondenceJK and RS are the supplied sides of length 15 centimeters. Angles J and R have one arc, and angles L and T have two. The marked side in each triangle touches one marked angle vertex but does not join the two marked angle vertices.15 cmJKL15 cmRST
The side marks and angle marks all use one vertex correspondence; the third vertices are unmarked.

Solution. The angles fix the first two vertex partners, and the remaining vertices must match:

J↔R.L↔T.K↔S.\begin{aligned} J&\leftrightarrow R. \\ L&\leftrightarrow T. \\ K&\leftrightarrow S.\end{aligned}

The known side JKJK corresponds to RSRS under that same matching.

For the angles at J,LJ,L, the included side would be JLJL. The known side JKJK is nonincluded, so AAS gives

△JKL≅△RST.\triangle JKL\cong\triangle RST.

Check your understanding

Two triangles have matching angles of 52 and 73 degrees and matching sides that are not between those angles. What lets you replace AAS with ASA?

Answer choices

A right angle changes the two-side case

In a right triangle, the side opposite the right angle is the hypotenuse, and the two sides meeting at the right angle are its legs. A right angle can make one hypotenuse and one leg enough to settle a congruence comparison.

The right angles are required information. They may be stated, marked, or established from perpendicular lines. A corner that merely looks square supplies no given.

For example, take two right triangles, each with a hypotenuse of length 1717 and a corresponding leg of length 88. Move one so the legs of length 88 coincide, with both right-angle vertices at AA, placing their third vertices on opposite sides of that leg. In the diagram, those vertices are CC and FF, with the common leg ABAB.

Make an isosceles triangle from two right trianglesA is left of B. C lies above A and F below A. ABC is blue and solid; ABF is red and dashed. Squares show the right angles at A. Matching ticks on BC and BF mark the two hypotenuses of length 17.ABCF81717
Align the equal legs. The right-angle givens place C, A, and F on one straight line.

The hypotenuses BCBC and BFBF, both 1717, make the large triangle BCFBCF isosceles. Its base angles at C,FC,F match. Each small triangle also has a right angle at AA, so their remaining angles at BB match by the third-angle theorem. The known lengths are

AB=8BC=17BF=17.\begin{aligned} AB&=8\\ BC&=17\\ BF&=17.\end{aligned}

The equal angles at BB are included between these sides, so SAS applies.

This works without calculating the other leg. Neither 88 nor 1717 is essential to the argument.

The hypotenuse-leg criterion (HL) says that two right triangles are congruent when their hypotenuses and one pair of corresponding legs have equal lengths.

HL from the isosceles base-angle theorem#

Let △ABC\triangle ABC and △DEF\triangle DEF have right angles at A,DA,D, with

AB=DEBC=EF.\begin{aligned} AB&=DE \\ BC&=EF.\end{aligned}

Translate and rotate the second triangle so DD lands on AA and EE on BB. If necessary, reflect across ABAB so its third vertex, now named F′F', is on the opposite side of ABAB from CC. Rigid motions preserve all the given lengths and angles.

Both ACAC and AF′AF' are perpendicular to ABAB at AA. They lie on the same perpendicular line in opposite directions, so C,A,F′C,A,F' are collinear with AA between the other points.

The equal hypotenuses give

BC=BF′.BC=BF'.

The base-angle theorem in △BCF′\triangle BCF' gives equal angles at CC and F′F'. These are the angles at the third vertices of the two right triangles.

Their right angles also match, so their remaining angles ∠ABC\angle ABC and ∠ABF′\angle ABF' are congruent. Use

AB=ABBC=BF′.\begin{aligned} AB&=AB \\ BC&=BF'.\end{aligned}

Together with those included angles, SAS gives

△ABC≅△ABF′.\begin{aligned} \triangle ABC&\cong\triangle ABF'.\end{aligned}

Reversing the alignment gives

△ABC≅△DEF.\triangle ABC\cong\triangle DEF.
The equal hypotenuses supply the needed anglesThe aligned right triangles ABC and ABF′ share AB. C and F′ lie on opposite sides. The equal hypotenuses have one tick. In this solution, derived matching angles at C and F′ have one arc, and the derived matching angles at B have two arcs. No equality of the other legs is assumed.ABCF′
The angle marks record the base-angle and third-angle conclusions established in this proof. The other legs have no assumed equality.

Check your understanding

In this lesson's HL overlay, the right triangles share AB and have equal hypotenuses BC and BF. Which reason makes the angles at C and F equal before the angles at B are known to match?

Answer choices

Worked example 2 Check all three HL conditions

Problem. Triangles PQRPQR and XYZXYZ have right angles at Q,YQ,Y. Given

PR=XZPQ=XYQR=22 cm.\begin{aligned} PR&=XZ \\ PQ&=XY \\ QR&=22\text{ cm}.\end{aligned}

Decide whether congruence follows and find YZYZ.

Locate each hypotenuse from its right angleThe schematic right triangles PQR and XYZ have right-angle squares at Q and Y. PR and XZ have two ticks; PQ and XY have one. QR is labeled 22 centimeters. The corresponding target leg YZ has a question mark and no supplied value.22 cmQRP?YZX
Only the supplied hypotenuse pair, leg pair, right angles, and the known 22 cm leg are marked.

Solution. The sides opposite the right angles are PR,XZPR,XZ, so the first equality matches the hypotenuses. The second equality matches the legs PQ,XYPQ,XY. Both right angles are given.

HL gives the ordered congruence

△PQR≅△XYZ.\begin{aligned} \triangle PQR&\cong\triangle XYZ.\end{aligned}

The right-angle vertices match:

Q↔Y.\begin{aligned} Q&\leftrightarrow Y.\end{aligned}

The other legs correspond, so

YZ=QRQR=22 cmYZ=22 cm.\begin{aligned} YZ&=QR \\ QR&=22\text{ cm} \\ YZ&=22\text{ cm} .\end{aligned}

Check your understanding

Two triangles have two pairs of equal corresponding sides. Before trying to use HL, which condition must be known about both triangles?

Answer choices

Three matching angles do not fix the size

Equal angles leave room for different side lengths. Construct an equilateral triangle with side length 77, then another with side length 1818. Every angle in both triangles measures 60∘60^\circ, but a rigid motion cannot turn a side of length 77 into one of length 1818.

Thus angle-angle-angle (AAA) is not a congruence criterion. It can hold for triangles that happen to be congruent, but it does not guarantee congruence.

Equal angles leave the length undecidedA smaller solid blue equilateral triangle has a side labeled 7. A larger dashed red equilateral triangle has a side labeled 18. Each triangle has a label saying all angles are 60 degrees.718all angles 60°all angles 60°
The angles match in all three pairs. The stated side lengths prevent congruence.

Check your understanding

Two triangles have three matching angle pairs. Which conclusion is justified about congruence?

Answer choices

The nonincluded angle can leave two triangles

Side-side-angle (SSA) gives two side lengths and an angle that is not between those sides. Unlike SAS, it is not sufficient in general.

Here is one fixed construction. Draw a ray from AA. From AA, draw a second ray making 30∘30^\circ with it and mark CC at distance 1010 from AA. Draw a circle centered at CC with radius 77. It crosses the first ray at two points, B1B_1 and B2B_2.

Two triangles fit the same SSA measurementsA is at the left of a horizontal ray. C is above the ray on a ray making 30 degrees at A. A dashed construction circle centered at C has radius 7. B1 is the nearer intersection with the horizontal ray; B2 is the farther one. AB1C is solid blue and AB2C is dashed red. The two base lengths differ.AB₁B₂C107730° at A
One circle supplies two choices for B. Both satisfy the same given side-side-angle data.

Both triangles have the same recorded lengths:

AC=10CB1=7CB2=7.\begin{aligned} AC&=10 \\ CB_1&=7 \\ CB_2&=7.\end{aligned}

The two radius lengths are equal because they come from one circle. The angle at AA is also shared. That angle lies between ACAC and the unknown base, not between the two given sides. The two distinct points on the same ray have different distances from AA, so

AB1≠AB2.AB_1\ne AB_2.

The triangles share two side lengths but differ in the third, so their three-side lists cannot match under any vertex order. They are noncongruent.

This is a counterexample from a particular compass construction, not a general test for how many intersections every set of measurements has. SSA data can give no triangle, one triangle, or two. HL is a valid restricted case: the angle opposite the hypotenuse is known to be right, and the proof above settles that case.

Two matching side pairs and a nonincluded matching angle do not supply that right-angle condition. Without it, the general SSA ambiguity can remain.

Worked example 3 SAS or SSA depends on where the angle is

Problem. Compare each pair of nondegenerate triangles with the stated correspondence

A↔DB↔EC↔F.\begin{aligned} A&\leftrightarrow D \\ B&\leftrightarrow E \\ C&\leftrightarrow F.\end{aligned}

In both cases

AB=DEAC=DF.\begin{aligned} AB&=DE \\ AC&=DF.\end{aligned}

Case A. Also

∠BAC≅∠EDF.\angle BAC\cong\angle EDF.

Does congruence follow?

Case B. Instead, only ∠ABC≅∠DEF\angle ABC\cong\angle DEF is known, with no right angles specified. Does this information guarantee congruence?

Compare the position of the known angleBoth panels show triangle ABC, with AB marked once and AC twice. The upper Case A panel marks angle A with one arc. The lower Case B panel marks angle B with two arcs, a distinct mark class. The partner triangle DEF has the corresponding givens described in the problem.ABCABC
Both panels show triangle ABC. Top: Case A, with one arc at A. Bottom: Case B, with two arcs at B. The two known sides still meet at A.

Solution. Case A. The equal angles are between the two given side pairs. SAS gives

△ABC≅△DEF.\triangle ABC\cong\triangle DEF.

Case B. The angles are at B,EB,E, while the two given sides meet at A,DA,D. This is unrestricted SSA. The circle construction gives a counterexample to its being a general criterion, so these data do not guarantee congruence.

Case B does not say that this particular pair must be noncongruent. It says the supplied information does not decide.

Check your understanding

In the two-intersection construction, why do both choices of B preserve the given length CB?

Answer choices

Common mistakes

Practice

Multiple Choice Questions (MCQ)

Progressively harder sets of questions. Each opens on its own page.

Core practice

Practice problems at the level of the course, to be worked out on paper. Hints one at a time, then the answer or the full worked solution, with your progress kept in this browser.

Core practice Work it out on paper 10 problems Start →
More resources (optional)

Other explanations of this lesson, if you want a second take.

A bit of history (optional)

Euclid did not divide every triangle comparison into the alphabetic labels used in modern textbooks. In Proposition I.26 of the Elements, he treats two ways a known side can sit beside two known angles: between them, or opposite one of them.

The proof handles the cases separately. Euclid temporarily assumes that a side is too long, cuts off a shorter segment, and compares the smaller triangle with the other given triangle. The assumption eventually forces an impossible angle relationship. This is an indirect argument: the unwanted alternative is removed rather than measured away.

The placement of the known side changes his route through the proof, even though both cases reach the same conclusion. Today’s separate names ASA and AAS make that difference visible before the proof begins.

Euclid I.26 in David Joyce’s edition preserves both cases in one proposition.

Your progress

See all your progress →