Triangle congruence criteria

Two triangles could match on all three sides and all three angles — six facts in total — but geometers discovered you never need to check all six. A handful of minimal combinations, three sides, or two sides with the angle between them, or two angles with the side between them, are enough to force every remaining side and angle to match too. These shortcuts are called congruence criteria, and in the CBSE Class 9 chapter Triangles they are the main tool for proving two triangles identical in shape and size. Once congruence is established, CPCT (Corresponding Parts of Congruent Triangles) lets you read off any other equal side or angle you need, turning a geometry problem into a short chain of logical steps. This article covers SAS, ASA, SSS, and the related AAS, all "stated" results except ASA, which the syllabus asks you to prove by superposition.

The core insight

Matching just three well-chosen parts of two triangles — via SAS, ASA, or SSS — is always enough to guarantee every other side and angle also matches, and CPCT then extracts that extra information.

The core idea

SAS (Side-Angle-Side) — stated without proof. If two sides and the included angle (the angle physically between those two sides) of one triangle equal the corresponding two sides and included angle of another, the triangles are congruent.

AB=DE, ∠A=∠D, AC=DF  ⟹  △ABC≅△DEFAB = DE,\ \angle A = \angle D,\ AC = DF \implies \triangle ABC \cong \triangle DEF

where: the angle named must sit between the two named sides — swap in a non-included angle and the rule no longer applies.

ASA (Angle-Side-Angle) — to be proved. If two angles and the included side (the side between those two angles) of one triangle equal the corresponding two angles and included side of another, the triangles are congruent.

∠A=∠D, AB=DE, ∠B=∠E  ⟹  △ABC≅△DEF\angle A = \angle D,\ AB = DE,\ \angle B = \angle E \implies \triangle ABC \cong \triangle DEF

where: ABAB must lie between ∠A\angle A and ∠B\angle B in the correspondence — this is the criterion the syllabus expects you to derive, not just quote.

AAS (Angle-Angle-Side). Two angles and any non-included side equal also forces congruence. This is really ASA in disguise: once two angles of a triangle are fixed, the third is fixed too (angle sum =180°=180°), so a non-included side becomes an included one for the remaining pair of angles.

SSS (Side-Side-Side) — stated without proof. If all three sides of one triangle equal the corresponding three sides of another, the triangles are congruent — no angle information is needed at all, since fixing three side lengths rigidly fixes the whole shape.

AB=DE, BC=EF, CA=FD  ⟹  △ABC≅△DEFAB = DE,\ BC = EF,\ CA = FD \implies \triangle ABC \cong \triangle DEF

Not valid: SSA / ASS. Two sides and a non-included angle do not guarantee congruence in general — two genuinely different triangles can share two sides and a non-included angle while their third sides differ. Always confirm the angle sits between the two named sides before invoking SAS.

Figure
Two triangles ABC and DEF with matching marks on two sides and the included angle showing the SAS correspondence
SAS: two sides and the included angle fix the triangle A B C tick tick tick D E F tick tick tick Equal sides AB=DE, AC=DF and the equal included angle at A and D force the triangles together
Derivation AProving ASA congruence by superposition

The goal is to show, using only the idea of picking up one triangle and laying it on the other, that matching two angles and the included side of △ABC\triangle ABC and △DEF\triangle DEF forces every other part to match as well, so the two triangles are congruent as wholes and not merely equal in those three named parts.

Step 1. Start from the given data: ∠A=∠D\angle A = \angle D, AB=DEAB = DE, and ∠B=∠E\angle B = \angle E, with ABAB the side included between the two named angles in each triangle. Place △ABC\triangle ABC on top of △DEF\triangle DEF so that AA falls exactly on DD and side ABAB lies along side DEDE; this is possible because AB=DEAB = DE, so the two segments have identical length and can be made to coincide end to end.

Step 2. Since ABAB lies exactly along DEDE with AA on DD, and AB=DEAB = DE, the other endpoint BB must land exactly on EE — there is no leftover length on either side.

Step 3. Because ∠A=∠D\angle A = \angle D, and side ABAB already lies along DEDE, ray ACAC must fall exactly along ray DFDF (the ray making the same angle with DEDE at the same vertex). By the same reasoning, because ∠B=∠E\angle B = \angle E and BABA lies along EDED, ray BCBC must fall exactly along ray EFEF.

Step 4. Vertex CC is defined as the single point where rays ACAC and BCBC meet, and vertex FF is the single point where rays DFDF and EFEF meet. Since ray ACAC coincides with ray DFDF and ray BCBC coincides with ray EFEF, their unique intersection points must also coincide, so CC falls exactly on FF. All three vertices now coincide, so △ABC\triangle ABC coincides completely with △DEF\triangle DEF, proving △ABC≅△DEF\triangle ABC \cong \triangle DEF.

Worked example

In the figure, AB=CDAB = CD, AD=CBAD = CB, and ACAC is a diagonal shared by quadrilateral ABCDABCD. Prove △ABC≅△CDA\triangle ABC \cong \triangle CDA, then use the result to show AB∥CDAB \parallel CD.

Step 1. List the three pairs of matching parts between △ABC\triangle ABC and △CDA\triangle CDA: AB=CDAB = CD (given), BC=DABC = DA (given, since AD=CBAD = CB), and AC=CAAC = CA (the same segment, shared by both triangles).

Step 2. All three pairs of corresponding sides are equal, with no angle needed at all, so by the SSS congruence criterion, △ABC≅△CDA\triangle ABC \cong \triangle CDA.

Step 3. Apply CPCT. Since the triangles are congruent, their corresponding angles also match: ∠BAC=∠DCA\angle BAC = \angle DCA and ∠BCA=∠DAC\angle BCA = \angle DAC.

Step 4. ∠BAC\angle BAC and ∠DCA\angle DCA are alternate angles formed by transversal ACAC cutting lines ABAB and CDCD. Equal alternate angles mean the two lines are parallel, so AB∥CDAB \parallel CD. This SSS congruence, and the parallel lines it produces by CPCT, is exactly the property used later when proving such a quadrilateral is a parallelogram.

Competitive stretch

The same figure, run through SAS instead, checks your correspondence skill: in △ABD\triangle ABD and △ACD\triangle ACD with DD the midpoint of BCBC, AB=ACAB = AC, and ∠BAD=∠CAD\angle BAD = \angle CAD, the equal angle sits between the equal sides AB,ADAB, AD and AC,ADAC, AD, so SAS gives △ABD≅△ACD\triangle ABD \cong \triangle ACD; CPCT then yields ∠ADB=∠ADC\angle ADB = \angle ADC, and since these are supplementary angles on line BCBC, each must be 90°90°, so AD⊥BCAD \perp BC.

Common traps

  • Calling it "SAS" when the marked angle is not the included one — that is really SSA, which is not a valid criterion and can produce a false congruence claim.
  • Matching the wrong vertices across the two triangles — always pair up sides and angles vertex by vertex before naming a criterion, not just count how many parts happen to be equal.
  • Forgetting that ASA needs the included side between the two equal angles; if the equal side lies outside the two angles, the correct name is AAS, not ASA.
  • Adding an unnecessary angle to an SSS proof — SSS needs zero angle information, and including one only distracts from what was actually shown.

Ask the tutor: If a figure has two sides and an angle marked but you are not sure the angle is really "included" between them, ask the AI tutor to walk through the correspondence with you before you commit to SAS.

Why does the angle have to be included for SAS but SSS does not need any angle at all?

SAS fixes a triangle's shape by locking two sides at a definite angle to each other, like hinging two rigid rods at a fixed angle — the third side is then forced into one exact position, so it matters which angle you use. SSS instead fixes all three side lengths directly; a triangle with three given side lengths has only one possible shape (you cannot flex it without breaking a side), so no angle needs to be specified separately — the angles come along for free once the three sides are fixed.

If AAS also proves congruence, why isn't it one of the two criteria the syllabus asks me to prove?

Because AAS is not really a new idea — it reduces directly to ASA. If you know two angles of a triangle, the third is automatically fixed by the angle-sum property (180°180° total), so a non-included side in an AAS setup is secretly the included side once you also count that third angle. The syllabus proves ASA because it is the genuinely new geometric argument (the superposition proof); AAS is then just a quick corollary you can quote once ASA is established.

How do I quickly tell if a figure calls for SAS, ASA, or SSS?

Count what is actually marked equal in the figure. Three sides and no angles marked means SSS. Two sides plus the angle drawn between their two arms means SAS. Two angles plus the side connecting their vertices means ASA. If two angles are marked with a side that is not between them, it is AAS. If you see two sides and an angle that sits outside them (not between the two named sides), stop — that is SSA, and no congruence criterion applies, so you need more information from the figure.

Before this

Where this leads