Triangle center

In geometry, a triangle center or triangle centre is a point in the triangle's plane that is in some sense in the middle of the triangle. For example, the centroid, circumcenter, incenter and orthocenter were familiar to the ancient Greeks, and can be obtained by simple constructions.
Each of these classical centers has the property that it is invariant under similarity transformations. In other words, for any triangle and any similarity transformation, the center of the transformed triangle is the same point as the transformed center of the original triangle.
This invariance is the defining property of a triangle center. It rules out other well-known points such as the Brocard points which are not invariant under reflection and so fail to qualify as triangle centers.
For an equilateral triangle, all triangle centers coincide at its centroid. However, the triangle centers generally take different positions from each other on all other triangles. The definitions and properties of thousands of triangle centers have been collected in the Encyclopedia of Triangle Centers.

History

Even though the ancient Greeks discovered the classic centers of a triangle, they had not formulated any definition of a triangle center. After the ancient Greeks, several special points associated with a triangle like the Fermat point, nine-point center, Lemoine point, Gergonne point, and Feuerbach point were discovered.
During the revival of interest in triangle geometry in the 1980s it was noticed that these special points share some general properties that now form the basis for a formal definition of triangle center. Clark Kimberling's Encyclopedia of Triangle Centers contains an annotated list of over 50,000 triangle centers. Every entry in the Encyclopedia of Triangle Centers is denoted by or where is the positional index of the entry. For example, the centroid of a triangle is the second entry and is denoted by or.

Formal definition

A real-valued function of three real variables may have the following properties:

Homogeneity: for some constant and for all.
Bisymmetry in the second and third variables:

If a non-zero has both these properties it is called a triangle center function. If is a triangle center function and are the side-lengths of a reference triangle then the point whose trilinear coordinates are is called a triangle center.
This definition ensures that triangle centers of similar triangles meet the invariance criteria specified above. By convention only the first of the three trilinear coordinates of a triangle center is quoted since the other two are obtained by cyclic permutation of. This process is known as cyclicity.
Every triangle center function corresponds to a unique triangle center. This correspondence is not bijective. Different functions may define the same triangle center. For example, the functions and both correspond to the centroid.
Two triangle center functions define the same triangle center if and only if their ratio is a function symmetric in.
Even if a triangle center function is well-defined everywhere the same cannot always be said for its associated triangle center. For example, let be 0 if and are both rational and 1 otherwise. Then for any triangle with integer sides the associated triangle center evaluates to 0:0:0 which is undefined.

Default domain

In some cases these functions are not defined on the whole of For example, the trilinears of X₃₆₅ which is the 365th entry in the Encyclopedia of Triangle Centers, are so cannot be negative. Furthermore, in order to represent the sides of a triangle they must satisfy the triangle inequality. So, in practice, every function's domain is restricted to the region of where
This region is the domain of all triangles, and it is the default domain for all triangle-based functions.

Other useful domains

There are various instances where it may be desirable to restrict the analysis to a smaller domain than. For example:

Domain symmetry

Not every subset is a viable domain. In order to support the bisymmetry test must be symmetric about the planes,,. To support cyclicity it must also be invariant under 2π/3 rotations about the line. The simplest domain of all is the line which corresponds to the set of all equilateral triangles.

Examples

Circumcenter

The point of concurrence of the perpendicular bisectors of the sides of triangle is the circumcenter. The trilinear coordinates of the circumcenter are
Let It can be shown that is homogeneous:
as well as bisymmetric:
so is a triangle center function. Since the corresponding triangle center has the same trilinears as the circumcenter, it follows that the circumcenter is a triangle center.

1st isogonic center

Let be the equilateral triangle having base and vertex on the negative side of and let and be similarly constructed equilateral triangles based on the other two sides of triangle. Then the lines are concurrent and the point of concurrence is the 1st isogonal center. Its trilinear coordinates are
Expressing these coordinates in terms of, one can verify that they indeed satisfy the defining properties of the coordinates of a triangle center. Hence the 1st isogonic center is also a triangle center.

Fermat point

Let
Then is bisymmetric and homogeneous so it is a triangle center function. Moreover, the corresponding triangle center coincides with the obtuse angled vertex whenever any vertex angle exceeds 2π/3, and with the 1st isogonic center otherwise. Therefore, this triangle center is none other than the Fermat point.

Non-examples

Brocard points

The trilinear coordinates of the first Brocard point are:
These coordinates satisfy the properties of homogeneity and cyclicity but not bisymmetry. So the first Brocard point is not a triangle center. The second Brocard point has trilinear coordinates:
and similar remarks apply.
The first and second Brocard points are one of many bicentric pairs of points, pairs of points defined from a triangle with the property that the pair is preserved under similarities of the triangle. Several binary operations, such as midpoint and trilinear product, when applied to the two Brocard points, as well as other bicentric pairs, produce triangle centers.

Some well-known triangle centers

Classical triangle centers

Recent triangle centers

In the following table of more recent triangle centers, no specific notations are mentioned for the various points.
Also for each center only the first trilinear coordinate f is specified. The other coordinates can be easily derived using the cyclicity property of trilinear coordinates.

General classes of triangle centers

Kimberling center

In honor of Clark Kimberling who created the online encyclopedia of more than 32,000 triangle centers, the triangle centers listed in the encyclopedia are collectively called Kimberling centers.

Polynomial triangle center

A triangle center is called a polynomial triangle center if the trilinear coordinates of can be expressed as polynomials in.

Regular triangle center

A triangle center is called a regular triangle point if the trilinear coordinates of can be expressed as polynomials in, where is the area of the triangle.

Major triangle center

A triangle center is said to be a major triangle center if the trilinear coordinates of P can be expressed in the form where is a function of the angle alone and does not depend on the other angles or on the side lengths.

Transcendental triangle center

A triangle center is called a transcendental triangle center if has no trilinear representation using only algebraic functions of.

Miscellaneous

Isosceles and equilateral triangles

Let be a triangle center function. If two sides of a triangle are equal then
so two components of the associated triangle center are always equal. Therefore, all triangle centers of an isosceles triangle must lie on its line of symmetry. For an equilateral triangle all three components are equal so all centers coincide with the centroid. So, like a circle, an equilateral triangle has a unique center.

Excenters

Let
This is readily seen to be a triangle center function and the corresponding triangle center is the excenter opposite to the largest vertex angle. The other two excenters can be picked out by similar functions. However, as indicated above only one of the excenters of an isosceles triangle and none of the excenters of an equilateral triangle can ever be a triangle center.

Biantisymmetric functions

A function is biantisymmetric if
If such a function is also non-zero and homogeneous it is easily seen that the mapping
is a triangle center function. The corresponding triangle center is
On account of this the definition of triangle center function is sometimes taken to include non-zero homogeneous biantisymmetric functions.

New centers from old

Any triangle center function can be normalized by multiplying it by a symmetric function of so that. A normalized triangle center function has the same triangle center as the original, and also the stronger property that
Together with the zero function, normalized triangle center functions form an algebra under addition, subtraction, and multiplication. This gives an easy way to create new triangle centers. However distinct normalized triangle center functions will often define the same triangle center, for example and

Uninteresting centers

Assume are real variables and let be any three real constants. Let
Then is a triangle center function and is the corresponding triangle center whenever the sides of the reference triangle are labelled so that. Thus every point is potentially a triangle center. However, the vast majority of triangle centers are of little interest, just as most continuous functions are of little interest.