# A Visual Proof of Ptolemy's Theorem

A significant result in classical geometry is Ptolemy's theorem: in a cyclic quadrilateral, the sum of the products of the two pairs of opposite sides is equal to the product of the diagonals. This Demonstration presents a visual proof of the theorem, based on .
Hover over , , , until you see a plus sign; then you can drag that vertex in its quadrant.

### DETAILS

1. The four vertices of a quadrilateral with vertices , , , all lie on the circumference of a circle.The lengths of the sides of are , , , and the lengths of its diagonals are and .
2. Draw the line (dashed red) so that , where is on the diagonal . That is, the two red angles are equal. Let and , so that .
3. The two blue angles are equal since they subtend the same blue arc from to . Hence, the two triangles and are similar, since they have two equal angles, the blue ones and the red angles plus .
4. Since the two shaded triangles are similar, ,
or .
5. The two orange angles are equal, , since they subtend the same arc . The triangle (with pink sides) and the triangle (with dark blue sides) are similar since the two angles and at vertex are equal from step 2. Then ,
or . .
Reference
 C. Alsina and R. B. Nelsen, When Less Is More: Visualizing Basic Inequalities, Washington, D.C.: Mathematical Association of America, 2009 p. 112. doi:10.5948/UPO9781614442028.

### PERMANENT CITATION

 Share: Embed Interactive Demonstration New! Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site. More details » Download Demonstration as CDF » Download Author Code »(preview ») Files require Wolfram CDF Player or Mathematica.

• The Medians of a Triangle Are Concurrent: A Visual ProofTomas Garza
• Thales's Theorem: A Vector-Based ProofTomas Garza
• Da Vinci's Proof of the Pythagorean TheoremTomas Garza
• Ptolemy's TheoremJay Warendorff
• A Visual Proof of Thales's Intercept TheoremPaolo Maraner
• Four Visual Proofs of a Theorem about a Regular NonagonIzidor Hafner
• A Visual Proof of the Double-Angle Formula for SineChris Boucher
• A Visual Proof of the Cauchy-Schwarz Inequality in 2DChris Boucher
• Garfield's Proof of the Pythagorean TheoremAlvaro José Ibarra Rivas
• Dudeney's Proof of the Pythagorean TheoremIzidor Hafner