In plane geometry with triangle ABC, the nine-point hyperbola is an instance of the nine-point conic described by Maxime Bôcher in 1892. The celebrated nine-point circle is a separate instance of Bôcher's conic:
- Given a triangle ABC and a point P in its plane, a conic can be drawn through the following nine points:
- the midpoints of the sides of ABC,
- the midpoints of the lines joining P to the vertices, and
- the points where these last named lines cut the sides of the triangle.
The conic is an ellipse if P lies in the interior of ABC or in one of the regions of the plane separated from the interior by two sides of the triangle, otherwise the conic is a hyperbola. Bôcher notes that when P is the orthocenter, one obtains the nine-point circle, and when P is on the circumcircle of ABC, then the conic is an equilateral hyperbola.
An approach to the nine-point hyperbola using the analytic geometry of split-complex numbers was devised by E. F. Allen in 1941. He uses split complex numbers z = a + b j, j2 = 1, to express the hyperbola as
It is used as the circumconic of triangle Let Then the nine-point conic is
Allen's description of the nine-point hyperbola followed a development of the nine-point circle that Frank Morley and his son published in 1933. They requisitioned the unit circle in the complex plane as the circumcircle of the given triangle.
In 1953 Allen extended his study to a nine-point conic of a triangle inscribed in any central conic.
For Yaglom, a hyperbola is a Minkowskian circle as in the Minkowski plane. Yaglom's description of this geometry is found in the "Conclusion" chapter of a book that initially addresses Galilean geometry. He considers a triangle inscribed in a "circumcircle" which is in fact a hyperbola. In the Minkowski plane the nine-point hyperbola is also described as a circle:
- ...the midpoints of the sides of a triangle ABC and the feet of its altitudes (as well as the midpoints of the segments joining the orthocenter of ΔABC to its vertices) lie on a [Minkowskian] circle S whose radius is half the radius of the circumcircle of the triangle. It is natural to refer to S as the six- (nine-) point circle of the (Minkowskian) triangle ABC; if the triangle ABC has an incircle s, then the six- (nine-) point circle S of ΔABC touches its incircle s (Fig.173).
In 2005 J. A. Scott used the unit hyperbola as the circumconic of triangle ABC and found conditions for it to include six triangle centers: the centroid X(2), the orthocenter X(4), the Fermat points X(13) and X(14), and the Napoleon points X(17) and X(18) as listed in the Encyclopedia of Triangle Centers. Scott’s hyperbola is a Kiepert hyperbola of the triangle.
Christopher Bath describes a nine-point rectangular hyperbola passing through these centers: incenter X(1), the three excenters, the centroid X(2), the de Longchamps point X(20), and the three points obtained by extending the triangle medians to twice their cevian length.
- Allen, E.F. (1941) "On a Triangle Inscribed in a Rectangular Hyperbola", American Mathematical Monthly 48, No.10 pp. 675–681
- E. F. Allen (1953) "An extended inversive geometry", American Mathematical Monthly 60(4):233–7
- Isaak Yaglom (1979) A Simple Non-Euclidean Geometry and its Physical Basis, page 193
- J. A. Scott (2005) "A Nine-point Hyperbola", The Mathematical Gazette 89:93–6 (#514)
- Christopher Bath (2010) A Nine Point Rectangular Hyperbola
- Maxime Bôcher (1892) Nine-point Conic, Annals of Mathematics, link from Jstor.
- Maud A. Minthorn (1912) The Nine Point Conic, Master's dissertation at University of California, Berkeley, link from HathiTrust.
- Bjørn Felsager (2004) Minkowski geometry, Part 1, Minkowski geometry, Part 2 ICME-10 Copenhagen.