Ptolemy’s Theorem and the Almagest: we just found the best visual proof in 2000 years

We are making history again by presenting a new visual proof of the 2000+ years old Ptolemy's theorem and Ptolemy's inequality.

00:00 Introduction
04:27 Geometry 101
08:19 Applications
14:46 Ptolemy's inequality
18:34 LIES
25:35 Animated proofs
28:57 Thank you!
30:53 Degenerate Easter Egg

There are some other proofs of Ptolemy's theorem/inequality based on scaling and aligning suitable triangles. However, none of them is as slick, beautiful and powerful as Rainer's new proof. In particular, check out the animated scaling proof on the wiki page for Ptolemy's theorem (and this    • A Beautiful Proof of Ptolemy's Theorem.  ) and check out the scaling proof by Claudi Asina and Roger Nelson: Proof Without Words: Ptolemy’s Inequality in Mathematics Magazine 87, (2014), p. 291. https://www.jstor.org/stable/10.4169/...
Rainer was inspired by a classic scaling based proof of Pythagoras theorem that I presented here    • Visualising Pythagoras: ultimate proo...  

You can find a couple of full text versions of the Almagest here
https://www.wilbourhall.org/index.htm...
https://classicalliberalarts.com/reso...

For more background info check out the very comprehensive wiki pages on:
Ptolemy’s theorem
https://en.wikipedia.org/wiki/Ptolemy...
Ptolemy’s inequality
https://en.wikipedia.org/wiki/Ptolemy...
Claudius Ptolemy
https://en.wikipedia.org/wiki/Ptolemy
The Almagest
https://sco.wikipedia.org/wiki/Almagest
Trigonometric identities
https://en.wikipedia.org/wiki/List_of...
Cyclic quadrilateral
https://en.wikipedia.org/wiki/Cyclic_...
The optic equation
https://en.wikipedia.org/wiki/Optic_e...

There are very interesting higher-dimensional versions of Ptolemy's theorem just like there are higher-dimensional versions of Pythagoras theorem. I did not get around to talking them today. Google ...

Highly recommended:
T. Brendan, How Ptolemy constructed trigonometry tables, The Mathematics Teacher 58 (1965), pp. 141-149 https://www.jstor.org/stable/27967990

Tom M. Apostol, Ptolemy's Inequality and the Chordal Metric, Mathematics Magazine 40 (1967), pp. 233-235 https://www.jstor.org/stable/2688275

https://demonstrations.wolfram.com/Pt... an interactive exploration of Ptolemy's table of chords

Ptolemy's theorem made a guest appearance in the the previous Mathologer video on the golden ratio:    • Way beyond the golden ratio: The powe...  

Here is a nice trick to make Ptolemy counterparts of Pythagorean triples. Take any two sets of Pythagorean triples:
5² = 3² + 4², 13² = 12² + 5², and combine them like this:
65² = 13² × 5²= 13²(4² + 3²) = 52² + 39²= 5²(12² + 5²) = 60² + 25².
Now combining the two right angled triangles 52-39-65 and 25-60-65 along the common diagonal in any of four different ways gives a convex quadrilateral with all sides integers. Note that you automatically get 5 integer lengths and then Ptolemy's theorem guarantees that the remaining side is a fraction. Scaling up everything by the denominator of that fraction gives one of the special integer-everywhere quadrilaterals. See also Brahmagupta quadrilaterals.

Here is a nice application of Ptolemy's theorem to a International Maths Olympiad problem    • How Geometry Solved the Most Difficul...  

In a cyclic quadrilateral the ratio of the diagonals equals the ratio of the sums of products of the sides that share the diagonals' end points: https://www.geogebra.org/m/XQr5jJQg This extension of Ptolemy's theorem is part of the thumbnail for this video.

T-shirt: cowsine :)
Music: Floating branch by Muted and I promise by Ian Post.

Enjoy,

burkard