PRINCIPIA · THEOREM

Isoceles trapezoid: diagonals equal

Dependencies: SAS congruence, Isoceles trapezoid: base angles equal.

Statement

Let $ABCD$ be an isosceles trapezoid, where $AD \parallel BC$ are the two bases (we take $AD$ to be the upper base and $BC$ the lower base) and $AB$ , $DC$ are the two equal legs:

AD \parallel BC,\qquad AB = DC.

Then the two diagonals are equal in length:

AC = BD.

$Isosceles trapezoid ABCD (AD \parallel BC, AB = DC): the two diagonals satisfy AC = BD.$

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.

Help me make this theorem better