Main Media Assets

  1. (start here!) A publication which doubles up as a user manual
  2. YouTube tutorial playlist.
  3. Gallery of Arsty loci and as a video.
  4. GitHub code repository
  5. The live app itself: here

1 Introduction

The four classic triangle centers are (i) the incenter \(X_1\) (where bisectors meet), (ii) the barycenter \(X_2\) (the average of the vertices), (iii) the circumcenter \(X_3\) (center of the circumscribing circle), and (iv) the orthocenter \(X_4\) (where altitudes meet) [1]. The \(X_k\) notation follows Kimberling’s monumental Encyclopedia of Triangle Centers [2], where thousands of triangle centers and their properties are catalogued.

One prolific question is: what is the locus of some triangle center over some 1d family of triangles? The simplest family is perhaps one where two vertices are fixed (say, on the \(x\) axis) and a third one moves parallel to it. Shown below are the loci of \(X_i\), \(i=1,2,3,4,20\) over such a family (see also this video):

One notices right away the loci of \(X_1\), \(X_2\), \(X_4\), and \(X_{20}\) meet on two specific points. Furthermore, the loci of \(X_4\) and \(X_{20}\) are parabolas! We leave these as an exercise.

Loci phenomena are a historical subject of study. Recent works include [3], [4], [5], [6], but there are many many others.

Here we document some features of our evolving, interactive locus visualization app. The figure below shows an example of three simultaneous, intricate loci. To see it live click here:

We were motivated by an intriguing construction for the Right Strophoid Curve [7], on Robert Ferréol’s wonderful Mathcurve portal: such a curve is the locus of the Orthocenter \(X_4\) of a triangle with two stationary vertices \(V_1,V_2\) and a 3rd one \(P(t)\) which is slid along the circle centered on \(V_1\) and of radius \(r=|V_2-V_1|\):

In our app we consider a generalization: let \(V_1,V_2\) be stationary with respect to an ellipse \(\mathcal{E}\) with axes \(a\) and \(b\). Let a third vertex \(P(t)\) slide along the boundary of \(\mathcal{E}\). We can now trace out the loci of triangle centers such as the Incenter \(X_1\), Barycenter \(X_2\), Circumcenter \(X_3\), etc., for different mountings of \(V_1,V_2\) on \(\mathcal{E}\). The \(X_k\) notation follows Clark Kimberling’s Encyclopedia of Triangle Centers [2].

As an example, consider the locus (purple) of the Barycenter \(X_2\) when \(V_1,V_2\) are the right and top vertices of \(\mathcal{E}\):

Amazingly, for \(V_1,V_2\) fixed anywhere (not necessarily on the boundary of \(\mathcal{E}\)), the locus of \(X_2\) is, up to translation, an ellipse with axes \(a/3\) and \(b/3\) [8].

Courtesy of Peter Moses, the app can draw loci for the first 1000 Kimberling centers.

2 Triangle families

The app can calculate and display loci of triangle centers, vertices, and envelopes (see below) over two basic types of triangle families: Poncelet and Mounted.

2.1 Poncelet Families

