Main Media Assets
- (start here!) A publication which doubles up as a user manual
- YouTube tutorial playlist.
- Gallery of Arsty loci and as a video.
- GitHub code repository
- The live app itself: here
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.
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.
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:
Except for the last, the above Poncelet families are illustrated below:
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:
As an example, below are loci of \(X_{11}\) (purple) for each of the above:
Loci over the selected triangle family \(T\) can be calculated for the following objects:
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):
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:
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.
A total of 9600 plots can be browsed below corresponding to:
Shown below are a few sample triangle center loci of the Hexyl triangle over different mountings.
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.
Any comments, ideas, corrections, suggestions, and proofs contributed are very welcome. Email me at: dreznik _theat_ gmail _thedot_ com
.