Ptolemy's Theorem

Theorem
Let $ABCD$ be a cyclic quadrilateral.

Then:
 * $AB \times CD + AD \times BC = AC \times BD$

Proof

 * PtolemysTheorem.png