ASA Criterion Proof: How to Prove Triangle Congruence

#Geometry
TL;DR
The ASA criterion proof shows that if two angles and the included side of one triangle equal those of another, the two triangles must be congruent. This article gives the formal proof, using a point-construction argument that falls back on the SAS rule, plus the diagram, six worked examples, and how ASA differs from AAS.
BT
Bhanzu TeamLast updated on August 10, 20269 min read

What Is the ASA Congruence Criterion?

The ASA (Angle-Side-Angle) congruence criterion states that if two angles and the included side of one triangle are equal to two angles and the included side of another triangle, then the two triangles are congruent. "Congruent" means identical in shape and size, so one can be placed exactly on the other.

In the standard triangles $\triangle ABC$ and $\triangle DEF$, the ASA condition is:

$$\angle B = \angle E, \qquad BC = EF, \qquad \angle C = \angle F.$$

If all three hold, then $\triangle ABC \cong \triangle DEF$. This is one of the standard tests for congruence in triangles, alongside SAS and AAS.

A Surveyor Fixes a Point Across a River Without Crossing It

A surveyor needs the distance to a rock on the far bank but cannot wade across. So they measure one baseline on their own side and the two angles the rock makes at each end of it. Those three measurements, two angles and the side between them, pin the far triangle exactly. The reason this always works is the ASA criterion, and the proof below is why a surveyor can trust it.

What Does "Included Side" Mean?

The included side is the side that lies between the two named angles. In $\triangle ABC$, the side included between $\angle B$ and $\angle C$ is $BC$, because $B$ and $C$ are its two endpoints.

This word is the whole game. ASA specifically requires the equal side to sit between the two equal angles. If the equal side is instead outside the pair of angles, you are no longer using ASA, you are using AAS, a related but distinct rule. Getting the side in the right place is what separates a valid ASA proof from a misapplied one.

How Do You Prove the ASA Criterion?

You cannot prove ASA by citing ASA, so the proof leans on the already-established SAS criterion and a clean argument by cases.

Given: $\angle B = \angle E$, $BC = EF$, $\angle C = \angle F$. To prove: $\triangle ABC \cong \triangle DEF$.

Compare sides $AB$ and $DE$. Exactly one of three things is true: $AB = DE$, $AB > DE$, or $AB < DE$.

Case 1: $AB = DE$.

Then in $\triangle ABC$ and $\triangle DEF$:

$$AB = DE, \qquad \angle B = \angle E, \qquad BC = EF.$$

Two sides and the included angle match, so by SAS, $\triangle ABC \cong \triangle DEF$.

Case 2: $AB > DE$.

Mark a point $P$ on $AB$ so that $PB = DE$, and join $P$ to $C$.

Now in $\triangle PBC$ and $\triangle DEF$:

$$PB = DE, \qquad \angle B = \angle E, \qquad BC = EF.$$

By SAS, $\triangle PBC \cong \triangle DEF$. Congruent triangles have equal corresponding angles, so:

$$\angle PCB = \angle DFE = \angle F.$$

But we were given $\angle ACB = \angle F$. Therefore:

$$\angle PCB = \angle ACB.$$

That equality is impossible unless $P$ lies exactly on $A$, because if $P$ were strictly inside $AB$, then $\angle PCB$ would be smaller than $\angle ACB$. So $P$ coincides with $A$, which forces $AB = PB = DE$, contradicting $AB > DE$.

Case 3: $AB < DE$.

The same argument with the roles of the two triangles swapped gives the same contradiction.

Conclusion. Cases 2 and 3 are impossible, so $AB = DE$, and Case 1 then gives $\triangle ABC \cong \triangle DEF$ by SAS. The ASA criterion is proved.

Why Can't Two Angles Alone Prove Congruence?

If two triangles share two angles but no equal side, they can be the same shape at wildly different sizes, think of a small triangle and a giant scaled copy with identical angles. Equal angles fix the shape but say nothing about size.

The included side is what nails down the scale. Once one real length is locked between two fixed angles, the whole triangle has exactly one possible size, and congruence follows. This is the difference between two angles giving similarity and two angles plus a side giving congruence.

How Is ASA Different From AAS?

Both use two angles and one side, so students blur them. The difference is purely where the side sits:

Criterion

Angles

Side position

ASA

Two angles

The side is between the two angles (included)

AAS

Two angles

The side is outside the two angles (non-included)

They are close cousins because of the triangle sum theorem: if two angles are known, the third is forced, so an AAS setup can always be converted into an ASA setup by finding that third angle. That is exactly why any triangle provable by ASA is also provable by AAS, and vice versa. The batch companion pages the SSS criterion proof and the RHS criterion proof prove the other standard tests the same rigorous way.

Examples of the ASA Criterion Proof

The examples move from spotting ASA to writing a short proof to catching a misapplied case.

Example 1

In $\triangle ABC$ and $\triangle PQR$, $\angle B = \angle Q$, $BC = QR$, and $\angle C = \angle R$. Are the triangles congruent?

The two angles are $\angle B, \angle C$ and $\angle Q, \angle R$; the equal side $BC = QR$ lies between them in each triangle. That is the ASA configuration exactly.

Final answer: yes, $\triangle ABC \cong \triangle PQR$ by ASA.

Example 2

A student is told $\angle A = \angle D$, $\angle B = \angle E$, and $AC = DF$, and concludes ASA. Is the reasoning correct?

