Triangle Congruence is the habit of proving triangles identical in shape and size to transfer lengths, angles, and structure. In contest math, that habit turns a crowded setup into a relation the student can test, bound, count, or compute. MathGrit teaches it as a recognizable signal, a deliberate move, and a final translation back to the original question.
No tagged problems yet We are still curating launch-ready practice for this technique.
If a triangle matches another in the right three parts, the two are identical, so every other length and angle matches too.
Why It Works
1
Two triangles are congruent (same shape AND size) when one of the criteria holds: three sides (SSS); two sides and the included angle (SAS); two angles and the included side (ASA); or two angles and a non-included side (AAS).
2
Each criterion rigidly determines the triangle: e.g. with SAS, fixing two side lengths and the angle between them leaves no freedom in the third side or the other angles.
3
Once $\triangle ABC \cong \triangle DEF$, corresponding parts of congruent triangles are equal (CPCTC) — every remaining side and angle is transferred.
4
This is the engine for proving segments equal, angles equal, or a point is a midpoint: build two congruent triangles, then read off the equal part.
Worked Examples
Example 1
Let $ABCD$ be a square and let $M$ be the midpoint of side $BC$. Prove $AM = DM$.
1
Compare $\triangle ABM$ and $\triangle DCM$. Since $ABCD$ is a square, $AB = DC$ (equal sides) and $\angle ABM = \angle DCM = 90^\circ$.
2
Because $M$ is the midpoint of $BC$, $BM = CM$.
3
By SAS ($AB = DC$, included right angle equal, $BM = CM$), $\triangle ABM \cong \triangle DCM$.
4
By CPCTC, the corresponding sides $AM$ and $DM$ are equal.
Answer:
$AM = DM$ (the two triangles are congruent by SAS).
Warm-up
In $\triangle ABC$, $AB = AC$. Points $D$ on $AB$ and $E$ on $AC$ satisfy $AD = AE$. Prove $BD = CE$ and that $\triangle BDC \cong \triangle CEB$.
1
Since $AB = AC$ and $AD = AE$, subtracting gives $BD = AB - AD = AC - AE = CE$.
2
In $\triangle BDC$ and $\triangle CEB$: $BD = CE$ (just shown), $BC = CB$ (shared side), and $\angle DBC = \angle ECB$ (base angles of isosceles $\triangle ABC$).
3
By SAS the two triangles are congruent.
Answer:
$BD = CE$ and $\triangle BDC \cong \triangle CEB$ by SAS.
Contest level
$ABCD$ is a square. Equilateral triangles $\triangle ABE$ (outward on side $AB$) and $\triangle BCF$ (outward on side $BC$) are drawn. Show $DE = DF$.
1
Let the square have side $s$. Then $AE = AB = s$ and $CF = CB = s$, while $AD = CD = s$.
2
Consider $\triangle DAE$ and $\triangle DCF$. We have $DA = DC = s$ and $AE = CF = s$.
3
The included angles: $\angle DAE = \angle DAB + \angle BAE = 90^\circ + 60^\circ = 150^\circ$, and likewise $\angle DCF = \angle DCB + \angle BCF = 90^\circ + 60^\circ = 150^\circ$.
4
By SAS, $\triangle DAE \cong \triangle DCF$, so by CPCTC $DE = DF$.
Answer:
$DE = DF$ (the two corner triangles are congruent by SAS).
Olympiad / Challenge
Equilateral triangles $\triangle ABD'$ and $\triangle ACE'$ are erected outward on sides $AB$ and $AC$ of any $\triangle ABC$. Prove $BE' = CD'$.
1
Compare $\triangle ABE'$ and $\triangle AD'C$. We have $AB = AD'$ (side of the first equilateral triangle) and $AE' = AC$ (side of the second).
2
The included angles match: $\angle BAE' = \angle BAC + 60^\circ$ and $\angle D'AC = 60^\circ + \angle BAC$, so $\angle BAE' = \angle D'AC$.
3
By SAS, $\triangle ABE' \cong \triangle AD'C$.
4
By CPCTC the corresponding sides are equal: $BE' = D'C = CD'$.
Answer:
$BE' = CD'$ — a rotation by $60^\circ$ about $A$ carries one segment onto the other.
Going Deeper
Generalization: every congruence proof is secretly a rigid motion. $\triangle ABE' \cong \triangle AD'C$ above is really the statement that a $60^\circ$ rotation about $A$ maps $B\mapsto D'$ and $E'\mapsto C$. Recasting 'find two congruent triangles' as 'find the rotation/reflection that does the job' often reveals the construction instantly.
Where it appears: congruence underlies the classic 'prove equal lengths / equal angles / bisector / midpoint' problems and the equilateral-triangle-on-a-side family (Napoleon, Fermat point). It is the workhorse of synthetic olympiad geometry before you reach into trig or coordinates.
Pitfall: SSA is NOT a valid congruence criterion (the ambiguous case) — two triangles can share two sides and a non-included angle yet differ. Only SSS, SAS, ASA, AAS work; the included-angle/included-side condition is not optional.
Spot the Signal
Look for problems where the key step is proving triangles identical in shape and size to transfer lengths, angles, and structure.
You can describe the hard part as proving triangles identical in shape and size to transfer lengths, angles, and structure, but a direct attack starts producing clutter.
The problem rewards preserving structure instead of expanding, listing, or guessing too early.
Learn the Move
Start by identify the diagram relation that calls for triangle congruence, then rewrite the givens around it.
Name the relation that makes Triangle Congruence legal before doing computation.
Use the new relation to replace the messiest part of the problem with a cleaner one.
Translate the result back to the quantity the problem actually asks for.
Avoid These Traps
Do not use Triangle Congruence just because the surface looks familiar; verify the required condition first.
Applying Triangle Congruence because it sounds relevant, without checking the trigger first.
Stopping after spotting the technique instead of finishing the calculation or proof.
MathGrit Coach Note
Let triangle congruence reveal the geometric configuration; then compute only what remains.
Try it on:
Practice a contest problem where the key step is proving triangles identical in shape and size to transfer lengths, angles, and structure.