
Ptolemy's Theorem states that, in a cyclic quadrilateral, the product of the diagonals is equal to the sum the products of the opposite sides.
In the diagram below, Ptolemy's Theorem claims:
|
Consider the diagram on the right: We have drawn a quadrilateral ABCD inside a circle, and constructed the angle ABK so it is equal to angle DBC. We note the following facts about the angles in the same segment:
And the following about the named triangles:
|
![]() |
|
The diagram is repeated on the right to minimize scrolling. From the triangles ABK and DBC we have:
From the triangles ABC and KBC, we have:
Adding 1.01 and 1.02 (and taking out the common factor DB) we have:
Because AK and CK are the parts of AC, we have Ptolemy's Theorem:
|
![]() |