History of Topics in Special Relativity/Lorentz transformation (general)

{{../Lorentz transformation (header)}}

Most general Lorentz transformations

General quadratic form

The general w:quadratic form q(x) with coefficients of a w:symmetric matrix A, the associated w:bilinear form b(x,y), and the w:linear transformations of q(x) and b(x,y) into q(x′) and b(x′,y′) using the w:transformation matrix g, can be written as

The case n=1 is the w:binary quadratic form introduced by Lagrange (1773) and Gauss (1798/1801), n=2 is the ternary quadratic form introduced by Gauss (1798/1801), n=3 is the quaternary quadratic form etc.

Most general Lorentz transformation

Template:CSS image crop The general Lorentz transformation follows from (Template:EquationNote) by setting A=A′=diag(-1,1,...,1) and det g=±1. It forms an w:indefinite orthogonal group called the w:Lorentz group O(1,n), while the case det g=+1 forms the restricted w:Lorentz group SO(1,n). The quadratic form q(x) becomes the w:Lorentz interval in terms of an w:indefinite quadratic form of w:Minkowski space (being a special case of w:pseudo-Euclidean space), and the associated bilinear form b(x) becomes the w:Minkowski inner product:

The invariance of the Lorentz interval with n=1 between axes and w:conjugate diameters of hyperbolas was known for a long time since Apollonius (ca. 200 BC). Lorentz transformations (Template:EquationNote) for various dimensions were used by Gauss (1818), Jacobi (1827, 1833), Lebesgue (1837), Bour (1856), Somov (1863), Hill (1882) in order to simplify computations of w:elliptic functions and integrals. They were also used by Chasles (1829) and Weddle (1847) to describe relations on hyperboloids, as well as by Poincaré (1881), Cox (1881-91), Picard (1882, 1884), Killing (1885, 1893), Gérard (1892), Hausdorff (1899), Woods (1901, 1903), Liebmann (1904/05) to describe w:hyperbolic motions (i.e. rigid motions in the w:hyperbolic plane or w:hyperbolic space), which were expressed in terms of Weierstrass coordinates of the w:hyperboloid model satisfying the relation $-x_0^2+\cdots +x_n^2=-1$ or in terms of the w:Cayley–Klein metric of w:projective geometry using the "absolute" form $-x_0^2+\cdots +x_n^2=0$ as discussed by Klein (1871-73). In addition, w:infinitesimal transformations related to the w:Lie algebra of the group of hyperbolic motions were given in terms of Weierstrass coordinates $-x_0^2+\cdots +x_n^2=-1$ by Killing (1888-1897).

Most general Lorentz transformation of velocity

If $x_i,x_i^{\prime }$ in (Template:EquationNote) are interpreted as w:homogeneous coordinates, then the corresponding inhomogenous coordinates $u_s,u_s^{\prime }$ follow by

$\frac{x_s}{x_0}=u_s,\frac{x_s^{\prime }}{x_0^{\prime }}=u_s^{\prime }(s=1,2\dots n)$

defined by $u_1^2+u_2^2+\dots +u_n^2\le 1$ so that the Lorentz transformation becomes a w:homography inside the w:unit hypersphere, which w:John Lighton Synge called "the most general formula for the composition of velocities" in terms of special relativity (the transformation matrix g stays the same as in (Template:EquationNote)):

Such Lorentz transformations for various dimensions were used by Gauss (1818), Jacobi (1827–1833), Lebesgue (1837), Bour (1856), Somov (1863), Hill (1882), Callandreau (1885) in order to simplify computations of elliptic functions and integrals, by Picard (1882-1884) in relation to Hermitian quadratic forms, or by Woods (1901, 1903) in terms of the w:Beltrami–Klein model of hyperbolic geometry. In addition, infinitesimal transformations in terms of the w:Lie algebra of the group of hyperbolic motions leaving invariant the unit sphere $-1+u_1^{\prime 2}+\cdots +u_n^{\prime 2}=0$ were given by Lie (1885-1893) and Werner (1889) and Killing (1888-1897).

Historical notation

Template:Anchor Apollonius (BC) – Conjugate diameters

Equality of difference in squares

Fig. 1: Apollonius' proposition illustrated by Borelli (1661) of $\stackrel{2}{\stackrel{‾}{AC}}-\stackrel{2}{\stackrel{‾}{QR}}=\stackrel{2}{\stackrel{‾}{IL}}-\stackrel{2}{\stackrel{‾}{NO}}$

w:Apollonius of Perga (c. 240–190 BC) in his 7th book on conics defined the following well known proposition (the 7th book survived in Arabian translation, and was translated into Latin in 1661 and 1710), as follows:

• The difference of the squares of the two axes of the hyperbola is equal to the difference of the squares of any two conjugate diameters. (Latin translation 1661 by w:Giovanni Alfonso Borelli and w:Abraham Ecchellensis.)

• In every hyperbola the difference between the squares of the axes is equal to the difference between the squares of any conjugate diameters of the section. (Latin translation 1710 by w:Edmond Halley.)

• [..] in every hyperbola the difference of the squares on any two conjugate diameters is equal to the [..] difference [..] of the squares on the axes. (English translation 1896 by w:Thomas Heath.)

---

Fig. 2: La Hire's (1685) illustration of $\stackrel{2}{\stackrel{‾}{AB}}-\stackrel{2}{\stackrel{‾}{DE}}=\stackrel{2}{\stackrel{‾}{NM}}-\stackrel{2}{\stackrel{‾}{LK}}$

Fig. 3: l'Hôpital's (1707) illustration of $\stackrel{2}{\stackrel{‾}{CS}}-\stackrel{2}{\stackrel{‾}{CM}}=\stackrel{2}{\stackrel{‾}{CB}}-\stackrel{2}{\stackrel{‾}{CA}}$

w:Philippe de La Hire (1685) stated this proposition as follows: Template:Block indent and also summarized the related propositions in the 7th book of Apollonius: Template:Block indent

---

w:Guillaume de l'Hôpital (1707), using the methods of w:analytic geometry, demonstrated the same proposition:

Equality of areas of parallelograms

Fig. 4: Apollonius' proposition illustrated by Borelli (1661) of the equality of areas of parallelogram ABCD (of the axes) and KLMN (of the conjugated diameters).

Apollonius also gave another well known proposition in his 7th book regarding ellipses as well as conjugate sections of hyperbolas (see also Del Centina & Fiocca for further details on the history of this proposition):

• In the ellipse, and in conjugate sections [the opposite branches of two conjugate hyperbolas] the parallelogram bounded by the axes is equal to the parallelogram bounded by any pair of conjugate diameters, if its angles are equal to the angles the conjugate diameters form at the centre. (English translation by Del Centina & Fiocca based on the Latin translation 1661 by w:Giovanni Alfonso Borelli and w:Abraham Ecchellensis.)

• If two conjugate diameters are taken in an ellipse, or in the opposite conjugate sections; the parallelogram bounded by them is equal to the rectangle bounded by the axes, provided its angles are equal to those formed at the centre by the conjugate diameters. (English translation by Del Centina & Fiocca based on the Latin translation 1710 by w:Edmond Halley.))

• If PP', DD' be two conjugate diameters in an ellipse or in conjugate hyperbolas, and if tangents be drawn at the four extremities forming a parallelogram LL'MM', then the parallelogram LL'MM' = rect. AA'·BB'. (English translation 1896 by w:Thomas Heath.)

Fig. 5: Saint-Vincent's (1647) illustration of FGHI=OPQR, as well as BADC=KNLM.

w:Grégoire de Saint-Vincent independently (1647) stated the same proposition:

---

Fig. 6 (identical to Fig. 2): La Hire's (1685) illustration of FGHI=OPQR.

w:Philippe de La Hire (1685), who was aware of both Apollonius 7th book and Saint-Vincent's book, stated this proposition as follows:

and also summarized the related propositions in the 7th book of Apollonius:

Lagrange (1773) – Binary quadratic forms Template:Anchor

