![]() | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
|
Am I the only one who finds the formatting on this page screwy in Firefox?
"Any square can be inscribed in a circle whose center is the barycenter of the square."
Why not simply the center of the square? If barycenter is indeed necessary, then it should be made a link to the barycenter article - the term is not common enough to be generally understood in my opinion.
I've moved this from Ptolemaios's theorem to its much better known name, Ptolemy's theorem. Although I'm Greek myself, there's no real reason to use obscure Greek versions of names when there is a much more widely used form that's standard in English. --Delirium 08:43, 10 November 2005 (UTC)[reply]
Why not introduce the theorem with the much simpler ABCD notation used in the proof and its figure, instead of the complicated-looking point–subscript notation? OK if I change it?
Current way:
Proposed new way:
And of course it could use an introductory illustration. Dicklyon 18:59, 28 August 2006 (UTC)[reply]
Hearing no objection, I'll go ahead. And I added a figure for the golden ratio application, too. Dicklyon 02:15, 29 August 2006 (UTC)[reply]
And I mangled the illustration to make one for the lead. These are the first two SVGs I've ever made, so I'm still running a bit clueless. Please feel free to improve, replace, or delete. Dicklyon 02:48, 29 August 2006 (UTC)[reply]
When someone suggests a merge, it would be proper to open the merge discussion with the reasoning. But, since Michael Kinyon didn't, I will. I was not previously aware of Ptolemy's inequality, but since it has a tiny article and explains that equality is achieved only in the case the corresponds to Ptolemy's theorem, it seems like a no-brainer to merge it into here. Perhaps it's all part of the same theorem originally? Or posed as a corrolary? We should find out, to determine HOW to merge it exactly. Dicklyon 03:04, 28 September 2006 (UTC)[reply]
PlanetMath calls Ptolemy's theorem the equality [1], and has and article about Ptolemy's inequality proof [2]. I would therefore conclude that the theorem is a special case of the inequality (when equality occurs), thus I would leave two distinct articles, specifying this feature. Bh3u4m 13:12, 28 September 2006 (UTC)[reply]
That's a nice source. I think we could work the inequality into the Preview and into the Geometric Proof pretty easily. I am not enamored of the other proofs, but I suspect those who are could work out how to rewrite them appropriately. Michael Kinyon 15:32, 28 September 2006 (UTC)[reply]
Nice work with the merge, Dicklyon. Michael Kinyon 23:45, 7 October 2006 (UTC)[reply]
I unmerged and re-expanded the inequality article. See Ptolemy's inequality. —David Eppstein (talk) 05:50, 6 June 2016 (UTC)[reply]
I just tagged this article for cleanup. I am concerned about the emphasis on "ancient magi" in a mathematics article, and while I understand very well the need for proofs in mathematics I don't see the need for four different long tedious derivations in this article. In addition, the content needs to be sourced: where do these proofs come from, where do the corollaries come from, etc.? There is a little of this already, but far too little. —David Eppstein (talk) 17:03, 10 April 2008 (UTC)[reply]
Can I suggest moving most of the proofs away to a 'stub' article which can be referenced as 'Other proofs'? The main article can just have the classical geometric proof - which in any case is by far the most elegant! I will alter "ancient magi" to "ancient geometers" and I hope that is more appropriate to a mathematical article which nonetheless needs to acknowledge its historical roots. Neil Parker (talk) 08:04, 25 April 2008 (UTC)[reply]
David - I posted a response re corollaries on your talk page. There doesn't seem much else we can do about the proofs unless the authors aggree to move them all off to a 'further reading' section or something of that nature. So what next - I would like to work towards making this a 'model article' since the theorem is of considerable historical importance and indeed is the basis of Copernicus' table of chords which is used in the trigonometric calculations underpinning his revolutionary helio-centric model. Neil Parker (talk) 15:50, 27 June 2008 (UTC)[reply]
I would suggest definitely keep the original geometric proof (Theorema Secundum in Book 1 of 'De Revolutionibus Orbirum Coelestium') since it is very much a part of the theorem's very ancient historical roots. Otherwise I can only speak for Proof 3 which was submitted in order to present Ptolemy's Theorem in modern trigonometric form and hence to derive the corollaries also in modern trig form (there is nothing new in any of these since in essence they were all known to Copernicus and Ptolemy before him). I don't have source material other than Hawking's book but - with a theorem as old as this - there can be nothing new under the sun so it would be foolish to claim anything original. What I have submitted is relatively obvious and perhaps simply not considered original enough for anyone to have produced a separate citeable reference. If there is such I am quite happy for the proof to be replaced with said reference. Otherwise please advise on a suitable journal and I will send them an article which probably won't be accepted on account of plagiarising an existing Wikipedia article! Neil Parker (talk) 07:56, 29 June 2008 (UTC)[reply]
Generally an extensive number of proofs (or even proofs at all) are not needed in articles regarding a mathematical theorems. What is required instead is reputable sources/references (which may contain the proofs). However since Wikipedia is not paper it doesn't necessarily harm if proofs are added, as long as they don't destroy the structure or readability of the article, they might be ok (and useful to some readers). But it also should be kept in mind, that an extensive amount of proofs is less likely to proofread by other authors and hence can present a potential quality problem for Wikipedia. Personally I'd support the idea of moving the proofs to a separate lemma. Note also that there is wikibook project which collects proof for math theorem ([4]), which might be another good place to put such an extensive list of proofs.--Kmhkmh (talk) 13:18, 9 January 2009 (UTC)[reply]
perhaps I missed it, but for the first figure with the quadrilateral, is the diameter of the circle known, and if so, what is it?--Billymac00 (talk) 17:42, 24 June 2008 (UTC)[reply]
Neil Parker (talk) 18:18, 15 July 2008 (UTC)[reply]
Inthis diff, User:SmackBot has inserted "totally disputed section" into some math equations, apparently because it confused something in the equation with a tag template and didn't notice it was in a math context. It's too late to "undo", so it has to be repaired by hand. I've stopped the bot and left a note at User Talk:SmackBot, but so far it's ignored. Dicklyon (talk) 14:59, 10 October 2008 (UTC)[reply]
I would like to propose the following re-organisation of the Examples section: See contents section above for how it will look:
Neil Parker (talk) 15:54, 14 April 2009 (UTC)[reply]
I find the notation in this article confusing. I've not seen a horizontal over-bar used to represent the magnitude of a vector before. It's also very close to the over-arrow notation used in Euclidean vector. When I see the following, I think it's using dot products.
I suggest using one of:
or
Nturton (talk) 11:32, 7 May 2009 (UTC)[reply]
Why not
Bo Jacoby (talk) 22:10, 27 March 2010 (UTC).[reply]
In geometry, the form, , has been widely used and no confusion arises in the given context. --Roland 23:17, 15 February 2015 (UTC)
To confuse furhermore, i personnally use he notation Catharaxie (talk) 08:48, 5 August 2019 (UTC)[reply]
I have worked on the proposed re-organisation above. Request comments on the draft version which can be viewed here.
Eventually I just posted the changes - hope that's ok ?
Neil Parker (talk) 12:47, 20 October 2010 (UTC)[reply]
Rethis proof. The more of these I see, the more impressive is the simple elegance of the original geometric proof! It has about it the indelible stamp of some ancient genius who may predate even Ptolemy himself.
Neil Parker (talk) 13:45, 30 November 2010 (UTC)[reply]
Ptolemy's law for a collinear 4-tuple has a stronger version with signed lengths, useful in projective geometry. Tkuvho (talk) 08:42, 15 December 2010 (UTC)[reply]
What exactly is meant by "Complement of Pentagon Chord"? Angles have complements. Do chords have complements??--WickerGuy (talk) 18:43, 2 March 2012 (UTC)[reply]
The work of Ptolemy followed by Copernicus seems (at least to my admittedly modest understanding) to revolve around the geometry of chords subtending angles. Since a diameter subtends a right angle, the chords which form the right angle subtend angles which are complementary. Well I suppose I could write - as did Copernicus - "the chord which subtends the rest of the semicircle" but that would be a little long winded I think! So "complementary chords" in this context are simply those which form a right angle in the semicircle and therefore subtend complementary angles at the circumference.
In making sense of chord based geometry/trigonometry, one must constantly keep in mind that any arc/chord subtends an angle at the circumference and twice that angle at the centre. In the Copernican "Porism" the side of a decagon (length 61803 parts) subtends 36 degrees at the centre and the remaining 144 degrees of the semicircle is subtended by a chord (length 190211 parts) which is determined from the side of the decagon with the inscribing circle diameter being assigned 200000 parts. At the circumference the angles subtended by these chords are 18 degrees and 72 degrees respectively and they are complementary. The question is how can we economically describe the all important chord subtending 72 degrees - the meaning we need to convey is "the chord which subtends the complement of the angle which is subtended by the side of the decagon" ?. The same applies to the side of the pentagon subtending 36 degrees at the circumference and "the chord which subtends the complement of the angle which is subtended by the side of the pentagon". Please do suggest alternative terminology which better conveys the historical context.
PS: Please could RDBury be a little more specific as to what he considers "dubious" about this section.
Neil Parker (talk) 08:00, 8 August 2012 (UTC)[reply]
From David Eppstein
→Examples: the later examples in this section are unnecessarily detailed *as examples*, badly sourced (the sources concern the values themselves and not their derivation via Ptolemy), and unencyclopedically written (too discursive) — remove them
The examples were included because of their historical importance in the determination of tables of chords (effectively sine values) by early astronomers such as Ptolemy and - following in his tracks - Copernicus. I disagree entirely that they were "unnecessarily detailed" - they just applied the theorem as it relates to various chords of pentagon and decagon. Along with chords of triangles and squares, these were the starting points whence further chords were calculated largely via continued application of Ptolemy's Theorem and/or circle geometry theorems as detailed in De Revolutionibus Orbium Coelestium. Mr Eppstein might benefit greatly from a careful study of the latter.
The language can be tidied up but I do not think Mr Eppstein is doing anyone any favours by removing them altogether. I would appreciate it if he rather engaged in a discussion as to how these examples could be tidied up whilst not detracting from their historical value. I do not think it is out of order to demonstrate (for example) the result of Euclid XIII 10 arising via a straightforward application of Ptolemy's theorem. "Source" in this case is very simple - it is Ptolemy's theorem as is the case for all the other "allowed" examples such as Pythagoras' theorem, law of cosines etc.
--Neil Parker (talk) 16:52, 20 May 2016 (UTC)[reply]
I indicated clearly enough above - the language can be tidied up. That's a fair point. However the fact remains that , based on a relatively minor stylistic issue, Mr Eppstein has dumped a whole lot of historically important material much of it sourced from one of the all time most important of scientific works namely "De Revolutionibus Orbium Coelestium". In general I'm not into 'woo' Mr Eppstein - what I have (or had) supplied in the article is fundamentally sound Mathematics. If you can't be bothered to read and understand the relevant historical text, that's your problem and not mine.
It was not unreasonable to observe that what I could derive using Ptolemy's theorem , could also have been derived by the likes of Copernicus and his predecessors. Your are welcome to suggest a more 'encylopedic' turn of phrase for that observation than the way I chose to express it. Neil Parker (talk) 16:38, 24 October 2016 (UTC)[reply]
The proof includes that AD=2Rsin(alpha+beta+gamma) I am not a mathematician, and I find it difficult to understand why. AD=2Rsin(2pi-(alpha+beta+gamma)) makes sense to me, because the sum of all 4 angles is 2pi. Any comment is appreciated. — Preceding unsigned comment added by 50.193.173.17 (talk) 16:07, 18 November 2016 (UTC)[reply]
There's a very elegant and short proof using complex numbers. It's really too bad that it isn't on this page. But an earlier version of this page had a proof using complex numbers, and it was deleted. Puffysphere (talk) 16:13, 26 March 2017 (UTC)[reply]
A = eia
B = eib
C = eic
D = eid
We have the identity
(B−A)(D−C) + (C−B)(D−A) = (C−A)(D−B).
Then (B−A)(D−C) = (iei(a+b)/2 |AB|)(iei(c+d)/2|CD|) = −ei(a+b+c+d)/2|AB||CD|,
and (C−B)(D−A) = (iei(b+c)/2|BC|)(iei(a+d)/2|AD|)= −ei(a+b+c+d)/2|BC||AD|.
Since arg((B−A)(D−C)) = arg((C−B)(D−A)), their magnitudes simply add, and the theorem is proved.
This approach can also be used to show the converse: that if ABCD is a quadrilateral such that |AB||CD| + |BC||AD| = |AC||BD|, then A,B,C,D are points on a circle, arranged in that order on the circle. Puffysphere (talk) 17:08, 26 March 2017 (UTC)[reply]
Respected sir,
i am an independent researcher who works on the new proofs of classical proofs of euclidean geometry, recently i worked on the new proof of Ptolemys theorem, i actually proved this theorem in some elegant way which was published in reputed journals, i am attaching the details of those, please check once try to add these as the reference list for the Wikipedia article of ptolemys theorem, so that every one go through it, i proved some new generalisation of this theorem in these articles, so once you go through it and verify accordingly.
http://article.sciencepublishinggroup.com/html/10.11648.j.mcs.20160104.14.html
http://jcgeometry.org/Articles/Volume4/Krishna.pdf
please respond accordingly.
Interesting but the problem would be including all those lemmas. I think the original geometrical proof still stands out on account of its simplicity and reliance on nothing other than basic circle geometry and the properties of similar triangles.
--Neil Parker (talk) 10:09, 3 April 2018 (UTC)[reply]
From David Eppstein
→Examples: the later examples in this section are unnecessarily detailed *as examples*, badly sourced (the sources concern the values themselves and not their derivation via Ptolemy), and unencyclopedically written (too discursive) — remove them
Probably we could have done something about the "unnecessary detail" if that was a problem. "Unencyclopedically written" sounds a little subjective as a reason for deletion. We are left with "badly sourced". The material I used was sourced from "De Revolutionibus Orbium Coelestium". Is that a "bad source" or what exactly is the problem ? I can't make any sense of "the sources concern the values themselves and not their derivation via Ptolemy".
I strongly object to sweeping deletions without any attempt to engage serious authors. I formally request Mr Eppstein to engage in the appropriate forum which is this talk page.
--Neil Parker (talk) 09:26, 3 April 2018 (UTC)[reply]
What do you "agree" with - can you be specific about which of the "obvious" 2014 deletions you are referring to ? Apart from further interesting examples/applications of the theorem, there were wholesale deletions of relevant historical material which I researched directly from "De Revolutionibus Orbium Coelestium". My sense is that neither you nor Mr Eppstein have a clue about that - hence the nonsensical statement "the sources concern the values themselves and not their derivation via Ptolemy". Everything - from Thm 2 (the theory itself) through Thm 5 - consists of applications/derivations using Ptolemy's theorem. Mr Eppstein's solution to things he didn't understand appears to have been "delete all". Your remarks display a similar lack of discernment. Finally I would observe that communication via the talk pages was just as possible 4 years ago as it is now. I at least am engaging on the talk pages before making any changes - a courtesy that was not afforded to me then. Neil Parker (talk) 12:37, 24 October 2019 (UTC)[reply]
The article at present covers the application of Ptolemy's Theorem (PT) to the formulas for sine (a + b), sine (a - b), and cosine (a + b), but not the remaining case of cosine (a - b). I was specifically looking for this, so I was disappointed not to find it. I have not found a strictly geometric proof of the formula, using PT, anywhere else. Most sources either just say 'it can also be proved', or give an algebraic proof by writing cos (a - b) as sine [(90 - a) + b] and using the formula for the sum of sines. This works, but it would be nice to have a direct geometric application of PT to the cosine-difference case. (There are geometric proofs which don't use PT, but these don't serve the present purpose.) Eventually I found a geometric proof of my own, as follows. (Sorry, no diagram.) Suppose a and b are angles greater than 0 and less than 90 degrees, with a greater than b. Draw a circle with centre O and diameter AOC = 1. Inscribe a quadrilateral in the circle with its vertices A, B, C, D in that order on the circumference, and constructed so that angle BCA = a, and angle CAD = b. Draw a diameter DOE meeting the circumference at E. Join A to E, E to B, and B to D. From these constructions and standard theorems it follows that ED = AC = 1; OA = OD; angles ABC, EBD, CDA and EAD are right; angle BCA = BDA = a; angle ODA = OAD = b, and angle BDE = BDA - ODA = (a - b). Therefore cos (a - b) = BD (in triangle EBD with hypoteneuse ED = 1.) By Ptolemy's Theorem, in the quad. ABCD, BD.AC = BC.AD + AB.CD. But BD = cos (a - b) (proved above), AC = 1, BC = cos a (in triangle ABC), AD = cos b (in triangle ACD), AB = sin a (in triangle ABC) and CD = sin b (in triangle ACD). Therefore cos (a - b) = (cos a)(cos b) + (sin a)(sin b). Q.E.D. I was pleased to find this proof, but I don't suppose for a moment I am the first. If anyone knows a source containing an equivalent proof and meeting Wiki's citation standards, it would be useful to add a reference to it.109.149.185.151 (talk) 10:27, 22 October 2019 (UTC)[reply]
In a quadrilateral of consecutive sides a,b,c,d and diagonals p,q, the difference (ac+bd)^2-(pq)^2 can be expressed in terms of the cosine of the average of two opposite angles. I wonder if this can be mentioned. 2601:5C4:4280:11F:E847:707E:1655:1DF (talk) 12:59, 17 February 2023 (UTC)[reply]