PRINCIPIA · THEOREM

Base angles of an isosceles triangle are equal

Dependencies: SAS congruence.

Statement

Let ABC\triangle ABC be non-degenerate. If the two legs are equal:

AB=AC,|AB| = |AC|,

then the two base angles are also equal:

ABC=ACB.\angle ABC = \angle ACB.

By convention, AA is called the apex vertex, and B\angle B and C\angle C are called the base angles.

Isosceles diagram: view \triangle ABC and \triangle ACB with the letters re-ordered as two triangles — geometrically the same figure, with B and C swapped; SAS immediately gives congruence ⟹ \angle B = \angle C.

First 20 free · sign in for #21 onward

Sign in to unlock the full proof

The first 20 theorems are free to read; this one and the rest require an account to see the full proof, animation, and consequences. Free, email-code sign-in only.

Sign in to unlock
Help me make this theorem better