After the invariance of the sum of squares under linear substitutions was discussed by [[../Lorentz transformation (imaginary)#Euler|E:Euler (1771)]], the general expressions of a w:binary quadratic form and its transformation was formulated by w:Joseph-Louis Lagrange (1773/75) as follows

$\begin{array}{c}p{y}^2+2qyz+r{z}^2=P{s}^2+2Qsx+R{x}^2\\ \begin{array}{cc}y& =Ms+Nx\\ z& =ms+nx\end{array}|\begin{array}{c}\begin{array}{cc}P& =p{M}^2+2qMm+r{m}^2\\ Q& =pMN+q(Mn+Nm)+rmn\\ R& =p{N}^2+2qNn+r{n}^2\end{array}\\ \downarrow \\ PR-Q^2=(pr-q^2)(Mn-Nm{)}^2\end{array}\end{array}$

Template:Anchor Gauss (1798–1818)

Template:Anchor Binary quadratic forms

The theory of binary quadratic forms was considerably expanded by w:Carl Friedrich Gauss (1798, published 1801) in his w:Disquisitiones Arithmeticae. He rewrote Lagrange's formalism as follows using integer coefficients α,β,γ,δ:

$\begin{array}{c}F=a{x}^2+2bxy+c{y}^2=(a,b,c)\\ F^{\prime }=a^{\prime }{x}^{\prime 2}+2b^{\prime }{x}^{\prime }{y}^{\prime }+c^{\prime }{y}^{\prime 2}=(a^{\prime },b^{\prime },c^{\prime })\\ \begin{array}{cc}x& =\alpha x^{\prime }+\beta y^{\prime }\\ y& =\gamma x^{\prime }+\delta y^{\prime }\\ \\ x^{\prime }& =\delta x-\beta y\\ y^{\prime }& =-\gamma x+\alpha y\end{array}|\begin{array}{c}\begin{array}{cc}{a}^{\prime }& =a{\alpha }^2+2b\alpha \gamma +c{\gamma }^2\\ b^{\prime }& =a\alpha \beta +b(\alpha \delta +\beta \gamma )+c\gamma \delta \\ c^{\prime }& =a{\beta }^2+2b\beta \delta +c{\delta }^2\end{array}\\ \downarrow \\ b^2-a^{\prime }{c}^{\prime }=(b^2-ac)(\alpha \delta -\beta \gamma {)}^2\end{array}\end{array}$

which is equivalent to (Template:EquationNote) (n=1). As pointed out by Gauss, F and F′ are called "proper equivalent" if αδ-βγ=1, so that F is contained in F′ as well as F′ is contained in F. In addition, if another form F″ is contained by the same procedure in F′ it is also contained in F and so forth.

Template:Anchor Ternary quadratic forms

Gauss (1798/1801) also discussed ternary quadratic forms with the general expression

$\begin{array}{c}f=a{x}^2+a^{\prime }{x}^{\prime 2}+a^{″}{x}^{\prime \prime 2}+2b{x}^{\prime }{x}^{″}+2b^{\prime }x{x}^{″}+2b^{″}x{x}^{\prime }=\left(\begin{array}{ccc}a,& a^{\prime },& a^{″}\\ b,& b^{\prime },& b^{″}\end{array}\right)\\ g=m{y}^2+m^{\prime }{y}^{\prime 2}+m^{″}{y}^{\prime \prime 2}+2n{y}^{\prime }{y}^{″}+2n^{\prime }y{y}^{″}+2n^{″}y{y}^{\prime }=\left(\begin{array}{ccc}m,& m^{\prime },& m^{″}\\ n,& n^{\prime },& n^{″}\end{array}\right)\\ \begin{array}{cc}x& =\alpha y+\beta y^{\prime }+\gamma y^{″}\\ x^{\prime }& ={\alpha }^{\prime }y+{\beta }^{\prime }{y}^{\prime }+{\gamma }^{\prime }{y}^{″}\\ x^{″}& ={\alpha }^{″}y+{\beta }^{″}{y}^{\prime }+{\gamma }^{″}{y}^{″}\end{array}\end{array}$

which is equivalent to (Template:EquationNote) (n=2). Gauss called these forms definite when they have the same sign such as x²+y²+z², or indefinite in the case of different signs such as x²+y²-z². While discussing the classification of ternary quadratic forms, Gauss (1801) presented twenty special cases, among them these six variants:

$\left(\begin{array}{ccc}a,& a^{\prime },& a^{″}\\ b,& b^{\prime },& b^{″}\end{array}\right)\Rightarrow \begin{array}{c}\left(\begin{array}{ccc}1,& -1,& 1\\ 0,& 0,& 0\end{array}\right),\left(\begin{array}{ccc}-1,& 1,& 1\\ 0,& 0,& 0\end{array}\right),\left(\begin{array}{ccc}1,& 1,& -1\\ 0,& 0,& 0\end{array}\right),\\ \left(\begin{array}{ccc}1,& -1,& -1\\ 0,& 0,& 0\end{array}\right),\left(\begin{array}{ccc}-1,& 1,& -1\\ 0,& 0,& 0\end{array}\right),\left(\begin{array}{ccc}-1,& -1,& 1\\ 0,& 0,& 0\end{array}\right)\end{array}$

Template:Anchor Homogeneous coordinates

Gauss (1818) discussed planetary motions together with formulating w:elliptic functions. In order to simplify the integration, he transformed the expression

$(AA+BB+CC)tt+aa(t\cos E{)}^2+bb(t\sin E{)}^2-2aAt\cdot t\cos E-2bBt\cdot t\sin E$

into

$G+G^{\prime }\cos T^2+G^{″}\sin T^2$

in which the w:eccentric anomaly E is connected to the new variable T by the following transformation including an arbitrary constant k, which Gauss then rewrote by setting k=1:

$\begin{array}{c}{(\alpha +{\alpha }^{\prime }\cos T+{\alpha }^{″}\sin T)}^2+{(\beta +{\beta }^{\prime }\cos T+{\beta }^{″}\sin T)}^2-{(\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T)}^2=0\\ k({\cos }^{2}T+{\sin }^{2}T-1)=0\\ \begin{array}{cc}\cos E& =\frac{\alpha +{\alpha }^{\prime }\cos T+{\alpha }^{″}\sin T}{\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T}\\ \sin E& =\frac{\beta +{\beta }^{\prime }\cos T+{\beta }^{″}\sin T}{\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T}\end{array}|\begin{array}{cccc}-\alpha \alpha -\beta \beta +\gamma \gamma & =k& \alpha \alpha -{\alpha }^{\prime }{\alpha }^{\prime }-{\alpha }^{″}{\alpha }^{″}& =-k\\ -{\alpha }^{\prime }{\alpha }^{\prime }-{\beta }^{\prime }{\beta }^{\prime }+{\gamma }^{\prime }{\gamma }^{\prime }& =-k& \beta \beta -{\beta }^{\prime }{\beta }^{\prime }-{\beta }^{″}{\beta }^{″}& =-k\\ -{\alpha }^{″}{\alpha }^{″}-{\beta }^{″}{\beta }^{″}+{\gamma }^{″}{\gamma }^{″}& =-k& \gamma \gamma -{\gamma }^{\prime }{\gamma }^{\prime }-{\gamma }^{″}{\gamma }^{″}& =+k\\ -{\alpha }^{\prime }{\alpha }^{″}-{\beta }^{\prime }{\beta }^{″}+{\gamma }^{\prime }{\gamma }^{″}& =0& \beta \gamma -{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\\ -{\alpha }^{″}\alpha -{\beta }^{″}\beta +{\gamma }^{″}\gamma & =0& \gamma \alpha -{\gamma }^{\prime }{\alpha }^{\prime }-{\gamma }^{″}{\alpha }^{″}& =0\\ -\alpha {\alpha }^{\prime }-\beta {\beta }^{\prime }+\gamma {\gamma }^{\prime }& =0& \alpha \beta -{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\end{array}\\ k=1\\ \begin{array}{cc}t\cos E& =\alpha +{\alpha }^{\prime }\cos T+{\alpha }^{″}\sin T\\ t\sin E& =\beta +{\beta }^{\prime }\cos T+{\beta }^{″}\sin T\\ t& =\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T\end{array}|\begin{array}{cc}-\alpha \alpha -\beta \beta +\gamma \gamma & =1\\ -{\alpha }^{\prime }{\alpha }^{\prime }-{\beta }^{\prime }{\beta }^{\prime }+{\gamma }^{\prime }{\gamma }^{\prime }& =-1\\ -{\alpha }^{″}{\alpha }^{″}-{\beta }^{″}{\beta }^{″}+{\gamma }^{″}{\gamma }^{″}& =-1\\ -{\alpha }^{\prime }{\alpha }^{″}-{\beta }^{\prime }{\beta }^{″}+{\gamma }^{\prime }{\gamma }^{″}& =0\\ -{\alpha }^{″}\alpha -{\beta }^{″}\beta +{\gamma }^{″}\gamma & =0\\ -\alpha {\alpha }^{\prime }-\beta {\beta }^{\prime }+\gamma {\gamma }^{\prime }& =0\end{array}\end{array}$

Subsequently, he showed that these relations can be reformulated using three variables x,y,z and u,u′,u″, so that

$aaxx+bbyy+(AA+BB+CC)zz-2aAxz-2bByz$

can be transformed into

$Guu+G^{\prime }{u}^{\prime }{u}^{\prime }+G^{″}{u}^{″}{u}^{″}$,

in which x,y,z and u,u′,u″ are related by the transformation:

$\begin{array}{cc}x& =\alpha u+{\alpha }^{\prime }{u}^{\prime }+{\alpha }^{″}{u}^{″}\\ y& =\beta u+{\beta }^{\prime }{u}^{\prime }+{\beta }^{″}{u}^{″}\\ z& =\gamma u+{\gamma }^{\prime }{u}^{\prime }+{\gamma }^{″}{u}^{″}\\ \\ u& =-\alpha x-\beta y+\gamma z\\ u^{\prime }& ={\alpha }^{\prime }x+{\beta }^{\prime }y-{\gamma }^{\prime }z\\ u^{″}& ={\alpha }^{″}x+{\beta }^{″}y-{\gamma }^{″}z\end{array}|\begin{array}{cc}-\alpha \alpha -\beta \beta +\gamma \gamma & =1\\ -{\alpha }^{\prime }{\alpha }^{\prime }-{\beta }^{\prime }{\beta }^{\prime }+{\gamma }^{\prime }{\gamma }^{\prime }& =-1\\ -{\alpha }^{″}{\alpha }^{″}-{\beta }^{″}{\beta }^{″}+{\gamma }^{″}{\gamma }^{″}& =-1\\ -{\alpha }^{\prime }{\alpha }^{″}-{\beta }^{\prime }{\beta }^{″}+{\gamma }^{\prime }{\gamma }^{″}& =0\\ -{\alpha }^{″}\alpha -{\beta }^{″}\beta +{\gamma }^{″}\gamma & =0\\ -\alpha {\alpha }^{\prime }-\beta {\beta }^{\prime }+\gamma {\gamma }^{\prime }& =0\end{array}$

Template:Anchor Jacobi (1827, 1833/34) – Homogeneous coordinates

Following Gauss (1818), w:Carl Gustav Jacob Jacobi extended Gauss' transformation in 1827:

$\begin{array}{c}\cos P^2+\sin P^2\cos {\vartheta }^2+\sin P^2\sin {\vartheta }^2=1\\ k(\cos {\psi }^2+\sin {\psi }^2\cos {\phi }^2+\sin {\psi }^2\sin {\phi }^2-1)=0\\ \begin{array}{c}\mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}\cos P& =\frac{\alpha +{\alpha }^{\prime }\cos \psi +{\alpha }^{″}\sin \psi \cos \phi +{\alpha }^{‴}\sin \psi \sin \phi }{\delta +{\delta }^{\prime }\cos \psi +{\delta }^{″}\sin \psi \cos \phi +{\delta }^{‴}\sin \psi \sin \phi }\\ \sin P\cos \vartheta & =\frac{\beta +{\beta }^{\prime }\cos \psi +{\beta }^{″}\sin \psi \cos \phi +{\beta }^{‴}\sin \psi \sin \phi }{\delta +{\delta }^{\prime }\cos \psi +{\delta }^{″}\sin \psi \cos \phi +{\delta }^{‴}\sin \psi \sin \phi }\\ \sin P\sin \vartheta & =\frac{\gamma +{\beta }^{\prime }\cos \psi +{\gamma }^{″}\sin \psi \cos \phi +{\gamma }^{‴}\sin \psi \sin \phi }{\delta +{\delta }^{\prime }\cos \psi +{\delta }^{″}\sin \psi \cos \phi +{\delta }^{‴}\sin \psi \sin \phi }\\ \\ \cos \psi & =\frac{-{\delta }^{\prime }+{\alpha }^{\prime }\cos P+{\beta }^{\prime }\sin P\cos \vartheta +{\gamma }^{\prime }\sin P\sin \vartheta }{\delta -\alpha \cos P-\beta \sin P\cos \vartheta -\gamma \sin P\sin \vartheta }\\ \sin \psi \cos \phi & =\frac{-{\delta }^{″}+{\alpha }^{″}\cos P+{\beta }^{″}\sin P\cos \vartheta +{\gamma }^{″}\sin P\sin \vartheta }{\delta -\alpha \cos P-\beta \sin P\cos \vartheta -\gamma \sin P\sin \vartheta }\\ \sin \psi \sin \phi & =\frac{-{\delta }^{‴}+{\alpha }^{‴}\cos P+{\beta }^{‴}\sin P\cos \vartheta +{\gamma }^{‴}\sin P\sin \vartheta }{\delta -\alpha \cos P-\beta \sin P\cos \vartheta -\gamma \sin P\sin \vartheta }\end{array}\\ \\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}\alpha \mu +\beta x+\gamma y+\delta z& =m\\ {\alpha }^{\prime }\mu +{\beta }^{\prime }x+{\gamma }^{\prime }y+{\delta }^{\prime }z& =m^{\prime }\\ {\alpha }^{″}\mu +{\beta }^{″}x+{\gamma }^{″}y+{\delta }^{″}z& =m^{″}\\ {\alpha }^{‴}\mu +{\beta }^{‴}x+{\gamma }^{‴}y+{\delta }^{‴}z& =m^{‴}\\ \\ Am+A^{\prime }{m}^{\prime }+A^{″}{m}^{″}+A^{‴}{m}^{‴}& =\mu \\ Bm+B^{\prime }{m}^{\prime }+B^{″}{m}^{″}+B^{‴}{m}^{‴}& =x\\ Cm+C^{\prime }{m}^{\prime }+C^{″}{m}^{″}+C^{‴}{m}^{‴}& =y\\ Dm+D^{\prime }{m}^{\prime }+D^{″}{m}^{″}+D^{‴}{m}^{‴}& =z\\ \\ \end{array}\\ \begin{array}{cccccccc}\alpha & =-kA,& \beta & =-kB,& \gamma & =-kC,& \delta & =kD,\\ {\alpha }^{\prime }& =k{A}^{\prime },& {\beta }^{\prime }& =k{B}^{\prime },& {\gamma }^{\prime }& =k{C}^{\prime },& {\delta }^{\prime }& =-k{D}^{\prime },\\ {\alpha }^{″}& =k{A}^{″},& {\beta }^{″}& =k{B}^{″},& {\gamma }^{″}& =k{C}^{″},& {\delta }^{″}& =-k{D}^{″},\\ {\alpha }^{‴}& =k{A}^{‴},& {\beta }^{‴}& =k{B}^{‴},& {\gamma }^{‴}& =k{C}^{‴},& {\delta }^{‴}& =-k{D}^{‴},\end{array}\end{array}|\begin{array}{c}\begin{array}{cc}\alpha \alpha +\beta \beta +\gamma \gamma -\delta \delta & =-k\\ {\alpha }^{\prime }{\alpha }^{\prime }+{\beta }^{\prime }{\beta }^{\prime }+{\gamma }^{\prime }{\gamma }^{\prime }-{\delta }^{\prime }{\delta }^{\prime }& =k\\ {\alpha }^{″}{\alpha }^{″}+{\beta }^{″}{\beta }^{″}+{\gamma }^{″}{\gamma }^{″}-{\delta }^{″}{\delta }^{″}& =k\\ {\alpha }^{‴}{\alpha }^{‴}+{\beta }^{‴}{\beta }^{‴}+{\gamma }^{‴}{\gamma }^{‴}-{\delta }^{‴}{\delta }^{‴}& =k\\ \alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }+\gamma {\gamma }^{\prime }-\delta {\delta }^{\prime }& =0\\ \alpha {\alpha }^{″}+\beta {\beta }^{″}+\gamma {\gamma }^{″}-\delta {\delta }^{″}& =0\\ \alpha {\alpha }^{‴}+\beta {\beta }^{‴}+\gamma {\gamma }^{‴}-\delta {\delta }^{‴}& =0\\ {\alpha }^{″}{\alpha }^{‴}+{\beta }^{″}{\beta }^{‴}+{\gamma }^{″}{\gamma }^{‴}-{\delta }^{″}{\delta }^{‴}& =0\\ {\alpha }^{‴}{\alpha }^{\prime }+{\beta }^{‴}{\beta }^{\prime }+{\gamma }^{‴}{\gamma }^{\prime }-{\delta }^{‴}{\delta }^{\prime }& =0\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}+{\gamma }^{\prime }{\gamma }^{″}-{\delta }^{\prime }{\delta }^{″}& =0\\ \\ -\alpha \alpha +{\alpha }^{\prime }{\alpha }^{\prime }+{\alpha }^{″}{\alpha }^{″}+{\alpha }^{‴}{\alpha }^{‴}& =k\\ -\beta \beta +{\beta }^{\prime }{\beta }^{\prime }+{\beta }^{″}{\beta }^{″}+{\beta }^{‴}{\beta }^{‴}& =k\\ -\gamma \gamma +{\gamma }^{\prime }{\gamma }^{\prime }+{\gamma }^{″}{\gamma }^{″}+{\gamma }^{‴}{\gamma }^{‴}& =k\\ -\delta \delta +{\delta }^{\prime }{\delta }^{\prime }+{\delta }^{″}{\delta }^{″}+{\delta }^{‴}{\delta }^{‴}& =-k\\ -\alpha \beta +{\alpha }^{\prime }{\beta }^{\prime }+{\alpha }^{″}{\beta }^{″}+{\alpha }^{‴}{\beta }^{‴}& =0\\ -\alpha \gamma +{\alpha }^{\prime }{\gamma }^{\prime }+{\alpha }^{″}{\gamma }^{″}+{\alpha }^{‴}{\gamma }^{‴}& =0\\ -\alpha \delta +{\alpha }^{\prime }{\delta }^{\prime }+{\alpha }^{″}{\delta }^{″}+{\alpha }^{‴}{\delta }^{‴}& =0\\ -\beta \gamma +{\beta }^{\prime }{\gamma }^{\prime }+{\beta }^{″}{\gamma }^{″}+{\beta }^{‴}{\gamma }^{‴}& =0\\ -\gamma \delta +{\gamma }^{\prime }{\delta }^{\prime }+{\gamma }^{″}{\delta }^{″}+{\gamma }^{‴}{\delta }^{‴}& =0\\ -\delta \beta +{\delta }^{\prime }{\beta }^{\prime }+{\delta }^{″}{\beta }^{″}+{\delta }^{‴}{\beta }^{‴}& =0\end{array}\end{array}\end{array}$

Alternatively, in two papers from 1832 Jacobi started with an ordinary orthogonal transformation, and by using an imaginary substitution he arrived at Gauss' transformation (up to a sign change):

$\begin{array}{c}xx+yy+zz=ss+s^{\prime }{s}^{\prime }+s^{″}{s}^{″}=0\\ \mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}x& =\alpha s+{\alpha }^{\prime }{s}^{\prime }+{\alpha }^{″}{s}^{″}\\ y& =\beta s+{\beta }^{\prime }{s}^{\prime }+{\beta }^{″}{s}^{″}\\ z& =\gamma s+{\gamma }^{\prime }{s}^{\prime }+{\gamma }^{″}{s}^{″}\\ \\ s& =\alpha x+\beta y+\gamma z\\ s^{\prime }& ={\alpha }^{\prime }x+{\beta }^{\prime }y+{\gamma }^{\prime }z\\ s^{″}& ={\alpha }^{″}x+{\beta }^{″}y+{\gamma }^{″}z\end{array}|\begin{array}{cccc}\alpha \alpha +\beta \beta +\gamma \gamma & =1& \alpha \alpha +{\alpha }^{\prime }{\alpha }^{\prime }+{\alpha }^{″}{\alpha }^{″}& =1\\ {\alpha }^{\prime }{\alpha }^{\prime }+{\beta }^{\prime }{\beta }^{\prime }+{\gamma }^{\prime }{\gamma }^{\prime }& =1& \beta \beta +{\beta }^{\prime }{\beta }^{\prime }+{\beta }^{″}{\beta }^{″}& =1\\ {\alpha }^{″}{\alpha }^{″}+{\beta }^{″}{\beta }^{″}+{\gamma }^{″}{\gamma }^{″}& =1& \gamma \gamma +{\gamma }^{\prime }{\gamma }^{\prime }+{\gamma }^{″}{\gamma }^{″}& =1\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}+{\gamma }^{\prime }{\gamma }^{″}& =0& \beta \gamma +{\beta }^{\prime }{\gamma }^{\prime }+{\beta }^{″}{\gamma }^{″}& =0\\ {\alpha }^{″}\alpha +{\beta }^{″}\beta +{\gamma }^{″}\gamma & =0& \gamma \alpha +{\gamma }^{\prime }{\alpha }^{\prime }+{\gamma }^{″}{\alpha }^{″}& =0\\ \alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }+\gamma {\gamma }^{\prime }& =0& \alpha \beta +{\alpha }^{\prime }{\beta }^{\prime }+{\alpha }^{″}{\beta }^{″}& =0\end{array}\\ [\frac{y}{x},\frac{z}{x},\frac{s^{\prime }}{s},\frac{s^{″}}{s}]=[-i\cos \phi ,-i\sin \phi ,i\cos \eta ,i\sin \eta ]\\ [{\alpha }^{\prime },{\alpha }^{″},\beta ,\gamma ]=[i{\alpha }^{\prime },i{\alpha }^{″},-i\beta ,-i\gamma ]\\ \begin{array}{c}\mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{c}{(\alpha -{\alpha }^{\prime }\cos \eta -{\alpha }^{″}\sin \eta )}^2={(\beta -{\beta }^{\prime }\cos \eta -{\beta }^{″}\sin \eta )}^2+{(\gamma -{\gamma }^{\prime }\cos \eta -{\gamma }^{″}\sin \eta )}^2\\ {(\alpha -\beta \cos \varphi -\gamma \sin \varphi )}^2={({\alpha }^{\prime }-{\beta }^{\prime }\cos \varphi -{\gamma }^{\prime }\sin \varphi )}^2+{({\alpha }^{″}-{\beta }^{″}\cos \varphi -{\gamma }^{″}\sin \varphi )}^2\\ \begin{array}{cccc}\cos \varphi & =\frac{\beta -{\beta }^{\prime }\cos \eta -{\beta }^{″}\sin \eta }{\alpha -{\alpha }^{\prime }\cos \eta -{\alpha }^{″}\sin \eta },& \cos \eta & =\frac{{\alpha }^{\prime }-{\beta }^{\prime }\cos \varphi -{\gamma }^{\prime }\sin \varphi }{\alpha -\beta \cos \varphi -\gamma \sin \varphi }\\ \sin \varphi & =\frac{\gamma -{\gamma }^{\prime }\cos \eta -{\gamma }^{″}\sin \eta }{\alpha -{\alpha }^{\prime }\cos \eta -{\alpha }^{″}\sin \eta },& \sin \eta & =\frac{{\alpha }^{″}-{\beta }^{″}\cos \varphi -{\gamma }^{″}\sin \varphi }{\alpha -\beta \cos \varphi -\gamma \sin \varphi }\end{array}\end{array}\\ \\ \mathbf{(}\mathrm{𝟑}\mathbf{)}\begin{array}{c}1-zz-yy=\frac{1-s^{\prime }{s}^{\prime }-s^{″}{s}^{″}}{{(\alpha -{\alpha }^{\prime }{s}^{\prime }-{\alpha }^{″}{s}^{″})}^2}\\ \begin{array}{cccc}y& =\frac{\beta -{\beta }^{\prime }{s}^{\prime }-{\beta }^{″}{s}^{″}}{\alpha -{\alpha }^{\prime }{s}^{\prime }-{\alpha }^{″}{s}^{″}},& s^{\prime }& =\frac{{\alpha }^{\prime }-{\beta }^{\prime }y-{\gamma }^{\prime }z}{\alpha -\beta y-\gamma z},\\ z& =\frac{\gamma -{\gamma }^{\prime }{s}^{\prime }-{\gamma }^{″}{s}^{″}}{\alpha -{\alpha }^{\prime }{s}^{\prime }-{\alpha }^{″}{s}^{‴}},& s^{″}& =\frac{{\alpha }^{″}-{\beta }^{″}y-{\gamma }^{″}z}{\alpha -\beta y-\gamma z},\end{array}\end{array}\end{array}|\begin{array}{cc}\alpha \alpha -\beta \beta -\gamma \gamma & =1\\ {\alpha }^{\prime }{\alpha }^{\prime }-{\beta }^{\prime }{\beta }^{\prime }-{\gamma }^{\prime }{\gamma }^{\prime }& =-1\\ {\alpha }^{″}{\alpha }^{″}-{\beta }^{″}{\beta }^{″}-{\gamma }^{″}{\gamma }^{″}& =-1\\ {\alpha }^{\prime }{\alpha }^{″}-{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{″}& =0\\ {\alpha }^{″}\alpha -{\beta }^{″}\beta -{\gamma }^{″}\gamma & =0\\ \alpha {\alpha }^{\prime }-\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ \\ \alpha \alpha -{\alpha }^{\prime }{\alpha }^{\prime }-{\alpha }^{″}{\alpha }^{″}& =1\\ \beta \beta -{\beta }^{\prime }{\beta }^{\prime }-{\beta }^{″}{\beta }^{″}& =-1\\ \gamma \gamma -{\gamma }^{\prime }{\gamma }^{\prime }-{\gamma }^{″}{\gamma }^{″}& =-1\\ \beta \gamma -{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\\ \gamma \alpha -{\gamma }^{\prime }{\alpha }^{\prime }-{\gamma }^{″}{\alpha }^{″}& =0\\ \alpha \beta -{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\end{array}\end{array}$

Extending his previous result, Jacobi (1833) started with Cauchy's (1829) orthogonal transformation for n dimensions, and by using an imaginary substitution he formulated Gauss' transformation (up to a sign change) in the case of n dimensions:

$\begin{array}{c}{x}_1{x}_1+x_2{x}_2+\dots +x_n{x}_n=y_1{y}_1+y_2{y}_2+\dots +y_n{y}_n\\ \mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}{y}_{\varkappa }& ={\alpha }_1^{(\varkappa )}{x}_1+{\alpha }_2^{(\varkappa )}{x}_2+\dots +{\alpha }_n^{(\varkappa )}{x}_n\\ x_{\varkappa }& ={\alpha }_{\varkappa }^{\prime }{y}_1+{\alpha }_{\varkappa }^{\prime \prime }{y}_2+\dots +{\alpha }_{\varkappa }^{(n)}{y}_n\\ \\ \frac{y_{\varkappa }}{y_n}& =\frac{{\alpha }_1^{(\varkappa )}{x}_1+{\alpha }_2^{(\varkappa )}{x}_2+\dots +{\alpha }_n^{(\varkappa )}{x}_n}{{\alpha }_1^{(n)}{x}_1+{\alpha }_2^{(n)}{x}_2+\dots +{\alpha }_n^{(n)}{x}_n}\\ \frac{x_{\varkappa }}{x_n}& =\frac{{\alpha }_{\varkappa }^{\prime }{y}_1+{\alpha }_{\varkappa }^{\prime \prime }{y}_2+\dots +{\alpha }_{\varkappa }^{(n)}{y}_n}{{\alpha }_1^{(n)}{x}_1+{\alpha }_2^{(n)}{x}_2+\dots +{\alpha }_n^{(n)}{x}_n}\end{array}|\begin{array}{cc}{\alpha }_{\varkappa }^{\prime }{\alpha }_{\lambda }^{\prime }+{\alpha }_{\varkappa }^{\prime \prime }{\alpha }_{\lambda }^{\prime \prime }+\dots +{\alpha }_{\varkappa }^{(n)}{\alpha }_{\lambda }^{(n)}& =0\\ {\alpha }_{\varkappa }^{\prime }{\alpha }_{\varkappa }^{\prime }+{\alpha }_{\varkappa }^{\prime \prime }{\alpha }_{\varkappa }^{\prime \prime }+\dots +{\alpha }_{\varkappa }^{(n)}{\alpha }_{\varkappa }^{(n)}& =1\\ \\ {\alpha }_1^{(\varkappa )}{\alpha }_1^{(\lambda )}+{\alpha }_2^{(\varkappa )}{\alpha }_2^{(\lambda )}+\dots +{\alpha }_n^{(\varkappa )}{\alpha }_n^{(\lambda )}& =0\\ {\alpha }_1^{(\varkappa )}{\alpha }_1^{(\varkappa )}+{\alpha }_2^{(\varkappa )}{\alpha }_2^{(\varkappa )}+\dots +{\alpha }_n^{(\varkappa )}{\alpha }_n^{(\varkappa )}& =1\end{array}\\ \frac{x_{\varkappa }}{x_n}=-i{\xi }_{\varkappa },\frac{y_{\varkappa }}{y_n}=i{\nu }_{\varkappa }\\ 1-{\xi }_1{\xi }_1-{\xi }_2{\xi }_2-\dots -{\xi }_{n-1}{\xi }_{n-1}=\frac{y_n{y}_n}{x_n{x}_n}(1-{\nu }_1{\nu }_1-{\nu }_2{\nu }_2-\dots -{\nu }_{n-1}{\nu }_{n-1})\\ {\alpha }_n^{(\varkappa )}=i{\alpha }^{(\varkappa )},{\alpha }_{\varkappa }^{(n)}=-i{\alpha }_{\varkappa },{\alpha }_n^{(n)}=\alpha \\ 1-{\xi }_1{\xi }_1-{\xi }_2{\xi }_2-\dots -{\xi }_{n-1}{\xi }_{n-1}=\frac{1-{\nu }_1{\nu }_1-{\nu }_2{\nu }_2-\dots -{\nu }_{n-1}{\nu }_{n-1}}{{[\alpha -{\alpha }^{\prime }{\nu }_1-{\alpha }^{\prime \prime }{\nu }_2\dots -{\alpha }^{(n-1)}{\nu }_{n-1}]}^2}\\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}{\nu }_{\varkappa }& =\frac{{\alpha }^{(\varkappa )}-{\alpha }_1^{(\varkappa )}{\xi }_1-{\alpha }_2^{(\varkappa )}{\xi }_2\dots -{\alpha }_{n-1}^{(\varkappa )}{\xi }_{n-1}}{\alpha -{\alpha }_1{\xi }_1-{\alpha }_2{\xi }_2\dots -{\alpha }_{n-1}{\xi }_{n-1}}\\ \\ {\xi }_{\varkappa }& =\frac{{\alpha }_{\varkappa }-{\alpha }_{\varkappa }^{\prime }{\nu }_1-{\alpha }_2^{\prime \prime }{\nu }_2\dots -{\alpha }_{\varkappa }^{(n-1)}{\nu }_{n-1}}{\alpha -{\alpha }^{\prime }{\nu }_1-{\alpha }^{\prime \prime }{\nu }_2\dots -{\alpha }^{(n-1)}{\nu }_{n-1}}\end{array}\\ {\xi }_1{\xi }_1-{\xi }_2{\xi }_2-\dots -{\xi }_{n-1}{\xi }_{n-1}=1\Rightarrow {\nu }_1{\nu }_1-{\nu }_2{\nu }_2-\dots -{\nu }_{n-1}{\nu }_{n-1}=1\end{array}$

He also stated the following transformation leaving invariant the Lorentz interval:

$\begin{array}{c}uu-u_1{u}_1-u_2{u}_2-\dots -u_{n-1}{u}_{n-1}=ww-w_1{w}_1-w_2{w}_2-\dots -w_{n-1}{w}_{n-1}\\ \begin{array}{cc}u& =\alpha w-{\alpha }^{\prime }{w}_1-{\alpha }^{″}{w}_2-\dots -{\alpha }^{(n-1)}{w}_{n-1}\\ u_1& ={\alpha }_{1}w-{\alpha }_1^{\prime }{w}_1-{\alpha }_1^{\prime \prime }{w}_2-\dots -{\alpha }_1^{(n-1)}{w}_{n-1}\\ & \dots \\ u_{n-1}& ={\alpha }_{n-1}w-{\alpha }_{n-1}^{\prime }{w}_1-{\alpha }_{n-1}^{\prime \prime }{w}_2-\dots -{\alpha }_{n-1}^{(n-1)}{w}_{n-1}\\ \\ w& =\alpha u-{\alpha }_1{u}_1-{\alpha }_2^{\prime \prime }{u}_2-\dots -{\alpha }_{n-1}{u}_{n-1}\\ w_1& ={\alpha }^{\prime }u-{\alpha }_1^{\prime }{u}_1-{\alpha }_2^{\prime }{u}_2-\dots -{\alpha }_{n-1}^{\prime }{u}_{n-1}\\ & \dots \\ w_{n-1}& ={\alpha }^{(n-1)}u-{\alpha }_1^{(n-1)}{u}_1-{\alpha }_2^{(n-1)}{u}_2-\dots -{\alpha }_{n-1}^{(n-1)}{u}_{n-1}\end{array}|\begin{array}{cc}\alpha \alpha -{\alpha }^{\prime }{\alpha }^{\prime }-{\alpha }^{″}{\alpha }^{″}\dots -{\alpha }^{(n-1)}{\alpha }^{(n-1)}& =+1\\ {\alpha }_{\varkappa }{\alpha }_{\varkappa }-{\alpha }_{\varkappa }^{\prime }{\alpha }_{\varkappa }^{\prime }-{\alpha }_{\varkappa }^{\prime \prime }{\alpha }_{\varkappa }^{\prime \prime }\dots -{\alpha }_{\varkappa }^{(n-1)}{\alpha }_{\varkappa }^{(n-1)}& =-1\\ \alpha {\alpha }_{\varkappa }-{\alpha }^{\prime }{\alpha }_{\varkappa }^{\prime }-{\alpha }^{\prime \prime }{\alpha }_{\varkappa }^{\prime \prime }\dots -{\alpha }^{(n-1)}{\alpha }_{\varkappa }^{(n-1)}& =0\\ {\alpha }_{\varkappa }{\alpha }_{\lambda }-{\alpha }_{\varkappa }^{\prime }{\alpha }_{\lambda }^{\prime }-{\alpha }_{\varkappa }^{\prime \prime }{\alpha }_{\lambda }^{\prime \prime }\dots -{\alpha }_{\varkappa }^{(n-1)}{\alpha }_{\lambda }^{(n-1)}& =0\\ \\ \alpha \alpha -{\alpha }_1{\alpha }_1-{\alpha }_2{\alpha }_2\dots -{\alpha }_{n-1}{\alpha }_{n-1}& =+1\\ {\alpha }_{\varkappa }{\alpha }_{\varkappa }-{\alpha }_1^{\varkappa }{\alpha }_1^{\varkappa }-{\alpha }_2^{\prime \prime }{\alpha }_2^{\prime \prime }\dots -{\alpha }_{n-1}^{(\varkappa )}{\alpha }_{n-1}^{(\varkappa )}& =-1\\ \alpha {\alpha }^{(\varkappa )}-{\alpha }_1{\alpha }_1^{(\varkappa )}-{\alpha }_2{\alpha }_2^{(\varkappa )}\dots -{\alpha }_{n-1}{\alpha }_{n-1}^{(\varkappa )}& =0\\ {\alpha }^{(\varkappa )}{\alpha }^{(\lambda )}-{\alpha }_1^{(\varkappa )}{\alpha }_1^{\lambda l)}-{\alpha }_2^{(\varkappa )}{\alpha }_2^{(\lambda )}\dots -{\alpha }_{n-1}^{(\varkappa )}{\alpha }_{n-1}^{(\lambda )}& =0\end{array}\end{array}$

Template:Anchor Chasles (1829) – Conjugate hyperboloids

w:Michel Chasles (1829) independently introduced the same equation systems as Gauss (1818) and Jacobi (1827), albeit in the different context of conjugate hyperboloids. He started with two equation systems (a) and (b) from which he derived systems (c), (d) and others:

