In Euclidean geometry, the Neuberg cubic is a special cubic plane curve associated with a reference triangle with several remarkable properties. It is named after Joseph Jean Baptiste Neuberg (30 October 1840 – 22 March 1926), a Luxembourger mathematician, who first introduced the curve in a paper published in 1884.[1][2] The curve appears as the first item, with identification number K001,[1] in Bernard Gibert's Catalogue of Triangle Cubics which is a compilation of extensive information about more than 1200 triangle cubics.
The Neuberg cubic can be defined as a locus in many different ways.[1] One way is to define it as a locus of a point P in the plane of the reference triangle △ABC such that, if the reflections of P in the sidelines of triangle △ABC are Pa, Pb, Pc, then the lines APa, BPb, CPc are concurrent. However, it needs to be proved that the locus so defined is indeed a cubic curve. A second way is to define it as the locus of point P such that if Oa, Ob, Oc are the circumcenters of triangles △BPC, △CPA, △APB, then the lines AOa, BOb, Oc are concurrent. Yet another way is to define it as the locus of P satisfying the following property known as the quadrangles involutifs[1] (this was the way in which Neuberg introduced the curve):
Let a, b, c be the side lengths of the reference triangle △ABC. Then the equation of the Neuberg cubic of △ABC in barycentric coordinates x : y : z is
In the older literature the Neuberg curve commonly referred to as the 21-point curve. The terminology refers to the property of the curve discovered by Neuberg himself that it passes through certain special 21 points associated with the reference triangle. Assuming that the reference triangle is △ABC, the 21 points are as listed below.[3]
The attached figure shows the Neuberg cubic of triangle △ABC with all the above mentioned 21 special points on it.
In a paper published in 1925, B. H. Brown reported his discovery of 16 additional special points on the Neuberg cubic making the total number of then known special points on the cubic 37.[3] Because of this, the Neuberg cubic is also sometimes referred to as the 37-point cubic. Currently, a huge number of special points are known to lie on the Neuberg cubic. Gibert's Catalogue has a special page dedicated to a listing of such special points which are also triangle centers.[4]
The equation in trilinear coordinates of the line at infinity in the plane of the reference triangle is
There are two special points on this line called the circular points at infinity. Every circle in the plane of the triangle passes through these two points and every conic which passes through these points is a circle. The trilinear coordinates of these points are
where .[5] Any cubic curve which passes through the two circular points at infinity is called a circular cubic. The Neuberg cubic is a circular cubic.[1]
The isogonal conjugate of a point P with respect to a triangle △ABC is the point of concurrence of the reflections of the lines PA, PB, PC about the angle bisectors of A, B, C respectively. The isogonal conjugate of P is sometimes denoted by P*. The isogonal conjugate of P* is P. A self-isogonal cubic is a triangle cubic that is invariant under isogonal conjugation. A pivotal isogonal cubic is a cubic in which points P lying on the cubic and their isogonal conjugates are collinear with a fixed point Q known as the pivot point of the cubic. The Neuberg cubic is a pivotal isogonal cubic having its pivot at the intersection of the Euler line with the line at infinity. In Kimberling's Encyclopedia of Triangle Centers, this point is denoted by X(30).
Let P be a point in the plane of triangle △ABC. The perpendicular lines at P to AP, BP, CP intersect BC, CA, AB respectively at Pa, Pb, Pc and these points lie on a line LP. Let the trilinear pole of LP be P⊥. An isopivotal cubic is a triangle cubic having the property that there is a fixed point P such that, for any point M on the cubic, the points P, M, M⊥ are collinear. The fixed point P is called the orthopivot of the cubic.[6] The Neuberg cubic is an orthopivotal cubic with orthopivot at the triangle's circumcenter.[1]