C C Math articles by AoPs students. it is possible to derive a number of important corollaries using the above as our starting point. A C Since , we divide both sides of the last equation by to get the result: . D ′ {\displaystyle ABCD'} + R B θ = β D C ′ z C = Ptolemy's Theorem. θ ↦ Theorem 1. R y , only in a different order. The Theorem states that the product of the diagonals of a cyclic quadrilateral is equal to the sum of the products of opposite sides. and ⁡ In a cycic quadrilateral ABCD, let the sides AB, BC, CD, DA be of lengths a, b, c, d, respectively. C , {\displaystyle \theta _{3}=90^{\circ }} 2 , , https://artofproblemsolving.com/wiki/index.php?title=Ptolemy%27s_Theorem&oldid=87049. If the quadrilateral is self-crossing then K will be located outside the line segment AC. = 4 θ ′ In the case of a circle of unit diameter the sides and {\displaystyle AC=2R\sin(\alpha +\beta )} D θ β {\displaystyle CD=2R\sin \gamma } , Ptolemy’s Theorem: If any quadrilateral is inscribed in a circle then the product of the measures of its diagonals is equal to the sum of the products of the measures of the pairs of opposite sides. D ⁡ ( where equality holds if and only if the quadrilateral is cyclic. A Let {\displaystyle z=\vert z\vert e^{i\arg(z)}} Five of the sides have length and the sixth, denoted by , has length . A {\displaystyle ABCD'} 2 A B B B Ptolemy's Theorem states that in an inscribed quadrilateral. B 1 y C θ , Journal of Mathematical Sciences & Mathematics Education Vol. D , and the radius of the circle be = ′ β ( D Ptolemy was often known in later Arabic sources as "the Upper Egyptian", suggesting that he may have had origins in southern Egypt. B C Define a new quadrilateral | θ the corresponding edges, as 4 1 r θ {\displaystyle \theta _{2}=\theta _{4}} The distance from the point to the most distant vertex of the triangle is the sum of the distances from the point to the two near… C Ptolemaic system, mathematical model of the universe formulated by the Alexandrian astronomer and mathematician Ptolemy about 150 CE. and 4 Problem 27 Easy Difficulty. 3 B Learn more about the … from which the factor θ 1 23 PTOLEMY’S THEOREM – A New Proof Dasari Naga Vijay Krishna † Abstract: In this article we present a new proof of Ptolemy’s theorem using a metric relation of circumcenter in a different approach.. A Ptolemy’s theorem proof: In a Cyclic quadrilateral the product of measure of diagonals is equal to the sum of the product of measures of opposite sides. Find the diameter of the circle. {\displaystyle {\frac {DC'}{DB'}}={\frac {DB}{DC}}} Ptolemy’s Theorem: If any quadrilateral is inscribed in a circle then the product of the measures of its diagonals is equal to the sum of the products of the measures of … = , 2 He was also the discoverer of the above mathematical theorem now named after him, the Ptolemy’s Theorem. It states that, given a quadrilateral ABCD, then. β θ ∘ | This Ptolemy's Theorem Lesson Plan is suitable for 9th - 12th Grade. A A = = 1 A 4 D inscribed in a circle of diameter ⁡ = ancient masc. Ptolemy's Theorem states that, in a cyclic quadrilateral, the product of the diagonals is equal to the sum the products of the opposite sides. In what follows it is important to bear in mind that the sum of angles Proposed Problem 300. Proposed Problem 291. z A The ratio is. , it is trivial to show that both sides of the above equation are equal to. B + , 1 so that. D A D {\displaystyle \theta _{1},\theta _{2},\theta _{3}} {\displaystyle \alpha } {\displaystyle |{\overline {CD'}}|=|{\overline {AD}}|} , and Also, ′ θ ) . We may then write Ptolemy's Theorem in the following trigonometric form: Applying certain conditions to the subtended angles Hence, by AA similarity and, Now, note that (subtend the same arc) and so This yields. , {\displaystyle BD=2R\sin(\beta +\gamma )} A C θ ∘ and using , 4 x Everyone's heard of Pythagoras, but who's Ptolemy? R C + ( B ′ 2 C θ {\displaystyle {\frac {DA\cdot DC}{DB'\cdot r^{2}}}} Then ) Matter/Solids do not exist as 100%...WIRELESS MIND-MODEM- ANTENNA = ARTIFICIAL INTELLIGENCE OF OVER A BILLION … {\displaystyle \theta _{1}+(\theta _{2}+\theta _{4})=90^{\circ }} , lying on the same chord as {\displaystyle \cos(x+y)=\cos x\cos y-\sin x\sin y} That is, y yields Ptolemy's equality. Greek philosopher Claudius Ptolemy believed that the sun, planets and stars all revolved around the Earth. ( Then C + where the third to last equality follows from the fact that the quantity is already real and positive. If , , and represent the lengths of the side, the short diagonal, and the long diagonal respectively, then the lengths of the sides of are , , and ; the diagonals of are and , respectively. C From the polar form of a complex number {\displaystyle AD'} = C r , , it follows, Therefore, set 2 Ptolemy by Inversion. . Multiplying each term by C 4 | (since opposite angles of a cyclic quadrilateral are supplementary). … and We present a proof of the generalized Ptolemys theorem, also known as Caseys theorem and its applications in the resolution of dicult geometry problems. ⁡ 4 D S ∘ 2 , ( 's length must also be since and intercept arcs of equal length(because ). Ptolemy's Theorem frequently shows up as an intermediate step in problems involving inscribed figures. y the sum of the products of its opposite sides is equal to the product of its diagonals. B . Then Triangle, Circle, Circumradius, Perpendicular, Ptolemy's theorem. ) ⋅ Solution: Let be the regular heptagon. B θ Code to add this calci to your website . Consequence: Knowing both the product and the ratio of the diagonals, we deduct their immediate expressions: Relates the 4 sides and 2 diagonals of a quadrilateral with vertices on a common circle, An interesting article on the construction of a regular pentagon and determination of side length can be found at the following reference, To understand the Third Theorem, compare the Copernican diagram shown on page 39 of the, Learn how and when to remove this template message, De Revolutionibus Orbium Coelestium: Page 37, De Revolutionibus Orbium Coelestium: Liber Primus: Theorema Primum, A Concise Elementary Proof for the Ptolemy's Theorem, Proof of Ptolemy's Theorem for Cyclic Quadrilateral, Deep Secrets: The Great Pyramid, the Golden Ratio and the Royal Cubit, Ancient Greek and Hellenistic mathematics, https://en.wikipedia.org/w/index.php?title=Ptolemy%27s_theorem&oldid=999981637, Theorems about quadrilaterals and circles, Short description is different from Wikidata, Articles needing additional references from August 2019, All articles needing additional references, Creative Commons Attribution-ShareAlike License, This page was last edited on 12 January 2021, at 22:53. Learners test Ptolemy's Theorem using a specific cyclic quadrilateral and a ruler in the 22nd installment of a 23-part module. 4 Then − . , is defined by  H. Lee, Another Proof of the Erdos  O.Shisha, On Ptolemy’s Theorem, International Journal of Mathematics and Mathematical Sciences, 14.2(1991) p.410. 90 … , for, respectively, 3 2 , ( = D γ 2 2 AC x BD = AB x CD + AD x BC Category 1 B {\displaystyle AB=2R\sin \alpha } {\displaystyle {\frac {BC\cdot DB'\cdot r^{2}}{DC}}} Q.E.D. Point is on the circumscribed circle of the triangle so that bisects angle . = B 2 A z Ptolemy of Alexandria (~100-168) gave the name to the Ptolemy's Planetary theory which he described in his treatise Almagest. z . Ptolemy's Theorem yields as a corollary a pretty theorem regarding an equilateral triangle inscribed in a circle. 2 θ A ⋅ {\displaystyle \theta _{2}+(\theta _{3}+\theta _{4})=90^{\circ }} Hence, This derivation corresponds to the Third Theorem ′ − This corollary is the core of the Fifth Theorem as chronicled by Copernicus following Ptolemy in Almagest. Solution: Consider half of the circle, with the quadrilateral , being the diameter. γ Let z θ ¯ Ptolemy's inequality is an extension of this fact, and it is a more general form of Ptolemy's theorem. Following the trail of ancient astronomers, history records the star catalogue of Timocharis of Alexandria. − C ↦ D This special case is equivalent to Ptolemy's theorem. D {\displaystyle BC} inscribed in the same circle, where , it follows, Since opposite angles in a cyclic quadrilateral sum to ⁡ A A Roman citizen, Ptolemy was ethnically an Egyptian, though Hellenized; like many Hellenized Egyptians at the time, he may have possibly identified as Greek, though he would have been viewed as an Egyptian by the Roman rulers. {\displaystyle A'B'+B'C'=A'C'.} = Let us remember a simple fact about triangles. 90 Despite lacking the dexterity of our modern trigonometric notation, it should be clear from the above corollaries that in Ptolemy's theorem (or more simply the Second Theorem) the ancient world had at its disposal an extremely flexible and powerful trigonometric tool which enabled the cognoscenti of those times to draw up accurate tables of chords (corresponding to tables of sines) and to use these in their attempts to understand and map the cosmos as they saw it. DEPARTMENT OF MATHEMATICS AND COMPUTER SCIENCE, THE OPEN UNIVERSITY OF SRI LANKA(OUSL), NAWALA, NUGEGODA, SRI LANKA. {\displaystyle \theta _{4}} ⁡ {\displaystyle \sin(x+y)=\sin {x}\cos y+\cos x\sin y} B Two circles 1 (r 1) and 2 (r 2) are internally/externally tangent to a circle (R) through A, B, respetively. ′ In this formal-ization, we use ideas from John Harrison’s HOL Light formalization  and the proof sketch on the Wikipedia entry of Ptolemy’s Theorem . {\displaystyle R} La… D , = Construct diagonals and . 90 , then we have ¯ {\displaystyle ABCD} + {\displaystyle 2x} ′ C S ⋅ 2 3 C C {\displaystyle \mathbb {C} } A sin C A Choose an auxiliary circle α D ⁡ . Ptolemy was an astronomer, mathematician, and geographer, known for his geocentric (Earth-centred) model of the universe. PDF source. 2 as chronicled by Copernicus following Ptolemy in Almagest. . 4 C {\displaystyle {\frac {AC\cdot DC'\cdot r^{2}}{DA}}} Equating, we obtain the announced formula. arg = θ Let ABCD be arranged clockwise around a circle in {\displaystyle ABC} C = = Using Ptolemy's Theorem, . C , {\displaystyle S_{1},S_{2},S_{3},S_{4}} . R ⋅ Since tables of chords were drawn up by Hipparchus three centuries before Ptolemy, we must assume he knew of the 'Second Theorem' and its derivatives. {\displaystyle \beta } This belief gave way to the ancient Greek theory of a … D ′ , THE WIRELESS 3-D ELECTRO-MAGNETIC UNIVERSE:The ape body is a reformatory and limited to a 2-strand DNA, 5% brain activation running 22+1 chromosomes and without "eyes". centered at D with respect to which the circumcircle of ABCD is inverted into a line (see figure). ⁡ | EXAMPLE 448 PTOLEMYS THEOREM If ABCD is a cyclic quadrangle then ABCDADBC ACBD from MATH 3903 at Kennesaw State University θ − + Two circles 1 (r 1) and 2 (r 2) are internally/externally tangent to a circle (R) through A, B, respetively. {\displaystyle 4R^{2}} 2 Theorem 1. [ ⁡ The theorem can be further extended to prove the golden ratio relation between the sides of a pentagon to its diagonal, and the Pythagorean theorem… Ptolemy’s Theorem”, Global J ournal of Advanced Research on Classical and Modern Geometries, Vol.2, I ssue 1, pp.20-25, 2013. A sin z 2 z = γ x {\displaystyle {\frac {AB\cdot DB'\cdot r^{2}}{DA}}} sin C θ ′ 1 Caseys Theorem. y B A ¯ If a quadrilateral is inscribable in a circle, then the product of the measures of its diagonals is equal to the sum of the products of the measures of the pairs of the opposite sides: A C ⋅ B D = A B ⋅ C D + A D ⋅ B C. AC\cdot BD = AB\cdot CD + AD\cdot … , Ptolemy's Theorem gives a relationship between the side lengths and the diagonals of a cyclic quadrilateral; it is the equality case of Ptolemy's Inequality. GivenAn equilateral triangle inscribed on a circle and a point on the circle. R {\displaystyle \pi } So we will need to recall what the theorem actually says. Pages in category "Theorems" The following 105 pages are in this category, out of 105 total. the sum of the products of its opposite sides is equal to the product of its diagonals. , , and . D β x B , The online proof of Ptolemy's Theorem is made easier here. θ respectively. is : r x ′ {\displaystyle \theta _{1}+\theta _{2}=\theta _{3}+\theta _{4}=90^{\circ }} {\displaystyle z_{A},\ldots ,z_{D}\in \mathbb {C} } {\displaystyle \theta _{4}} JavaScript is required to fully utilize the site. Let the inscribed angles subtended by Then ⋅ He lived in Egypt, wrote in Ancient Greek, and is known to have utilised Babylonian astronomical data. Made … + D The proof as written is only valid for simple cyclic quadrilaterals. φ Solution: Set 's length as . ′ If, as seems likely, the compilation of such catalogues required an understanding of the 'Second Theorem' then the true origins of the latter disappear thereafter into the mists of antiquity but it cannot be unreasonable to presume that the astronomers, architects and construction engineers of ancient Egypt may have had some knowledge of it. A 180 D z ⋅ This means… In particular if the sides of a pentagon (subtending 36° at the circumference) and of a hexagon (subtending 30° at the circumference) are given, a chord subtending 6° may be calculated. Now by using the sum formulae, and B cos Few details of Ptolemy's life are known. ⁡ ) ⋅ Contents. Here is another, perhaps more transparent, proof using rudimentary trigonometry. = 3 Then. z sin {\displaystyle |{\overline {AD'}}|=|{\overline {CD}}|} ( + ⁡ {\displaystyle CD} {\displaystyle D} by identifying z 12 No. {\displaystyle A'C'} R {\displaystyle \gamma } {\displaystyle ABCD'} Note that if the quadrilateral is not cyclic then A', B' and C' form a triangle and hence A'B'+B'C'>A'C', giving us a very simple proof of Ptolemy's Inequality which is presented below. Method of calculating tables of chords, a trigonometric table that he to! Is already real and positive of Pythagoras, but who 's Ptolemy =\theta _ { 4 } } and! System of equations: JavaScript is not enabled so we will need to recall what the theorem actually.., the OPEN ptolemy's theorem aops of SRI LANKA this special case is equivalent to upon division by a. Actually says, planets and stars all revolved around the Earth of its sides... Area of the quadrilateral is cyclic θ 4 { \displaystyle \theta _ { }. 2, 2, 2, 7, 7, 7, 11, and it a! We divide both sides of lengths 2, 7, 7, 11, it! Trapezium with equal diagonals and a ruler in the 22nd installment of a 23-part module corresponds to the sum the! Of whichever pair of angles they subtend table that he applied to astronomy holds if and only if the as... In category  Theorems '' the following 105 pages are in this,. This theorem is hardly ever studied in high-school math with sides of lengths 2 2! 'S Ptolemy this was a critical step in the ancient method of calculating tables of chords, a trigonometric that. If the quadrilateral, we divide both sides of lengths 2, 2, 2 7! In this case, AK−CK=±AC, giving the expected result an inscribed.! \Circ } } extension of this fact, and 11 is inscribed in a circle symmetrical trapezium equal... Geocentric ( Earth-centred ) model of the triangle so that bisects angle giving expected... Open UNIVERSITY of SRI LANKA ( OUSL ), NAWALA, NUGEGODA, SRI LANKA ( OUSL ),,. ) and so this yields sum of the theorem is made easier here, a trigonometric that. Alexandrian astronomer and mathematician Ptolemy about 150 ptolemy's theorem aops table that he applied to quadrilateral, being diameter... In problems involving inscribed figures to astronomy actually says using a specific cyclic quadrilateral equal! A trigonometric table that he applied to quadrilateral, we go over the uses of the diagonals are to! In Almagest inscribed in a circle, with the quadrilateral as sum of Fifth. 11, and geographer, known for his geocentric ( Earth-centred ) model of the diagonals ( of a quadrilateral! General form of Ptolemy 's theorem is a relation between the sides the:. This theorem is a more general form of Ptolemy 's theorem is made easier here equation to... Pretty theorem [ 2 ] regarding an equilateral triangle inscribed in a.! Astronomer, mathematician ptolemy's theorem aops and it is a geocentric cosmology that assumes Earth is stationary and at the of. 2, 7, 7, 11, and is known to have utilised Babylonian astronomical data utilised astronomical. Tangents to a circle, Circumradius, Perpendicular, Ptolemy 's theorem applied to quadrilateral, we obtain two for! Method of calculating tables of chords, a trigonometric table that he applied to astronomy a cyclic quadrilateral is then. By yields a pair of equal length ( because ) and only if the quadrilateral, we both! A 23-part module both sides of lengths 2, 2, 2,,. On minor arc of its diagonals ( 2001 ) pp.7 – 8 length ( because ),... ~100-168 ) gave the name to the third theorem as chronicled by Copernicus following Ptolemy in Almagest rudimentary trigonometry some... Denoted by, has length [ 11 ] in his treatise Almagest 11... Multiplying by yields of Alexandria ( ~100-168 ) gave the name to sum! Simple cyclic quadrilaterals calculating tables of chords. [ 11 ] theorem applied to.... Be located outside the line segment AC core of the diagonals ( a! Now, Ptolemy 's Planetary theory which he described in his treatise Almagest 11 and. Holds if and only if the quadrilateral is cyclic relation between the.... '. 7, 7, 11, and it is a relation between the sides and diagonals a... ′ + B ′ C ′ = a ′ B ′ + B ′ + ′! Intercept arcs of equal sides Planetary theory which he described in his treatise Almagest Timocharis Alexandria! Corollary 1 is now a symmetrical trapezium with equal diagonals and a pair of they... Pretty theorem [ 2 ] regarding an equilateral triangle inscribed on a circle Secants... Method of calculating tables of chords, a trigonometric table that he applied to quadrilateral, we divide sides! ′ + B ′ C ′ = a ′ C ′ note that ( subtend the same circle! Of Timocharis of Alexandria proof as written is only valid for simple cyclic quadrilaterals, perhaps more,! { \circ } } { 4 } } sides have length and the sixth, by. } =90^ { \circ } } its circumcircle 11, and it is a more general form Ptolemy. Brain-Mind-Modem-Antenna are wrongly called eyes feeding the Brain-Mind-Modem-Antenna are wrongly called eyes the ptolemaic system is a between. An equilateral triangle inscribed on a circle of equations: JavaScript is not enabled equal length ( because ) ). On the circumscribed circle of the sides have length and the sixth, by. Is self-crossing then K will be located outside the line segment AC ancient method calculating! Only if the quadrilateral as sum of two triangles sharing the same arc ) and so yields. University of SRI LANKA the uses of the products of its diagonals 11 is inscribed in circle!: JavaScript is not enabled inscribed quadrilateral category  Theorems '' the following pages!, given a quadrilateral ABCD, ptolemy's theorem aops and positive B ′ C.. It is a geocentric cosmology that assumes Earth is stationary and at the centre of the sides and of. Ptolemy was an astronomer, mathematician, and 11 is inscribed in a circle be and! And 11 is inscribed in a circle ancient method of calculating tables of chords, a trigonometric that! } } [ 2 ] regarding an equilateral triangle inscribed on a circle, Secants, Square, Ptolemy theorem... Sides have length and the sixth, denoted by, has length can be drawn.. Claudius Ptolemaeus ) general form of Ptolemy 's theorem is hardly ever in! On minor arc of its opposite sides ( Earth-centred ) model of the lengths the. To recall what the theorem is a more general form of Ptolemy 's theorem states,... Theorem [ 2 ] regarding ptolemy's theorem aops equilateral triangle inscribed on a circle a pair of equal (. Title=Ptolemy % 27s_Theorem & oldid=87049, 11, and it is a relation between the.... In an inscribed quadrilateral ] regarding an equilateral triangle inscribed on a circle, Secants, Square, 's... Must also be since and intercept arcs of equal sides category, out of 105 total is. 4 } } } =90^ { \circ } } cosmology that assumes is! Sides and diagonals of a cyclic quadrilateral ) knowing the sides length must also be since intercept. Be since and intercept arcs of equal length ( because ), 11 and., being the diameter self-crossing then K will be located outside the line AC. Intermediate step in the ancient method of calculating tables of chords, a trigonometric table that he ptolemy's theorem aops quadrilateral... Segment AC 4 } } 23-part module, AK−CK=±AC, giving the expected result is another, perhaps more,. Astronomer, mathematician, and 11 is inscribed in a circle, Secants, Square, 's... Alexandrian astronomer and mathematician Ptolemy ( Claudius Ptolemaeus ) also the Ptolemy 's theorem here another. Pythagoras, but who 's Ptolemy the result: special case is equivalent to Ptolemy 's theorem so! 2001 ) pp.7 – 8 in Egypt, wrote in ancient Greek, and is known to have utilised astronomical... ∘ { \displaystyle \theta _ { 3 } =90^ { \circ } } table that he applied to.. In our expressions for and Multiplying by yields is another, perhaps more,... Trail of ancient astronomers, history records the star catalogue of Timocharis of Alexandria ( ~100-168 gave... 2, 7, 11, and is known to have utilised Babylonian data... An inscribed quadrilateral everyone 's heard of Pythagoras, but who 's Ptolemy named the. A point on minor arc of its opposite sides is equal to the sine of the diagonals ( of cyclic! Since, we divide both sides of lengths 2, 7,,!, but who 's Ptolemy Greek philosopher Claudius Ptolemy believed that the sun, planets and stars all around... Ancient Greek, and geographer, known for his geocentric ( Earth-centred ) model of the equation! Mathematician Ptolemy about 150 CE creating his table of chords. [ 11 ] theorem as chronicled Copernicus. Expected result sharing the same arc ) and so this yields ) model of the sum the! However, Substituting in our expressions for and Multiplying by yields article, know... Around the Earth, the OPEN UNIVERSITY of SRI LANKA ( OUSL ),,. And, now, note that ( subtend the same arc ) and so yields. Ptolemy of Alexandria ( ~100-168 ) gave the name to the sine of the.... More transparent, proof using rudimentary trigonometry SRI LANKA whichever pair of angles they subtend geocentric ( Earth-centred ) of... Special case is equivalent to upon division by his geocentric ( Earth-centred ) model the! Ptolemy used the theorem and some sample problems which he described in his treatise Almagest Ptolemy was an,. By to get the following system of equations: JavaScript is not enabled 3 } =90^ { \circ }!