# Ptolemy on Hinges

Ptolemy's theorem tells us that in a convex cyclic quadrilateral ABPC the sum of the products of the two pairs of opposite sides equals the product of its two diagonals. In other words,

AC×BP + AB×CP = AP×BC

The applet below illustrates a proof of Ptolemy's theorem that grew out of its application in a proof of a theorem by van Schooten. The proof is available online and is due to a former correspondent.

What if applet does not run? |

Rotate triangle ACP around A through the angle CAB so that C is mapped onto a point, say C', on AB. P is mapped to P'.

In case ΔABC is equilateral, one may perceive the semblance with the configuration from a proof of van Schooten's theorem. When ΔABC is equilateral the rotation places P' on the extension of BP. The same is true when ΔABC is isosceles. In the general case, we may only claim that C'P'||BP. (The reason is the same in all three cases. Since the quadrilateral ABPC is cyclic

Triangles ABP'' and AC'P' are similar, implying

AC' / C'P' = AB / BP'',

so that

BP'' | = AB×C'P' / AC' | |

= AB×CP / AC. |

Triangles ABC and AP''P are also similar because, in addition to

AC / AP = BC / PP''

so that

PP'' = BC×AP / AC

But PP'' = BP + BP'' = BP + AB×CP / AC. We see that

BP + AB×CP / AC = BC×AP / AC.

Multiplying by AC gives Ptolemy's identity.

### References

- A. Percy and D. G. Rogers,
__Alternative route: from van Schooten to Ptolemy__,*Normat*57:3, 116-128 (2009)

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny