In a given triangle with all angles less than
(
, the first Fermat point
or
(sometimes simply called "the Fermat point," Torricelli
point, or first isogonic center) is the point
which minimizes the sum of distances from
,
,
and
,
(1)
|
This problem is called Fermat's problem or Steiner's segment problem (Courant and Robbins 1941) and was proposed by Fermat to Torricelli. Torricelli's solution was published by his pupil Viviani in 1659 (Johnson 1929). The first Fermat point has equivalent triangle center functions
(2)
| |||
(3)
|
and is Kimberling center (Kimberling 1998, p. 67).
If all angles of the triangle are less than
(
), then the first
Fermat point is the interior point
from which each side subtends an angle
of
, i.e.,
(4)
|
The first Fermat point can be constructed by drawing equilateral triangles on the outside of the given triangle and connecting opposite vertices. The three diagonals in the figure then intersect in the first Fermat point.
The second Fermat point or
is constructed analogously using equilateral triangles pointing
inwards. It has triangle center function
(5)
|
and is Kimberling center (Kimberling 1998, p. 68).
The antipedal triangle of is equilateral and
has area
(6)
| |||
(7)
|
where
is the Brocard angle. The antipedal
triangle of
is also an equilateral and has area
(8)
| |||
(9)
|
The Fermat points are also known as the isogonic centers, since they are isogonal conjugates of the isodynamic points.
The two Fermat points are collinear with the symmedian point of ,
and the midpoint of the segment
, where
is the triangle centroid
and
is the orthocenter of
(left figure). Furthermore, the midpoint
of the two Fermat points lies on the nine-point
circle of
(right figure).
Given three positive real numbers ,
the "generalized" Fermat point is the point
of a given acute triangle
such that
(10)
|
is a minimum (Greenberg and Robertello 1965, van de Lindt 1966, Tong and Chua 1995)