Talk:Descartes' theorem

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Disambiguation[edit]

I can't help wondering of Descartes' theorem should be a disambiguation page? Thoughts? Michael Hardy 22:35, 23 May 2005 (UTC)[reply]

Curvature[edit]

Is "curvature" the right term for ±1/r? I've seen explanations with curvature as always positive, 1/r, and "bend" used for the positive or negative curvature. Daggerbox (talk) 14:29, 13 February 2008 (UTC)[reply]

Organization[edit]

This article takes entirely too long before it states even the gist of Descartes' Theorem. Ideally, at least the gist should appear in the lede, and the full statement should have been given by the next section (if not within the lede). A reader should not, for example, have first to read of the history of the theorem. —SlamDiego←T 03:26, 2 November 2008 (UTC)[reply]

Equations for spheres too? Quaternions?[edit]

The article mentions how the theorem has been extended to spheres and even arbitrary dimension hyperspheres. Is it possible anyone can add the equations for either of those? Even just 3D spheres for now would be nice. —Preceding unsigned comment added by Skytopia (talkcontribs) 06:03, 26 February 2009 (UTC)[reply]

It says there is no 3-dimensional analogue of the complex numbers that the higher-dimensional cases can use. What about quaternions in a 3-dimensional case?

Equation needs clarifying[edit]

Testing the combination k_i = 1 1 1 gives 3 - 2*Sqrt(3) for the inner circle, which is negative. Is there supposed to be an initial +-? 121.45.179.128 (talk) 08:23, 16 December 2009 (UTC)[reply]

It is outer circe. Inner will be 3+2*Sqrt(3). You can also look at wikibooks article. --Adam majewski (talk) 18:04, 15 August 2010 (UTC)[reply]

Clarify in Special Cases?[edit]

In par 3 under Special Cases: "...as it is not possible for three lines and one circle to be mutually tangent." - my immediate reaction was 'incircle of a triangle?' Probably should be clarified that mutual tangency of three lines makes no sense. But then the previous case of two parallel lines being considered mutually tangent to a pair of circles also becomes questionable, as tangency implies having common points. Thoughts? —Preceding unsigned comment added by SwiftSurge (talkcontribs) 16:02, 13 August 2010 (UTC)[reply]

It's not really true that "mutual tangency of three lines makes no sense". In the geometry of circles and lines it makes sense to think of lines as a limiting case of circles with infinite radius, and to think of parallel lines as being a limiting case of tangent circles. For instance, a Möbius transformation can transform tangent circles into parallel lines or vice versa. So with these conventions it is indeed possible for three lines to be mutually tangent: just make them all parallel. However in this case it would only be possible to make the fourth thing that is tangent to all of them be another line, not a circle. —David Eppstein (talk) 00:58, 14 August 2010 (UTC)[reply]

Existence?[edit]

