Note on the harmonic relation in secants and tangents of conics (Q5969957)

In einigen einleitenden Worten weist der Verfasser darauf hin, dass nach modernen Begriffen der ebenen (euklidischen oder parabolischen, wie man sie nennen will,) Geometrie, die Kreise Linien \(2^{\text{ter}}\) Ordnung sind, welche alle zwei imaginäre Punkte im Unendlichen gemein haben, und dass die Eigenschaft zweier Kreise, sich unter demselben Winkel zu schneiden, sich in die projectivische Eigenschaft übersetzen lässt die Gleichheit der anharmonischen Verhältnisse, die von den Tangentenpaaren an die Kreise in ihren Schnittpunkten mit den Geradenpaaren von diesen nach den cyklischen Punkten im Unendlichen bestimmt sind. Dagegen sind in der nicht-euklidischen, hyperbolischen oder elliptischen ebenen Geometrie die Kreise Linien \(2^{\text{ter}}\) Ordnung, welche doppelte Berührung mit einem reellen oder imaginären Kegelschnitt im Unendlichen haben, und man kann fragen, welche projectivische Eigenschaft an die Stelle der vorerwähnten rücksichtlich der Durchschnittspunkte tritt, indem man die anharmonischen Verhältnisse als bestimmt ansieht von den Tangentenpaaren der Kreise in ihren vier Schnittpunkten und den Tangentenpaaren, die von diesen Punkten an den unendlich entfernten Kegelschnitt gehen. Die Erforschung dieser Sache, wo zugleich auch allgemeiner Irgend zwei Kegelschnitte betrachtet werden, ist der Inhalt der Arbeit. In Bezug auf irgend ein Fundamentaldreiceck seien \((x,y,z)\) die Coordinaten eines Punktes \(p\); \((X,Y,Z)\) die einer Geraden \(R\), so dass \[ xX+yY=zZ=0, \] wenn \(p\) auf \(R\) liegt; fener seien die Gleichungen dreier Kegelschnitte: \[ U= Ax^2+By^2+Cz^2+ 2Fyz+2Gzx+ 2Hxy=0, \] \[ U'= A'x^2+B'y^2+\cdots=0, \quad U''= A''x^2+B''y^2+\cdots=0, \] oder in Tangentialcoordinaten \[ u=aX^2+bY^2+cZ^2+ 2fYZ+2gZX+ 2hXY=0, \] und analog \(u',u''\) dann muss also: \[ \begin{alignedat}{3} a&= BC-F^2, &\quad b&=CA-G^2, &\quad c&=AB-H^2,\\ f&= GH-AF, &\quad g&=HF-BG, &\quad h&=fG-CH\end{alignedat} \] sein; ebenso hat man die Gleichungen mit Accenten. Sind \((\xi,\eta,\zeta)\) die Coordinaten von \(p\), eines der vier Schnittpunkte von \(U'\) und \(U''\), so setze man \[ X'= A'\xi+H'\eta+G'\zeta,\;Y'=H'\xi+ B'\eta+ F'\zeta,\;Z'=G'\xi+F'\eta+C'\zeta, \] dann ist \[ X'\xi+Y'\eta+Z'\zeta=0 \] die Gleichung der Tangente \(R'\) in \(p\) an \(U'\); analog wird \[ X''\xi+ Y''\eta+ Z''\zeta=0 \] die Gleichung der Tangente \(R''\) in \(p\) an \(U''\) sein, und setzt man nun \[ X=k'X'=K''X'', \quad Y=k'Y'+k''Y'', \quad Z=k'Z'+k''Z'', \] so sind \(X,Y,Z\) die Coordinaten einer Geraden \(K\) durch den Durchschnitt von \(R'\) und \(R''\) oder durch \(p\). Ist nun \(R\) Tangente des ersten Kegelschnitts \(U\) oder \(u\), so müssen \(X,Y,Z\) der Gleichung \(u=0\) genügen, und wenn daher \[ u_1= aX+hY+gZ, \quad u_2=hX+bY+fZ, \quad u_3= gH+fY+cZ, \] und ebenso \[ u_1'= aX'+hY'+ gZ', \quad\text{etc.} \] so hat man die Bedingung: \[ \begin{aligned} k^{'2} (u_1'X''= u_2'Y &+ y_2'Z')+ k^{''2}(u_1^{\prime\prime} X^{\prime\prime}+ u_2^{\prime\prime} Y^{\prime\prime}+ u_3^{\prime\prime} Z^{\prime\prime})\\ &+k'k''(u_1' X^{\prime\prime}+ u_2Y^{\prime\prime}+ u_3'Z^{\prime\prime})=0, \end{aligned} \] wo im letzten Gliede auch die Accente vertauscht werden dürfen. Sind \(k_i^\prime: k_i^{\prime\prime}\) udn \(k_j^\prime: k_j^{\prime\prime}\) die Wurzeln von \(k':k''\) aus voriger Gleichung, so hat man \[ \begin{aligned} {{k_i^{\prime\prime} k_j^{\prime\prime}}\over {u_1'X'+ u_2' Y'+u_3'Z'}}&= {{k_i'k_j'}\over {u_1^{\prime\prime}X^{\prime\prime}+ u_2^{\prime\prime}Y^{\prime\prime}+ u_3^{\prime\prime}Z^{\prime\prime}}}\\ &=- {{k_i'k_j^{\prime\prime}+ k_ik^{\prime\prime} k_j'}\over {2(u_1'X^{\prime\prime}+ u_2'Y^{\prime\prime}+ u_3'Z^{\prime\prime})}}, \end{aligned} \] die beiden Geraden \(R_i\) und \(R_j\), die diesen beiden Werthen von \(k':k''\) entsprechen, also die beiden Tangenten von \(p\) an \(U\), bestimmen mit den Geraden \(R'\) und \(R''\) das anharmonische Verhältniss \({{k_i'}\over {k_i^{\prime\prime}}}\cdot {{k_j'}\over {k_j^{\prime\prime}}}\) und sein reciprokes. Dies wird sectionales anharmonisches Verhältniss der Kegelschnittel \(U'\) und \(U''\) in ihrem gemeinsamen Punkte \((\xi\eta\zeta)\) in Beziehung auf \(U\) genannt; und unter mannigfachen Voraussetzungen untersucht, was in der Kürze nicht weiter angegeben werden kann. Die zweite Arbeit enthält die analoge Untersuchung für den Raum.