$\begin{array}{cc}\begin{array}{cc}{\alpha }^2+{\beta }^2-{\gamma }^2& =1\\ {\alpha }^{\prime 2}+{\beta }^{\prime 2}-{\gamma }^{\prime 2}& =1\\ {\alpha }^{\prime \prime 2}+{\beta }^{\prime \prime 2}-{\gamma }^{\prime \prime 2}& =-1\end{array}\}& \dots (a)\\ \\ \begin{array}{cc}\alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ \alpha {\alpha }^{″}+\beta {\beta }^{″}-\gamma {\gamma }^{″}& =0\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{\prime }& =0\end{array}\}& \dots (b)\\ \\ \begin{array}{cc}{\alpha }^2+{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =1\\ {\beta }^2+{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =1\\ {\gamma }^2+{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =-1\end{array}\}& \dots (c)\\ \\ \begin{array}{cc}\alpha \beta +{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\\ \alpha \gamma +{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ \beta \gamma +{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\end{array}\}& \dots (d)\end{array}$

He noted that those quantities become the “frequently employed” formulas of Lagrange [i.e. the coefficients of the Euclidean orthogonal transformation first given by [[../Lorentz transformation (imaginary)#Euler|E:Euler (1771)]]] by setting:

$\begin{array}{c}\gamma \Rightarrow -\gamma \sqrt{-1}\\ {\gamma }^{\prime }\Rightarrow -{\gamma }^{\prime }\sqrt{-1}\\ {\alpha }^{″}\Rightarrow {\alpha }^{″}\sqrt{-1}\\ {\beta }^{″}\Rightarrow {\beta }^{″}\sqrt{-1}\end{array}$

Chasles now showed that equation systems (a,b,c,d) are of importance when discussing the relations between conjugate diameters of hyperboloids. He used the equations of a one-sheet hyperboloid and of a two-sheet hyperboloid having the same principal axes (x,y,z), thus sharing the same conjugate axes, and having the common asymptotic cone $\frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=0$. He then transformed those two hyperboloids to new axes (x',y',z') sharing the property of conjugacy:

$\begin{array}{c}\frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1\\ \frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=-1\\ \begin{array}{cc}x& =l{x}^{\prime }+l^{\prime }{y}^{\prime }+l^{″}{z}^{\prime }\\ y& =m{x}^{\prime }+m^{\prime }{y}^{\prime }+m^{″}{z}^{\prime }\\ z& =n{x}^{\prime }+n^{\prime }{y}^{\prime }+n^{″}{z}^{\prime }\end{array}\\ \left\{\begin{array}{cc}\frac{l{l}^{\prime }}{a{}^2}+\frac{m{m}^{\prime }}{b^2}-\frac{n{n}^{\prime }}{c^2}& =0\\ \frac{l{l}^{″}}{a{}^2}+\frac{m{m}^{″}}{b^2}-\frac{n{n}^{″}}{c^2}& =0\\ \frac{l^{\prime }{l}^{″}}{a{}^2}+\frac{m^{\prime }{m}^{″}}{b^2}-\frac{n^{\prime }{n}^{″}}{c^2}& =0\end{array}\right\}\\ (\frac{l^2}{a{}^2}+\frac{m^2}{b^2}-\frac{n^2}{c^2})x^{\prime 2}+(\frac{l^{\prime 2}}{a{}^2}+\frac{m^{\prime 2}}{b^2}-\frac{n^{\prime 2}}{c^2})y^{\prime 2}+(\frac{l^{\prime \prime 2}}{a{}^2}+\frac{m^{\prime \prime 2}}{b^2}-\frac{n^{\prime \prime 2}}{c^2})z^{\prime 2}=1\\ (\frac{l^2}{a{}^2}+\frac{m^2}{b^2}-\frac{n^2}{c^2})x^{\prime 2}+(\frac{l^{\prime 2}}{a{}^2}+\frac{m^{\prime 2}}{b^2}-\frac{n^{\prime 2}}{c^2})y^{\prime 2}+(\frac{l^{\prime \prime 2}}{a{}^2}+\frac{m^{\prime \prime 2}}{b^2}-\frac{n^{\prime \prime 2}}{c^2})z^{\prime 2}=-1\end{array}$

He went on to use two semi-diameters of the one-sheet hyperboloid and one semi-diameter of the two-sheet hyperboloid in order to define equation system (A), and went on to suggest that the other equations related to this system can be obtained using the above transformation from oblique coordinates to other oblique ones, but he deemed it more simple to use a geometric argument to obtain system (B), which together with (A) then allowed him to algebraically determine systems (C), (D) and additional ones, leading Chasles to announce that “from these formulas one can very easily conclude the various properties of conjugated diameters of hyperboloids”:

$\begin{array}{cc}\begin{array}{cc}{\alpha }^2+{\beta }^2-{\gamma }^2& =a^2\\ {\alpha }^{\prime 2}+{\beta }^{\prime 2}-{\gamma }^{\prime 2}& =b^2\\ {\alpha }^{\prime \prime 2}+{\beta }^{\prime \prime 2}-{\gamma }^{\prime \prime 2}& =-c^2\end{array}\}& \dots (A)\\ \begin{array}{cc}\alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ \alpha {\alpha }^{″}+\beta {\beta }^{″}-\gamma {\gamma }^{″}& =0\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{\prime }& =0\end{array}\}& \dots (B)\\ \begin{array}{cc}{\alpha }^2+{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =a^2\\ {\beta }^2+{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =b^2\\ {\gamma }^2+{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =-c^2\end{array}\}& \dots (C)\\ \begin{array}{cc}\alpha \beta +{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\\ \alpha \gamma +{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ \beta \gamma +{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\end{array}\}& \dots (D)\end{array}$

Template:Anchor Lebesgue (1837) – Homogeneous coordinates

w:Victor-Amédée Lebesgue (1837) summarized the previous work of Gauss (1818), Jacobi (1827, 1833), Cauchy (1829). He started with the orthogonal transformation

$\begin{array}{c}{x}_1^2+x_2^2+\dots +x_n^2=y_1^2+y_2^2+\dots +y_n^2(9)\\ \begin{array}{cc}{x}_1& =a_{1,1}{y}_1+a_{1,2}{y}_2+\dots +a_{1,n}{y}_n\\ x_2& =a_{2,1}{y}_1+a_{2,2}{y}_2+\dots +a_{2,n}{y}_n\\ \dots \\ x_n& =a_{n,1}{x}_1+a_{n,2}{x}_2+\dots +a_{n,n}{x}_n\\ \\ y_1& =a_{1,1}{x}_1+a_{2,1}{x}_2+\dots +a_{n,1}{x}_n\\ y_2& =a_{1,2}{x}_1+a_{2,2}{x}_2+\dots +a_{n,2}{x}_n(12)\\ \dots \\ y_n& =a_{1,n}{x}_1+a_{2,n}{x}_2+\dots +a_{n,n}{x}_n\end{array}|\begin{array}{ccc}{a}_{1,\alpha }^2+a_{2,\alpha }^2+\dots +a_{n,\alpha }^2& =1& (10)\\ a_{1,\alpha }{a}_{1,\beta }+a_{2,\alpha }{a}_{2,\beta }+\dots +a_{n,\alpha }{a}_{n,\beta }& =0& (11)\\ a_{\alpha ,1}^2+a_{\alpha ,2}^2+\dots +a_{\alpha ,n}^2& =1& (13)\\ a_{\alpha ,1}{a}_{\beta ,1}+a_{\alpha ,2}{a}_{\beta ,2}+\dots +a_{\alpha ,n}{a}_{\beta ,n}& =0& (14)\end{array}\end{array}$

In order to achieve the invariance of the Lorentz interval

$x_1^2+x_2^2+\dots +x_{n-1}^2-x_n^2=y_1^2+y_2^2+\dots +y_{n-1}^2-y_n^2$

he gave the following instructions as to how the previous equations shall be modified: In equation (9) change the sign of the last term of each member. In the first n-1 equations of (10) change the sign of the last term of the left-hand side, and in the one which satisfies α=n change the sign of the last term of the left-hand side as well as the sign of the right-hand side. In all equations (11) the last term will change sign. In equations (12) the last terms of the right-hand side will change sign, and so will the left-hand side of the n-th equation. In equations (13) the signs of the last terms of the left-hand side will change, moreover in the n-th equation change the sign of the right-hand side. In equations (14) the last terms will change sign.

He went on to redefine the variables of the Lorentz interval and its transformation:

$\begin{array}{c}{x}_1^2+x_2^2+\dots +x_{n-1}^2-x_n^2=y_1^2+y_2^2+\dots +y_{n-1}^2-y_n^2\\ \downarrow \\ \begin{array}{cccccc}{x}_1& =x_n\cos {\theta }_1,& x_2& =x_n\cos {\theta }_2,\dots & x_{n-1}& =x_n\cos {\theta }_{n-1}\\ y_1& =y_n\cos {\varphi }_1,& y_2& =y_n\cos {\varphi }_2,\dots & y_{n-1}& =y_n\cos {\varphi }_{n-1}\end{array}\\ \downarrow \\ {\cos }^2{\theta }_1+{\cos }^2{\theta }_2+\dots +{\cos }^2{\theta }_{n-1}=1\\ {\cos }^2{\varphi }_1+{\cos }^2{\varphi }_2+\dots +{\cos }^2{\varphi }_{n-1}=1\\ \\ \cos {\theta }_i=\frac{a_{i,1}\cos {\varphi }_1+a_{i,2}\cos {\varphi }_2+\dots +a_{i,n-1}\cos {\varphi }_{n-1}+a_{i,n}}{a_{n,1}\cos {\varphi }_1+a_{n,2}\cos {\varphi }_2+\dots +a_{n,n-1}\cos {\varphi }_{n-1}+a_{n,n}}\\ (i=1,2,3\dots n)\end{array}$

Template:Anchor Weddle (1847) – Conjugate hyperboloids

Very similar to Chasles (1829), though without reference to him, w:Thomas Weddle discussed conjugate hyperboloids using the following equation system (α), from which he derived equations (β) and others:

$\begin{array}{cc}\begin{array}{cccc}{l}_1^2+m_1^2-n_1^2& =1,& l_1{l}_2+m_1{m}_2-n_1{n}_2& =0\\ l_2^2+m_2^2-n_2^2& =1,& l_1{l}_3+m_1{m}_3-n_1{n}_3& =0\\ l_3^2+m_3^2-n_3^2& =-1,& l_2{l}_3+m_2{m}_3-n_2{n}_3& =0\end{array}\}& \dots (\alpha )\\ \\ \begin{array}{cccc}{l}_1^2+l_2^2-l_3^2& =1,& l_1{m}_1+l_2{m}_2-l_3{m}_3& =0\\ m_1^2+m_2^2-m_3^2& =1,& l_1{n}_1+l_2{n}_2-l_3{n}_3& =0\\ n_1^2+n_2^2-n_3^2& =-1,& m_1{n}_1+m_2{n}_2-m_3{n}_3& =0\end{array}\}& \dots (\beta )\end{array}$

Using the equations of a one-sheet hyperboloid and of a two-sheet hyperboloid sharing the same conjugate axes, and having the common asymptotic cone $\frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=0$, he defined three conjugate points $(x_1\dots ,y_1\dots ,z_1\dots )$ on those two conjugate hyperboloids, related to each other in the same way as equations (α, β) stated above:

$\begin{array}{c}\frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=1\\ \frac{x^2}{a{}^2}+\frac{y^2}{b^2}-\frac{z^2}{c^2}=-1\\ \begin{array}{cc}\frac{x_1{x}_2}{a{}^2}+\frac{y_1{y}_2}{b^2}-\frac{z_1{z}_2}{c^2}& =0\\ \frac{x_1{x}_3}{a{}^2}+\frac{y_1{y}_3}{b^2}-\frac{z_1{z}_3}{c^2}& =0\\ \frac{x_2{x}_3}{a{}^2}+\frac{y_2{y}_3}{b^2}-\frac{z_2{z}_3}{c^2}& =0\end{array}\begin{array}{cc}\frac{x_1^2}{a{}^2}+\frac{y_1^2}{b^2}-\frac{z_1^2}{c^2}& =1\\ \frac{x_2^2}{a{}^2}+\frac{y_2^2}{b^2}-\frac{z_2^2}{c^2}& =1\\ \frac{x_3^2}{a{}^2}+\frac{y_3^2}{b^2}-\frac{z_3^2}{c^2}& =-1\end{array}\\ \begin{array}{cc}{x}_1^2+x_2^2-x_3^2& =a^2\\ y_1^2+y_2^2-y_3^2& =b^2\\ z_1^2+z_2^2-z_3^2& =-c^2\end{array}\begin{array}{cc}{x}_1{y}_1+x_2{y}_2-x_3{y}_3& =0\\ x_1{z}_1+x_2{z}_2-x_3{z}_3& =0\\ y_1{z}_1+y_2{z}_2-y_3{z}_3& =0\end{array}\end{array}$

Template:Anchor Bour (1856) – Homogeneous coordinates

Following Gauss (1818), w:Edmond Bour (1856) wrote the transformations:

$\begin{array}{c}{\cos }^{2}E+{\sin }^{2}E-1=k({\cos }^{2}T+{\sin }^{2}T-1)\\ \begin{array}{c}\mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}\cos E& =\frac{\alpha +{\alpha }^{\prime }\cos T+{\alpha }^{″}\sin T}{\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T}\\ \sin E& =\frac{\beta +{\beta }^{\prime }\cos T+{\beta }^{″}\sin T}{\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T}\end{array}\\ \\ k=+1\\ t=\gamma +{\gamma }^{\prime }\cos T+{\gamma }^{″}\sin T,\\ 1=u,\cos T=u^{\prime },\sin T=u^{\prime },\\ t=z,t\cos E=x,t\sin E=y\\ \downarrow \\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}x& =\alpha u+{\alpha }^{\prime }{u}^{\prime }+{\alpha }^{″}{u}^{″}\\ y& =\beta u+{\beta }^{\prime }{u}^{\prime }+{\beta }^{″}{u}^{″}\\ z& =\gamma u+{\gamma }^{\prime }{u}^{\prime }+{\gamma }^{″}{u}^{″}\\ \\ u& =\gamma z-\alpha x-\beta y\\ u^{\prime }& ={\alpha }^{\prime }x+{\beta }^{\prime }{y}^{\prime }-{\gamma }^{\prime }z\\ u^{″}& ={\alpha }^{″}x+{\beta }^{″}y-{\gamma }^{″}z\end{array}\end{array}|\begin{array}{cc}-{\alpha }^2-{\beta }^2+{\gamma }^2& =k\\ -{\alpha }^{\prime 2}-{\beta }^{\prime 2}+{\gamma }^{\prime 2}& =-k\\ -{\alpha }^{\prime \prime 2}-{\beta }^{\prime \prime 2}+{\gamma }^{\prime \prime 2}& =-k\\ \alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ \alpha {\alpha }^{″}+\beta {\beta }^{″}-\gamma {\gamma }^{″}& =0\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{″}& =0\\ \\ {\alpha }^2-{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =-k\\ {\beta }^2-{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =-k\\ {\gamma }^2-{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =k\\ \beta \gamma -{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\\ \alpha \gamma -{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ \alpha \beta -{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\end{array}\end{array}$

Template:Anchor Somov (1863) – Homogeneous coordinates

Following Gauss (1818), Jacobi (1827, 1833), and Bour (1856), w:Osip Ivanovich Somov (1863) wrote the transformation systems:

$\begin{array}{c}\begin{array}{cc}\cos \varphi & =\frac{m\cos \psi +n\sin \psi +s}{m^{″}\cos \psi +n^{″}\sin \psi +s^{″}}\\ \sin \varphi & =\frac{m^{\prime }\cos \psi +n^{\prime }\sin \psi +s^{\prime }}{m^{″}\cos \psi +n^{″}\sin \psi +s^{″}}\end{array}|\begin{array}{c}{\cos }^2\varphi +{\cos }^2\varphi =1\\ {\cos }^2\psi +{\cos }^2\psi =1\end{array}\\ \mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cccc}\cos \varphi & =x,& \cos \psi & =x^{\prime }\\ \sin \varphi & =y,& \sin \psi & =y^{\prime }\end{array}\left|\begin{array}{cc}x& =\frac{m{x}^{\prime }+n{y}^{\prime }+s}{m^{″}{x}^{\prime }+n^{″}{y}^{\prime }+s^{″}}\\ y& =\frac{m^{\prime }{x}^{\prime }+n^{\prime }{y}^{\prime }+s^{\prime }}{m^{″}{x}^{\prime }+n^{″}{y}^{\prime }+s^{″}}\end{array}\right|\begin{array}{c}{x}^2+y^2=1\\ x^{\prime 2}+y^{\prime 2}=1\end{array}\\ \begin{array}{cccc}\cos \varphi & =\frac{x}{z},& \cos \psi & =\frac{x^{\prime }}{z^{\prime }}\\ \sin \varphi & =\frac{y}{z},& \sin \psi & =\frac{y^{\prime }}{z^{\prime }}\end{array}\left|\begin{array}{cc}\frac{x}{z}& =\frac{m{x}^{\prime }+n{y}^{\prime }+s{z}^{\prime }}{m^{″}{x}^{\prime }+n^{″}{y}^{\prime }+s^{″}{z}^{\prime }}\\ \frac{y}{z}& =\frac{m^{\prime }{x}^{\prime }+n^{\prime }{y}^{\prime }+s^{\prime }{z}^{\prime }}{m^{″}{x}^{\prime }+n^{″}{y}^{\prime }+s^{″}{z}^{\prime }}\end{array}\right|\begin{array}{c}{x}^2+y^2=z^2\\ x^{\prime 2}+y^{\prime 2}=z^{\prime 2}\end{array}\\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}x& =m{x}^{\prime }+n{y}^{\prime }+s{z}^{\prime }\\ y& =m^{\prime }{x}^{\prime }+n^{\prime }{y}^{\prime }+s^{\prime }{z}^{\prime }\\ z& =m^{″}{x}^{\prime }+n^{″}{y}^{\prime }+s^{″}{z}^{\prime }\\ \\ x^{\prime }& =mx+m^{\prime }y-m^{″}z\\ y^{\prime }& =nx+n^{\prime }y-n^{″}z\\ z^{\prime }& =-sx-s^{\prime }y+s^{″}z\\ \\ dx& =md{x}^{\prime }+nd{y}^{\prime }+sd{z}^{\prime }\\ dy& =m^{\prime }d{x}^{\prime }+n^{\prime }d{y}^{\prime }+s^{\prime }d{z}^{\prime }\\ dz& =m^{″}d{x}^{\prime }+n^{″}d{y}^{\prime }+s^{″}d{z}^{\prime }\end{array}|\begin{array}{cc}{m}^2+m^{\prime 2}-m^{\prime \prime 2}& =1\\ n^2+n^{\prime 2}-n^{\prime \prime 2}& =1\\ -s^2-s^{\prime 2}+s^{\prime \prime 2}& =1\\ ns+n^{\prime }{s}^{\prime }-n^{″}{s}^{″}& =0\\ sm+s^{\prime }{m}^{\prime }-s^{″}{m}^{″}& =0\\ mn+m^{\prime }{n}^{\prime }-m^{″}{n}^{″}& =0\\ \\ m^2+n^2-s^2& =1\\ m^{\prime 2}+n^{\prime 2}-s^{\prime 2}& =1\\ -m^{\prime \prime 2}-n^{\prime \prime 2}+s^{\prime \prime 2}& =1\\ -m^{\prime }{m}^{″}-n^{\prime }{n}^{″}+s^{\prime }{s}^{″}& =0\\ -m^{″}m-n^{″}n+s^{″}s& =0\\ m{m}^{\prime }+n{n}^{\prime }-s{s}^{\prime }& =0\end{array}\\ d{x}^2+d{y}^2-d{z}^2=d{x}^{\prime 2}+d{y}^{\prime 2}-d{z}^{\prime 2}\end{array}$

Template:Anchor Klein (1871-73) – Cayley absolute and non-Euclidean geometry

Elaborating on w:Arthur Cayley's (1859) definition of an "absolute" (w:Cayley–Klein metric), w:Felix Klein (1871) defined a "fundamental w:conic section" in order to discuss motions such as rotation and translation in the non-Euclidean plane. This was elaborated in (1873) when he pointed out that hyperbolic geometry in terms of a surface of constant negative curvature can be related to a quadratic equation, which can be transformed into a sum of squares of which one square has a different sign, and can also be related to the interior of a surface of second degree corresponding to a two-sheet w:hyperboloid.

Template:Anchor Killing (1878–1893)

Template:Anchor Weierstrass coordinates

w:Wilhelm Killing (1878–1880) described non-Euclidean geometry by using Weierstrass coordinates (named after w:Karl Weierstrass who described them in lectures in 1872 which Killing attended) obeying the form

$k^2{t}^2+u^2+v^2+w^2=k^2$ with $d{s}^2=k^{2}d{t}^2+d{u}^2+d{v}^2+d{w}^2$

or

$k^2{x}_0^2+x_1^2+\dots +x_n^2=k^2$

where k is the reciprocal measure of curvature, $k^2=\mathrm{\infty }$ denotes w:Euclidean geometry, $k^2>0$ w:elliptic geometry, and $k^2<0$ hyperbolic geometry. In (1877/78) he pointed out the possibility and some characteristics of a transformation (indicating rigid motions) preserving the above form. In (1879/80) he tried to formulate the corresponding transformations by plugging $k^2$ into a general rotation matrix:

$\begin{array}{c}{k}^2{u}^2+v^2+w^2=k^2\\ \begin{array}{ccc}\cos \eta \tau +{\lambda }^2\frac{1-\cos \eta \tau }{{\eta }^2},& \nu \frac{\sin \eta \tau }{\eta }+\lambda \mu \frac{1-\cos \eta \tau }{{\eta }^2},& -\mu \frac{\sin \eta \tau }{\eta }+\nu \lambda \frac{1-\cos \eta \tau }{{\eta }^2}\\ -k^2\nu \frac{\sin \eta \tau }{\eta }+k^2\lambda \mu \frac{1-\cos \eta \tau }{{\eta }^2},& \cos \eta \tau +{\mu }^2\frac{1-\cos \eta \tau }{{\eta }^2},& \lambda \frac{\sin \eta \tau }{\eta }+k^2\mu \nu \frac{1-\cos \eta \tau }{{\eta }^2}\\ k^2\mu \frac{\sin \eta \tau }{\eta }+k^2\nu \lambda \frac{1-\cos \eta \tau }{{\eta }^2},& -\lambda \frac{\sin \eta \tau }{\eta }+k^2\mu \nu \frac{1-\cos \eta \tau }{{\eta }^2},& \cos \eta \tau +{\nu }^2\frac{1-\cos \eta \tau }{{\eta }^2}\end{array}\\ ({\lambda }^2+k^2{\mu }^2+k^2{\nu }^2={\eta }^2)\end{array}$

In (1885) he wrote the Weierstrass coordinates and their transformation as follows:

$\begin{array}{c}{k}^2{p}^2+x^2+y^2=k^2\\ k^2{p}^2+x^2+y^2=k^2{p}^{\prime 2}+x^{\prime 2}+y^{\prime 2}\\ d{s}^2=k^{2}d{p}^2+d{x}^2+d{y}^2\\ \begin{array}{cc}{k}^2{p}^{\prime }& =k^{2}wp+w^{\prime }x+w^{″}y\\ x^{\prime }& =ap+a^{\prime }x+a^{″}y\\ y^{\prime }& =bp+b^{\prime }x+b^{″}y\\ \\ k^{2}p& =k^{2}w{p}^{\prime }+a{x}^{\prime }+b{y}^{\prime }\\ x& =w^{\prime }{p}^{\prime }+a^{\prime }x+b^{\prime }{y}^{\prime }\\ y& =w^{″}{p}^{\prime }+a^{″}{x}^{\prime }+b^{″}{y}^{\prime }\end{array}|\begin{array}{cc}{k}^2{w}^2+w^{\prime 2}+w^{\prime \prime 2}& =k^2\\ \frac{a^2}{k^2}+a^{\prime 2}+a^{\prime \prime 2}& =1\\ \frac{b^2}{k^2}+b^{\prime 2}+b^{\prime \prime 2}& =1\\ aw+a^{\prime }{w}^{\prime }+a^{″}{w}^{″}& =0\\ bw+b^{\prime }{w}^{\prime }+b^{″}{w}^{″}& =0\\ \frac{ab}{k^2}+a^{\prime }{b}^{\prime }+a^{″}{b}^{″}& =0\\ \\ k^2{w}^2+a^2+b^2& =k^2\\ \frac{w^{\prime 2}}{k^2}+a^{\prime 2}+b^{\prime 2}& =1\\ \frac{w^{\prime \prime 2}}{k^2}+a^{\prime \prime 2}+b^{\prime \prime 2}& =1\\ w{w}^{\prime }+a{a}^{\prime }+b{b}^{\prime }& =0\\ w{w}^{″}+a{a}^{″}+b{b}^{″}& =0\\ \frac{w^{\prime }{w}^{″}}{k^2}+a^{\prime }{a}^{″}+b^{\prime }{b}^{″}& =0\end{array}\end{array}$

In (1885) he also gave the transformation for n dimensions:

$\begin{array}{c}{k}^2{x}_0^2+x_1^2+\dots +x_n^2=k^2\\ d{s}^2=k^{2}d{x}_0^2+d{x}_1^2+\dots +d{x}_n^2\\ \begin{array}{cc}{k}^2{\xi }_0& =k^2{a}_{00}{x}_0+a_{01}{x}_1+\dots +a_{0n}{x}_0\\ {\xi }_{\varkappa }& =a_{\varkappa 0}{x}_0+a_{\varkappa 1}{x}_1+\dots +a_{\varkappa n}{x}_n\\ \\ k^2{x}_0& =a_{00}{k}^2{\xi }_0+a_{10}{\xi }_1+\dots +a_{n0}{\xi }_n\\ x_{\varkappa }& =a_{0\varkappa }{\xi }_0+a_{1\varkappa }{\xi }_1+\dots +a_{n\varkappa }{\xi }_n\end{array}|\begin{array}{cc}{k}^2{a}_{00}^2+a_{10}^2+\dots +a_{n0}^2& =k^2\\ a_{00}{a}_{0\varkappa }+a_{10}{a}_{1\varkappa }+\dots +a_{n0}{a}_{n\varkappa }& =0\\ \frac{a_{0\iota }{a}_{0\varkappa }}{k^2}+a_{0\iota }{a}_{1\varkappa }+\dots +a_{n\iota }{a}_{n\varkappa }={\delta }_{\iota \kappa }& =1(\iota =\kappa )\text{or}0(\iota \ne \kappa )\end{array}\end{array}$

In (1885) he applied his transformations to mechanics and defined four-dimensional vectors of velocity and force. Regarding the geometrical interpretation of his transformations, Killing argued in (1885) that by setting $k^2=-1$ and using p,x,y as rectangular space coordinates, the hyperbolic plane is mapped on one side of a two-sheet hyperboloid $p^2-x^2-y^2=1$ (known as w:hyperboloid model), by which the previous formulas become equivalent to Lorentz transformations and the geometry becomes that of Minkowski space.

Finally, in (1893) he wrote:

$\begin{array}{c}{k}^2{t}^2+u^2+v^2=k^2\\ \begin{array}{cc}{t}^{\prime }& =at+bu+cv\\ u^{\prime }& =a^{\prime }t+b^{\prime }u+c^{\prime }v\\ v^{\prime }& =a^{″}t+b^{″}u+c^{″}v\end{array}|\begin{array}{cc}{k}^2{a}^2+a^{\prime 2}+a^{\prime \prime 2}& =k^2\\ k^2{b}^2+b^{\prime 2}+b^{\prime \prime 2}& =1\\ k^2{c}^2+b^{\prime 2}+c^{\prime \prime 2}& =1\\ k^{2}ab+a^{\prime }{b}^{\prime }+a^{″}{b}^{″}& =0\\ k^{2}ac+a^{\prime }{c}^{\prime }+a^{″}{c}^{″}& =0\\ k^{2}bc+b^{\prime }{c}^{\prime }+b^{″}{c}^{″}& =0\end{array}\end{array}$

and in n dimensions

$\begin{array}{c}{k}^2{x}_0^2+x_1^2+\dots +x_n^2=k^2\\ k^2{y}_0{y}_0^{\prime }+y_1{y}_1^{\prime }+\cdots +y_n{y}_n^{\prime }=k^2{x}_0{x}_0^{\prime }+x_1{x}_1^{\prime }+\cdots +x_n{x}_n^{\prime }\\ d{s}^2=k^{2}d{x}_0^2+\dots +d{x}_n^2\\ \begin{array}{cc}{y}_0& =a_{00}{x}_0+a_{01}{x}_1+\dots +a_{0n}{x}_n\\ y_1& =a_{10}{x}_0+a_{11}{x}_1+\dots +a_{1n}{x}_n\\ & ⋮\\ y_n& =a_{n0}{x}_0+a_{n1}{x}_1+\dots +a_{nn}{x}_n\end{array}|\begin{array}{cc}{k}^2{a}_{00}^2+a_{10}^2+\dots +a_{n0}^2& =k^2\\ k^2{a}_{0\varkappa }^2+a_{1\varkappa }^2+\dots +a_{n\varkappa }^2& =1\\ k^2{a}_{00}{a}_{0\varkappa }+a_{10}{a}_{1\varkappa }+\dots +a_{n0}{a}_{n\varkappa }& =0\\ k^2{a}_{0\varkappa }{a}_{0\lambda }+a_{1\varkappa }{a}_{1\lambda }+\dots +a_{n\varkappa }{a}_{n\lambda }& =0\\ (\varkappa ,\lambda =1,\dots ,n,\lambda \lessgtr \varkappa )\end{array}\end{array}$

Template:Anchor Infinitesimal transformations and Lie group

After Lie (1885/86) identified the projective group of a general surface of second degree $\sum f_{ik}{x}_{i^{\prime }}{x}_{k^{\prime }}=0$ with the group of non-Euclidean motions, Killing (1887/88) defined the infinitesimal projective transformations (Lie algebra) in relation to the unit hypersphere:

$\begin{array}{c}{x}_1^2+\dots +x_{m+1}^2=1\\ X_{\iota \varkappa }f=x_i\frac{\partial f}{\partial x_{\varkappa }}-x_{\varkappa }\frac{\partial f}{\partial x_{\iota }}\\ \text{where}\\ (X_{\iota \varkappa },X_{\iota \lambda })=X_{\varkappa \lambda };(X_{\iota \varkappa },X_{\lambda \mu })=0;\\ [\iota \ne \varkappa \ne \lambda \ne \mu ]\end{array}$

and in (1892) he defined the infinitesimal transformation for non-Euclidean motions in terms of Weierstrass coordinates:

$\begin{array}{c}{k}^2{x}_0^2+x_1^2+\dots +x_n^2=k^2\\ X_{\iota \varkappa }=x_{\iota }{p}_{\varkappa }-x_{\varkappa }{p}_{\iota },X_{\iota }=x_0{p}_{\iota }-\frac{x_{\iota }{p}_0}{k^2}\\ \text{where}\\ \left(X_{\iota }{X}_{\iota \varkappa }\right)=X_{\varkappa }f;\left(X_{\iota }{X}_{\varkappa \lambda }\right)=0;\left(X_{\iota }{X}_{\varkappa }\right)=-\frac{1}{k^2}{X}_{\iota \varkappa }f;\end{array}$

In (1897/98) he showed the relation between Weierstrass coordinates $k^2{x}_0^2+x_1^2+\dots +x_n^2=k^2$ and coordinates $k^2+y_1^2+y_2^2+\dots +y_n^2=0$ used by himself in (1887/88) and by Werner (1889), Lie (1890):

$\begin{array}{c}\begin{array}{cc}{k}^2{x}_0^2+x_1^2+\dots +x_n^2& (a)\\ k^2{x}_0^2+x_1^2+\dots +x_n^2=k^2& (b)\end{array}\\ V_{\varkappa }=k^2{x}_0{p}_{\varkappa }-x_{\varkappa }{p}_0,U_{\iota \varkappa }=p_{\iota }{x}_{\varkappa }-p_{\varkappa }{x}_{\iota }\\ \text{where}\\ (V_{\iota },V_{\varkappa })=k^2{U}_{\iota \varkappa },(V_{\iota },U_{\iota \varkappa })=-V_{\varkappa },(V_{\iota },U_{\varkappa \lambda })=0,\\ (U_{\iota \varkappa },U_{\iota \lambda })=U_{\varkappa \lambda },(U_{\iota \varkappa },U_{\lambda \mu })=0\\ [\iota ,\varkappa ,\lambda ,\mu =1,2,\dots n]\\ \begin{array}{c}{y}_1=\frac{x_1}{x_0},y_2=\frac{x_2}{x_0},\dots y_n=\frac{x_n}{x_0}\\ \downarrow \\ k^2+y_1^2+y_2^2+\dots +y_n^2=0\\ q_{\varkappa }+\frac{y_{\varkappa }}{k^2}\sum _{\varrho }{y}_y{q}_{\varrho },q_{\iota }{y}_{\varkappa }-q_{\varkappa }{y}_{\iota }\end{array}\end{array}$

He pointed out that the corresponding group of non-Euclidean motions in terms of Weierstrass coordinates is intransitive when related to quadratic form (a) and transitive when related to quadratic form (b).

Template:Anchor Poincaré (1881) – Weierstrass coordinates

w:Henri Poincaré (1881) connected the work of [[../Lorentz transformation (Cayley-Hermite)#Hermite|E:Hermite (1853)]] and [[../Lorentz transformation (Möbius)#Selling|E:Selling (1873)]] on indefinite quadratic forms with non-Euclidean geometry (Poincaré already discussed such relations in an unpublished manuscript in 1880). He used two indefinite ternary forms in terms of three squares and then defined them in terms of Weierstrass coordinates (without using that expression) connected by a transformation with integer coefficients:

$\begin{array}{c}\begin{array}{cc}F& =(ax+by+cz{)}^2+(a^{\prime }x+b^{\prime }y+c^{\prime }z{)}^2-(a^{″}x+b^{″}y+c^{″}z{)}^2\\ & ={\xi }^2+{\eta }^2-{\zeta }^2=-1\\ F& =(a{x}^{\prime }+b{y}^{\prime }+c{z}^{\prime }{)}^2+(a^{\prime }{x}^{\prime }+b^{\prime }{y}^{\prime }+c^{\prime }{z}^{\prime }{)}^2-(a^{″}{x}^{\prime }+b^{″}{y}^{\prime }+c^{″}{z}^{\prime }{)}^2\\ & ={\xi }^{\prime 2}+{\eta }^{\prime 2}-{\zeta }^{\prime 2}=-1\end{array}\\ \begin{array}{cc}{\xi }^{\prime }& =\alpha \xi +\beta \eta +\gamma \zeta \\ {\eta }^{\prime }& ={\alpha }^{\prime }\xi +{\beta }^{\prime }\eta +{\gamma }^{\prime }\zeta \\ {\zeta }^{\prime }& ={\alpha }^{″}\xi +{\beta }^{″}\eta +{\gamma }^{″}\zeta \end{array}|\begin{array}{cc}{\alpha }^2+{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =1\\ {\beta }^2+{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =1\\ {\gamma }^2+{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =-1\\ \alpha \beta +{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\\ \alpha \gamma +{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ \beta \gamma +{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\end{array}\end{array}$

He went on to describe the properties of "hyperbolic coordinates". Poincaré mentioned the hyperboloid model also in (1887).

Template:Anchor Cox (1881–1891) – Weierstrass coordinates

Homersham Cox (1881/82) – referring to similar rectangular coordinates used by Gudermann (1830) and w:George Salmon (1862) on a sphere, and to Escherich (1874) as reported by w:Johannes Frischauf (1876) in the hyperbolic plane – defined the Weierstrass coordinates (without using that expression) and their transformation:

$\begin{array}{c}{z}^2-x^2-y^2=1\\ x^2-y^2-z^2=Z^2-Y^2-X^2\\ \begin{array}{cc}x& =l_{1}X+l_{2}Y+l_{3}Z\\ y& =m_{1}X+m_{2}Y+m_{3}Z\\ z& =n_{1}X+n_{2}Y+n_{3}Z\\ \\ X& =l_{1}x+m_{1}y-n_{1}z\\ Y& =l_{2}x+m_{2}y-n_{2}z\\ Z& =l_{3}x+m_{3}y-n_{3}z\end{array}|\begin{array}{cc}{l}_1^2+m_1^2-n_1^2& =1\\ l_2^2+m_2^2-n_2^2& =1\\ l_3^2+m_3^2-n_3^2& =1\\ l_1{l}_2+m_1{m}_2-n_1{n}_2& =0\\ l_2{l}_3+m_2{m}_3-n_2{n}_3& =0\\ l_3{l}_1+m_3{m}_1-n_3{n}_1& =0\\ \\ l_1^2+l_2^2-l_3^2& =1\\ m_1^2+m_2^2-m_3^2& =1\\ n_1^2+n_2^2-n_3^2& =1\\ l_1{m}_1+l_2{m}_2-l_3{m}_3& =0\\ m_1{n}_1+m_2{n}_2-m_3{n}_3& =0\\ n_1{l}_1+n_2{l}_2-n_3{l}_3& =0\end{array}\end{array}$

Cox (1881/82) also gave the Weierstrass coordinates and their transformation in hyperbolic space:

$\begin{array}{c}{w}^2-x^2-y^2-z^2=1\\ w^2-x^2-y^2-z^2=w^{\prime 2}-x^{\prime 2}-y^{\prime 2}-z^{\prime 2}\\ \begin{array}{cc}x& =l_1{x}^{\prime }+l_2{y}^{\prime }+l_3{z}^{\prime }-l_4{w}^{\prime }\\ y& =m_1{x}^{\prime }+m_2{y}^{\prime }+m_3{z}^{\prime }-m_4{w}^{\prime }\\ z& =n_1{x}^{\prime }+n_2{y}^{\prime }+n_3{z}^{\prime }-n_4{w}^{\prime }\\ w& =r_1{x}^{\prime }+r_2{y}^{\prime }+r_3{z}^{\prime }-r_4{w}^{\prime }\\ \\ x^{\prime }& =l_{1}x+m_{1}y+n_{1}z-r_{1}w\\ y^{\prime }& =l_{2}x+m_{2}y+n_{2}z-r_{2}w\\ z^{\prime }& =l_{3}x+m_{3}y+n_{3}z-r_{3}w\\ w^{\prime }& =l_{4}x+m_{4}y+n_{4}z-r_{4}w\end{array}|\begin{array}{cc}{l}_1^2+m_1^2+n_1^2-r_1^2& =1\\ l_2^2+m_2^2+n_2^2-r_2^2& =1\\ l_3^2+m_3^2+n_3^2-r_3^2& =1\\ l_4^2+m_4^2+n_4^2-r_4^2& =1\\ l_2{l}_3+m_2{m}_3+n_2{n}_3-r_2{r}_3& =0\\ l_3{l}_1+m_3{m}_1+n_3{n}_1-r_3{r}_1& =0\\ l_1{l}_4+m_1{m}_4+n_1{n}_4-r_1{r}_4& =0\\ l_2{l}_4+m_2{m}_4+n_2{n}_4-r_2{r}_4& =0\\ l_3{l}_4+m_3{m}_4+n_3{n}_4-r_3{r}_4& =0\end{array}\end{array}$

In 1883 he formulated relations between w:orthogonal circles which he identified with the previously (1881/82) given transformations:

$\begin{array}{c}{x}^2+y^2+z^2-w^2=0\\ \begin{array}{cc}x& ={\lambda }_{1}X+{\lambda }_{2}Y+{\lambda }_{3}Z+{\lambda }_{4}W\\ y& ={\mu }_{1}X+{\mu }_{2}Y+{\mu }_{3}Z+{\mu }_{4}W\\ z& ={\nu }_{1}X+{\nu }_{2}Y+{\nu }_{3}Z+{\nu }_{4}W\\ -w& ={\rho }_{1}X+{\rho }_{2}Y+{\rho }_{3}Z+{\rho }_{4}W\\ \\ X& ={\lambda }_{1}x+{\mu }_{1}y+{\nu }_{1}z+{\rho }_{1}w\\ Y& ={\lambda }_{2}x+{\mu }_{2}y+{\nu }_{2}z+{\rho }_{2}w\\ Z& ={\lambda }_{3}x+{\mu }_{3}y+{\nu }_{3}z+{\rho }_{3}w\\ -W& ={\lambda }_{4}x+{\mu }_{4}y+{\nu }_{4}z+{\rho }_{4}w\end{array}|\begin{array}{cc}{\lambda }_1^2+{\mu }_1^2+{\nu }_1^2-{\rho }_1^2& =1\\ {\lambda }_2^2+{\mu }_2^2+{\nu }_2^2-{\rho }_2^2& =1\\ {\lambda }_3^2+{\mu }_3^2+{\nu }_3^2-{\rho }_3^2& =1\\ {\lambda }_4^2+{\mu }_4^2+{\nu }_4^2-{\rho }_4^2& =-1\\ {\lambda }_2{\lambda }_3+{\mu }_2{\mu }_3+{\nu }_2{\nu }_3-{\rho }_2{\rho }_3& =0\\ {\lambda }_3{\lambda }_1+{\mu }_3{\mu }_1+{\nu }_3{\nu }_1-{\rho }_3{\rho }_1& =0\\ {\lambda }_1{\lambda }_2+{\mu }_1{\mu }_2+{\nu }_1{\nu }_2-{\rho }_1{\rho }_2& =0\\ {\lambda }_1{\lambda }_4+{\mu }_1{\mu }_4+{\nu }_1{\nu }_4-{\rho }_1{\rho }_4& =0\\ {\lambda }_2{\lambda }_4+{\mu }_2{\mu }_4+{\nu }_2{\nu }_4-{\rho }_2{\rho }_4& =0\\ {\lambda }_3{\lambda }_4+{\mu }_3{\mu }_4+{\nu }_3{\nu }_4-{\rho }_3{\rho }_4& =0\end{array}\begin{array}{cc}{\lambda }_1^2+{\lambda }_2^2+{\lambda }_3^2-{\lambda }_4^2& =1\\ {\mu }_1^2+{\mu }_2^2+{\mu }_3^2-{\mu }_4^2& =1\\ {\nu }_1^2+{\nu }_2^2+{\nu }_3^2-{\nu }_4^2& =1\\ {\rho }_1^2+{\rho }_2^2+{\rho }_3^2-{\rho }_4^2& =-1\\ {\lambda }_1{\mu }_1+{\lambda }_2{\mu }_2+{\lambda }_3{\mu }_3-{\lambda }_4{\mu }_4& =0\\ {\lambda }_1{\nu }_1+{\lambda }_2{\nu }_2+{\lambda }_3{\nu }_3-{\lambda }_4{\nu }_4& =0\\ {\lambda }_1{\rho }_1+{\lambda }_2{\rho }_2+{\lambda }_3{\rho }_3-{\lambda }_4{\rho }_4& =0\\ {\mu }_1{\nu }_1+{\mu }_2{\nu }_2+{\mu }_3{\nu }_3-{\mu }_4{\nu }_4& =0\\ {\mu }_1{\rho }_1+{\mu }_2{\rho }_2+{\mu }_3{\rho }_3-{\mu }_4{\rho }_4& =0\\ {\nu }_1{\rho }_1+{\nu }_2{\rho }_2+{\nu }_3{\rho }_3-{\nu }_4{\rho }_4& =0\end{array}\end{array}$

Finally, in a treatise on w:Grassmann's Ausdehnungslehre and circles (1891), he again provided transformations of orthogonal circle systems described by him as being "identical with those for transformation of coordinates in non-Euclidean geometry":

$\begin{array}{c}{x}^2+y^2+z^2=w^2\\ \begin{array}{ccc}x& ={\lambda }_1{x}^{\prime }+{\lambda }_2{y}^{\prime }+{\lambda }_3{z}^{\prime }+{\lambda }_4{w}^{\prime }& \text{(4 equations)}\\ x^{\prime }& ={\lambda }_{1}x+{\mu }_{1}y+{\nu }_{1}z-{\rho }_{1}w\\ -w^{\prime }& ={\lambda }_{4}x+{\mu }_{4}y+{\nu }_{4}z-{\rho }_{4}w\end{array}\\ \begin{array}{cc}{\lambda }_1^2+{\mu }_1^2+{\nu }_1^2-{\rho }_1^2& =1\\ {\lambda }_2^2+{\mu }_2^2+{\nu }_2^2-{\rho }_2^2& =1\\ {\lambda }_3^2+{\mu }_3^2+{\nu }_3^2-{\rho }_3^2& =1\\ {\lambda }_4^2+{\mu }_4^2+{\nu }_4^2-{\rho }_4^2& =-1\\ {\lambda }_1{\lambda }_2+{\mu }_1{\mu }_2+{\nu }_1{\nu }_2-{\rho }_1{\rho }_2& =0& \text{(6 equations)}\\ {\lambda }_1^2+{\lambda }_2^2+{\lambda }_3^2-{\lambda }_4^2& =1\\ {\rho }_1^2+{\rho }_2^2+{\rho }_3^2-{\rho }_4^2& =-1\\ {\lambda }_1{\mu }_1+{\lambda }_2{\mu }_2+{\lambda }_3{\mu }_3-{\lambda }_4{\mu }_4& =0& \text{(6 equations)}\end{array}\end{array}$

Template:Anchor Hill (1882) – Homogeneous coordinates

Following Gauss (1818), w:George William Hill (1882) formulated the equations

$\begin{array}{c}k({\sin }^{2}T+{\cos }^{2}T-1)\\ k({\sin }^{2}E+{\cos }^{2}E-1)\\ \begin{array}{cccc}& & \cos E^{\prime }& =\frac{\alpha +{\alpha }^{\prime }\sin T+{\alpha }^{″}\cos T}{\gamma +{\gamma }^{\prime }\sin T+{\gamma }^{″}\cos T}\\ & \mathbf{(}\mathrm{𝟏}\mathbf{)}& \sin E^{\prime }& =\frac{\beta +{\beta }^{\prime }\sin T+{\beta }^{″}\cos T}{\gamma +{\gamma }^{\prime }\sin T+{\gamma }^{″}\cos T}\\ \text{HLINE TBD}\\ & & x& =\alpha u+{\alpha }^{\prime }{u}^{\prime }+{\alpha }^{″}{u}^{″}\\ & & y& =\beta u+{\beta }^{\prime }{u}^{\prime }+{\beta }^{″}{u}^{″}\\ & & z& =\gamma u+{\gamma }^{\prime }{u}^{\prime }+{\gamma }^{″}{u}^{″}\\ & \mathbf{(}\mathrm{𝟐}\mathbf{)}\\ & & u& =-\alpha x-\beta y+\gamma z\\ & & u^{\prime }& ={\alpha }^{\prime }x+{\beta }^{\prime }{y}^{\prime }-{\gamma }^{\prime }z\\ & & u^{″}& ={\alpha }^{″}x+{\beta }^{″}y-{\gamma }^{″}z\end{array}|\begin{array}{cc}{\alpha }^2+{\beta }^2-{\gamma }^2& =-1\\ {\alpha }^{\prime 2}+{\beta }^{\prime 2}-{\gamma }^{\prime 2}& =1\\ {\alpha }^{\prime \prime 2}+{\beta }^{\prime \prime 2}-{\gamma }^{\prime \prime 2}& =1\\ \alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ \alpha {\alpha }^{″}+\beta {\beta }^{″}-\gamma {\gamma }^{″}& =0\\ {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{″}& =0\\ \\ (k=-1)\\ {\alpha }^2-{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =k\\ {\beta }^2-{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =k\\ {\gamma }^2-{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =-k\\ \alpha \beta -{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\\ \alpha \gamma -{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ \beta \gamma -{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\end{array}\end{array}$

Template:Anchor Picard (1882-1884) – Quadratic forms

w:Émile Picard (1882) analyzed the invariance of indefinite ternary Hermitian quadratic forms with integer coefficients and their relation to discontinuous groups, extending Poincaré's Fuchsian functions of one complex variable related to a circle, to "hyperfuchsian" functions of two complex variables related to a w:hypersphere. He formulated the following special case of an Hermitian form:

$\begin{array}{c}\begin{array}{c}x{x}_0+y{y}_0-z{z}_0\\ \\ \mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}x& =M_{1}X+P_{1}Y+R_{1}Z\\ y& =M_{2}X+P_{2}Y+R_{2}Z\\ z& =M_{3}X+P_{3}Y+R_{3}Z\end{array}\\ \\ \left[\begin{array}{c}[][x,y,z]=\text{complex}\\ [x_0,y_0,z_0]=\text{conjugate}\end{array}\right]\\ \\ \\ x^{\prime 2}+x^{\prime \prime 2}+y^{\prime 2}+y^{\prime \prime 2}=1\\ x=x^{\prime }+i{x}^{″},y=y^{\prime }+i{y}^{″}\\ \\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}X& =\frac{M_{1}x+P_{1}y+R_1}{M_{3}x+P_{3}y+R_3}\\ Y& =\frac{M_{2}x+P_{2}y+R_2}{M_{3}x+P_{3}y+R_3}\end{array}\end{array}|\begin{array}{cc}{M}_1{\mu }_1+M_2{\mu }_2-M_3{\mu }_3& =1\\ P_1{\pi }_1+P_2{\pi }_2-P_3{\pi }_3& =1\\ R_1{\rho }_1+R_2{\rho }_2-R_3{\rho }_3& =-1\\ P_1{\mu }_1+P_2{\mu }_2-P_3{\mu }_3& =0\\ M_1{\rho }_1+M_2{\rho }_2-M_3{\rho }_3& =0\\ P_1{\rho }_1+P_2{\rho }_2-P_3{\rho }_3& =0\\ \\ M_1{\mu }_1+P_1{\pi }_1-R_1{\rho }_1& =1\\ M_2{\mu }_2+P_2{\pi }_2-R_2{\rho }_2& =1\\ M_3{\mu }_3+P_3{\pi }_3-R_3{\rho }_3& =-1\\ {\mu }_2{M}_1+{\pi }_2{P}_1-R_1{\rho }_2& =0\\ {\mu }_2{M}_3+{\pi }_2{P}_3-R_3{\rho }_2& =0\\ {\mu }_3{M}_1+{\pi }_3{P}_1-R_1{\rho }_3& =0\\ \\ \left[\begin{array}{c}[][M,P,R\dots ]=\text{complex}\\ [\mu ,\pi ,\rho \dots ]=\text{conjugate}\end{array}\right]\end{array}\end{array}$

Or in (1884a) in relation to indefinite binary Hermitian quadratic forms:

$\begin{array}{c}U{U}_0-V{V}_0=u{u}_0-v{v}_0\\ \begin{array}{cc}U& =𝒜u+ℬv\\ V& =𝒞u+𝒟v\end{array}|\begin{array}{cc}𝒜{𝒜}_0-𝒞{𝒞}_0& =1\\ 𝒜{ℬ}_0-𝒞{𝒟}_0& =0\\ ℬ{ℬ}_0-𝒟{𝒟}_0& =-1\\ 𝒟{𝒟}_0-𝒞{𝒞}_0& =1\end{array}\end{array}$

Or in (1884b):

$\begin{array}{c}x{x}_0+y{y}_0-1=0\\ \begin{array}{cc}X& =\frac{M_{1}x+P_{1}y+R_1}{M_{3}x+P_{3}y+R_3}\\ Y& =\frac{M_{2}x+P_{2}y+R_2}{M_{3}x+P_{3}y+R_3}\end{array}|\begin{array}{cc}{M}_1{\mu }_1+M_2{\mu }_2-M_3{\mu }_3=P_1{\pi }_1+P_2{\pi }_2-P_3{\pi }_3& =1\\ R_1{\rho }_1+R_2{\rho }_2-R_3{\rho }_3& =-1\\ P_1{\mu }_1+P_2{\mu }_2-P_3{\mu }_3=M_1{\rho }_1+M_2{\rho }_2-M_3{\rho }_3=P_1{\rho }_1+P_2{\rho }_2-P_3{\rho }_3& =0\\ M_1{\rho }_1+M_2{\rho }_2-M_3{\rho }_3& =0\end{array}\end{array}$

Or in (1884c):

$\begin{array}{c}U{U}_0+V{V}_0-W{W}_0=u{u}_0+v{v}_0-w{w}_0\\ \mathbf{(}\mathrm{𝟏}\mathbf{)}\begin{array}{cc}U& =Mu+Pv+Rw\\ V& =M^{\prime }u+P^{\prime }v+R^{\prime }w\\ W& =M^{″}u+P^{″}v+R^{″}w\\ \\ u& =M_{0}U+M_0^{\prime }V-M_0^{\prime \prime }W\\ v& =P_{0}U+P_0^{\prime }V-P_0^{\prime \prime }W\\ w& =-R_{0}U-R_0^{\prime }V+R_0^{\prime \prime }W\end{array}|\begin{array}{cc}M{M}_0+M^{\prime }{M}_0^{\prime }-M^{″}{M}_0^{\prime \prime }& =1\\ P{P}_0+P^{\prime }{P}_0^{\prime }-P^{″}{P}_0^{\prime \prime }& =1\\ R{R}_0+R^{\prime }{R}_0^{\prime }-R^{″}{R}_0^{\prime \prime }& =-1\\ M{P}_0+M^{\prime }{P}_0^{\prime }-M^{″}{P}_0^{\prime \prime }& =0\\ M{R}_0+M^{\prime }{R}_0^{\prime }-M^{″}{R}_0^{\prime \prime }& =0\\ P{R}_0+P^{\prime }{R}_0^{\prime }-P^{″}{R}_0^{\prime \prime }& =0\\ \\ M{M}_0+P{P}_0-R{R}_0& =1\\ M^{\prime }{M}_0^{\prime }+P^{\prime }{P}_0^{\prime }-R^{\prime }{R}_0^{\prime }& =1\\ M^{″}{M}_0^{\prime \prime }+P^{″}{P}_0^{\prime \prime }-R^{″}{R}_0^{\prime \prime }& =-1\\ M_0{M}^{\prime }+P_0{P}^{\prime }-R_0{R}^{\prime }& =0\\ M_0{M}^{″}+P_0{P}^{″}-R_0{R}^{″}& =0\\ M_0^{\prime }{M}^{″}+P_0^{\prime }{P}^{″}-R_0^{\prime }{R}^{″}& =0\end{array}\\ \text{Invariance of unit hypersphere:}\\ \mathbf{(}\mathrm{𝟐}\mathbf{)}\begin{array}{cc}{\xi }^{\prime }& =\frac{A\xi +A^{\prime }\eta +A^{″}}{C\xi +C^{\prime }\eta +C^{″}}\\ {\eta }^{\prime }& =\frac{B\xi +B^{\prime }\eta +B^{″}}{C\xi +C^{\prime }\eta +C^{″}}\end{array}|\begin{array}{cc}A{A}_0+A^{\prime }{A}_0^{\prime }-A^{″}{A}_0^{\prime \prime }& =1\\ B{B}_0+B^{\prime }{B}_0^{\prime }-B^{″}{B}_0^{\prime \prime }& =1\\ C{C}_0+C^{\prime }{C}_0^{\prime }-C^{″}{C}_0^{\prime \prime }& =-1\\ A{B}_0+A^{\prime }{B}_0^{\prime }-A^{″}{B}_0^{\prime \prime }& =0\\ A{C}_0+A^{\prime }{C}_0^{\prime }-A^{″}{C}_0^{\prime \prime }& =0\\ B{C}_0+B^{\prime }{C}_0^{\prime }-B^{″}{C}_0^{\prime \prime }& =0\end{array}\end{array}$

Template:Anchor Callandreau (1885) – Homography

Following Gauss (1818) and Hill (1882), w:Octave Callandreau (1885) formulated the equations

$\begin{array}{c}k({\sin }^{2}T+{\cos }^{2}T-1)=\\ (\alpha +{\alpha }^{\prime }\sin T+{\alpha }^{″}\cos T{)}^2+(\beta +{\beta }^{\prime }\sin T+{\beta }^{″}\cos T{)}^2-(\gamma +{\gamma }^{\prime }\sin T+{\gamma }^{″}\cos T{)}^2\\ \begin{array}{cc}\cos {\epsilon }^{\prime }& =\frac{\alpha +{\alpha }^{\prime }\sin T+{\alpha }^{″}\cos T}{\gamma +{\gamma }^{\prime }\sin T+{\gamma }^{″}\cos T}\\ \sin {\epsilon }^{\prime }& =\frac{\beta +{\beta }^{\prime }\sin T+{\beta }^{″}\cos T}{\gamma +{\gamma }^{\prime }\sin T+{\gamma }^{″}\cos T}\end{array}|\begin{array}{cc}& (k=1)\\ {\alpha }^2+{\beta }^2-{\gamma }^2& =-k& \alpha {\alpha }^{\prime }+\beta {\beta }^{\prime }-\gamma {\gamma }^{\prime }& =0\\ {\alpha }^{\prime 2}+{\beta }^{\prime 2}-{\gamma }^{\prime 2}& =+k& \alpha {\alpha }^{″}+\beta {\beta }^{″}-\gamma {\gamma }^{″}& =0\\ {\alpha }^{\prime \prime 2}+{\beta }^{\prime \prime 2}-{\gamma }^{\prime \prime 2}& =+k& {\alpha }^{\prime }{\alpha }^{″}+{\beta }^{\prime }{\beta }^{″}-{\gamma }^{\prime }{\gamma }^{″}& =0\\ \\ {\alpha }^2-{\alpha }^{\prime 2}-{\alpha }^{\prime \prime 2}& =-1& \alpha \beta -{\alpha }^{\prime }{\beta }^{\prime }-{\alpha }^{″}{\beta }^{″}& =0\\ {\beta }^2-{\beta }^{\prime 2}-{\beta }^{\prime \prime 2}& =-1& \alpha \gamma -{\alpha }^{\prime }{\gamma }^{\prime }-{\alpha }^{″}{\gamma }^{″}& =0\\ {\gamma }^2-{\gamma }^{\prime 2}-{\gamma }^{\prime \prime 2}& =+1& \beta \gamma -{\beta }^{\prime }{\gamma }^{\prime }-{\beta }^{″}{\gamma }^{″}& =0\end{array}\end{array}$

Template:Anchor Lie (1885-1890) – Lie group, hyperbolic motions, and infinitesimal transformations

In (1885/86), w:Sophus Lie identified the projective group of a general surface of second degree $\sum f_{ik}{x}_{i^{\prime }}{x}_{k^{\prime }}=0$ with the group of non-Euclidean motions. In a thesis guided by Lie, w:Hermann Werner (1889) discussed this projective group by using the equation of a unit hypersphere as the surface of second degree (which was already given before by Killing (1887)), and also gave the corresponding infinitesimal projective transformations (Lie algebra):

$\begin{array}{c}{x}_1^2+x_2^2+\dots +x_n^2=1\\ x_i{p}_{\varkappa }-x_{\varkappa }{p}_i,p_i-x_i\sum _1^{n}j{x}_j{p}_j(i,\varkappa =1,\dots ,n)\\ \text{where}\\ (Q_i,Q_{\varkappa })=R_{i,\varkappa };(Q_i,Q_{j,\varkappa })={\epsilon }_{i,j}{Q}_{\varkappa }-{\epsilon }_{i,\varkappa }{Q}_j;\\ (R_{i,\varkappa },R_{\mu ,\nu })={\epsilon }_{\varkappa ,\mu }{R}_{i,\nu }-{\epsilon }_{\varkappa ,\nu }{R}_{i,\mu }-{\epsilon }_{,\mu }{R}_{\varkappa ,\nu }+{\epsilon }_{i,\nu }{R}_{\varkappa ,\mu }\\ [{\epsilon }_{i,\varkappa }\equiv 0\text{for}i\ne \varkappa ;{\epsilon }_{i,i}=1]\end{array}$

More generally, Lie (1890) defined non-Euclidean motions in terms of two forms $x_1^2+x_2^2+x_3^2\pm 1=0$ in which the imaginary form with $+1$ denotes the group of elliptic motions (in Klein's terminology), the real form with −1 the group of hyperbolic motions, with the latter having the same form as Werner's transformation:

$\begin{array}{c}{x}_1^2+\dots +x_n^2-1=0\\ p_k-x_k\sum j_1^0{x}_j{p}_j,x_i{p}_k-x_k{p}_i(i,k=1\dots n)\end{array}$

Summarizing, Lie (1893) discussed the real continuous groups of the conic sections representing non-Euclidean motions, which in the case of hyperbolic motions have the form:

$x^2+y^2-1=0$ or $x_1^2+x_2^2+x_3^2-1=0$ or $x_1^2+\dots +x_n^2-1=0$.

Template:Anchor Gérard (1892) – Weierstrass coordinates

w:Louis Gérard (1892) – in a thesis examined by Poincaré – discussed Weierstrass coordinates (without using that name) in the plane using the following invariant and its Lorentz transformation equivalent to (Template:EquationNote) (n=2):

$\begin{array}{c}{X}^2+Y^2-Z^2=1\\ X^2+Y^2-Z^2=X^{\prime 2}+Y^{\prime 2}-Z^{\prime 2}\\ \begin{array}{cc}X& =a{X}^{\prime }+a^{\prime }{Y}^{\prime }+a^{″}{Z}^{\prime }\\ Y& =b{X}^{\prime }+b^{\prime }{Y}^{\prime }+b^{″}{Z}^{\prime }\\ Z& =c{X}^{\prime }+c^{\prime }{Y}^{\prime }+c^{″}{Z}^{\prime }\\ \\ X^{\prime }& =aX+bY-cZ\\ Y^{\prime }& =a^{\prime }X+b^{\prime }Y-c^{\prime }Z\\ Z^{\prime }& =-a^{″}X-b^{″}Y+c^{″}Z\end{array}|\begin{array}{cc}{a}^2+b^2-c^2& =1\\ a^{\prime 2}+b^{\prime 2}-c^{\prime 2}& =1\\ a^{\prime \prime 2}+b^{\prime \prime 2}-c^{\prime \prime 2}& =-1\\ a{a}^{\prime }+b{b}^{\prime }-c{c}^{\prime }& =0\\ a^{\prime }{a}^{″}+b^{\prime }{b}^{″}-c^{\prime }{c}^{″}& =0\\ a^{″}a+b^{″}b-c^{″}c& =0\end{array}\end{array}$

He gave the case of translation as follows:

$\begin{array}{cc}X& =Z_0{X}^{\prime }+X_0{Z}^{\prime }\\ Y& =Y^{\prime }\\ Z& =X_0{X}^{\prime }+Z_0{Z}^{\prime }\end{array}\text{with}\begin{array}{cc}{X}_0& =\mathrm{sh}O{O}^{\prime }\\ Z_0& =\mathrm{ch}O{O}^{\prime }\end{array}$

Template:Anchor Hausdorff (1899) – Weierstrass coordinates

w:Felix Hausdorff (1899) – citing Killing (1885) – discussed Weierstrass coordinates in the plane using the following invariant and its transformation:

$\begin{array}{c}{p}^2-x^2-y^2=1\\ \begin{array}{cc}x& =a_1{x}^{\prime }+a_2{y}^{\prime }+x_0{p}^{\prime }\\ y& =b_1{x}^{\prime }+b{}_2{y}^{\prime }+y_0{p}^{\prime }\\ p& =e_1{x}^{\prime }+e_2{y}^{\prime }+p_0{p}^{\prime }\\ \\ x^{\prime }& =a_{1}x+b_{1}y-e_{1}p\\ y^{\prime }& =a_{2}x+b_{2}y-e_{2}p\\ -p^{\prime }& =x_{0}x+y_{0}y-p_{0}p\end{array}|\begin{array}{cc}{a}_1^2+b_1^2-e_1^2& =1\\ a_2^2+b_2^2-e_2^2& =1\\ -x_0^2-y_0^2+p_0^2& =1\\ a_2{x}_0+b_2{y}_0-e_2{p}_0& =0\\ a_1{x}_0+b_1{y}_0-e_1{p}_0& =0\\ a_1{a}_2+b_1{b}_2-e_1{e}_2& =0\\ \\ a_1^2+a_2^2-x_0^2& =1\\ b_1^2+b_2^2-y_0^2& =1\\ -e_1^2-e_2^2+p_0^2& =1\\ b_1{e}_1+b_2{e}_2-y_0{p}_0& =0\\ a_1{e}_1+a_2{e}_2-x_0{p}_0& =0\\ a_1{b}_1+a_2{b}_2-x_0{y}_0& =0\end{array}\end{array}$

Template:Anchor Woods (1901-05) – Beltrami and Weierstrass coordinates

In (1901/02) w:Frederick S. Woods defined the following invariant quadratic form and its w:projective transformation in terms of Beltrami coordinates (he pointed out that this can be connected to hyperbolic geometry by setting $k=\sqrt{-1}R$ with R as real quantity):

$\begin{array}{c}{k}^2(u^2+v^2+w^2)+1=0\\ \begin{array}{cc}{u}^{\prime }& =\frac{{\alpha }_{1}u+{\alpha }_{2}v+{\alpha }_{3}w+{\alpha }_4}{{\delta }_{1}u+{\delta }_{2}v+{\delta }_{3}w+{\delta }_4}\\ v^{\prime }& =\frac{{\beta }_{1}u+{\beta }_{2}v+{\beta }_{3}w+{\beta }_4}{{\delta }_{1}u+{\delta }_{2}v+{\delta }_{3}w+{\delta }_4}\\ w^{\prime }& =\frac{{\gamma }_{1}u+{\gamma }_{2}v+{\gamma }_{3}w+{\gamma }_4}{{\delta }_{1}u+{\delta }_{2}v+{\delta }_{3}w+{\delta }_4}\end{array}|\begin{array}{cc}{k}^2({\alpha }_i^2+{\beta }_i^2+{\gamma }_i^2)+{\delta }_i^2& =k^2\\ (i=1,2,3)\\ k^2({\alpha }_4^2+{\beta }_4^2+{\gamma }_4^2)+{\delta }_4^2& =1\\ {\alpha }_i{\alpha }_h+{\beta }_i{\beta }_h+{\gamma }_i{\gamma }_h+{\delta }_i{\delta }_h& =0\\ (i,h=1,2,3,4;i\ne h)\end{array}\end{array}$

Alternatively, Woods (1903, published 1905) – citing Killing (1885) – used the invariant quadratic form in terms of Weierstrass coordinates and its transformation (with $k=\sqrt{-1}k$ for hyperbolic space):

$\begin{array}{c}{x}_0^2+k^2(x_1^2+x_2^2+x_3^2)=1\\ d{s}^2=\frac{1}{k^2}d{x}_0^2+d{x}_1^2+d{x}_2^2+d{x}_3^2\\ \begin{array}{cc}{x}_1^{\prime }& ={\alpha }_1{x}_1+{\alpha }_2{x}_2+{\alpha }_3{x}_3+{\alpha }_0{x}_0\\ x_2^{\prime }& ={\beta }_1{x}_1+{\beta }_2{x}_2+{\beta }_3{x}_3+{\beta }_0{x}_0\\ x_3^{\prime }& ={\gamma }_1{x}_1+{\gamma }_2{x}_2+{\gamma }_3{x}_3+{\gamma }_0{x}_0\\ x_0^{\prime }& ={\delta }_1{x}_1+{\delta }_2{x}_2+{\delta }_3{x}_3+{\delta }_0{x}_0\end{array}|\begin{array}{cc}{\delta }_0^2+k^2({\alpha }_0^2+{\beta }_0^2+{\gamma }_0^2)& =1\\ {\delta }_i^2+k^2({\alpha }_i^2+{\beta }_i^2+{\gamma }_i^2)& =k^2\\ (i=1,2,3)\\ {\delta }_i{\delta }_h+k^2({\alpha }_i{\alpha }_h+{\beta }_i{\beta }_h+{\gamma }_i{\gamma }_h)& =0\\ (i,h=0,1,2,3;i\ne h)\end{array}\end{array}$

Template:Anchor Liebmann (1904–05) – Weierstrass coordinates

w:Heinrich Liebmann (1904/05) – citing Killing (1885), Gérard (1892), Hausdorff (1899) – used the invariant quadratic form and its Lorentz transformation equivalent to (Template:EquationNote) (n=2)

$\begin{array}{c}{p}^{\prime 2}-x^{\prime 2}-y^{\prime 2}=1\\ \begin{array}{cc}{x}_1& ={\alpha }_{11}x+{\alpha }_{12}y+{\alpha }_{13}p\\ y_1& ={\alpha }_{21}x+{\alpha }_{22}y+{\alpha }_{23}p\\ x_1& ={\alpha }_{31}x+{\alpha }_{32}y+{\alpha }_{33}p\\ \\ x& ={\alpha }_{11}{x}_1+{\alpha }_{21}{y}_1-{\alpha }_{31}{p}_1\\ y& ={\alpha }_{12}{x}_1+{\alpha }_{22}{y}_1-{\alpha }_{32}{p}_1\\ p& =-{\alpha }_{13}{x}_1-{\alpha }_{23}{y}_1+{\alpha }_{33}{p}_1\end{array}|\begin{array}{cc}{\alpha }_{33}^2-{\alpha }_{13}^2-{\alpha }_{23}^2& =1\\ -{\alpha }_{31}^2+{\alpha }_{11}^2+{\alpha }_{21}^2& =1\\ -{\alpha }_{32}^2+{\alpha }_{12}^2+{\alpha }_{22}^2& =1\\ {\alpha }_{31}{\alpha }_{32}-{\alpha }_{11}{\alpha }_{12}-{\alpha }_{21}{\alpha }_{22}& =0\\ {\alpha }_{32}{\alpha }_{33}-{\alpha }_{12}{\alpha }_{13}-{\alpha }_{22}{\alpha }_{23}& =0\\ {\alpha }_{33}{\alpha }_{31}-{\alpha }_{23}{\alpha }_{11}-{\alpha }_{23}{\alpha }_{21}& =0\end{array}\end{array}$

References

Historical mathematical sources

• {{#section:History of Topics in Special Relativity/mathsource|apo1}}
• {{#section:History of Topics in Special Relativity/mathsource|apo2}}
• {{#section:History of Topics in Special Relativity/mathsource|apo}}
• {{#section:History of Topics in Special Relativity/mathsource|bour56att}}
• {{#section:History of Topics in Special Relativity/mathsource|chal82sec}}
• {{#section:History of Topics in Special Relativity/mathsource|chas29}}
• {{#section:History of Topics in Special Relativity/mathsource|cox81hom}}
• {{#section:History of Topics in Special Relativity/mathsource|cox83hom}}
• {{#section:History of Topics in Special Relativity/mathsource|cox91}}
• {{#section:History of Topics in Special Relativity/mathsource|fris76}}
• {{#section:History of Topics in Special Relativity/mathsource|gau98}}
• {{#section:History of Topics in Special Relativity/mathsource|gau18}}
• {{#section:History of Topics in Special Relativity/mathsource|ger92}}
• {{#section:History of Topics in Special Relativity/mathsource|gud30}}
• {{#section:History of Topics in Special Relativity/mathsource|haus99}}
• {{#section:History of Topics in Special Relativity/mathsource|hill82}}
• {{#section:History of Topics in Special Relativity/mathsource|jac27}}
• {{#section:History of Topics in Special Relativity/mathsource|jac32a}}
• {{#section:History of Topics in Special Relativity/mathsource|jac32b}}
• {{#section:History of Topics in Special Relativity/mathsource|jac33}}
• {{#section:History of Topics in Special Relativity/mathsource|kil77}}
• {{#section:History of Topics in Special Relativity/mathsource|kil79}}
• {{#section:History of Topics in Special Relativity/mathsource|kil84}}
• {{#section:History of Topics in Special Relativity/mathsource|kil85}}
• {{#section:History of Topics in Special Relativity/mathsource|kil93}}
• {{#section:History of Topics in Special Relativity/mathsource|kil97}}
• {{#section:History of Topics in Special Relativity/mathsource|klei71}}
• {{#section:History of Topics in Special Relativity/mathsource|klei73}}
• {{#section:History of Topics in Special Relativity/mathsource|lag73}}
• {{#section:History of Topics in Special Relativity/mathsource|hire1}}
• {{#section:History of Topics in Special Relativity/mathsource|leb37}}
• {{#section:History of Topics in Special Relativity/mathsource|lie85}}
• {{#section:History of Topics in Special Relativity/mathsource|lie90}}
• {{#section:History of Topics in Special Relativity/mathsource|lie93}}
• {{#section:History of Topics in Special Relativity/mathsource|lieb04}}
• {{#section:History of Topics in Special Relativity/mathsource|lop}}
• {{#section:History of Topics in Special Relativity/mathsource|pic82}}
• {{#section:History of Topics in Special Relativity/mathsource|pic84a}}
• {{#section:History of Topics in Special Relativity/mathsource|pic84b}}
• {{#section:History of Topics in Special Relativity/mathsource|pic84c}}
• {{#section:History of Topics in Special Relativity/mathsource|poin81a}}
• {{#section:History of Topics in Special Relativity/mathsource|poin81b}}
• {{#section:History of Topics in Special Relativity/mathsource|poin87}}
• {{#section:History of Topics in Special Relativity/mathsource|sal62}}
• {{#section:History of Topics in Special Relativity/mathsource|vinc}}
• {{#section:History of Topics in Special Relativity/mathsource|som63}}
• {{#section:History of Topics in Special Relativity/mathsource|wedd47}}
• {{#section:History of Topics in Special Relativity/mathsource|wern89}}
• {{#section:History of Topics in Special Relativity/mathsource|woo01}}
• {{#section:History of Topics in Special Relativity/mathsource|woo03}}

Secondary sources

Template:Reflist {{#section:History of Topics in Special Relativity/secsource|L1}}