Homersham Cox (mathematician)


Homersham Cox was an English mathematician.

Life

He was the son of Homersham Cox and brother of Harold Cox and was educated at Tonbridge School. At Trinity College, Cambridge, he graduated B.A. as 4th wrangler in 1880, and MA in 1883. He became a fellow in 1881.
Cox wrote four papers applying algebra to physics, and then turned to mathematics education with a book on arithmetic in 1885. His Principles of Arithmetic included binary numbers, prime numbers, and permutations.
Contracted to teach mathematics at Muir Central College, Cox became a resident of Allahabad, Uttar Pradesh from 1891 to 1918.

Work on non-Euclidean geometry

1881–1883 he published papers on non-Euclidean geometry.
For instance, in his 1881 paper he described homogeneous coordinates for hyperbolic geometry, now called Weierstrass coordinates of the hyperboloid model introduced by Wilhelm Killing and Henri Poincaré ). Like Poincaré in 1881, Cox wrote the general Lorentz transformations leaving invariant the quadratic form, and in addition also for . He also formulated the Lorentz boost which he described as a transfer of the origin in the hyperbolic plane, on page 194:
Similar formulas have been used by Gustav von Escherich in 1874, whom Cox mentions on page 186. In his 1882/1883 paper, which deals with Non-Euclidean geometry, quaternions and exterior algebra, he provided the following formula describing a transfer of point P to point Q in the hyperbolic plane, on page 86
together with with for elliptic space, and with for parabolic space. On page 88, he identified all these cases as quaternion multiplications. The variant is now called a hyperbolic number, the whole expression on the left can be used as a hyperbolic versor. Subsequently, that paper was described by Alfred North Whitehead as follows:

Cox's chain

In 1891 Cox published a chain of theorems in Euclidean geometry of three dimensions:
In space of three dimensions take a point 0 through which pass sundry planes a, b, c, d, e,....
Each two planes intersect in a line through 0. On each such line a point is taken at random. The point on the line of intersection of the planes a and b will be called the point ab.
Three planes a, b, c, give three points bc, ac, ab. These determine a plane. It will be called the plane abc. Thus the planes a, b, c, abc, form a tetrahedron with vertices bc, ac, ab, 0.
Four planes a, b, c, d, give four planes abc, abd, acd, bcd. It can be proved that these meet in a point. Call it the point abcd.
Five planes a, b, c, d, e, give five points such as abcd. It can be proved that these lie in a plane. Call it the plane abcde.
Six planes a, b, c, d, e, f, give six planes such as abcde. It can be proved that these meet in a point. Call it the point abcdef.
And so on indefinitely.
The theorem has been compared to Clifford's circle theorems since they both are an infinite chain of theorems. In 1941 Richmond argued that Cox's chain was superior:
H. S. M. Coxeter derived Clifford's theorem by exchanging the arbitrary point on a line ab with an arbitrary sphere about 0 which then intersects ab. The planes a, b, c,... intersect this sphere in circles which can be projected stereographically into a plane. The planar language of Cox then translates to the circles of Clifford.
In 1965 Cox's first three theorems were proven in Coxeter's textbook Introduction to Geometry.

Works