A Poncelet family of triangles is inscribed in a first conic and circumscribed about a second one. Currently we assume these are both ellipses with the 2nd one contained within the 1st. The Poncelet pairs currently available include:

  1. billard: the inner ellipse is confocal to the outer \((a,b)\);
  2. homothetic: outer ellipse \((a,b)\) and inner ellipse has axes \((a/2,b/2)\)
  3. incircle: outer ellipse \((a,b)\) and inner circle with \(r=(ab)/(a+b)\);
  4. inellipse: an inner ellipse \((a,b)\) and outer circle with \(R=a+b\);
  5. dual: outer ellipse \((a,b)\) and inner ellipse \((a',b')\) where \(b'=(a^2 b)/(a^2+b^2)\) and \(a'={b'}(b/a)\).
  6. poristic: the family discovered by William Chapple (1718-1781) in 1746 with fixed incircle (inradius \(r\)) and circumcircle (circumradius \(R\)), with \(d=|{X_1}{X_3}|=\sqrt{R(R-2r)}\).
  7. brocard: fixed circumcircle and inner Brocard inellipse [1], Brocard points are stationary and Brocard angle is invariant!

Except for the last, the above Poncelet families are illustrated below:

2.2 Mounted Families

The app also provides triangle families \(V_1 V_2 P(t)\), where \(V_1,V_2\) are ``mounted’’ (i.e., lie at stationary positions) with respect to an ellipse, and \(P(t)=[a\cos{t},b\sin{t}]\) sweeps the boundary. The following 16 fixed locations for \(V_1\) and \(V_2\) are currently supported:

  1. major: left and right ellipse vertices (EVs)
  2. minor: top and bottom EVs
  3. mixed: left and top EVs
  4. ctrMajor: center and left EV
  5. ctrMinor: center and top EV
  6. fs: the 2 foci
  7. fs-o: center and right focus (\(F_2\))
  8. fs-l: left EV and \(F_2\)
  9. fs-r: right EV and \(F_2\)
  10. fs-t: top EV and \(F_2\)
  11. tl-bl: top left corner of ellipse bounding box (TL) and bottom left of the same (BL)
  12. tl-tr: TL and top right corner (TR) of ellipse bounding box
  13. tl-l: TL and left EV
  14. tl-t: TL and top EV
  15. tl-b: TL and bottom EV
  16. tl-o: TL and center of ellipse

As an example, below are loci of \(X_{11}\) (purple) for each of the above:

3 Types of Loci

Loci over the selected triangle family \(T\) can be calculated for the following objects:

  1. \(X_n\): a triangle center of \(T\) from \(X_1--X_{1000}\)
  2. \(v_1\), \(v_2\), \(v_3\): one of the vertices of \(T\).
  3. \(env\): the envelope of segment \(X_n X_m\), \(m{\neq}n\).
  4. \(e_{12}\), \(e_{23}\), \(e_{31}\): the envelope of a given side of \(T\).
  5. The following Bicentric Pairs [9]:
    • \(\Omega_1,\Omega_2\): the Brocard points
    • \(\beta_1,\beta_2\): the Beltrami points: inversions of Brocards wrt circumcircle
    • \(\mu_1,\mu_2\): the hitherto-named ``Moses’’ points: inversion of Brocards wrt incircle
    • \(\sigma_1,\sigma_2\): the two foci of the Steiner circumellipse (aka. the Bickart points)

4 Derived Triangles

To increase the drawing powers of our app, loci can be computed with respect to centers of either the reference or four-dozen derived triangles, listed below (see [1] for their definition):

  1. Reference
  2. Anticomplementary
  3. BCI
  4. 1st Brocard
  5. 2nd Brocard
  6. 3rd Brocard
  7. 4th Brocard
  8. 5th Brocard
  9. 6th Brocard
  10. 7th Brocard [our invention!]
  11. Circum-Medial
  12. Circum-Mid-arc
  13. Circum-Orthic
  14. Excentral
  15. Extouch
  1. Extangents
  2. Feuerbach
  3. Fuhrmann
  4. Half-Altitude
  5. Hexyl
  6. Incentral
  7. Inner Vecten
  8. Intangents
  9. Intouch
  10. Johnson
  11. Lemoine
  12. Lucas Central
  13. Lucas Inner
  14. Lucas Tangents
  15. MacBeath
  16. Medial
  1. Mixtilinear
  2. 1st Morley Adj
  3. 2nd Morley Adj
  4. 3rd Morley Adj
  5. 1st Neuberg
  6. 2nd Neuberg
  7. Orthic
  8. Outer Vecten
  9. Reflection
  10. Steiner
  11. Symmedial
  12. Tangential
  13. Tangential Mid-Arc
  14. Yff Central
  15. Yff Contact

5 Cevian-Type Triangles

One can also compute second-level cevian-like triangles with respect to a point \(X_m\) of the reference or one of the above derived triangles. The available options are:

  1. Cevian
  2. Anticevian
  3. Circumcevian
  4. Pedal
  5. Antipedal
  6. Tripolar

6 Associated circles

One is also able to superimpose a named circle (see list below) associated with a triangle in the family under consideration. Furthermore one can also invert any triangle center with respect to the selected circle.

  1. Circumcircle
  2. Incircle
  3. Brocard circle
  4. etc.

7 Loci Carousels

A total of 9600 plots can be browsed below corresponding to:

  • 3 different ellipse aspect ratios \(a/b\in\{1.5,2,3\}\), where \(a,b\) are the semi-axes.
  • 200 Kimberling Centers \(X_k,k=1,\ldots,200\)
  • 16 choices for the fixed vertices (as above)

Aspect Ratio: a/b=1.5

Aspect Ratio: a/b=2.0

Aspect Ratio: a/b=3.0

8 Demo: Hexyl Loci

Shown below are a few sample triangle center loci of the Hexyl triangle over different mountings.

9 Acknowledgements

This work would be impossible without the generous help and/or publications of Arsenyi Akopyan, Mark Helman, Robert Ferréol, Ronaldo Garcia, Clark Kimberling, Jair Koiller, Peter Moses, Hellmuth Stachel, Sergei Tabachnikov, and Eric Weisstein.

10 Contact

Any comments, ideas, corrections, suggestions, and proofs contributed are very welcome. Email me at: dreznik _theat_ gmail _thedot_ com.


References

[1]
Weisstein E. 2019. Mathworld. MathWorld–A Wolfram Web Resource. Available from: http://mathworld.wolfram.com,.
[2]
Kimberling C. 2019. Encyclopedia of triangle centers. Available from: https://faculty.evansville.edu/ck6/encyclopedia/ETC.html,.
[3]
Dykstra J, Peterson C, Rall A, Shadduck E. 2006. Orbiting vertex: Follow that triangle center! Available from: bit.ly/2JaWMK9,.
[4]
Odehnal B. 2011. Poristic loci of triangle centers. J Geom Graph 15(1):45–67.
[5]
Pamfilos P. 2020. Triangles sharing their euler circle and circumcircle. International Journal of Geometry 9(1):5–24.
[6]
Schwartz R, Tabachnikov S. 2016. Centers of mass of Poncelet polygons, 200 years after. Math Intelligencer 38(2):29–34.
[7]
Glaeser G, Stachel H, Odehnal B. 2016. The universe of conics. doi: 10.1007/978-3-662-45450-3.
[8]
Akopyan AV, Zaslavsky AA. 2007. Geometry of conics. Providence, RI.
[9]
Kimberling C. 2020. Bicentric pairs of points. Available from: https://faculty.evansville.edu/ck6/encyclopedia/BicentricPairs.html,.