AAS Congruence Rule: Proofs, AAS vs ASA
AAS Congruence Rule: Proofs, AAS vs ASA
TL;DR
The AAS congruence rule lets you prove two triangles congruent when two angles and a non-included side of one match the other — and the trick to using it is reading the figure to confirm the side sits outside the two angles. This article is a how-to-apply guide: when AAS is the right call, how to write the two-column proof, AAS versus ASA, six worked proof exercises, and the mistakes to avoid.
When to Use the AAS Congruence Rule
The AAS congruence rule applies when, in two triangles, two pairs of angles are equal and one pair of non-included sides is equal. Non-included means the equal side is not the side sitting between the two equal angles.
Reach for AAS when your figure gives you:
- Two angles in each triangle that you can mark equal (often from parallel lines, vertical angles, or a shared/given angle), and
- One side equal that touches the angles but lies outside the span between them.
If instead the equal side sits between the two equal angles, the rule is ASA, not AAS. That single placement question — included or non-included — is the whole decision.
Why AAS Works — The Angle-Sum Shortcut
Before writing proofs with a rule, it helps to know it is sound, and AAS rests on a result you already have: the triangle sum theorem.
If two angles of one triangle equal two angles of another, then their third angles must also be equal — because all three add to 180° in each triangle, so the leftover angle is forced:
∠3=180∘−∠1−∠2(identical in both triangles).\angle 3 = 180^\circ - \angle 1 - \angle 2 \quad \text{(identical in both triangles)}.∠3=180∘−∠1−∠2(identical in both triangles).
Now look at what that does to your non-included side. Once the third angle is equal, that side becomes included between two known equal angles — and two angles with an included side is exactly ASA. So AAS is ASA in disguise: the triangle sum theorem supplies the missing angle, and ASA finishes the job.
How to Write an AAS Two-Column Proof
A two-column proof lists each statement on the left and its reason on the right, building from the given facts to the conclusion. For AAS, the skeleton is always the same four moves: two angle statements, one side statement, then the congruence claim citing AAS.
Take a classic figure: AB is parallel to CD, the two segments cross at O, and you are told AO = OD. Prove △AOB ≅ △DOC.
| Statement | Reason |
|---|---|
| 1. AB ∥ CD | Given |
| 2. ∠OAB = ∠ODC | Alternate interior angles (AB ∥ CD, transversal AD) |
| 3. ∠AOB = ∠DOC | Vertical angles |
| 4. AO = OD | Given |
| 5. △AOB ≅ △DOC | AAS (steps 2, 3 are the two angles; step 4 is the non-included side) |
| Read step 5 carefully: the equal side AO touches ∠OAB at A but is not between ∠OAB and ∠AOB — it is the non-included side, which is why this is AAS and not ASA. That is the line a student most often mislabels, so name the rule only after checking the side's placement. |
AAS vs ASA — Telling Them Apart
The single most-asked question on this rule: what is the difference between AAS and ASA? Both use two angles and a side; the difference is where the side sits.
| Criterion | Angles | Side position | Decision cue |
|---|---|---|---|
| ASA | two angles | side between the two angles (included) | the known side connects the two known-angle vertices |
| AAS | two angles | side outside the two angles (non-included) | the known side is opposite one of the angles, not between them |
| A reliable check: find the two angle vertices in your figure. If the equal side is the segment joining those two vertices, it is included — use ASA. If the equal side runs to the third vertex, it is non-included — use AAS. |
Examples of the AAS Congruence Rule
These build from spotting AAS in a figure to writing full proofs. Each problem statement is the prompt; the worked steps follow.
Example 1 - In △ABC and △DEF, ∠B = ∠E, ∠C = ∠F, and AB = DE. Which rule proves congruence, and is it valid?
Two angles match (∠B, ∠C with ∠E, ∠F). The equal side AB touches ∠B but lies outside the span between ∠B and ∠C, so it is non-included.
Final answer: △ABC ≅ △DEF by AAS.
Example 2 - In △PQR and △XYZ, ∠Q = ∠Y, ∠R = ∠Z, and the side QR (between ∠Q and ∠R) equals YZ. A student labels the proof "AAS." Is that right?
Wrong attempt. The student sees two angles and a side and writes AAS. But check the placement: QR is the side between ∠Q and ∠R — it is the included side. A side sitting between the two equal angles is the signature of ASA, not AAS.
Correct. With two angles and the included side equal, the rule is ASA. AAS would apply only if the equal side were QP or RP (running to the third vertex), outside the angle span.
Final answer: ASA, not AAS — the side QR is included.
Example 3 - Write a two-column proof. Given: ∠1 = ∠2, and BD bisects ∠ABC so that ∠ABD = ∠CBD; BD is common. Prove △ABD ≅ △CBD
| Statement | Reason |
|---|---|
| 1. ∠ABD = ∠CBD | Given (BD bisects ∠ABC) |
| 2. ∠1 = ∠2 (i.e. ∠ADB = ∠CDB) | Given |
| 3. BD = BD | Common side |
| 4. △ABD ≅ △CBD | AAS (two angles + non-included common side BD) |
| Final answer: △ABD ≅ △CBD by AAS. |
Example 4 - Given: ∠A = ∠D = 90°, ∠B = ∠E, and the non-included side BC = EF. Prove △ABC ≅ △DEF, and find the third angle if ∠B = ∠E = 35°
Two angles equal (the right angle and the 35° angle), and a non-included side equal — AAS applies, so △ABC ≅ △DEF.
Final answer: △ABC ≅ △DEF by AAS; ∠C = ∠F = 55°.
Example 5 - A two-column proof from a transversal. Given: lines ℓ and m with PQ ∥ RS, and a transversal meeting them so that ∠QPT = ∠SRT (alternate interior angles); ∠PTQ = ∠RTS (vertical angles); PT = RT. Prove △PTQ ≅ △RTS.
| Statement | Reason |
|---|---|
| 1. PQ ∥ RS | Given |
| 2. ∠QPT = ∠SRT | Alternate interior angles |
| 3. ∠PTQ = ∠RTS | Vertical angles |
| 4. PT = RT | Given |
| 5. △PTQ ≅ △RTS | AAS (steps 2, 3 angles; step 4 non-included side) |
| Final answer: △PTQ ≅ △RTS by AAS. |
Example 6 - After proving △ABC ≅ △DEF by AAS in Example 4, a problem asks you to justify that AB = DE. Which property closes the gap?
Once two triangles are congruent, every pair of corresponding parts is equal. AB and DE are corresponding sides of the congruent triangles, so:
AB=DEby CPCTC (Corresponding Parts of Congruent Triangles are Congruent).AB = DE \quad \text{by CPCTC (Corresponding Parts of Congruent Triangles are Congruent)}.AB=DEby CPCTC (Corresponding Parts of Congruent Triangles are Congruent).
Final answer: AB = DE by CPCTC — the standard "second half" move that turns a congruence proof into a statement about a specific side or angle.
Why the AAS Congruence Rule Matters
A proof tool earns its place by how many arguments it unlocks, and AAS is one of the workhorses of geometry proofs.
- The natural rule for parallel-line figures. Whenever two parallel lines are cut by a transversal, alternate interior or corresponding angles hand you two equal angles, and a single given side completes an AAS argument. A huge share of textbook proofs run exactly this way.
- The gateway to CPCTC. AAS proves the triangles congruent; CPCTC then lets you claim any remaining side or angle is equal (Example 6). Most "prove these two segments are equal" problems are an AAS (or ASA) proof followed by one CPCTC line.
- Surveying and indirect measurement. Measuring two angles and a non-adjacent baseline — then matching a second triangle to it — is how surveyors and engineers transfer a known distance to an unreachable one.
- Training the figure-reading judgement. Deciding AAS versus ASA versus SAS in each figure is the core skill of a proofs course.
Where Students Trip Up on AAS Proofs
Mistake 1: Calling an included side "AAS"
Where it slips in: Two angles and a side are marked equal, and the student writes AAS without checking whether the side is between the angles.
Don't do this: Cite AAS for a side that sits between the two equal angles.
The correct way: Locate the two angle vertices. If the equal side is the segment joining them, it is included — cite ASA. If it runs to the third vertex, it is non-included — cite AAS.
Mistake 2: Matching a side to a non-corresponding side
Where it slips in: A student pairs a side of one triangle with a side of the other that sits in a different position relative to the equal angles.
Don't do this: Set AB = EF just because both are "the long side."
The correct way: Corresponding parts must occupy the same position relative to the equal angles.
Mistake 3: Skipping the reason column
Where it slips in: A student writes the statements but leaves reasons blank or vague ("because they're equal").
Don't do this: Assert ∠OAB = ∠ODC with no justification.
The correct way: Every statement needs a specific reason — Given, Vertical angles, Alternate interior angles, Common side, Triangle sum, AAS.
Key Takeaways
- The AAS congruence rule proves triangles congruent from two angles and a non-included side — the side that sits outside the two equal angles.
- AAS works because the triangle sum theorem forces the third angle equal, which reduces AAS to ASA.
- The AAS-versus-ASA decision is purely about side placement: between the angles is ASA, outside them is AAS.
- An AAS two-column proof is four core lines — two angle statements, one side statement, then the congruence claim citing AAS.
- Follow an AAS proof with CPCTC to claim any remaining equal side or angle.
Practice These Problems to Solidify Your Understanding
- In △ABC and △PQR, ∠A = ∠P, ∠C = ∠R, and AB = PQ. Which rule proves congruence — AAS or ASA?
- Given AB ∥ DC and AB = DC are NOT both stated — instead AB ∥ DC, ∠BAC = ∠DCA, and ∠ABD = ∠CDB, with AC common. Write the rule that proves △ABC ≅ △CDA.
- After proving △ABC ≅ △DEF by AAS, which property lets you state BC = EF?
Answer to Question 1: AAS — AB is non-included (it touches ∠A but not the span between ∠A and ∠C). Answer to Question 2: AAS (two angles plus the common non-included side AC). Answer to Question 3: CPCTC.