The first instinct is to see two angles and a side and stamp "ASA." Look at where the side is. The equal angles are at $A, B$ and $D, E$. The equal side $AC$ runs from $A$ to $C$, but $C$ is not one of the angle vertices of the pair ${A, B}$, so $AC$ is not the included side, it lies outside the two angles.

So this is not ASA at all; the side is non-included, which is the AAS setup. The triangles are still congruent, but by AAS, and naming the wrong rule in a proof loses the mark.

Final answer: the triangles are congruent, but by AAS, not ASA.

Example 3

Two triangles have $\angle B = \angle E = 50^\circ$, $\angle C = \angle F = 60^\circ$, and $BC = EF = 5$ cm. Prove congruence.

The angles $\angle B, \angle C$ sit at the ends of $BC$; the angles $\angle E, \angle F$ sit at the ends of $EF$. The included sides $BC$ and $EF$ are equal. By ASA, $\triangle ABC \cong \triangle DEF$.

Final answer: congruent by ASA.

Example 4

In the proof of ASA, why is the point $P$ introduced?

$P$ is placed on $AB$ so that $PB = DE$, letting us build a triangle $PBC$ that matches $DEF$ by SAS. The resulting angle equality forces $P$ to coincide with $A$, which proves $AB = DE$.

Final answer: $P$ sets up an SAS comparison that forces $AB = DE$.

Example 5

Triangles $LMN$ and $XYZ$ have $\angle M = \angle Y$, $\angle N = \angle Z$, and $MN = YZ$. Which vertex maps to which?

Matching angles: $\angle M \leftrightarrow \angle Y$ and $\angle N \leftrightarrow \angle Z$, so $M \to Y$, $N \to Z$, and the remaining $L \to X$.

Final answer: $L \to X$, $M \to Y$, $N \to Z$; congruent by ASA.

Example 6

Can ASA prove congruence if only the two angles are equal but no side is given?

No. Without an equal side, the triangles could be similar but different sizes. ASA needs the included side to fix the scale.

Final answer: no; an equal included side is required.

What Mistakes Do Students Make With the ASA Criterion?

Almost every ASA error is a placement error or a naming error.

Mistake 1: Using a non-included side and calling it ASA

Where it slips in: any figure with two equal angles and one equal side that happens to sit outside them.

Don't do this: label it ASA because "there are two angles and a side."

The correct way: check that the equal side lies between the two equal angles. If it does not, the rule is AAS. The students who get this wrong most often are the ones who match parts by counting (two A's and an S) instead of reading the figure for position.

Mistake 2: Assuming two equal angles are enough

Where it slips in: problems that give two pairs of equal angles and stop.

Don't do this: conclude congruence from angles alone.

The correct way: remember that equal angles give the same shape, not the same size. You need the included side to force congruence rather than mere similarity.

Mistake 3: Mismatching corresponding vertices

Where it slips in: writing the congruence statement $\triangle ABC \cong \triangle DEF$ without checking which vertex maps to which.

Don't do this: copy the letters in the order they appear on the page.

The correct way: pair vertices by their equal angles, then write the statement so corresponding parts line up. A wrong order can turn a correct proof into an incorrect claim.

Conclusion

  • The ASA criterion proof establishes that two angles and the included side determine a triangle uniquely, so matching them proves congruence.

  • The proof works by cases: assuming the third side unequal builds an SAS comparison that contradicts the given angle equality.

  • The included side must sit between the two angles; a non-included side makes it AAS instead.

  • Two angles alone give similarity, not congruence, because they fix shape but not size.

To work through congruence proofs with a teacher checking each step, explore Bhanzu's geometry tutor or high school math tutor sessions, or browse math classes online.

Prove These Yourself

Work through the exercises below to solidify your understanding. Prove congruence for a pair of triangles given two angles and the included side; then take a non-included-side setup and identify why it is AAS, not ASA; finally, write the correct correspondence statement for each. If you get stuck on the point-construction step, reread the Case 2 argument above. To practise proofs live with a Bhanzu trainer, book a free demo class.

Read More

Book a Free Demo

Was this article helpful?

Your feedback helps us write better content

Frequently Asked Questions

Is ASA a postulate or a theorem?
It depends on the textbook's starting axioms. In systems built on SAS, ASA is a theorem, proved as shown here; in others it is taken as a postulate. Either way, the result is the same.
What is the included side in ASA?
The side that lies between the two given angles. In $\triangle ABC$, the side included by $\angle B$ and $\angle C$ is $BC$.
Does ASA prove similarity or congruence?
Congruence. Because it includes an equal side, ASA fixes the size as well as the shape, giving identical triangles.
Can every ASA case be proved by AAS instead?
Yes. Since two angles determine the third by the angle sum, an ASA setup can always be re-expressed as AAS, and both reach the same congruence.
Why does the proof use SAS?
Because SAS is established first. The ASA proof reduces the problem to an SAS comparison, so it borrows a rule that is already known to be true.
✍️ Written By
BT
Bhanzu Team
Content Creator and Editor
Bhanzu’s editorial team, known as Team Bhanzu, is made up of experienced educators, curriculum experts, content strategists, and fact-checkers dedicated to making math simple and engaging for learners worldwide. Every article and resource is carefully researched, thoughtfully structured, and rigorously reviewed to ensure accuracy, clarity, and real-world relevance. We understand that building strong math foundations can raise questions for students and parents alike. That’s why Team Bhanzu focuses on delivering practical insights, concept-driven explanations, and trustworthy guidance-empowering learners to develop confidence, speed, and a lifelong love for mathematics.
Related Articles
Book a FREE Demo ClassBook Now →