Wikipedia:Reference desk/Archives/Mathematics/2023 February 6
Mathematics desk | ||
---|---|---|
< February 5 | << Jan | February | Mar >> | February 7 > |
Welcome to the Wikipedia Mathematics Reference Desk Archives |
---|
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
February 6
editHelp finding references to an old paper
editCan anyone help me figure out who the C.J.D. Hill was who sent in some "problems and theorems" to Crelle's Journal, 1832? https://doi.org/10.1515/crll.1832.9.100
Here is a link to a better scan from the internet archive (and the associated diagrams).
Can anyone help me figure out if this particular work was ever referenced by anyone else? Did Crelle's Journal ever print solutions to proposed problems? (It’s sometimes tricky for me to make full sense of these old journals because I don’t read Latin or German and my French is kind of rusty. And for papers this old the metadata indices aren't complete enough to show the citation graph.)
Some of the problems/theorems here involve the spherical geometry analog of the "power of a line" that I was asking about here last month, investigated by Edmond Laguerre in the 1880s. –jacobolus (t) 01:01, 6 February 2023 (UTC)
- Edit: I looked more carefully, and the “problems and theorems” here were sent in by a variety of authors (Hill only sent in the first few). The one of interest to me is #14 (Fig. 4), sent in by Christoph Gudermann:
- 14. Werden von zwei Puncten M und N eines Hauptkreises (Fig. 4.) die Berührungslinien MA, MB, NC, ND an einen Kreis auf der Kugel gezogen, so ist immer Dasselbe Theorem gilt in der Ebene des Kreises, wenn MN, MA, MB, NC, ND gerade Linien sind, wovon die vier letzten den Kreis berühren. Es wird ein elementarer Beweis dieser beiden Sätze verlangt.
- Google translate + some finessing (so probably not a super accurate translation) renders the problem as:
- 14. Given two points M and N of a great circle (Fig. 4.) with tangent lines MA, MB, NC, ND to a small circle, we always have The same theorem holds in the plane of the circle if MN, MA, MB, NC, ND are straight lines, the last four tangent to the circle. An elementary proof of these two theorems is required.
- I’m still curious if anyone can find later references to these though. –jacobolus (t) 01:16, 6 February 2023 (UTC)
- No luck, but since this was posed, without proof, as a problem, this is not entirely unexpected. There is no lack of references to the paper by Möbius a few pages later, in which he presents his inversion formula. BTW, the "small circle" may be any circle on the sphere, also a great circle. --Lambiam 17:11, 6 February 2023 (UTC)
- It literally says "circle of a sphere", but it must be talking about a small circle. In the great circle case this degenerates, and you can't actually draw such tangent lines (every great circle tangent to a great circle is the circle itself; it's like trying to draw a pencil of lines tangent to a line). You could salvage the quantity of interest (the product of two half-tangents) by only examining the intersection of the two lines, in the same way as you can generalize the power of a point with respect to a circle when the second circle is a point by just taking the squared distance between points. In Laguerre geometry in general, which I have been learning about in the past few weeks and hope to fill in that red link for, the fundamental objects are (oriented) lines (on the sphere, oriented great circles), and the derived objects (from envelopes of lines) are circles, points, etc. –jacobolus (t) 17:35, 6 February 2023 (UTC)
- It is degenerate in the sense that the pencil is very narrow, since all tangents coincide, but they still exist and intersect the original great circle – in two points, except for the even more degenerate case that both circles coincide. But pick two points of intersection, and the angles are defined. --Lambiam 22:25, 6 February 2023 (UTC)
- It literally says "circle of a sphere", but it must be talking about a small circle. In the great circle case this degenerates, and you can't actually draw such tangent lines (every great circle tangent to a great circle is the circle itself; it's like trying to draw a pencil of lines tangent to a line). You could salvage the quantity of interest (the product of two half-tangents) by only examining the intersection of the two lines, in the same way as you can generalize the power of a point with respect to a circle when the second circle is a point by just taking the squared distance between points. In Laguerre geometry in general, which I have been learning about in the past few weeks and hope to fill in that red link for, the fundamental objects are (oriented) lines (on the sphere, oriented great circles), and the derived objects (from envelopes of lines) are circles, points, etc. –jacobolus (t) 17:35, 6 February 2023 (UTC)
- To partially answer my own question, Gudermann followed up by including this (or something related anyway) in his 1835 book Lehrbuch der niederen Sphärik §296–297. (If there’s one thing OCR loves, it’s a mediocre scan of a book set entirely in a Fraktur font.) –jacobolus (t) 17:18, 6 February 2023 (UTC)
- Kufgabe« 9)tan foQ ben Bufammeniftans unter ben SBinfeln
:::ftnben, tvel^^e }n>e{ Zongenten dneft Areifeö mit einem burdj^ i^ren
:::64^eitel ge^enben <^au)>tfreife mad)ttL
:::Slttflifung. 3n Fig. 166 feien PA unb PB gwei Spangen*
:::ten eineft JtreifeS, unb burc^ ben Sd^eitef P il^reS SBinfelS gefie ber
:::«^uptbogen XY im inneren be« Sßinteld APB. ^an üt^t n^
:::bie Siabien MA, MB, femer na^ bem @di^eitel beS mnUti P bie
:::Sinie MP unb auf XY baS fot^ Mm ; bann i^ im 2>reie(!e PMA etc. jacobolus (t) 17:27, 6 February 2023 (UTC)
- Try newocr.com; it has an option for German Fraktur. Not perfect, but much better:
Aufgabe. Man soll den Zusammenhang unter den Winkeln finden, welche zwei Tangenten eines Greis es rnit einein durch ihren Scheitel gehenden Hauptlreise machen. .
...
Au flösung. In Fig. 166 seien PA und PB zwei Zangenten eines Kreises, und durch den Scheitel P ihres Winkels gehe der Hauptdogen xY inr Inneren des Winkels APR Man siehe noch die Radien MA, ME, ferner nach dem Scheitel des Win els P die Linie Mk und auf xY das Loth Mmz dann ist im Dreiecke PMA
- --Lambiam 22:07, 6 February 2023 (UTC)
- Now I just need a psychic to figure out what the figures showed – whatever temp worker the Google book scan department hired scanned all of the pages of figures folded up. :-)
- Anyone know if there are other scans of Lehrbuch der niederen Sphärik online, ideally with the figures scanned too? –jacobolus (t) 00:57, 7 February 2023 (UTC)
Fig. 166
- Cleaned up first page: [... moved to subsection ...]
- Gotta do some errands before proceeding with the rest. –jacobolus (t) 20:44, 7 February 2023 (UTC)
- I made a few minor corrections. --Lambiam 23:27, 7 February 2023 (UTC)
- Next part: [...] –jacobolus (t) 01:46, 9 February 2023 (UTC)
- A few more minor corrections. --Lambiam 12:02, 8 February 2023 (UTC)
- One notable thing here is that Gudermann was not operating from the concept of directed lines/circles, so from the later Laguerre perspective he was picking one of the tangent lines to be the wrong orientation (which is why this version is a quotient rather than a product). The version sent in to Crelle's "correctly" used two tangents oriented the same way with respect to the circle. –jacobolus (t) 23:52, 7 February 2023 (UTC)
- Try newocr.com; it has an option for German Fraktur. Not perfect, but much better:
- Kufgabe« 9)tan foQ ben Bufammeniftans unter ben SBinfeln
:::ftnben, tvel^^e }n>e{ Zongenten dneft Areifeö mit einem burdj^ i^ren
:::64^eitel ge^enben <^au)>tfreife mad)ttL
:::Slttflifung. 3n Fig. 166 feien PA unb PB gwei Spangen*
:::ten eineft JtreifeS, unb burc^ ben Sd^eitef P il^reS SBinfelS gefie ber
:::«^uptbogen XY im inneren be« Sßinteld APB. ^an üt^t n^
:::bie Siabien MA, MB, femer na^ bem @di^eitel beS mnUti P bie
:::Sinie MP unb auf XY baS fot^ Mm ; bann i^ im 2>reie(!e PMA etc. jacobolus (t) 17:27, 6 February 2023 (UTC)
- No luck, but since this was posed, without proof, as a problem, this is not entirely unexpected. There is no lack of references to the paper by Möbius a few pages later, in which he presents his inversion formula. BTW, the "small circle" may be any circle on the sphere, also a great circle. --Lambiam 17:11, 6 February 2023 (UTC)
CJD Hill
editNot sure if it's the right person, but if you're still interested in the identity of CJD Hill, the Mathematics Genealogy Project lists one Carl Johan Danielsson Hill who received his PhD from Lund University in 1817. GalacticShoe (talk) 16:49, 6 February 2023 (UTC)
- Thanks. I had figured him out before; this guy: sv:Carl Johan Hill. But I don't care about Hill after all. :-) –jacobolus (t) 17:08, 6 February 2023 (UTC)
- Perhaps his discovery that where denotes "the roots" of ties this in with your interests. (I'm not quite sure how to interpret the plural; this may simply hold for each of the three branches, which are separated by the roots of ) --Lambiam 10:47, 7 February 2023 (UTC)
- Fair enough. I did indeed notice that bit. I’m not quite sure how to make sense of it though. :-) –jacobolus (t) 11:54, 7 February 2023 (UTC)
- So out of curiosity I played around a little with the formula. For convenience of any readers out there, here is defined as , and I'm going to write for . As it turns out, what Hill means is that, for fixed , every possible pair of roots of respectively has the property that is a root of . In fact, if we fix a root , then varying across the three possible roots of goes through all three roots of . Same for fixing and varying . GalacticShoe (talk) 13:04, 12 February 2023 (UTC)
- I should also note for the preceding message that the fact about fixing one root and varying the other is not particularly surprising, since when or is fixed, is injective. GalacticShoe (talk) 13:11, 12 February 2023 (UTC)
- Thanks for making that explicit. To be clear: I understood what Hill’s statement literally means. While I didn’t hunt down his proof, try to prove it myself, or do any numerical experiments, I am willing to believe that it is a true statement.
- When I say
“I’m not quite sure how to make sense of it”
what I mean is: I haven’t figured out why (at a conceptual level) the specific form of the polynomial leads to this property, whether there’s a convenient way to express in terms of that would make it clear why this happens, whether there are polynomials of other degree with a similar property, and so on.I expect it would take some considerable research effort (for me anyway; perhaps some experts already know about this or could grasp it immediately) to investigate what is going on here.But it does seem curious and I would be interested to hear any insights. –jacobolus (t) 18:44, 12 February 2023 (UTC) - To start, given roots of we should be able to factor So if we also have of and of then Hill's claim is for some given any We might start from:
But I think I’d need to fiddle with this for a good while to figure it out.–jacobolus (t) 19:01, 12 February 2023 (UTC)- One more note in case it helps anyone. Being roots of the polynomial implies the relations:
- So at the very least it is immediately clear why:
- –jacobolus (t) 19:11, 12 February 2023 (UTC)
- Okay, I figured out what is going on and now I feel a bit bamboozled. Our polynomial equation can be written as which has roots In other words, the three roots of this equation are equally spaced around the circle, treating the line as a model for the circle under the relation or That is, this the equation with the complex unit circle projected to the real line. –jacobolus (t) 21:29, 12 February 2023 (UTC)
- Fair enough. I did indeed notice that bit. I’m not quite sure how to make sense of it though. :-) –jacobolus (t) 11:54, 7 February 2023 (UTC)
- Perhaps his discovery that where denotes "the roots" of ties this in with your interests. (I'm not quite sure how to interpret the plural; this may simply hold for each of the three branches, which are separated by the roots of ) --Lambiam 10:47, 7 February 2023 (UTC)
OCR / Cleanup of Lehrbuch der niederen Sphärik
edit- Aufgabe. Man soll den Zusammenhang unter den Winkeln finden, welche zwei Tangenten eines Kreises mit einem durch ihren Scheitel gehenden Hauptkreise machen.
- Auflösung. In Fig. 166 seien und zwei Tangenten eines Kreises, und durch den Scheitel ihres Winkels gehe der Hauptbogen im Inneren des Winkels Man ziehe noch die Radien ferner nach dem Scheitel des Winkels die Linie und auf das Loth ; dann ist im Dreiecke
- und im Dreiecke ist ; daher hat man
- Bezeichnet man nun den Radius des Kreises mit und das Loth mit so ist also
- Bezeichnet man ferner die Winkel und mit und so ist also daher ist folglich hat man die Gleichung
- 1.
- Erhebt man die Gleichung zum Quadrate und subtrahirt man sie aus beiden Seiten von Eins, so hat man
- d.h.
- 2. oder
- Ferner folgt aus der Gleichung (1)
- oder
- 3.
- Befindet sich die Linie außerhalb des Winkels, durch dessen Scheitel sie geht, und also auch außerhalb des Kreises, wie in Fig. 167, so gelten die vorigen Formeln ebenfalls, und die Herleitung für diesen Fall stimmt mit der vorigen überein.
- Anmerkung. Ein Winkel, in dessen Innerem sich ein Kreis befindet, und dessen Schenkel Tangenten dieses Kreises sind, heiße ein um den Kreis geschriebener Winkel.
- Lehrsatz. Sind zwei Winkel um denselben Kreis geschrieben, und zieht man durch ihre Scheitel einen Hauptbogen, so theilt dieser jeden Winkel (innerlich oder äußerlich) in zwei Theile, so, daß erstens die Sinus der halben Unterschiede der Theile dieser Winkel sich zu einander verhalten, wie die Sinus der halben Winkel selbst; zweitens die Producte aus den Sinus der Theile der Winkel sich zu einander verhalten, wie die Quadrate der Sinus der halben Winkel; endlich drittens, daß die Tangenten der halben Theile des einen Winkels proportional sind zu den Tangenten der halben Theile des anderen Winkels.
- Beweis. Zieht man in Fig. 166 und Fig. 167 von einem anderen Punkte im Hauptbogen die Tangenten und und setzt man den Winkel so ist, wenn die übrige Bezeichnung des §. 296 beibehalten wird,
- und also
- Ferner ist und auch
- also
- Endlich ist und auch
- und also
- Zusatz. Zieht man vom Punkte aus die Tangenten und so machen sie mit die Winkel und und da nun also ist, so ist also ; und also
- 1.
- 2.
- 3.
- Anmerkung 1. Die vorstehenden Sätze sind nur verschiedene Formen des Ausdrucks eines einzigen, welcher der reciproke von dem im §. 255 bewiesenen Satze ist, und auch daraus auf eine einfache Art durch Construction des reciproken Kreises hätte hergeleitet werden können. Die beiden Sätze erscheinen noch gleichlautender, wenn man sich nicht die um den Kreis geschriebenen Winkel und sondern ihre Nebenwinkel von der Linie getheilt vorstellt. Die zweiten Schenkel dieser Nebenwinkel sind dann Tangenten eines anderen Kreises, welcher der Gegenkreis des ersten ist.
- Anmerkung 2. Die hier behandelten Formeln gelten auch unverändert im analogen Falle der Planimetrie, und sind auch in dieser Hinsicht noch neu. Sie drücken auch dort das Reciproke von dem Gesetze aus, nach welchen die aus den Theilen zweier sich schneidenden Sehnen eines Kreises construirten Rechtecke gleich groß sind.
- [...]
- Will man die Methode der reciproken Polaren anwenden so steht auch sie der Sphärik zu Gebote, und da ihre Anwendung in der Sphärik nicht verwickelter als in der Planimetrie ist, so sieht man also, daß in der Sphärik eine zweifache Methode der Reciprocität anwendbar ist, wovon aber derjenigen, welche oben gebraucht worden ist, unstreitig ein großer Vorzug vor der anderen gebührt; nur gibt es zu ihr kein Analogon in der Planimetrie, oder man müßte sich alle geraden Linien als Hauptbogen auf einer Kugel vorstellen. Aber dieser Reichthum der Sphärik an Methoden macht sie lehrreicher, interessanter und überhaupt wichtiger als die Planimetrie, deren weitere Ausbildung durch die der Sphärik bedingt wird, wie das in der Anmerkung 2. zu §. 297 erwähnte Beispiel, und eine Menge anderer, welche zum Theil noch interessanter sein dürften, zur Genüge zeigen.
Feel free to make further corrections. Maybe folks who read German can also help clean up translation errors if I paste a machine-translated version after this. –jacobolus (t) 23:47, 8 February 2023 (UTC)
Machine translation massaged to hopefully be more or less mathematically correct.
- Problem. Find the relation between the angles which two tangents of a circle make with a great circle passing through their intersection.
- Solution. Let and in Fig. 166 be two tangents of a circle, with the great-circle arc passing through the vertex inside their angle Draw the radii and also the line through the vertex of the angle and from the altitude ; then in the triangle we have
- and in the triangle we have ; therefore we have
- Denoting the radius of the circle by and the altitude by we thus have
- If we further denote the angles and by and then and thus therefore hence we have the equation
- 1.
- Squaring this equation and subtracting each side from unity, we have
- i.e.
- 2. or
- Furthermore, it follows from equation (1) that
- or
- 3.
- If the line is outside the angle through whose vertex it passes, and therefore also outside the circle, as in Fig. 167, the previous formulas apply equally, and the derivation for this case is the same as the previous one.
- Note. An angle inside which there is a circle and whose legs are tangents to this circle is called a circumscribed angle of the circle.
- Theorem. If two angles are circumscribed angles of the same circle, and a great-circle arc is drawn through their vertices, this divides each angle (internal or external) into two parts, so that, first, the sines of the half differences of the parts of these angles are related to one another as the sines of the half-angles themselves; secondly, the products of the sines of the parts of the angles are related to each other as the squares of the sines of the half angles; finally, thirdly, that the tangents of halve one angle are proportional to the tangents of halve the other angle.
- Proof. If we draw, in Fig. 166 and Fig. 167, the tangents and from another point on the great-circle and set the angle then we have, keeping the other notations from § 296 unchanged,
- and so
- Furthermore, and also
- so
- Finally, and also
- and so
- Corollary. If one draws the tangents and from the point , they form with the angles and and since and so therefore and so ; and thus
- 1.
- 2.
- 3.
- Note 1. The above propositions are only different ways of expressing a single one, which is the dual of the proposition proved in § 255, and could also have been derived from it in a simple way by constructing the dual circle. The two propositions appear even more identical if one does not look at the angles and circumscribed around the circle, but at their secondary angles divided by the line The second legs of these secondary angles are then tangents of another circle, which is the opposite circle of the first.
- Note 2. The formulas dealt with here also apply without change in the analogous case of planimetry, and are also new in that context. There they also express the dual of the law according to which the product of each pair of segments from two intersecting chords of a circle are of equal magnitude.
Feel free to fix any mistakes or change this translation to make it clearer or more faithful to the original if it doesn't sacrifice comprehensibility to a modern English-reading audience. –jacobolus (t) 02:16, 10 February 2023 (UTC)