There seems to be an implicit assertion that given three mutually tangent circles, there always exists a fourth—but this isn't clearly spelled out. Given a formula such as , it's reasonable to ask if the expression under the square root can be negative. Certainly if is zero, then the other circles must be external (you can't have a straight line fitting inside a circle), so and will be positive. And if is strictly negative, the first two circles must be small enough to fit inside the third, so and are both positive and bigger in absolute value than . So I think Descartes' theorem does imply existence of a fourth circle. But what I'm doing here is original research; is there a reference that clearly deals with the existence question? Jowa fan (talk) 04:19, 24 June 2011 (UTC)[reply]

It's a lot easier than that if you ignore the formula and think about it more geometrically. Perform an inversion centered on one of the points of tangency; the resulting configuration will consist of two parallel lines with a circle sandwiched between them, at which point it should be obvious that there are two choices for the fourth circle. Actually, according to Problem of Apollonius#Mutually tangent given circles: Soddy's circles and Descartes' theorem there are three more solutions: each of the given three circles is itself mutually tangent to all three circles as well. So anyway, yes, existence is known. —David Eppstein (talk) 06:48, 24 June 2011 (UTC)[reply]
That's all good info; this article should include enough of it to say that "such a circle must exist" and link where User:David Eppstein mentions. yoyo (talk) 02:54, 25 January 2021 (UTC)[reply]

Kissing?[edit]

In its introduction the article refers to kissing circles. Yet the standard definition of kissing, i.e. Osculating circle, implies 2nd order contact. This is one order beyond tangency. Two osculating circles would be the same circle, since their curvature would be the same. It seems kissing should be removed and only mutual tangency should be given as a condition. — Preceding unsigned comment added by 66.188.89.180 (talk) 19:50, 20 March 2014 (UTC)[reply]

They are certainly not osculating circles. But Soddy used the word "kissing" and for that reason I believe it should remain in the article. —David Eppstein (talk) 16:07, 21 March 2014 (UTC)[reply]

Correspondence of ± signs[edit]

I've been writing a program to generate Apollonian Gaskets, and I've come to a minor hiccup. It seems the ± sign in Equation 2 does not correspond to the ± sign in the unnumbered equation immediately after Equation 4 (Complex Descartes' Theorem). In some cases, using a + sign in both equations yields one solution while using a − sign in both equations yields the other. In other cases, both of those are wrong; one solution is found using a + sign in one equation and a − sign in the other, while the other solution is found by swapping those signs. I haven't yet determined what makes the difference. Vid the Kid (t/c) Yeah, that guy. 21:03, 18 March 2015 (UTC)[reply]

Thinking more about it, I suppose the ± in the expression for z4 is really just an extension of the problem of choosing a square root of a complex number. To rephrase my original problem more aptly, I haven't found a way to match a solution for k4 with the corresponding solution for z4; the convention of the "principal root" being the one with a positive real part doesn't seem to help. Although checking for geometric tangency seems the straightforward answer, I still hope to discover a more elementary test. Vid the Kid (t/c) Yeah, that guy. 22:49, 18 March 2015 (UTC)[reply]

Possible title upgrade[edit]

An external resource bears the title "Descartes' circle theorem".

It's one thing to follow historical norms (however horrible), it's another thing to have page titles that are immediately self-evident.

In this matter, for myself. I'd choose the later. Good grief, Descartes' theorem has it's own disambiguation page. How sucky is that? If he'd been any more productive, perhaps the thing to do would be to assign his theorems Bach-Werke-Verzeichnis numbers. At least then we could tell them apart on surface inspection. — MaxEnt 18:45, 15 January 2017 (UTC)[reply]

that for every four kissing[edit]

Is it error?

May be that for every three kissing...? Jumpow (talk) 07:33, 19 February 2018 (UTC)[reply]

No. The quadratic equation is the one labeled (1). It involves the radii of four circles, not three. —David Eppstein (talk) 07:51, 19 February 2018 (UTC)[reply]
Yes, of course. It was request from one of russian users and I did not recognize answer immeiately... Jumpow (talk) 13:31, 5 March 2018 (UTC)[reply]
It looks like an error: you start with three circles, solve the equation and reach a fourth. The way it's stated now reads like "you start with four circles, solve and equation, and reach a fourth circle", which doesn't make sense.Fernandohbc (talk) 02:41, 14 October 2018 (UTC)[reply]
Answering myself: After re-reading, I realize that my paraphrasing is wrong too. My apologies. I think that the clarification needs to be made in the following sentence, though. Something along the lines of "By solving this equation, one can start with three given mutually tangent circles and construct a fourth circle tangent to all of them.", maybe?Fernandohbc (talk) 02:46, 14 October 2018 (UTC)[reply]
If readers don't understand that an equation involving four things can be solved to find one of the things from the other three, then perhaps their level of mathematical sophistication does not reach that of the target audience for this article. —David Eppstein (talk) 03:26, 14 October 2018 (UTC)[reply]
This is not what I claimed readers would misunderstand. My comment was regarding the phrasing in plain English, which is a bit confusing, not the mathematical sophistication of the theorem itself. Fernandohbc (talk) 04:01, 14 October 2018 (UTC)[reply]

Help those who would prove it[edit]

The article could usefully tell readers where they may find proofs of the given facts, solutions and equations. Not implying that the article needs to contain proofs, since Wikipedia doesn't do that. yoyo (talk) 02:58, 25 January 2021 (UTC)[reply]

I agree with this. An article about a theorem should do a bit better job showing or at least explicitly linking to proofs. The history section mentions that "Multiple proofs of the theorem have been published" but does not directly cite any of those inline, and the few-words summaries are unhelpfully vague. The "Proof from Heron's formula" is algebraic and not especially satisfying. @David Eppstein have you done any survey of the published proofs of Descartes' theorem? Can we make a section including a couple of them or at least providing a sketch? I feel like a section about proofs of this theorem (and maybe some more images for the history section) is the only thing really missing to make this "good article" quality. –jacobolus (t) 18:15, 8 July 2023 (UTC)[reply]
To be honest, the Heron's formula proof is the least algebraic and unsatisfying proof that I encountered. They all seem to have a similar flavor: take a relatively simple piece of geometry (Heron's formula, Pappus chains, etc) and then elaborate it into a page or two of algebra to get the formula. —David Eppstein (talk) 18:32, 8 July 2023 (UTC)[reply]
That's a bummer. We should perhaps at least track down some citations to the original sources then, so readers can save some effort on their path to disappointment. :-) –jacobolus (t) 18:59, 8 July 2023 (UTC)[reply]

generalizations to not-necessarily-tangent circles[edit]

It might be nice to add a section about more general relationships between circles, beyond Steiner chains. For example here's a paper where out of four circles two of them intersect, with the other two tangent to both of those and each-other:

Fox, M. D. (1980), "Formulae for the curvatures of circles in chains", The American Mathematical Monthly, 87 (9): 708–715, doi:10.1080/00029890.1980.11995129, JSTOR 2321856

And here is a paper with a generalization to arbitrary circles in the plane:

Kocik, Jerzy (2010), "Golden window" (PDF), Mathematics Magazine, 83 (5): 384–390, doi:10.4169/002557010X529815

jacobolus (t) 07:02, 11 June 2023 (UTC)[reply]

Isn't that really more suitable for our article on the Problem of Apollonius, which is exactly about finding tangent circles to triples of circles that are not necessarily tangent? Or, for constructing patterns of tangent circles with arbitrary planar graphs of adjacencies (like the golden window example), see circle packing theorem. —David Eppstein (talk) 07:17, 11 June 2023 (UTC)[reply]
Let me be more precise. Lagarias/Mallows/Wilks found that Descartes' theorem could be expressed as a matrix equation where is the vector of curvatures of the circles and
What Kocik's paper claims is that these coefficients come from inverting a matrix whose entries are the inversive distances of each pairs of circles in the resulting configuration (including of each circle with itself along the diagonal), and by changing the coefficients in the matrix we can enforce different conditions on the circles. (I got tripped up a bit because the particular "Descartes configuration" matrix above is a scalar multiple of its inverse.)
(I guess with the signs I wrote above, these coefficients are the negatives of inversive distance as defined on Wikipedia. The cosine of the angle between between two oriented lines is 1 for parallel lines, for lines pointed in diametrically opposite directions, or for perpendicular lines. The negative inversive distance is a generalization which applies to oriented circles, and is the cosine of the angle between circles which intersect, or falls outside the interval for circles which do not intersect.)
Kocik has some other papers with more detail, e.g.
Kocik, Jerzy (2007), A theorem on circle configurations, arXiv:0706.0372
Kocik, Jerzy (2019), Proof of Descartes circle formula and its generalization clarified, arXiv:1910.09174
jacobolus (t) 00:33, 12 June 2023 (UTC)[reply]
FWIW the Steiner chain article has an incompatible definition of inversive distance using logs. The one I used here is the same as our inversive distance article (and the source I used), but that confused me for a while. —David Eppstein (talk) 01:59, 12 June 2023 (UTC)[reply]
The general concept surely dates from the 19th century. Who came up with the version in the Wikipedia article? I think they messed up with the name; it could be called the "inversive circle dot product" or "circle cosine" or something (Kocik uses the name "Pedoe product"), as even though distance is involved it's not properly a type of "distance" per se. I think they also messed up the sign; the product of a circle with itself should be 1 here.
Coxeter's version of "inversive distance" apparently only considers non-intersecting circles and takes the arccosh of the absolute value of the Wikipedia article's concept, which is more like a distance, but has the problem that it erases the orientation of the circle from consideration and also leaves out consideration of intersecting circles, both of which seem to me like mistakes.
A bit of a tangent here, while we're talking about oriented circles, I want to eventually write an article called something like Laguerre geometry or perhaps Line geometry that does a better job of describing Edmond Laguerre's dual approach to looking at Euclidean geometry by starting from oriented lines as the primitive object rather than points. I collected a long list of relevant sources at Talk:Laguerre transformations § List of references but figuring out what the scope and focus should be for an article and how to organize it is a bit daunting, since this is a topic which appears regularly here and there but is uncommon enough to have never quite crystallized into part of the canon or have particularly widely adopted or settled conventions. Any suggestions? –jacobolus (t) 02:38, 12 June 2023 (UTC)[reply]
Oriented projective geometry is symmetric with respect to point-line duality, so what difference does it make which ones you call the primitive objects? Or is this some kind of geometry that is not projective? —David Eppstein (talk) 03:45, 12 June 2023 (UTC)[reply]
We are talking about a kind of dual metrical geometry, not just projective relationships. If you take lines to be primitives there is a whole set of transformations dual to Möbius transformations, called Laguerre transformations, which preserve line–circle tangencies and preserve distances along lines between them but do not preserve points (for example two intersecting circles might map to two non-intersecting circles under a Laguerre transformation, but the pair of lines each tangent to both original circles will map to a pair of lines tangent to both resulting circles).
On the sphere, where both distances and angles are circular, there's a precise duality between the two (the dual of every point is an oriented great circle, and vice versa; every triangle has a dual "trilateral", every spherical conic as a locus of points has a dual spherical conic which is the envelope of lines, and so on), so spherical Laguerre transformations can be represented, just like spherical Möbius transformations, as fractional linear transformations of complex numbers; but the Euclidean plane has circular angles and flat distances, so the dual Laguerre geometry switches these, and Laguerre transformations are modeled by fractional linear transformations of dual numbers. In the hyperbolic plane, Laguerre transformations are represented by fractional linear transformations of hyperbolic numbers.
There are some nifty solutions to Euclidean problems using Laguerre geometry. For instance, given 3 oriented circles there are only 2 solutions to the problem of Apollonius, and you can find them by applying a transformation that turns all three of your original circles into points, taking the two circles passing through those points with opposite directions, and invert the transformation to recover the two circles you are looking for. (If you want to find all 8 solutions to the un-oriented circle problem, you have 4 choices for the relative orientations of the 3 source circles.)
Pretty well every feature of point-based metrical geometry has an oriented-line-based dual.
As an example of a practical application, a "circular mesh" is a quadrilateral mesh where every face is a cyclic quadrilateral, a property preserved under Möbius transformations. A dual idea, the "edge offset mesh" has every edge emanating from a vertex lying on a common right circular cone, a property preserved under Laguerre transformations. http://fractal.dam.fmph.uniba.sk/~chalmo/GM/edge.pdf
jacobolus (t) 05:29, 12 June 2023 (UTC)[reply]
Oh, from looking at that list again, Coolidge has the sign right (p. 109, p. 351, p. 408) for the cosine of the angle between circles. –jacobolus (t) 02:55, 12 June 2023 (UTC)[reply]

I'm thinking of adding something after the Steiner chain section along the lines of the following. Thoughts? –jacobolus (t) 20:51, 12 June 2023 (UTC)[reply]

Removing this draft subsection and moving it to the article. –jacobolus (t) 22:05, 15 June 2023 (UTC)[reply]

I think it's helpful to directly show the matrix and vector because then readers can very easily see how this matrix equation is equivalent to "equation 1" from earlier in the article. It seems to me that taking that part out makes that section of the article slightly more compact but substantially harder for semi-technical readers to follow (say someone a few years out of college who only ever took one introductory linear algebra course), because the section then becomes much less concrete. –jacobolus (t) 03:19, 19 June 2023 (UTC)[reply]

special case of "steiner chains"[edit]

@David Eppstein – the whole section you just removed is a special case of the generalization of Descartes theorem. The discussion was focused on the algebraic identity which is directly analogous to the "Descartes theorem" identity for the mutually-tangent-circle configuration. The purpose of including it was to (a) demonstrate how the generalization works in a specific case, and (b) show how the two "soddy circles" (related by the ± cases of the find-the-fourth-curvature version of Descartes' theorem) are strictly related to each-other as well as related to the other three circles, while (c) also showing how Descartes' theorem is related to nearby topics in inversive geometry. All of that is directly relevant to this article. I don't see how removing it benefits readers. We don't have a page limit here, but even if we did this article is not excessively long or sprawling. Many (most?) readers probably won't read all the way from beginning to end, but it's not like they're being subjected to an arbitrary snorefest mishmash here, and some readers will likely find the section relevant and interesting. –jacobolus (t) 01:58, 20 July 2023 (UTC)[reply]

To me the whole article felt unfocused; not something I would feel comfortable nominating for GA status, particularly because of WP:GACR #3b, requiring good articles to stay focused on their main topic and not go into unnecessary detail. This article had started to spread out into lots of topics that are not actually the formula for curvature for four mutually tangent circles. Steiner's porism is one of them. We have an article about it; we don't need to replicate it here. Inversive distance is another. Again, we have an article about it, where more detailed material can go. The fact that you can measure the inversive distances of arbitrary circles and put them into a matrix is not particularly informative. And again, it's not particularly on-topic here. In that sense, the sub-sub-section I removed is a tangent to a tangent.
More generally, there is certainly a benefit to the reader in not distracting them with irrelevancies. A particularly bad example in that respect is Chernoff bound. It's a topic that is often useful in algorithms research, and so I would like to refer to our article when I want to look up the precise form of the bound. The form I want is always one of the forms in sub-subsection Chernoff bound § Multiplicative form (relative error). All the rest of the article is filler. Because the part I want is buried two levels down somewhere in the middle of the article, it always takes me much longer to find it than it would for a better-focused article. All the rest is literally wasting my time, repeatedly, every time I want to refer to the article. It's annoying. I don't want this article to be equally annoying by becoming buried in stuff you don't want to look up to the point where finding the parts you do want to look up becomes difficult. —David Eppstein (talk) 05:00, 20 July 2023 (UTC)[reply]
The problem is that not every reader has quite as much experience or context as you have. So parts that seem to you to be unnecessary filler may be essential context for someone else. (This is of course a universal challenge in technical writing.)
Thanks for at least creating Soddy circles of a triangle instead of just deleting that part; we should probably merge Soddy line into there, and that does give the subject a bit more room to expand without getting out of scope here.
We should add an image or two back to the relevant section of this article. Any advice on what it should include?
I wonder if we can rewrite the "proof" part to be a bit clearer (whether by reorganizing, adding a picture, chopping some parts, ...?) I find my eyes glaze over unless I really try to pay attention to it. –jacobolus (t) 07:22, 20 July 2023 (UTC)[reply]
Re image: Something less busy than the ones now in Soddy circles of a triangle, I think, but that still identifies the variables used in that section.
Re merge between Soddy circles of a triangle and Soddy line: yes, this looks reasonable to me.
I would have no objection to similarly repurposing the removed subsection on Steiner chains as part of another article. I don't think it's bad content, in general. It just seemed overdetailed regarding stuff that is not the relation between curvatures of four tangent circles for inclusion in this specific article. —David Eppstein (talk) 18:02, 20 July 2023 (UTC)[reply]
Also are there any images we can find for the history section? –jacobolus (t) 07:25, 20 July 2023 (UTC)[reply]
If we can find facsimiles of Descartes' original letter, Yamaji's work, or the 1824 Sangaku, those would fit. —David Eppstein (talk) 18:03, 20 July 2023 (UTC)[reply]

Heron's formula proof[edit]

Descartes' theorem can be proved from applying Heron's formula to 3 small triangles inside a larger one

I'm not able to edit the article right now due to Wikipedia technical problems (keeps timing out), but I made an image showing the 4 radii in the Heron's formula proof. If I can't successfully add it to the article, feel free to. –jacobolus (t) 00:20, 21 July 2023 (UTC)[reply]

I wonder if it would be better to show the whole sides of the triangles labeled etc. instead of splitting each side up into two parts and labeling them separately. –jacobolus (t) 00:29, 21 July 2023 (UTC)[reply]
Okay I made that change, which I think makes the picture a bit more legible. –jacobolus (t) 00:46, 21 July 2023 (UTC)[reply]
New picture looks helpful to me. —David Eppstein (talk) 07:28, 21 July 2023 (UTC)[reply]

@David Eppstein: maybe the negative radii are too tricksy, but I think signed areas are an improvement, because there are actually several possibilities here: (1) the 4th curvature is negative and is inside (2) the curvature is negative and is in the inside of one angle of but outside the triangle across the opposite side, (3) is at infinity, (4) the curvature is positive and is outside all three angles of the triangle (in the interior of one of the vertical angles. The easiest way to deal with all of these is to allow a negative radius, but it might be unnecessarily confusing. The next easiest way is to note that the sides adjacent to are differences of radii in cases (1–2), but to allow signed areas so that the sum still holds. The most complicated is to treat every case separately. In case (1) the formula is in case (2) e.g. and in case (4) e.g. jacobolus (t) 20:10, 21 July 2023 (UTC)[reply]

I think this article should be readable by people who don't care to understand signed areas. And they are completely unnecessary here. See WP:TECHNICAL (which by the way is one of the GA requirements): We should not make the article more technical than it needs to be. Signed areas are an unnecessary technicality. As for P_4 at infinity: let's not get into trying to set up equations of equal area of triangles that have a vertex at infinity. That way lies original research and dubious definitions and confusion. —David Eppstein (talk) 20:23, 21 July 2023 (UTC)[reply]
To be clear: I am not suggesting we should try to get fancy about areas in the straight line case. It just falls between the other two (I guess I might also mention one additional case when the center is on the triangle and one of the triangles degenerates, with area 0). Maybe the clearest for this proof is to just enumerate the possibilities then. –jacobolus (t) 20:48, 21 July 2023 (UTC)[reply]
I guess your alternative is okay. Let me read more carefully. –jacobolus (t) 20:49, 21 July 2023 (UTC)[reply]

Straightedge and compass construction[edit]

Is there a solution (straightedge and compass construction) using any right-angled triangle without first having to calculate the position of the Descartes circles? Petrus3743 (talk) 21:49, 13 December 2023 (UTC)[reply]

Meaning, is there a straightedge and compass construction of the fourth circle tangent to three given circles? Yes, but this is a different topic (and a much older one) than Descartes' theorem. It is the Problem of Apollonius, which we describe early in the history of this section. It is the attempted reformulation of this problem using algebra rather than compass and straightedge that led Descartes to Descartes' theorem, as we also describe in the history section. —David Eppstein (talk) 21:59, 13 December 2023 (UTC)[reply]
Thanks for your quick answer. The question was, is there a construction with any right-angled triangle without first calculating the position of the 4th circle?--Petrus3743 (talk) 22:21, 13 December 2023 (UTC)[reply]
A construction of what, from what givens? If you are just going to make me guess what you mean by repeating the same question in the same words that you already asked, I am not going to be able to give you a better answer than the one I already gave. —David Eppstein (talk) 02:08, 14 December 2023 (UTC)[reply]
Maybe the following picture is better than my bad English. Is there a reference for this: GeoGebra? — Preceding unsigned comment added by Petrus3743 (talkcontribs) 06:04, 14 December 2023 (UTC)[reply]
Yes, see Problem of Apollonius. This is a particular special case. The three circles at the vertices have diameters and (for a triangle of sides ), so those are not hard to construct. –jacobolus (t) 06:36, 14 December 2023 (UTC)[reply]
The special case in which the three initial circles are tangent, as in the GeoGebra link, is easier than the general problem. See my 1999 web page https://ics.uci.edu/~eppstein/junkyard/tangencies/apollonian.html and related paper "Tangent Spheres and Triangle Centers" (Amer. Math. Monthly 2001). The right angle helps a tiny bit more, as two of the first three lines of the construction are already sides of the right triangle. —David Eppstein (talk) 06:42, 14 December 2023 (UTC)[reply]
Thanks for the good solution! Maybe I will also draw your construction and enter it into the article Apollonisches Problem with the two links as references.--Petrus3743 (talk) 15:19, 14 December 2023 (UTC)[reply]
Thank you again for your references! I was able to use it well in the article Satz von Descartes. With regards--Petrus3743 (talk) 11:46, 18 December 2023 (UTC)[reply]

GA Review[edit]

The following discussion is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.


This review is transcluded from Talk:Descartes' theorem/GA1. The edit link for this section can be used to add comments to the review.

Reviewer: Kusma (talk · contribs) 21:17, 11 March 2024 (UTC)[reply]

Planning to review, should not take more than a few days. —Kusma (talk) 21:17, 11 March 2024 (UTC)[reply]

Thanks! Don't feel like you need to rush; I am likely to be a bit busy with real-world work and slow to respond myself. —David Eppstein (talk) 22:26, 11 March 2024 (UTC)[reply]

Content and prose review[edit]

  • Lead: The "bends" are signed inverse radii; not sure whether this detail should be here.
  • The poem doesn't appear in the body; generally I prefer not to have extra stuff in the lead. Maybe you can have a little more of the poem in the body, perhaps something explaining about positive and negative curvatures or how "a fifth sphere in the kissing shares" in the 3d case.
  • History: Can't find the claim that Descartes' reasoning was "lost" in Coxeter, just that there is no complete proof in the letter. (From a quick skim read of the French original letter, it looks like there is very little proof there, if any).
  • Gosset extended the theorem and poem: would be nice to be told that is was just a year later (1937) and you could consider citing the relevant lines of the poem somewhere.
  • Actually, according to Martin Gardner [1], Gosset was not the only one to write an n-dimensional poem about this.
  • "killer" problem: Not a fan of the one sentence paragraph, and while it is interesting trivia, it is a bit out of place here.
  • Solving the quadratic: is there any reason the term under the square root should be positive? What if it isn't?
  • Locating the circle centers: The {{EquationNote}} template linking to the equations is nice, but the many bold faced equations are a bit distracting. Abbreviate as "eq." or take the word "equation" outside of the template so it is not in blue and boldface?
  • In the equation for z4, the roots are now complex; worth mentioning?
  • Integer curvatures: Just to clarify, is the root quadruple the one with the smallest signed curvature or the smallest positive curvature? (I.e. is everything inside one bounding circle? The image certainly suggests so).
  • Arbitrary four-circle configurations: perhaps spend a word or two explaining what +1 and -1 mean as "relative orientation between the ith and jth oriented circles".
  • The equation isn't this worth attributing in text? Similar for some of the generalisations.

A nice article! I will comment on the GA criteria and have a look at some more of the sources in a bit. —Kusma (talk) 07:30, 16 March 2024 (UTC)[reply]

signed inverse radii – I think it's fine to skip 'signed' in the lead, which is explained clearly enough in context. reasoning ... lost – it might just be better to say that Descartes didn't fully describe his reasoning. is there any reason the term under the square root should be positive – In the event that the three circles are all mutually tangent, then yes it is always non-negative. The case where they are externally tangent has all of the ks positive. The case where two circles are nested inside another the product of the ks for the two smaller circles must be at least as large as the sum of products of each with the k for the circle enclosing them, with equality when the two internal circles each have half the radius of the enclosing circle. Then and the two other "bends" are both I'm not sure how helpful it is to discuss this. root quadruple – judging from Apollonian gasket a "root quadruple" includes the bounding circle. –jacobolus (t) 15:06, 16 March 2024 (UTC)[reply]
Thank you! I didn't stop to think why it is clear the term under the square root can't be negative. In any case this means the formula is always valid without further qualifications, so there is probably no need to do anything here. —Kusma (talk) 18:19, 17 March 2024 (UTC)[reply]

General comments and GA criteria[edit]

Good Article review progress box
Criteria: 1a. prose () 1b. MoS () 2a. ref layout () 2b. cites WP:RS () 2c. no WP:OR () 2d. no WP:CV ()
3a. broadness () 3b. focus () 4. neutral () 5. stable () 6a. free or tagged images () 6b. pics relevant ()
Note: this represents where the article stands relative to the Good Article criteria. Criteria marked are unassessed
  • No major prose issues.
  • Lead is perhaps a bit short, other than including the poem.
  • Layout is fine.
  • Article scope and focus are fine. No neutrality/stability issues detected.
  • Images are fine and relevant, with the only possible question whether File:Generalized_circles_in_the_hyperbolic_plane.png is helpful here.
  • All free and nicely captioned.

Just source checks left to do. —Kusma (talk) 08:02, 16 March 2024 (UTC) Spotchecks:[reply]

  • 6 fine,
  • 15a doesn't really say that it is now called "Soddy's hexlet"; perhaps use 47 again as in 15b?
  • 16 could be used to clarify that Gosset was not the only one to generalise to higher dimensions.
  • 19 fine
  • 44, 45 and similar could be separate footnotes instead of mixed with the citations, but that is definitely optional.
  • 45 I am wondering whether it is helpful to say when Caratheodory originally published this (he was long dead in 1954).
  • 46 ok

Sources are fine with just tiny comments, no original research, no problems of copying or close paraphrasing detected. Will put on hold just so you get a notification that I'm done reviewing, not because I think it will take a long time to fix the little issues I found. —Kusma (talk) 10:28, 16 March 2024 (UTC)[reply]

A few replies, not intended to cover the entire review:
  • Re gloss of bends in lead: added "signed".
  • Re including more of the poem: I think it is still under copyright, so extended quotes would be problematic.
  • Re Descartes' labors lost: reworded as "Descartes did not provide the reasoning".
  • Re Gosset: added "the following year" and mentioned that he was one of several to do so, but again the poem is likely under copyright. Added the original version of the Gardner ref (easier to find for those with JSTOR access).
  • Killer problem removed.
  • Jacobolus has explained already the sign of the square root. I'm not sure there's much we can expand on this in the article itself without sources.
David Eppstein (talk) 01:50, 17 March 2024 (UTC)[reply]
For the poem, Soddy died in 1956 so it will become free on 1 January 2027. Citing four lines instead of two would still be perfectly acceptable though. Gosset died in 1962 so it is 1 January 2033 for his poem. Awaiting your responses to my other points (none of them showstoppers). —Kusma (talk) 18:11, 17 March 2024 (UTC)[reply]
Inre File:Generalized_circles_in_the_hyperbolic_plane.png, the reason I made an image like this is that it's not immediately obvious (at least to me) that the kissing "circles" in the hyperbolic plane can include not just circles but also horocycles, hypercycles, and geodesics, and that the resulting "bends" can be interpreted based on the inverse (Euclidean) diameter under stereographic projection (conformal disk model). It would be nice if we had an article or section somewhere on Wikipedia describing more clearly what curvature of a curve or generalized circle means in spherical/hyperbolic geometry, various ways of defining it and their relations, etc.; I don't consider myself any kind of expert in this topic, and I don't know any particularly clear descriptions in the academic literature.
I guess the image could perhaps seem a bit out of scope insofar as we don't give any examples of kissing (generalized) circles in the hyperbolic plane, which might make it seem like unmotivated detail in a section which is otherwise quite condensed. I still think it's helpful, but YMMV. –jacobolus (t) 17:19, 17 March 2024 (UTC)[reply]

By the way, since I don't see it anywhere here: jacobolus made significant improvements to the article in the lead-up to its GA nomination and should get credit for that if this passes GA. I nominated this myself but am happy to see jacobolus's continued involvement in the GA review process. —David Eppstein (talk) 20:29, 17 March 2024 (UTC)[reply]

(I don't need any awards. I'm just happy to see articles improved.) @Kusma thanks for taking the time to make this review. –jacobolus (t) 20:51, 17 March 2024 (UTC)[reply]
Thank you @jacobolus for helping with the article! Formal recognition or brag sheets are indeed secondary to article improvement (getting a thorough GA review is more important to me than having another green plus to display on my user page). But it can help slightly with your standing inside Wikipedia so it is not just a question of getting a reward sticker.
@David Eppstein: remaining points are mainly whether to use the poem in the body and a few possible clarifications that should not take too long to resolve. Additionally there is a WP:WTW, namely "unfortunately", which runs afoul of MOS:EDITORIAL. Better to drop it. —Kusma (talk) 09:23, 18 March 2024 (UTC)[reply]
Dropped. More when I have more time to respond. —David Eppstein (talk) 15:51, 18 March 2024 (UTC)[reply]
As for expanding our quote of the poem later in the article: I'm not entirely persuaded that we have a valid fair-use case for doing so, and I think the quote is part of a summary of later material already: it is used to point towards the discussion of the poem in the history section, but it is also a readable and non-technical summary of the theorem itself. I've started a discussion thread asking about this at Wikipedia:Media copyright questions § How much of copyrighted poem ok to copy?. —David Eppstein (talk) 06:38, 19 March 2024 (UTC)[reply]
Personally I don't really see an issue with the current use of the poem in the lead. The line from the poem is mainly used as a convenient device for stating the theorem in English words instead of introducing a bunch of symbols in the lead section; the full text of the poem isn't really that important to the article, and is linked from the footnotes for any reader curious to read it. We could plausibly write a new prose statement of the theorem, but I doubt it would be any clearer. –jacobolus (t) 07:09, 19 March 2024 (UTC)[reply]
Re "perhaps use [barnes] again as in 15b?": done (causing footnote renumbering). Re "[gardner] could be used to clarify that Gosset was not the only one to generalise to higher dimensions": this was already done when the Gardner reference was added: "Gosset and several others extended the theorem".
Re potentially relegating renumbered footnotes [45] and [46] (consisting of both a citation and some text describing how the citation supports the cited claim) into a separate notes section and then splitting off the citations from these footnotes into footnotes-within-footnotes: see ongoing discussion at Wikipedia talk:Citing sources § Splitting notes is an arbitrary Wikipedia-made standard with unknown consequences for readers and my comments there "This binary distinction between footnotes that are just extended body text and footnotes that are purely citations to references is not supported by reality.")
Jacobolus found and added an orig-year for the Caratheodory cite.
I think that mainly leaves the lead length query. —David Eppstein (talk) 07:14, 19 March 2024 (UTC)[reply]
Personally I freely add text to "ordinary" Wikipedia footnotes any time it seems like the text would be helpful to readers but is distracting or out of scope for the main body text, on all sorts of articles, most of which have no separate "textual notes" section distinct from the "bibliographic detail notes" section. I think it would be a mistake to force a uniform format choice across the project (cf. MOS:VAR). –jacobolus (t) 13:59, 19 March 2024 (UTC)[reply]
Sure, there are many ways to do this, and we do not have to observe the paper-based dichotomy of "explanatory footnote directly on the page, citations referring to bibliography at the end" (it would be nice to have to have support for this distinction for printed Wikipedia articles, but I don't think it exists). I did say I consider this "optional" above, and I mean it. —Kusma (talk) 21:00, 19 March 2024 (UTC)[reply]
I'm not sure which "paper-based dichotomy" you mean. Books and research journals have an even wider range of practices than Wikipedia articles. Many freely mix bibliographical information with textual notes, using either footnotes, sidenotes, or endnotes. Some use a combination of footnotes and end notes for different types of textual notes. Others use numbered or author/year parenthetical references referencing a bibliography list along with textual notes using some other format. Some use per-chapter endnotes while others put all the notes at the end of the book. Some bibliography lists are very compressed auth. (yr.) journ. abbrev., vol.: pg., with no paper title. Others include detailed annotations about each bibliography entry. Etc.
If someone wanted Wikipedia articles to render better for printing it would be possible to make with CSS, but a significant challenge to handle all of the range of possible edge cases. (It would be great to see a same-page footnote version, with the notes repeated any time they are referenced again and haven't appeared within the current or previous printed page.) But I'd probably recommend starting by fixing the crummy new default skin to improve rendering on screen.
(Sorry if this sounds argumentative or seems off topic. I guess my main point would be that I don't think GA criteria should push for change between otherwise acceptable citation formats unless there's some very obvious issue causing trouble for readers.) –jacobolus (t) 00:21, 20 March 2024 (UTC)[reply]
@David Eppstein, I think our remaining difference of opinion is not actually something that should stop the article from passing, so I will do that now. I guess one can argue that the article does not violate MOS:LEAD's "significant information should not appear in the lead if it is not covered in the remainder of the article" as the poem is covered, even if without quotes. That said, I do hope there will be more of the poem in the article once it becomes PD. —Kusma (talk) 17:47, 23 March 2024 (UTC)[reply]
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.

Did you know nomination[edit]

Improved to Good Article status by David Eppstein (talk) and Jacobolus (talk).

Number of QPQs required: 2. DYK is currently in unreviewed backlog mode and nominator has 182 past nominations.

Post-promotion hook changes will be logged on the talk page; consider watching the nomination until the hook appears on the Main Page.

David Eppstein (talk) 07:25, 25 March 2024 (UTC).[reply]

  • These are fantastic hooks for this article – which itself has well-sourced and neutral text, and appears to be free of copyvio. It also has great images, although those are outside the scope of this review. As the article and hooks meet DYK criteria, this is good to go! Very nicely done as usual, David Eppstein. ezlev (user/tlk/ctrbs) 21:20, 26 March 2024 (UTC)[reply]