Toolkit 59

Ptolemy's Theorem

Cyclic quadrilateral ABCD with diagonals

A quadrilateral ABCDABCD is cyclic if and only if:

ABCD+ADBC=ACBDAB\cdot CD+AD\cdot BC=AC\cdot BD