On the correspondence of homographics and rotations. (Q1552473)

Aus zwei Homographien \[ A+ Bp+ Cq+ Dpq =0 \quad \text{ und } \quad A_1 +B_1 q +C_1 r +D_1 qr =0 \] lässt sich durch Elimination von \(q\) eine Homographie \[ A_2 +B_2 p+C_2 r+D_2 pr =0 \] bilden, worin \[ A_2, \; B_2, \; C_2, \; D_2= B_1 A-A_1C, \; B_1B -A_1 D, \; D_1A -C_1C, \; D_1B -C_1D. \] Mit jeder von diesen Homographien kann man eine Rotation (eines starren Körpers um einen festen Punkt) mit den Rotationsparametern (\(\lambda,\; \mu,\; \nu), \;( \lambda_1, \mu_1, \nu_1), \; (\lambda_2, \mu_2, \nu_2)\) in Verbindung bringen der Art, dass die dritte Rotation sich aus den beiden ersten zusammensetzt. Bildet eine Drehaxe gegen die Coordinatenaxen die Winkel \(F, g, h\) und bedeutet \(\vartheta\) den Drehungswinkel um jene Axe, so lassen sich die Rotationsparameter \(\lambda, \mu, \nu\) bezüglich darstellen durch \(\text{tang\,} \tfrac 12 \vartheta \cos f, \;\text{tang\,} \tfrac 12 \vartheta \cos g, \; \text{tang\,} \tfrac 12 \vartheta \cos h,\) und in entsprechender Form die Grössen \(\lambda_1, \mu_1, \nu_1\) und \(\lambda_2, \mu_2, \nu_2\). Fasst man die dritte Rotation als zusammengesetzt aus den beiden ersten auf, so drücken gewisse Gleichungen diesen Gedanken aus. Diese Gleichungen erscheinen, wenn man \(\lambda, \mu, \nu\) bezüglich durch \(\frac xw, \; \frac yw, \; \frac zw \) darstellt und \(\lambda_1, \mu_1, \nu_1\) und \(\lambda_2, \mu_2, \nu_2\) in gleicher Art ausdrückt, in der Form: \[ \begin{aligned} & x_2 =xw_1+x_1 w+y z_1 -y_1 z,\\ & y_2 =yw_1 +y_1 w+z x_1 -z_1x,\\ & z_2 =zw_1 +z_1 w+ xy_1 -x_1y,\\ & w_2 =ww_1 -xx_1 -yy_1 -zz_1. \end{aligned} \] Herr Cayley stellt sich nunmehr die Aufgabe, \(A, B, C, D\) so als Functionen von \(x, y, z, w\) darzustellen, dass, wenn \(A_1, B_1, C_1, D_1\) dieselben Functionen von \(x_1, y_1, z_1, w_1\) bedeuten, \(A_2, B_2, C_2, D_2\) die gleichen Functionen von \(x_2, y_2, z_2, w_2\) sind. Diese Forderung wird erfüllt durch \[ A, B, C, D=ix -y, \; -iz +w, \; -iz -w, \; -ix -y, \] so dass die Homographie, welche der Drehung \(\left( \frac xw, \; \frac yw, \; \frac zw \right)\) entspricht, sich in der Form darstellt \[ (ix -y) +(-iz +w )p +(-iz -w) q+ (-ix -y) pq =0. \]