PRINCIPIA · THEOREM

AAS congruence

Dependencies: ASA congruence and Triangle interior angles sum to 180°.

Statement

Suppose two triangles ABC\triangle ABC and ABC\triangle A'B'C' satisfy

A=A,B=B,BC=BC.\angle A = \angle A',\qquad \angle B = \angle B',\qquad |BC| = |B'C'|.

Note: BCBC is the side enclosed between B\angle B and C\angle C, but A\angle A is not adjacent to BCBC — that is, the data given is "two angles + one non-included side". Then ABCABC\triangle ABC \cong \triangle A'B'C'.

AAS congruence: \angle A = \angle A', \angle B = \angle B', |BC| = |B'C'| ⇒ \triangle ABC \cong \triangle A'B'C'

10 foundational theorems free · one-time unlock for the rest

Unlock the complete proofs forever

Matching GeoSnap, 10 foundational theorems are completely free. Unlock every other proof, animation, and consequence with one $10 purchase.

Sign in to unlock
Help me make this theorem better