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 ) 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.
Rainer was inspired by a classic scaling based proof of Pythagoras theorem that I presented here
You can find a couple of full text versions of the Almagest here
#ptolemy
For more background info check out the very comprehensive wiki pages on:
Ptolemy’s theorem
’s_theorem
Ptolemy’s inequality
’s_inequality
Claudius Ptolemy
The Almagest
Trigonometric identities
Cyclic quadrilateral
The optic equation
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
Tom M. Apostol, Ptolemy’s Inequality and the Chordal Metric, Mathematics Magazine 40 (1967), pp. 233-235
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:
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.
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: 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
1 view
2631
804
2 months ago 00:32:54 1
Ptolemy’s Theorem and the Almagest: we just found the best visual proof in 2000 years
5 months ago 00:22:53 13
Number theory and algebra in Asia (b) | Math History | NJ Wildberger
5 months ago 00:49:46 1
Number theory and algebra in Asia (a) | Math History | NJ Wildberger
5 years ago 00:38:28 1
A Miraculous Proof (Ptolemy’s Theorem) - Numberphile
9 years ago 00:50:26 3
Seminar: Some Fundamental Formulas from Metrical Algebraic Geometry