In Euclidean geometry, Ptolemy's theorem is a relation between the four sides and two diagonals of a cyclic quadrilateral (a quadrilateral whose vertices lie on a common circle) [1].
With given side and diagonal lengths, Ptolemy's theorem of a cyclic quadrilateral states:
pq=ac+bd.(1)
For a cyclic quadrilateral the product of the diagonal lengths is equal to the sum of the product of the length of the pairs of opposite sides.
Vectorial Proof
The quadrilateral can be described by a loop closure of side vectors a, b, c, d running counter-clockwise (Fig.1) [3].
Expressing the diagonal vector p by the sides of its two triangles p=a+b=−(c+d) and squaring leads us to
p2=a2+2ab+b2=c2+2cd+d2.(2)
Both angles in the triangle corners opposite to diagonal p sum up to 180° and thus equals cosA=−cosC. So we can write in vectorial notation [4]
abab=−cdcdor(ab)cd+(cd)ab=0.(3)
Resolving for the dot products ab and cd in equation (2) and introducing them in (3) gives
(p2−a2−b2)cd+(p2−c2−d2)ab=0
On our way for isolating p2 we get
p2(ab+bc)=(a2+b2)cd+(c2+d2)ab.
Herein the right hand side can be simplified by resolving the brackets and reordering
p2=ab+cd(ac+bd)(ad+bc).(4)
Otherwise expressing the diagonal vector q by its two triangle sides q=b+c=−(d+a) and squaring again gives
q2=b2+2bc+c2=a2+2ad+d2.
Both angles in the triangle corners opposite to diagonal q also sum up to 180° and equal to cosB=−cosD. Then using this fact in an analog manner leads us to
q2=ad+bc(ab+cd)(ac+bd).(5)
Now multiplying equations (4) and (5), reducing the fractions and applying the square root finally results in (1)