The Tucker circles are a generalization of the cosine circle and first Lemoine circle which can be viewed as a family of circles obtained by parallel displacing sides of the corresponding cosine or Lemoine hexagon. No matter how the segments are displaced, the Tucker hexagon will close, and the 12 vertices will be concyclic. The cosine circle and first Lemoine circle correspond to the special case where three sides of the Tucker hexagon concur.
Let three equal lines , , and be drawn antiparallel to the sides of a triangle so that two (say and ) are on the same side of the third line as . Then is an isosceles trapezoid, i.e., , , and are parallel to the respective sides. The midpoints , , and of the antiparallels are on the respective symmedians and divide them proportionally. If divides in the same ratio, , , are parallel to the radii , , and and equal. Since the antiparallels are perpendicular to the symmedians, they form equal chords of a circle, called a Tucker circle, which passes through the six given points and has center on the line (Honsberger 1995, pp. 92-94).
Defining
(1)
|
then the radius of the Tucker circle is
(2)
|
where is the Brocard angle and is the circumradius of the reference triangle (Johnson 1929, p. 274).
Tucker circles can also be parametrized by a parametric angle . The Tucker circle with parametric angle has radius
(3)
|
where is the Brocard angle and the circumradius of the reference triangle (Gallatly 1913, p. 134), and trilinear center function
(4)
|
Special named Tucker circles are summarized in the following table, where is the inradius, the semiperimeter of the reference triangle, and and is Conway triangle notation.
Tucker circle | ||
Apollonius circle | ||
circumcircle | 0 | 1 |
cosine circle | 0 | |
first Lemoine circle | ||
Gallatly circle | ||
Kenmotu circle | ||
Taylor circle |
The Tucker circles are a coaxaloid system (Johnson 1929, p. 277).
The internal and external centers of similitudes of a Tucker circle with the nine-point circle lie on the Kiepert hyperbola (P. Moses, pers. comm., Jan. 3, 2005).
The two intersections of a Tucker circle with the Brocard axis have center functions
(5)
|
and the inner and outer centers of similitude with the Brocard circle are given by
(6)
|
where
(7)
|
(pers. comm., P. Moses, Jan. 3, 2005).