leftri   A GUIDE TO PREAMBLES IN ETC  rightri

Prepared by Clark Kimberling, August 2026




This Guide to the Preambles in the Encyclopedia of Triangle Centers (ETC) exists for this purpose: to be searched. Instead of searching ETC's Parts one at a time, you can search the Guide, which covers all 37 Parts. For example, you can search for names, terms, sources, years, etc.

Try searching these names of contributors of triangle centers: Dao, Hatzipolakis, Hutson, Lozada, Moses, Pavlov, Warren, and many others.

Then try some of these:

Euler, Steiner, Brocard, Lemoine, Kiepert, Nagel, Gergonne, Euclid, Apollonius, Fermat, Hofstadter, Morley, MacBeath, Danneels, Kirikami, Schiffler, Soddy, Walsmith, Conway, Garcia, Feuerbach, Reznik, Parry, Yff, Artzt, Drucker, Tucker, Grinberg, Rigby, van Lamoen, Nguyen, Lester, Gibert, Ehrmann, Fuhrmann, Weyermann, Bevan, Simson, Kenmotu, Miyamoto, Ceva, Suppa, Montesdeoca, Vijay, Vu.

ETC is the source of many terms and theorems that were new to geometry at the time they were introduced in ETC. Here are a few examples:

combo, eigencenter, equicenter, Dao conjugate, line conjugate, X-antipode, equilateral limit curve
Hutson-Moses hyperbola, Moses point, Moses conic, Moses-Euler point, Gibert-Moses centroid,
Kiss-Moses mapping, Moses inparabola, Hutson-Moses hyperbola, Lozada perspector, Euler coordinates,
Gemini triangle, Hutson triangle, midcevian triangle, Ursa-major triangle, Hatzipolakis-Moses triangle,
Fermat-Dao-Nhi triangle, Talitha triangle, Vecten triangle, Altintas-isodynamic triangle,
obverse triangle, dual triangle, polar triangle, paratriangle, bicevian triangle, product triangle, Savin triangle,
Dao triangle, Moses-Soddy triangle, mixtilinear triangle, ortho-perspective triangle, para-perspective triangle,
crosspedal triangle, Pavlov triangle, cyclologic, ellipsologic, orthologic, eulerologic, parallelogic,
Warren circle, Warren reflection circle, Warren six-circle, Hatzipolakis-Lozada circle, Hatzipolakis-Suppa circle,
Lozada-Lemoine circle, Dao circle, orthopolar circle, Clawson circle, Vietnamese circle, Panchapakesan circle,
Stammler reflection hyperbola, Hutson right hyperbola, Huygens hyperbola, Hofstadter ellipse, permutation ellipse, X-parabola,
Euler coordinates, coordinate system, infinity bisector, trigonometric, orthogonal projection, additive associate,
infinite difference point, Frégier point, Pappus point, Shinagawa-Euler point, Vietnamese point, central angle point,
mutual-reflections conic, Paasche conic, Evans conic, Pythagorean conic, bicevian conic, antigonal, collineation,
perspective field, centroid of curvature, endo-homothetic, perspeconic, coordinate system, Dao-Euler point
symbolic substitution, Hyacinthos, Simmons conicequicenter, cubic, Hyacinthos, Vu point, Vu circle, Vu pole




Preambles in Part 1


Centers X(2)-X(30) (Points on the Euler line)



Centers X(74), X(98)-X(112). Points on the circumcircle; mappings Λ and Ψ



Centers X(113)-X(139) (Points on the nine-point circle)



Centers X(140)-X(170) (Centers of central triangles)



Centers X(191)-X(236) (Ceva conjugates)



Centers X(237)-X(248) (Line conjugates)



Centers X(249)-X(297) (isogonal conjugates of prevously listed centers)



Centers X(298)-X(350) (isotomic conjugates of prevously listed centers)



Centers X(401)-X(475), on the Euler line



Centers X(485)-X(495), triangle centers associated with squares



Isoscelizer points: X(503)-X(510)



Centers on the lines at infinity: X(511)-X(526)



Centers X(527)-X(565). Jan 1 2001. Among these, X(527)-X(545) are of the form "direction of vector AX+BY+CX for selected triangle centers X. Points X(546)-X(551) are midpoints.



Centers X(566)-X(584) (includes definitions of these words as nouns: orthogonal, harmonic, orthoharmonic.)



Centers X(616)-X(642), contributed by Bernard Gibert, March 2, 2001. Trilinears for points in this section were found by Joe Goggins, Oct. 19, 2005.







Preambles in Part 2


Centers X(1115)-X(1150), Jan 10, 2003.



Centers X(1166)-X(1208), February 14, 2003. Saragossa points (1st, 2nd, 3rd), contributed by Darij Grinberg



Centers X(1286)-X(1311), Collings Transforms



Centers X(1354)-X(1367), Brisse Transforms



Centers X(1393)-X(1477), Beth Conjugates



Centers X(1512)-X(1568), Orthojoins



Centers X(1601)-X(1634), TCC Perspectors. Suppose P is a point. As noted in TCCT, p. 201, the tangential triangle is perspective to the circumcevian triangle of P. (The tangential triangle is also perspector to the circum-anticevian triangle of P, with the same perspector as for the circumcevian triangle of P.) In August 2003, Jean-Pierre Ehrmann gave barycentrics for the perspector, called the TCC-perspector of P. For further properties of TCC perpsectors, published some 14 years after their introduction here, see I. Minevich and P. Morton, International Journal of Geometry 2017, "Synthetic foundations of cevian geometry, IV"



Centers X(1635)-X(1651), Tripolar Centroids, contributed by Darij Grinberg, August 24, 2003.



Centers X(1662)-X(1706), Circle-related points, contributed by Peter Moses during August, 2003.



Centers X(1707)-X(1788), Mimosa transforms and inverse Mimosa tranforms, contributed by Clark Kimberling, September 16, 2003. Let g(P,X) denote the P-gimel conjugate of X. The Mimosa transform M(X) arises in connection with the equation g(P,X) = X.



Centers X(1824)-X(1907), Zozma transforms (isogonal conjugates of inverse Mimosa transforms)



Centers X(1908)-X(1982), Centers from bicentric pairs. Suppose P and U are a bicentric pair. Many operations on P and U result in triangle centers. Among these are trilinear and barycentric product, bicentric sum, bicentric difference, crosssum, and crossdifference.



Centers X(1992)-X(2006), Orthocorrespondents. Suppose that P is a point in the plane of triangle ABC. The perpendiculars through P to the lines AP, BP, CP meet the lines BC, CA, AB, respectively, in collinear points. Let L denote their line. The trilinear pole of L is the orthocorrespondent of P. This definition was introduced by Bernard Gibert.



Centers X(2007)-X(2040). Gallatly circle (pedal cicle of the 1st and 2nd Brocard points).



Centers X(2041)-X(2046), Euler-Vecten-Gibert Points. On August 13, 2003, Bernard Gibert contributed six centers that lie on the Euler line and are related to the Vecten points.



Centers X(2055)-X(2046), Orion transforms, contributed by Jean-Peirre Ehramann, September 24, 2003.



Centers X(2070)-X(2080), Inverses in circumcircle, contributed by Peter Moses.



Centers X(2081)-X(2088), PK and NK Transforms, contributed by Bernard Gibert, October 1, 2003. Let X -1 denote the isogonal conjugate of X. Then PK(X) is the point of intersection of the trilinear polar of X and the trilinear polar of X -1, and NK(P) is the pole of the line XX-1 with respect to the conic that passes through points A, B, C, X, and X -1. Also, PK(X) is the crossdifference, and NK(X) the crosssum, of X and X -1.



Centers X(2093)-X(2105), Reflections, contributed by Peter Moses.



Centers X(2106)-X(2119), points on the 2nd equal-areas cubic, EAC2. For any point P on EAC2, the X(2)-isoconjugate of P is also on EAC2. Contributed by Clark Kimberling.



Centers X(2120)-X(2143),, Eigencenters and eigentransforms. Contributed by Clark Kimberling, October, 2003.



Centers X(2365)-X2384), More points on the circumcircle, October 20, 2003, revised January 20, 2015 following suggestions by Viktor Kataysky. Notations: CIR(U)



Centers X(2394)-X2419), Gibert-Simson Transforms. On October 19, 2003, Bernard Gibert contributed points that lie on the Simson cubic. Indeed, this cubic is the image of the circumcircle under a mapping here named the Gibert-Simson transform.



Centers X(2446)-X(2573), (Mostly) circle-related points, contributed by Peter J. C. Moses, October-November, 2003. See the notes just before X(1662) for an introduction and notation. Included in this section are centers of similitude of several pairs of circles.



Centers X(2594) - X(2670), related to bicentric pairs.



Centers X(2677)-X(2770), Rigby-Simson points and Simson-Rigby points.



Centers X(2855)-X(2868), Simson-Moses points, defined by changing "isogonal" to "isotomic" in the definition of Simson-Ribgy points (X(2687)-X(2770).



Centers X(2883)-X(2962), Isogonal Conjugates with respect to Special Triangles (e.g,, medial, orthic, excentral, tangential). The term "complementary conjugate" already in use at the time of this writing (November 11, 2004) is a synonym for "medial isogonal conjugate", as is "anticomplementary conjugate" for "anticomplementary isogonal conjugate"; accordingly, the earlier terms will be used in the sequel. Also, "excentral isogonal conjugate" is "X(188)-aleph conjugate" and "orthic isogonal conjugate" is "X(4)-Ceva conjugate"; in these cases, the new terminology will be used.



Centers X(2967)-X2973), Points lying on the MacBeath inconic, contributed by Peter Moses, November 12, 2004,



Centers X(2979)-X(), Dual triangles: DC points and CD points, contributed by Clark Kimberling. Suppose DEF is a triangle in the plane of triangle ABC. Let D' be the isogonal conjugate of the point of intersection of line EF and the line at infinity. Define E' and F' cyclically. The triangle D'E'F' is here named the dual of DEF. The vertices of D'E'F' lie on the circumcircle, and D'E'F' is similar to DEF. The duality is between the sidelines EF, FD, DE and the points D', E', F', respectively. For example, if E and F remain fixed and D varies, then D' remains fixed, while E'F' varies. Actually D'E'F' is the dual of any triangle homothetic to DEF. Indeed, DEF need not be a triangle but can be the union of three concurrent lines. Suppose U is a point having cevian triangle DEF and dual triangle D'E'F'. Then there exists a point DC(U) whose circum-anticevian triangle (TCCT, p. 201) is D'E'F'. To construct DC(U) from U, let A' = AD'∩BC, and let A" be the {B,C}-harmonic conjugate of A'. Define B" and C" cyclically. The lines AA", BB", CC" concur in DC(U). Also, DC(U) = U-isoconjugate of the crosssum of U and X(6).



Centers X(3000)-X(3019), Intersections of Central Lines.



Preambles in Part 3


Centers X(3027)-X(3028), Antipodal Pairs on Circles. In response to Stevanovic's findings (X(3000) to X(3006)), Peter Moses noted (Hyacinthos, 12/9/2004) a method for mapping a pair of antipodal points on one circle to an antipodal pair on another circle. The method depends on centers of similitude: Suppose O1 and O2 are circles, that P is on O1 and that P' is the antipode of P on O1. Let U be the internal center of similitude (insimilicenter) of O1 and O2, and V the exsimilicenter. Define Q = PU ∩P' V and Q' = PV ∩P' U. Then on O2, point Q' is the antipode of Q. Moreover, the lines PP' and QQ' are parallel.


Centers X(3112)-X(3118) represent points introduced by Quang Tuan Bui in Hyacinthos, August 5, 2006. Suppose X is a point not on a sideline of ABC. Let

gX = isogonal conjugate of X
tX = isotomic conjugate of X
tgX = isotomic conjugate of gX
gtX = isogonal conjugate of tX
Gt = intersection of lines X(tX) and (gX)(gtX)
Tg = intersection of lines X(gX) and (tX)(tgX)

Then the points A, B, C, gX, tX, Tg, Gt are on a conic. As a circumconic, it is the image under the isogonal conjugate mapping of line X(gtX). It is also the image under the isotomic conjugate mapping of line X(tgX).


Centers X(3119)-X(3126), Danneels Perspectors. Suppose A1B1C1 is the cevian triangle of a point X. Let LAB be the line through B parallel to A1B1, and let LAC be the line through C parallel to A1C1.
Let A2 = LAB∩LAC, and define B2 and C2 cyclically. Let

A3 = BB2∩CC2,    B3 = CC2∩AA2,    C3 = AA2∩BB2.

Eric Danneels proves in "A Simple Perspectivity," Forum Geometricorum 6 (2006) 199-203, that the triangles A3B3C3 and ABC are perspective. If X = x : y : z (barycentrics), then the Danneels perspector P(X) is given by

P(X) = x(y - z)2 : y(z - x)2 : z(x - y)2.


Centers X(3272)-X(3283) are associated with six equilateral triangles related to the (1st) Morley triangle; trilinears for vertices of these triangles are given just below. Received from Milorad R. Stevanovic, November 24, 2007 and December 25, 2007.


Centers X(3310)-X(3310), Barycentric Products of Perpendicular Directions. Suppose P and U are points on the line at infinity, given in barycentric coordinates by P = p : q : r and U = u : v : w. We call P and U perpendicular directions if for every point X not in the line at infinity, the lines XP and XU are perpendicular. (It is well known that if P and U are an antipodal pair on the circumcircle, then their isogonal conjugates are perpendicular directions.)


Centers X(3318)-X(3328), Incircle transforms. Suppose that U = u : v : w (trilinears) is a point other than the symmedian point, X(6). The incircle transform of U is the point T(U) = a (a - b + c) (a + b - c) (c v - b w)^2 : : , which lies on the incircle. Geometrically, T(U) is the Brisse transform of the psi transform of X(6) and U. (Brisse transform is described just before X(1254), and psi transform, also called the "Psi mapping" elsewhere in ETC, and TCCT, p. 80, is defined in the preamble just before X(98).


Centers X(3415)=X3446), Vertex conjugates. Suppose that U = u : v : w and X = x : y : z (trilinears) are points not on a sideline of ABC. Let f(a,b,c) = a/[a2vwyz - ux(bw + cv)(bz + cy)]. The U-vertex conjugate of X is the point f(a,b,c) : f(b,c,a) : f(c,a,b). For a geometric interpretation, let T be the vertex triangle of the circumcevian triangles, AUBUCU and AXBXCX, of U and X; viz., the sidelines of T are AUAX, BUBX, CUCX. Then T is perspective to ABC, and the perspector is the U-vertex conjugate of X.


Centers X(3602)-X(3609), Points associated with Morley cubics K29, K30, K31.


Centers X(3616)-X(3637), Homothetic centers. Suppose that X is a triangle center, that M is the medial triangle, and that t is a real number. The t-dilation of M from X, denoted by H(X; M, t), is a triangle center. If X = x : y : z (trilinears), then

H(X; M, t) = bc[(1 + t)ax + (1 - t)by + (1 - t)cz] : ca[(1 - t)ax + (1 + t)by + (1 - t)cz] : ab[(1 - t)ax + (1 - t)by + (1 + t)cz],

with inverse given by

H-1(X; M, t) = bc[(1 - t)(by + cz) - 2ax] : ca[(1 - t)(cz + ax) - 2by : ab[(1 - t)(ax + by) - 2cz].

César E. Lozada contributed several such triangle centers (March 21, 2011).


Centers X(3647)-X(3652), Kirikami-Schiffler Points. Suppose that X is a point and A'B'C' is a central triangle. Let LA be the line through A' parallel to the Euler line of triangle BCX, let LB be the line through B' parallel to the Euler line of CXA, and let LC be the line through C' parallel to the Euler line of AXB.

It is well known that if X=X(1), the incenter, then the three aforementioned Euler lines concur in the Schiffler point, X(21). If their parallels, the lines LA, LB, LC concur, the point of concurrence is the Kirikami-Schiffler point of the triangle A'B'C', denoted by KS(A'B'C'). Seiichi Kirikami (February 1, 2011) found that those lines concur if A'B'C' is the reference triangle ABC and also concur if A'B'C' is the medial triangle. Peter Moses found additional cases and properties..


Centers X(3663)-X(3861), Central Triangles and More Combos. Many triangle centers can be defined (as just above) by the form Xcom(nT), where T denotes a central triangle. In order to present such centers, it is helpful to introduce the notation T(f(a,b,c), g(b,c,a)) for central triangles. (This lengthly preamble was completed December 23, 2011.)


Centers X(3739)-X(3757), More Combos. Continuing the discussion of points Xcom(T), suppose that T is an arbitrary triangle, and let nT denote the normalization of T. Let NT denote the set of these triangles, as matrices, and let * denote matrix multiplication. Then NT is closed under *. Also, NT is closed under matrix inversion. Consequently, (NT, *) is a group, comparable to the group of stochastic matrices. Suppose that T1 and T2 are triangles. In many cases, the product T1*T2 is well-defined (e.g., TCCT, page 175). However, n(T1*T2) may not be n(T1)*n(T2) if T1 and T2 are not normalized. Therefore, it is important, when dealing with products, to include the "n" if it is intended.


Centers X(3758)-X(3861), Central Triangles and More Combos. (See just above, Centers X(3663)-X(3861).


Centers X(3862)-X(4162), Inverse Triangles and More Combos. The Euler triangle and the 2nd, 3rd, 4th, and 5th Euler triangles are discussed in the preamble to X(3758), along with eight other central triangles using the notation T(f(a,b,c), g(b,c,a)). Recall that the inverse of a normalized central triangle T, denoted by Inverse(nT) or Inverse(n(T)), is also a normalized central triangle. Barycentrics for the inverse of each of the 13 triangles and properties of these triangles were given (Peter Moses, December 2011).


Centers X(4183)-X(4250), Points on the Euler line.


Centers X(4251)-X(4291), Points on the Brocard Axis.


Centers X(4292)-X(4356), Points on the Soddy Line.


Centers X(4735)-X(4548), More Central Triangles and Combos.


Centers X(5000)-X(5001), Walsmith Points. Early in 2012, Russell Walsmith introduced this point and conjectured that it lies on the Euler line. Peter Moses found barycentrics for the point and its inverse-in-the-circumcircle, X(5001), and proved that the two points lie on the Euler line.






Preambles in Part 4


Centers X(5376)-X(5389), Points on the Hutson-Moses hyperbola. The Hutson-Moses hyperbola, introduced at X(5375), is given by the following barycentric equation:

a(a - b)(a - c)yz + b(b - c)(b - a)zx + c(c - a)(c - b)xy = 0.

This hyperbola has perspector X(100), center X(5375), meets the circumcircle in X(898) and the Steiner circumellipse in X(666), and is the isogonal conjugate of the line X(244)X(665). If X = x : y : z (barycentrics) is a point on the circumcircle, then the point H(X) = x/(a(b - c)) : y/(b(c - a)) : z/(c(a - b)) is on the Hutson-Moses hyperbola.


Centers X(6000)-X(6031), Isogonal Conjugates With Respect To Various Triangles


Centers X(6056)-X(6069), Lozada Perspectors. Suppose that A′B′C′ be the cevian triangle of a point P. Let L be the line through A′ tangent to the incircle, and let A* be the touchpoint; define B* and C* cyclically. Then A*B*C* is perspective to ABC for all P.    (César Lozada, May 7, 2014, Anopolis #1466)

If P = p : q : r (trilinears), then the perspector is P* = a(b + c - a)p2 : b(a + c - b)q2 : c(a + b - c)r2.


Centers X(6070)-X(6083), Points Associated with the Steiner Deltoid. Suppose that ABC is a triangle. Its Steiner deltoid, SD, is the envelope of the Simson lines of ABC. Peter Moses (September 14, 2014) defined a mapping from (O) to SD; the mapping is here denoted by M and named the Moses-Steiner image.


Centers X(6103)-X(6111), the Dao-Moses-Telv Circle and Associated Points. The Dao-Moses-Telv circle is defined as the circle passing through these six points:

F1 = X(13), the 1st Fermat point
F2 = X(14), the 2nd Fermat point
F3 = inverse of F1 in the circumcircle
F4 = inverse of F2 in the circumcircle
F5 = inverse of F1 in the nine-point circle
F6 = inverse of F2 in the nine-point circle

Dao Thanh Oai noted that these points are concyclic, Telv Cohl gave a proof, and Peter Moses discovered properties described in this preamble. The center of the Dao-Moses-Telv circle is X(1637). (Francisco Javier García Capitán, November 3, 2014)

The Dao-Moses-Telv circle is orthogonal to the circumcircle, the nine-point circle, and all the other circles in their coaxal family. The circle passes through X(5000) and X(5001), these being the Walsmith point and its inverse in the circumcircle. (Peter Moses, November 6, 2014)


Centers X(6112)-X(6128), Moses Radical Circle and Associated Points. Summarizing notes from Peter Moses (November 7, 2014), the circle here named the Moses radical circle, MRC, is defined as the radical circle of the circumcircle, nine-point circle, and Brocard circle. The center of MRC is X(647), and, like the Dao-Moses-Telv circle (see X(6103), MRC passes through X(5000) and X(5001).


Centers X(6129)-X(61364), Centers of Circles Orthogonal to the Coaxal System of the Circumcircle and Nine-Point Circle. Continuing Peter Moses's discussion in the preamble to X(6112)-X)6128), suppose that P = p : q : r (barycentrics) is a point other than the circumcenter. Let U(P) be the circle that passes through P and its circumcircle-inverse and is orthogonal to the coaxal system of the circumcircle and nine-point circle. Then X(5000) and X(5001) lie on U


Centers X(6137)-X(6140), Centers of Circles Orthogonal to the Coaxal System of the Circumcircle and Brocard Circle. Continuing Peter Moses's discussion in the preambles to X(6112) and X(6129), suppose that P = p : q : r (barycentrics) is a point other than the circumcenter. Let V(P) be the circle that passes through P and its circumcircle-inverse and is orthogonal to the Schoute coaxal system; that is, the coaxal system of the circumcircle and Brocard circle. Then X(15) and X(16) lie on V, and the center of V is the point M(V) = f(a,b,c) : f(b,c,a) : f(c,a,b) given by . . .


Centers X(6337)-X(6342) and X(6600)-XX(6661), Symbolic Substitution, contributed by Clark Kimberling, August 8, 2026. The notation "SS(a → SA)" denotes barycentric symbolic substitution, similar to trilinear symbolic substitution defined at X(3221). Symbolic substitution carries lines to lines, conics to conics, and cubics to cubics. For example, since X(1), X(2), X(3), X(4), X(6), X(9), X(57), X(1073), X(1249) lie on the Thomson cubic, their images under SS(a →SA) lie on the cubic given by

x(S2Cy2 - S2Bz2) + y(S2Az2 - S2Cx2) + z(S2Ax2 - S2Ay2) = 0.

The subject of symbolic substitution was introduced in C. Kimberling, "Symbolic substitutions in the transfigured plane of a triangle," Aequationes Mathematicae 73 (2007) 156-171.


Centers X(6395)-X(6502), Centers associated with Lucas triangles and Lucas circles, contributed by Randy Hutson, February 3, 2015


Centers X(6570)-X(6577), Circumeigencenters (CET). The eigencenter of a triangle is defined in the Glossary and in TCCT, p. 192. In case the triangle is the circumcevian triangle of a point U = u : v : w (trilinears), the eigencenter is given by [formula]. This point is here named the circum-eigentransform of U, denoted by CET(U). The point CET(U) lies on the circumcircle. Pairs (i,j) such that CET(X(i)) = X(j) include the following [list].:


Centers X(6666)-X(6723), Centroids of Quadrilaterals. Suppose that X is a point in the plane of a triangle ABC. The centroid, G,′ of {A,B,C,X} is the complement of the complement of X, hence also the midpoint of X and the complement of X, as well as the Kosnita(X,X(2)) point. If X = x : y : z (barycentrics), then G' = 2x + y + z : x + 2y : z : x + y + 2z. Randy Hutson, February 24, 2015, noted that properties described at X(6600) and X(6601) hold generally, as follows. Let G″ be the complement of X, and let A′B′C′ be the anticevian triangle of G″. The reflection of the cevian triangle of X in G' is perspective to ABC, and the perspector is the anticomplement of the centroid of {A′,B′,C′,G″}. This perspector is also the isogonal conjugate of the TCC-perspector of the isogonal conjugate of G″. (The TCC-perspector of a point is defined in the preamble to X(1601).)


Centers X(6724)-X(6796), Homologous images, contributed by Randy Hutson, March 15, 2015. The term "homologous" means "having the same relation or relative position to". Let T1 and T2 be two triangles, and P a point in the plane of triangle T1. The point P′ in the plane of triangle T2 is a T1-to-T2 homologous image of P if P′ has the same relation or relative position to T2 as P has to T1. If T1 and T2 are similar triangles, this meaning is unambiguous, and we call P′ the T1-to-T2 similarity image of P. If, however, T1 and T2 are not similar, the term "homologous images" can apply to several kinds of mappings. We present three such mappings here.>

Trilinear image:

Let P be a point with trilinears x : y : z wrt T1. Then the T1-to-T2 trilinear image of P is the point P′ with trilinears x : y : z wrt T2. This is a non-affine collineation, preserving collinearities, but not ratios of distances between collinear points. Parallel lines do not remain parallel under this mapping, so that points on the line at infinity map to finite points. Circumconics of T1 map to circumconics of T2 and inconics of T1 map to inconics of T2.

Barycentric image:

Let P be a point with barycentrics x : y : z wrt T1. Then the T1-to-T2 barycentric image of P is the point P′ with barycentrics x : y : z wrt T2. This is an affine collineation, preserving collinearities as well as ratios of distances between collinear points. Parallel lines remain parallel under this mapping, so that the line at infinity maps to itself. Conics map to conics of the same type (ellipses, including circles, map to ellipses, parabolas to parabolas, hyperbolas to hyperbolas). Circumconics of T1 map to circumconics of T2 and inconics of T1 map to inconics of T2.

Functional image:

Let the sidelengths of T1 be denoted a1, b1, c1 and the sidelengths of T2 be denoted a2, b2, c2. Let P be a point with coordinates f(a1,b1,c1) : g(b1,c1,a1) : h(c1,a1,b1) with respect to T1, where f, g, h either have the same degree of homogeneity, or else one is the zero function and the other two have the same degree of homogeneity. (If P is a center of T1, then f = g = h.) Then the T1-to-T2-functional image of P is the point P′ with coordinates f(a2,b2,c2) : g(b2,c2,a2) : h(c2,a2,b2) with respect to T2. Coordinates here can be trilinears or barycentrics, as long as the same system is used for T1 and T2. P′ serves the same 'function' wrt T2 (e.g., centroid, circumcenter, 1st Brocard point, A-vertex of orthic triangle, etc.) as P serves wrt T1. For example, the orthic-to-excentral functional image of X(5) = X(40), since X(5) and X(40) are the respective circumcenters of the orthic and excentral triangles. This is a non-affine collineation, preserving collinearities, but not ratios of distances between collinear points (except where these distance ratios define the point, such as midpoints, reflections, etc.). Parallel lines remain parallel under this mapping, so that the line at infinity maps to itself. Circles map to circles. Other conics map to conics, but not necessarily of the same type (e.g., the MacBeath circumconic of T1 may be an ellipse, but maps to the MacBeath circumconic of T2, which may be a hyperbola.) Circumconics of T1 map to circumconics of T2 and inconics of T1 map to inconics of T2.






Preambles in Part 5


Centers X(7001)-X(7373), Centers associated with extra-triangles, contributed by Richard Hilton, March 19, 2015. Suppose that f(a,b,c) is a polynomial and that a triangle center X has barycentric coordinates f(a,b,c) : f(b,c,a) : f(c,a,b). Then the A-extraversion of X is obtained by replacing a by -a in all three of its barycentric coordinates. Likewise, the B-extraversion is obtained by the substitution b → -b, and the C-extraversion by c → -c. The three extraversions are the vertices of a central triangle which we shall call the extra-triangle of X. In the notation introduced in the preamble to X(3758), the extra-triangle of X is T(f(-a,b,c), f(b,c,-a)). For centers that have no such polynomial representation, the three extraversions are defined "by construction" [details omitted here]. The focus in this section is on centers for which the extra-triangle is perspective with ABC.


Centers X(7584)-X(7588), Endo-homothetic centers, contributed by César Eliud Lozada, April 22-27, 2015. Suppose that U and V are a pair of homothetic triangles. There is a well-known point, X, called the homothetic center of U and V. For example, the homothetic center of the 1st circumperp and 2nd extouch triangles is X = X(7580). Now, we can "view" X from ABC as X(7580), or we can "view" X from U, in which case X is X(1993)-of-U, and by homothety, X is also X(1993)-of-V. In general, if X = X'-of-U (or equivalently, X = X'-of-V), then the point X' (as a function of the reference triangle ABC) is introduced here as the endo-homothetic center of U and V.


Centers X(7597)-X(7602), Touchpoints of pairs of circles. Tran Quang Hung found that the incircle of the hexyl triangle is tangent to the circumcircle of ABC. The point of tangency, or touchpoint, is X(7597). Let S be the set of incircles, circumcircles, and nine-point circles of 60 central triangles listed in MathWorld. César Lozada checked pairs of circles in S for tangency and found several new points, X(7598)-X(7602). He notes (May 10, 2015) that these six points together with points already in ETC account for all touchpoints of pairs of circles in S.


Centers X(7693)-X(7709), Similar triangles and centers of similitude, contributed by César Lozada and Randy Hutson, June 8, 2017. If two similar figures lie in the plane but do not have parallel sides (i.e., they are similar but not homothetic), there exists a center of similitude, also called a self-homologous point, which occupies the same homologous position with respect to the two figures (Johnson 1929, p. 16). See Similitude Center at MathWorld. Algebraically, the center of similitude of two similar triangles U and V is the invariant triangle center under the affine transformation that maps U into V. If U and V are homothetic then their center of similitude coincides with their homothetic center.


Centers X(7713)-X(7713), Hatzipolakis-Lozada Homothetic Centers. Antreas Hatzipolakis posed the following construction and related questions (June 10, 2015). Let A'B'C' be the orthic triangle of a triangle ABC and H = X(4). Let AB be the orthogonal projection of A' on line HB', and define Bc and Ca cyclically. Let AC be the orthogonal projection of A' on line HC', and define BA and CB cyclically. Let P be a point (in the usual sense of a function defined on a subset of the set of points in the plane of an abstract triangle with variable side-lengths a,b,c). Let PA = P-of-A'ABAC, PB = P-of-B'BCBA, PC = P-of-C'CACB. Let PAB be the reflection of PA in line HB', and define PBC and PCA cyclically. Let PAC be the reflection of PA in line HC', and define PBC and PCA cyclically. Let MA be the midpoint of PAB and PAC, and define MB and MC cyclically. Then MAMBMC is homothetic to ABC, and the Euler line of MAMBMC is parallel to the Euler line of ABC.

César Lozada (June 10, 2015) found that if P = p : q : r (trilinears), then the homothetic center of MAMBMC and ABC is the point given by

HL(P) = [(a2 + b2 + c2)p + 2abq + 2acr]/((a2 - b2 - c2) : : = (Sωp + abq + acr)/SA : :

If P is on the infinity line, then HL(P) = P, and if P lies on the Euler line of ABC, then Euler-line-of-MAMBMC = Euler-line-of-ABC.


Centers X(7720)-X(7733), Centers related to the orthocentroidal triangle. César Lozada (June 18, 2015) finds perspectors, orthologic centers, and parallelogic centers associated with the orthocentroidal triangle. This triangle is defined at X(5476) as follows. Let A' be the intersection, other than X(4), of the A-altitude and the orthocentroidal circle, and define B' and C' cyclically. The orthocentroidal triangle, A'B'C', is inversely similar to ABC, with center X(6) of similitude. Centers X(7745)-X(7754), Points on the Euler line. contributed by Peter Moses, July 6, 2015.



Centers X(7755)-X(7999), Centers associated with mixtilinear triangles: César Lozada (July 6, 2015) introduced the 2nd-to-6th mixtilinear triangles and contributes associated triangle centers.



Centers X(8002)-X(8021), Centers associated with the Stammler triangle. César Lozada (July 22, 2015) introduced centers associated with the Stammler triangle. A'B'C', an equilateral triangle whose vertices are the centers of the Stammler circles; see MathWorld: Stammler Circles.



Centers X(8012) -X(8042), Danneels points. Danneels points are introduced at X(3078). The definition is restated here for a point U = u : v : w (barycentrics): D(U) = u2(v + w) : v2(w + u) : w2(u + v). It is proved at X(3078) that if U is on the Euler line of a triangle ABC, then D(U) is also on the Euler line.



Centers X(8075)-X(8104), Points associated with tangential-midarc triangles. This section was contributed by César Eliud Lozada, August 18, 2015. Let ABC be a triangle with incenter I. Let D' and D'' be the points in which the line AI meets the incircle, where D′ is the closer of the two points to A. Define E' and F' cyclically, and defined E'' and F'' cyclically. Let A'B'C' be the triangle whose sidelines are the tangents to the incircle at D', E', F'. The triangle A'B'C' has been called the tangential-midarc triangle of ABC (e.g., MathWorld), but here it is the 1st tangential-midarc triangle of ABC. Let A''B''C'' be the triangle whose sidelines are the tangents to the incircle at D'', E'', F''. Triangle A''B''C'' is here introduced as the 2nd tangential-midarc triangle of ABC.



Centers X(8117)-X(8140), Endo-homothetic centers. This section was contributed by César Eliud Lozada, September 7, 2015.



Centers X(8141)-X(8159), Centers of central circles. This section was contributed by César Eliud Lozada, September 22, 2015. There are more than sixty central circles included at MathWorld. Triangles centers X(8141)-X(8155) are centers of such circles that are not among the points X(i) for i < 8141.



Centers X(8162)-X(8171), Similicenters of pairs of circles, contributed by Peter Moses, October 5, 2015.



Centers X(8176)-X(8182), Centers associated with Van Lamoen circles, contributed by César Eliud Lozada, October 10, 2015. Let A′B′C′ be the medial triangle of ABC, and let G = X(2), the centroid of ABC (and of A'B'C'). It is well known that the circumcenters of triangles GBC', GCA', GAB', GCB', GAC', GBA' lie on a circle, called the van Lamoen circle of ABC. See van Lamoen Circle at MathWorld. More generally, let U be any triangle perspective to ABC with perspector P such that the six circumcenters all lie on a circle. That circle is introduced here as the U-van Lamoen circle.



Centers X(8185)-X(8253), Centers associated with homothetic pairs of triangles. contributed by César Eliud Lozada, October 13, 2015.



Centers X(8254)-X(8263), Midpoints associated with pedal and antipedal triangles, contributed by Peter Moses, October 17, 2015. In TCCT, pp. 187-188, it is noted that if ABC is a triangle and P is a point not on a sideline of ABC, then the pedal triangle of P is homothetic to the antipedal triangle of the isogonal conjugate, P', of P, and also that the product of the areas of the two triangles is the square of the area of ABC. Moreover, the vertices of the pedal triangles of P and P' are concyclic, and the center of the circle is the midpoint of P and P'. The following table shows examples of P, P', and their midpoint.



Centers X(8268)-X(8272), Centers of apedal conics, contributed by Clark Kimberling and Peter Moses, October 19, 2015. Suppose that ABC is a triangle and P is a point not on a sideline of ABC. Let P' denote the isogonal conjugate of P. The vertices of the antipedal triangles of P and P' lie on a conic, here denoted by apedal(P). The following table shows examples of P, P', and the center of apedal(P'). Conjecture: For every ABC and P, the conic apedal(P) is a hyperbola.



Centers X(8273)-X(8350), Perspectors, contributed by César Eliud Lozada, Oct. 21, 2015. Perspectors are given for pairs of triangles Many of these triangles were introduced in connection with specific triangle centers in ETC.



Centers X(8372)-X(8424), Perspectors of pairs of triangles, contributed by César Eliud Lozada, November 2, 2015. Central triangles A'B'C' and A''B''C'' are perspective if the lines A'A'', B'B'', C'C'' concur. The point of concurrence is their perspector (or center of perspective). If A'B'C' and A''B''C'' are not only perspective, but homothetic, their perspector is their homothetic center.



Centers X(8431)-X(8533), X(30)-Ceva conjugates., contributed by Peter Moses, November 4, 2015. These points on the Neuberg cubic, K001 in Bernard Gibert's Cubics in the Triangle Plane. Each of these centers is the perspector of two triangles from a list of 25 triangles found in Table 19.1.



Centers X(8537)-X(8550), Centers associated with Ehrmann circles,contributed by César Eliud Lozada, November 9, 2015. In Hyacinthos #6098), December 2, 2002, Jean-Pierre Ehrmann defines a circle as follows. Let P be a point in the plane of ABC and not on the lines BC, CA, AB. Let AB the the point of intersection of the circle {{P,B,C}} and the line AB. Define AC symmetrically, and define BC, BA, CA, CB cyclically. These six points of intersection are on a circle if and only if P = X(6). This circle is here named the Ehrmann circle. The circles {{X(6),B,C}}, {{X(6),C,A}}, {{X(6),A,B,}} are the A-Ehrmann circle, B-Ehrmann circle, C-Ehrmann circle, respectively.



Centers X(8551)-X(8579), Coefficient Points of Circles, contributed by César Eliud Lozada, November 15, 2015. Every circle has a trilinear equation of the following form:

(Lα + Mβ + Nγ)⋅(aα + bβ + cγ) + K⋅(aβγ + bγα + cαβ) = 0      (1)

and conversely, if K ≠ 0 then the equation (1) represents a circle.

A circle Λ is a central circle if L : M : N is a triangle center and K is a homogeneous symmetric function of (a,b,c); see TCCT, pp 219-226 and CircleFunction at MathWorld). In such a case, L : M : N is called the coefficient point of the circle Λ. (The coefficients L, M, N, K are homogeneous in a,b,c, so that L : M : N is unambiguously defined. In other words, there is no loss in assuming that K = 1 in equation (1).)



Centers X(8580)-X(8583), Perspectors associated with the Atik triangle,, contributed by Clark Kimberling and Peter Moses, November 22, 2015. Suppose that V is a point outside a circle (U,u). Let (V,v) be the circle with center V that is orthogonal to (U,u), so that v2 = |UV|2 - u2 = power of V with respect to (U,u). Let UV,A be the circle (V,w) obtained from (U,r) = A-excircle and V = incenter, and let LA be the radical axis of UV,A and the A-excircle. Define LB and LC cyclically. Let A' = LB∩LC, B' = LC∩LA, C' = LA∩LB. The triangle A'B'C' is here named the Atik triangle (Atik being the name of a star). The Atik triangle is perspective to ABC at X(3062).



Centers X(8601)-X(8614), Points associated with orthocevian triangles, contributed by Clark Kimberling and Peter Moses, November 22, 2015. Let (O,R) be the circumcircle, and let A′B′C′ be the cevian triangle of a point X. Let (OA,rA) be the circle through B′ and C′ and orthogonal to (O,R). That is, (OA,rA) is the circle that passes through the points B' and C' and also their inverses in (O,R). Define (OB,rB) and (OC,rC) cyclically. The triangle T(X) = OAOBOC is here named the orthocevian triangle of X.



Centers X(8616)-X(8665), Gibert circumtangential conjugates, contributed by Peter Moses, November 26, 2015, based on notes from Bernard Gibert, November 2, 2015, in connection with the cubic K024. The Gibert circumtangential conjugate of a point U = u : v : w (barycentrics) is defined as the point

a^2 (a^2 b^2 c^2 u v - b^2 c^4 u v + a^4 c^2 v^2 - a^2 c^4 v^2 + a^2 b^2 c^2 u w - b^4 c^2 u w - 3 a^2 b^2 c^2 v w + a^4 b^2 w^2 - a^2 b^4 w^2) : :

A related point is the circumtangential-isogonal conjugate of U, defined by

a^2 (a^2 c^2 u v - c^4 u v + a^2 c^2 v^2 - c^4 v^2 + a^2 b^2 u w - b^4 u w + a^4 v w - a^2 b^2 v w - a^2 c^2 v w - 2 b^2 c^2 v w + a^2 b^2 w^2 - b^4 w^2) : :

If U is on the circumcircle, then its Gibert circumtangential conjugate, denoted by M1(U), is on the Lemoine axis, X(187)X(237), and the circumtangential-isogonal conjugate, denoted by M2(U), is on the line at infinity, X(30)X(511). Thus, if U is on X(187)X(237), then M1(U) is on the circumcircle, and if U is on X(30)X(511), then M2(U) is on the circumcircle. For a selection of circumtangential-isogonal conjugates, see X(8666)-X(8714).



Centers X(8666)-X(8714), Circumtangential-isogonal conjugates, contributed by Peter Moses, November 26, 2015, based on notes from Bernard Gibert, November 2, 2015, in connection with the cubic K024. The circumtangential-isogonal conjugate of U, denoted by M2(U), is defined by

a^2 (a^2 c^2 u v - c^4 u v + a^2 c^2 v^2 - c^4 v^2 + a^2 b^2 u w - b^4 u w + a^4 v w - a^2 b^2 v w - a^2 c^2 v w - 2 b^2 c^2 v w + a^2 b^2 w^2 - b^4 w^2) : :

If U is on the circumcircle, then M2(U), is on the line at infinity, X(30)X(511), so that if U is on X(30)X(511), then M2(U) is on the circumcircle. Related conjugates are M1(U) defined in the preamble to X(8616) and the circumnormal-isogonal conjugate M3(U) defined in the preamble to X(8715).



Centers X(8715)-X(8725), Circumnormal-isogonal conjugates, contributed by Peter Moses, November 28, 2015, based on notes from Bernard Gibert, November 28, 2015, as a sequel to the preceding section on circumtangential-isogonal conjugates.



Centers X(8726)-X(8734), Perspectors involving the Ascella triangle, contributed by Clark Kimberling and Peter Moses, December 3, 2015. Let A' = incircle-inverse of A, and define B' and C' cyclically. Let OA be the circle {{B,C,B',C'}}, and define OB and OC cyclically. The circles OA, OB, OC are orthogonal to the incircle. Let VA be the center of OA, and define VB and VC cyclically. The triangle VAVBVC is here named the Ascella triangle. The Ascella triangle is also the mid-triangle of the excentral triangle and the intouch triangle.



Centers X(8735)-X(8756), Points associated with orthoanticevian triangles, contributed by Clark Kimberling, Peter Moses, and Randy Hutson, November 9, 2015. Let (O,R) be the circumcircle, and let A′B′C′ be the anticevian triangle of a point X. Let (OA,rA) be the circle through B′ and C′ and orthogonal to (O,R). That is, (OA,rA) is the circle that passes through the points B' and C' and also their inverses in (O,R). Define (OB,rB) and (OC,rC) cyclically. The triangle T(X) = OAOBOC is here named the orthoanticevian triangle of X. If P = p : q : r (barycentrics) and T(P) is perspective to ABC, then the perspector is barycentric product of P and the orthocenter;



Centers X(8782)-X(8855), Centers associated with Ehramann circles, contributed by César Eliud Lozada, December 11, 2015. Let ABC be a triangle and let P1 = p1 : q1 : r1, P2 = p2 : q2 : r2, P3 = p3 : q3 : r3 (barycentrics) be three non-collinear points, none on a sideline of ABC. The locus of a point M such that the cevian triangle of M and the triangle T = P1P2P3 are perspective, with perspector denoted by Z(M), is given by

F(x,y,z) = δ11(r1y-q1z)x222(p2z-r2x)y2+ δ33(q3x-p3y)z2+(p2q3r1-p3q1r2)xyz = 0      (1)

where δij is the (i, j)-minor of the vertex matrix of the triangle T.

If T and ABC are perspective, then p2q3r1 - p3q1r2 = 0 and, if the equation (1) is non-degenerate, it represents a pivotal cubic with pole Ω(T) and pivot P(T) given by:

Ω(T) = δ22δ33p2p3   :   δ33δ11p3q1   :   δ11δ22p2r1

P(T) = δ22δ33p3r2   :   δ33δ11p3r1   :   δ11δ22p2r1

This section deals with the poles and pivots of these cubics and the perspectors Z(M) for most of the centers M lying on them.



Centers X(8856)-X(8950), Loci associated with selected triangles (2), contributed by César Eliud Lozada, December 11, 2015. Let ABC be a triangle and let P1 = p1 : q1 : r1, P2 = p2 : q2 : r2, P3 = p3 : q3 : r3 (barycentrics) be three non-collinear points, none on a sideline of ABC. The locus of a point M such that the anticevian triangle of M and the triangle T = P1P2P3 are perspective, with perspector denoted by Z(M), is given by

F(x,y,z) = (r3δ32y223q2z2)x+(δ31r3x213p1z2)y+(δ21q2x212p1y2)z+(p2q3r1-p3q1r2)xyz = 0      (1)

where δij is the (i, j)-minor of the vertex matrix of the triangle T.

If T and ABC are perspective, then p2q3r1 - p3q1r2 = 0 and, if the equation (1) is non-degenerate, it represents a pivotal cubic with pole Ω(T) and pivot P(T) given by:

Ω(T) = p1δ12δ13   :   q2δ21δ13   :   r3δ31δ12

P(T) = δ13δ32   :   -δ13δ31   :   δ31δ12

This section deals with the poles and pivots of these cubics and the perspectors Z(M) for most of the centers M lying on them.



Centers X(8953)-X(8998), Centers associated with quadsquare triangles, contributed by César Eliud Lozada, December 21, 2015. "In every quadrilateral may be inscribed at least one square having a vertex on each of the four sides. If there is more than one such square in a given quadrilateral, there is an infinite number". Reference: Hebbert, C. M., Annals of Mathematics, Second Series, Vol. 16, No. 1/4 (1914 - 1915), pp. 38-42.

Let P be a point in the plane Π of ABC and let ϒA = ACA'BA'CAB be a square inscribed in the quadrilateral ABPC, with AC on line AB, A'B on BP, A'C on PC, and AB on CA. It is easy to prove, using homogeneous coordinates, that ϒA is unique if P does not lie on the conic κA given by the trilinear equation

Sa2u2 + bc(a2 + S)vw + ca(b2 + S)wu + ab(c2 + S)uv = 0

Note that B and C lie on κA. Define κB and κC cyclically. If

P ∈ Π - κA∪κB∪κC       (1),

then there exist unique squares ϒA, ϒB, ϒC inscribed in the quadrilaterals ABPC, BCPA, CAPB, respectively. If P = u : v : w (trilinears) satisfies (1), then the vertices of ϒA are as shown here:

AB = (au + bv + cw)uS + (abv + SCu)cw : 0 : bvwS + (bcv + SAw)au
AC = (au + bv + cw)uS + (acw + SBu)bv : cvwS + (bcw + SAv)au : 0
A'B = u(auS + bSBv) : (S + SA)auv + abcuw + (S + SC)cvw : w(auS + bSBv)
A'C = u(auS + cSCw) : v(auS + cSCw) : abcuv + (S + SA)auw + (S + SB)bvw

If P lies on the side BC of ABC then ϒA is the A-inner-inscribed square of ABC, as defined at Mathworld: Inner Inscribed Squares Triangle. The square ϒA is here named here the A-quadsquare triangle of P. The sidelength of ϒA is given by

LA = S*Sqrt(abc(2uvw(aSAu+S(bv + cw)) + bc(v^2 w^2 + u^2 w^2 + u^2 v^2)a))/|(au + cw)(au + bv)S + (avw + buw + cuv)abc|

Let OA, OB, OC be the centers of the squares ϒA, ϒB, ϒC, respectively. The triangle OAOBOC is here named the P-quadsquares triangle. The vertex OA are given by

OA = a(bcvw + 2Su^2) + (S + SB)buv + (S + SC)cuw : abcuw + (S + SA)auv + (S + SC)cvw : abcuv + (S + SA)auw + (S + SB)bvw,

and cyclically for OB and OC.

The P-quadsquares triangle is perspective to ABC for all P satisyfing (1). The perspector is given by

Z(P) = u((S + SB)bv + (S+SC)cw) + abcvw : :

The transformation P → Z(P) maps lines onto conics. For P on the Euler line, the locus of Z(P) is the conic through X(6), X(485) and the vertices of the three inner-inscribed-squares triangle.



Centers X(8999)-X(9111), Crossdifferences involving X(6), contributed by Peter J. C. Moses, December 28-31, 2015. Suppose that P = p : q : r and U = u : v : w (barycentrics) are points. It is well known that the trilinear pole of the line PU, given by barycentrics 1/(rv - qw) : 1/(pw - ru) : 1/(qu - sv) , lies on the circumconic with perspector P and on the circumconic with perspector U (e.g., the trilinear pole of X(2)U is the point 1/(v - w) : 1/(w - u) : 1/(u - v), on the Steiner circumellpse. If P lies on the circumcircle, then P is the trilinear pole of the line X(6)Q, where Q = crossdifference of X(6) and the isogonal conjugate of P; e.g., X(99) = trilinear pole of X(6)X(524), where X(524) = crossdifference of X(6) and X(512).



Centers X(9114)-X(9117), Orthologic centers, contributed by César Eliud Lozada, January 5, 2016. Let Li and Gc be the triangles T' and T", respectively, defined at X(9112), i.e., Li is the equilateral triangle with least area inscribed in ABC and Gc is the equilateral triangle with greatest area circumscribed to ABC. Let Gi and Lc be the triangles T' and T", respectively, defined at X(9113), i.e., Gi is the equilateral triangle with greatest area inscribed in ABC and Lc is the equilateral triangle with least area circumscribed to ABC.



Centers X(9118)-X(9122), Loud centers, contributed by César Eliud Lozada, January 8, 2016. In 1891, Frank Herbert Loud published the following theorem:

Let P1, P2, P3, Q1, Q2, Q3, R1, R2, R3 be nine distinct points on a cubic Ψ such that:

(1) P1, P2, P3 are collinear on a line, LP;
(2) P1, Q1, R1 are collinear on a line, L1;
(3) P2, Q2, R2 are collinear on a line, L2;
(4) P3, Q3, R3 are collinear on a line, L3.

Define S1, S2, S3 and T1, T2, T3 as follows:

  (i) S1 = Q2R3∩Q1R1 and T1 = Q2R3∩Ψ - {Q2, R3}
 (ii) S2 = Q3R1∩Q2R2 and T2 = Q3R1∩Ψ - {Q3, R1}
(iii) S3 = Q1R2∩Q3R3 and T3 = Q1R2∩Ψ - {Q1, R2}

Then (a) the points S1, S2 and S3 are collinear (on a line LS ); (b) the points T1, T2 and T3 are collinear (on a line LT ); and (c) the lines LP, LS and LT concur.

Reference: Loud F.H. "A theorem in plane cubics", Annals of Mathematics, Vol. 6, No. 1 (Jun., 1891), pp. 5-6



Centers X(9123)-X(9214), Parry triangles and associated centers, contributed by Randy Hutson, January 15, 2016. Let A1 be the intersection, other than X(111), of the Parry circle and the line AX(111), and define B1 and C1 are cyclically. The triangle A1B1C1, here named the 1st Parry triangle, is similar to ABC and orthogonal to ABC, with similitude center X(110). Let A2 be the intersection, other than X(110), of the Parry circle and line AX(110), and define B2 and C2 cyclically. The triangle A2B2C2, here named the 2nd Parry triangle, is similar to ABC and orthogonal to ABC, with similitude center X(111). On the Parry circle, A1B1C1 and A2B2C2 are antipodes. The Euler line of A1B1C1 is the Euler line of A2B2C2, and the Brocard axis of A1B1C1 is the Brocard axis of A2B2C2. The Brocard axis of A1B1C1, and also of A2B2C2, is the Lemoine axis of ABC.

Let A3 be the intersection, other than X(2), of the Parry circle and the A-median, and define B3 and C3 cyclically. The triangle A3B3C3, here named the 3rd Parry triangle, is similar to the 4th Brocard triangle, with similitude center the intersection, other than X(2), of the Parry circle and the orthocentroidal circle. Also, A3B3C3 is the reflection of the circumsymmedial triangle of A2B2C2 in the common Brocard axis of A1B1C1 (which is also the Brocard axis of A2B2C2 and A3B3C3). The triangles A2B2C2 and A3B3C3 are perspective at X(647). Let A'B'C' be the reflection of the circumsymmedial triangle in the Brocard axis. Then A3B3C3 is similar to A'B'C', with similitude center X(111).



Centers X(9217)-X(9461), Centers related to bicentric pairs, contributed by César Eliud Lozada - January 17, 2016 and January 19, 2016



Centers X(9517)-X(9582), Midpoints on the infinity line, contributed by Peter Moses, February 11, 2016. Suppose that P = p : q : r and U = u : v : w (barycentrics) are distinct points on the line L at infinity; that is, p + q + r = 0 and u + v + w = 0. As in the definition of orthopoint (copied below from Glossary), P may be regarded as a "direction" in the plane of the reference triangle ABC, and all the (parallel) lines in this direction meet in P, and likewise for U. Let L(P) be any line that meets L in P, and let L(U) be any line that meets L in U. Let W1 and W2 be the angle bisectors of the angles between L(P) and L(U) at L(P)∩L(U). The midpoints of P and U are here defined as W1∩L and W2∩L. Since L(P) and L(U) are perpendicular lines, the two midpoints are a pair of orthopoints, defined in the Glossary of ETC.



Centers X(9534)-X(9715), Centers of similitude, contributed by César Eliud Lozada, February 27, 2016. The appearance of (Φ2, i, j) in the following lists means that the insimilcenter and the exsimilcenter of the circles Φ1 and Φ2 are X(i) and X(j), respectively. (Followed by lists.)



Centers X(9718)-X(9721), Centers related to Dou circle, contributed by César Eliud Lozada, March 10, 2016. The Dou circle is defined in MathWorld as the circle cutting the sidelines of the reference triangle ABC at A', A", B', B", C', C" so that angle(A'AA") = angle(B'BB") = angle(C'CC") = 90º. The center of the Dou circle is X(155).

Let f(a,b,c) = (a^2)[SA*(2*R^2-SA) and g(a,b,c) = bc(S^2+SB*SC-2*(SB+SC)*R^2). A trilinear equation for the Dou circle is then

f(a,b,c)x^2 + f(b,c,a)y^2 + f(c,a,b)z^2 + g(a,b,c)yz + g(b,c,a)zx + g(c,a,b)xy = 0,

and the radius-squared is (4*R^6-S^2*(5*R^2-SW))/(4*R^2-SW)^2.

Let S = {circumcircle, nine-points-circle, orthocentroidal circle, orthoptic circle of the Steiner inellipse, polar circle (for obtuse ABC), tangential circle, Taylor circle}, and suppose that U and V are in S. The radical circle of {U, V, Dou circle} is here named the Dow radical circle of U and V, denoted by Dou(U,V). The center of Dou(U,V) is X(2501), and the radius-squared of Dou(U,V) is the power of X(2501) with repect to U and V. Moreover, Dou(U,V) is orthogonal to the Dou circle and every circle in S. The Stevanovic circle is orthogonal to the Apollonius circle, Bevan circle, excircles-radical circle, as well as every circle in S except the Taylor circle. The radical axis of the Stevanovic and each Dou-radical circle is the Euler line, and their radical trace is X(468). If ABC is acute then Dou(U,V) passes through X(5000) and X(5001).



Centers X(9742)-X(9775), Artzt triangle, contributed by César Eliud Lozada, March 25, 2016. The A-Artzt parabola of a triangle ABC is the parabola tangent at B and C to the sidelines AB and AC, respectively. See William Gallatly, The Modern Geometry of the Triangle, 2nd ed. (London: Hodgson, 1913), p. 42.

The A-Artzt parabola has trilinear equation a2x2 - 4bcyvz = 0. Its axis is the line a(b2 - c2)x + b(a2 - b2 - 3c2)y - (a2 - 3b2 - c2)cz = 0, and its directrix is the line (a2 - b2 - c2)ax + 2bc2y + 2b2cz = 0.

The B- and C-Artzt parabolas are defined cyclically. The foci of the three parabolas are the vertices of the 2nd Brocard triangle.

The trilinear poles of the directrices of the Artzt parabolas lie on the cubics K675 and K676.

The triangle A'B'C' bounded by the directrices of the Artzt parabolas is here named the Artzt triangle.



Centers X(9776)-X(9812), Conway triangle, contributed by César Eliud Lozada, April 2, 2016. Let ABC be a a triangle with opposite sidelengths a,b,c, respectively. Let AB be the point P on line AB such that |BP| = b and B lies between A and P. Define BC and CA cyclically. Likewise, let AC be the point Q on line AC such that |CP| = c and C lies between A and P. Define BA and CB cyclically. It is known that these six points lie on the Conway circle, with center X(1) and radius-squared r2 + s2, where r = inradius and s = semiperimeter of ABC.

Let A' = BABC∩CACB, and define B' and C' cyclically. The triangle A'B'C' is here named the 2nd Conway triangle of ABC. Let A''B''C'' be the (1st) Conway triangle, introduced at X(7411), and let A*B*C* be the intouch triangle; A' = reflection of A'' in A*, and likewise for B' and C', as noted by Peter Moses, April 2, 2016.

area(A'B'C') = 8Rs
|B'C'| = sqrt(8*S*R*a/((s-b)*(s-c)))
A' = - (a + b + c) : a + b - c : a - b + c (barycentric coordinates)

The vertices A', B', C' lie on these cubics: K007 (Lucas cubic), K028, K461, K651.

Another construction of AB and AC follows. Let pa be the parabola tangent to BC at the A-cevian-trace-of-X(75) and also tangent to the sidelines AB and AC. AB and AC are the touchpoints of pa with AB and AC.

A'B'C' is perspective to ABC with perspector X(7); it is also perspective with perspector X(8) to these triangle: anticomplementary, Fuhrmann and outer-Garcia.

A'B'C' and Fuhrmann triangles are inversely similar, with X(9782) as center of inverse similitude.



Centers X(9813)-X(9837), Submedial triangle and related centers, contributed by César Eliud Lozada, April 15, 2016. Let ABC be a triangle, and suppose that C' is a point on side AB and that B' is a point on side AC. Let r(B'C') be the rectangle whose vertices are B', C', and the orthogonal projections of B' and C' onto side BC. Let RA be the rectangle r(B'C') of maximal area, which is obtained by taking A'B'C' to be the medial triangle of ABC. Let OA be the center RA, and define OB and OC cyclically. The central triangle OAOBOC is here named the submedial triangle; c.f. the Calabi triangle (https://en.wikipedia.org/wiki/Calabi_triangle).

The A-vertex of OAOBOC is given by

OA = 2*a*b*c : (3*a^2+b^2-c^2)*c : (3*a^2-b^2+c^2)*b (trilinears)

The vertices of the submedial triangle lie on the cubic K281, and

X(6688) = X(2)-of-OAOBOC
X(3628) = X(3)-of-OAOBOC
X(5462) = X(4)-of-OAOBOC

The circumcircle of OAOBOC passes through these points: X(6667), X(6721), X(6722), X(6723), and the X(5) is the radical center of the circumcircles of the rectangles RA, RB, RC.



Centers X(9833)-X(10000), Orthologic centers, contributed by César Eliud Lozada - April 28, 2016.





Preambles in Part 6


Centers X(10001)-X(10014), Parallels-Conics and related points, contributed by Peter Moses, May 2, 2016. Let A' be the line through a point P = p : q : r (barycentrics) parallel to line BC. Let AB = A'∩AB and AC = A'∩AC. Define BC and CA cyclically, and define BA and CB cyclically. The six points AB, BC, CA, AB, BC, CA lie on a conic, here called the parallels-conic of P, denoted by Cpar(P). The point P is here called the base-point of Cpar(P). The center of Cpar(P) is the point W(P) given by

W(P) = p*(p2 - pq - pr - 2qr) : q*(q2 - qr - qp - 2rp) : r*(r2 - rp - rq - 2pq)

The perspector of Cpar(P) is the point

W*(P) = p(2qr + 2pq + pr)(2qr + 2pr + pq) : q(2rp + 2qr + qp)(2rp + 2qp + qr) : r(2pq + 2rp + rq)(2pq + 2rq + rp)

Cpar(P) is an ellipse, parabola, or hyperbola according as P lies inside, on, or outside the Steiner inellipse.

Let P' be the reflection of P in W(P). Then P' is the base-point of another conic, Cpar(P'), also having center W(P). For example, if P = X(1), then P' = X(9).

Randy Hutson observes that W(P) is the midpoint of P and P' = X(2)-Ceva conjugate of P. (July 20, 2016)

If P lies on the orthic axis, then Cpar(P) is a rectangular hyperbola, and the locus of W(P) as P traces the orthic axis a circular cubic.



Centers X(10025)-X(10030), H-transforms and K-transforms,, contributed by Clark Kimberling and Peter Moses, July 13, 2016. Suppose that R = r : s : t and U = u : v : w (barycentrics) are points not on a sideline of a triangle ABC. Let

LA be the line of the points 0 : t : r and - v : w : u
LB be the line of the points s : 0 : r and v : - w : u
LC be the line of the points s : t : 0 and v : w : - u
L'A be the line of the points 0 : r : s and - w : u : v
L'B be the line of the points t : 0 : s and w : - u : v
L'C be the line of the points t : r : 0 and w : u : - v

The lines LA, LB, LC concur in a point, P, and the lines L'A, L'B, L'C concur in a point, P'. If R and U are triangle centers, then P and P' are a pair of bicentric points and PP' is a central line f*x + g*y + h*z = 0, so that the point H(R,U) = f : g : h is a triangle center, here introduced as the H-transform of R and U, given by first barycentric

f = v*w*(u/r + v/s - w/t)(u/r - v/s + w/t) - u^2 (v/s + w/t - u/r)^2 .

Next, let

LA be the line of the points 0 : t : r and - w : u : v
LB be the line of the points s : 0 : r and w : - u : v
LC be the line of the points s : t : 0 and w : u : - v
L'A be the line of the points 0 : r : s and - v : w : u
L'B be the line of the points t : 0 : s and v : - w : u
L'C be the line of the points t : r : 0 and v : w : - u

The lines LA, LB, LC concur in a point, P, and the lines L'A, L'B, L'C concur in a point, P'. If R and U are triangle centers, then P and P' are a pair of bicentric points and PP' is a central line f*x + g*y + h*z = 0, so that the point K(R,U) = f : g : h is a triangle center, here introduced as the K-transform of R and U, given by first barycentric

f = v*w*(u/t + w/s - v/r)(u/s + v/t - w/r) - u^2 (v/r + w/s - u/t)(v/t + w/r - u/s)

Let G = centroid = X(2). Then H(G,P) = K(G,P) and H(P,G) = K(P,G) for all P. For fixed X, the locus of a point P satisfying H(P,X) = G is the circumconic with center X. In particular, for X = X(125), the locus is the Jerabek hyperbola; for X = X(115), the Kiepert hyperbola; and for X = X(11), the Feuerbach hyperbola.

If P = p : q : r, then H(P,P) = qr - p2 : rp - q2 : pq - r2, which is the Steiner-circumellipse-inverse of P.

If P is on the circumcircle, then K(P,X(6)) = X(384).



Centers X(10037)-X(10094), Inner- and outer- Yff triangles, contributed by César Eliud Lozada, August 4, 2016. The Yff circles are the two triplets of congruent circles in which each circle is tangent to two sides of a reference triangle (see Mathworld). The circles in each triplet have radius r1=r*R/(R+r) and r2=r*R/(R-r), respectively. The centers A1, A2 for the A-circles of the first and second triplets have respective trilinear coordinates:

A1= -(a^4-2*(b^2+b*c+c^2)*a^2+(b^2-c^2)^2)/(2*a^2*b*c) : 1 : 1
A2= +(a^4-2*(b^2-b*c+c^2)*a^2+(b^2-c^2)^2)/(2*a^2*b*c) : 1 : 1

and cyclically B1, C1 and B2, C2 for the B- and C- circles.

The triangles T1=A1B1C1 and T2=A2B2C2 are known as the inner- and outer- Yff triangles, respectively.



Centers X(10097)-X(10103), Points associated with Dao circles, contributed by Peter Moses and Clark Kimberling, August 4, 2016, based findings of Dao Thanh Oai. Suppose that P is a point in the plane of a triangle ABC, but not on a sideline (BC, CA, AB). Let P' be the isogonal conjugate of P. Let (O) be the circumcircle of ABC, and let C(P) be the conic through A,B,C,P,P'. Let D be the point in (O)∩C(P) other than A,B,C; let E be a point on (O), other than A,B,C,D, and let E' the point in DE∩C(P), other than D. The points P,P',E,E' lie on a circle, here named the Dao circle of P, denoted by D(P). The point E' is here named the 1st (P,E)-Dao point. (Based on "A generalization of the Sawayama-Thébault theorem", Dao Thanh Oai, July 21, 2016; ADGEOM 3383)

Write P = p : q : r (barycentrics). Then C(P) is given by

b2c2p2x(y - z) + c2a2q2y(z - x) + a2b2r2z(x - y) = 0.

The perspector of C(P) is

a2p(b2r2 - c2q2) : b2q(c2p2 - a2r2) : c2r(a2q2 - b2p2).

The circle D(P) meets (O) in another point, the 2nd (P,E)-Dao point, and D(P) meets C(P) in another point, the 3rd (P,E)-Dao point. These points are represented by F and F', respectively, in the following examples.

Example 1. C(X(3)) is the Jerabek conic. Taking E = X(111) gives E' = X(10097), F = X(5505), F' = X(10098).
Example 2. Continuing with C(X(3)), take E = X(98). Then E' = X(879), F = X(67), F' = X(935).
Example 3. Continuing with C(X(3)), take E = X(105). Then E' = X(10099), F = X(10100), F' = X(10101); i.e. the 1st, 2nd, 3rd (X(3),X(105))-Dao points are E', F, F'.
Example 4. 1st, 2nd, 3rd (X(2),X(112))-Dao points are X(25), X(10101), X(10102).



Centers X(10129)-X(10136), ATFF points of pairs of triangles, contributed by Peter Moses and Clark Kimberling, August 21, 2016, following the example at X(5643) contributed by Angel Montesdeoca. Suppose that A'B'C' and A''B''C'' are distinct triangles in the plane of a triangle ABC. The finite fixed point of the affine transformation that carries A'B'C' onto A''B''C'' is here named accordingly and is denoted by ATFF(A'B'C', A''B''C'').



Centers X(10137)-X(10148), Hex2T circles, contributed by César Eliud Lozada, August 26, 2016. Suppose that T' and T'' are (central) triangles in the plane of a triangle ABC, and let
A'B'C' = T'-of ABC
AaAbAc = T''-of-AB'C'
BbBcBa = T''-of-A'BC'
CcCaCb = T'' of A'B'C
Hex2T(T',T") = hexagon with vertices Ab, Ac, Bc, Ba, Ca, Cb.

For many choices of T' and T", the vertices of Hex2T(T',T") lie on a conic and for a few of them the conic is a circle.



Centers X(10153)-X(10200), Centroidal conics and related centers, contributed by César Eliud Lozada, August 28, 2016. Let ABC be the reference triangle and U, V, W three points, at least two of them distinct, and let

Ga = centroid of AVW, and define Gb and Gc cyclically
Gu = centroid of UBC, and define Gv and Gw cyclically.

Then the six centroids lie on a (possibly degenerate) conic, and the triangles GaGbGc and GuGvGw are congruent and homothetic, and their homothetic center is the center of the conic.

The conic is here named the UVW-centroidal conic and also the centroidal conic of UVW. The triangles GaGbGc and GuGvGw are the 1st and 2nd UVW-centroidal triangles and also the
1st and 2nd centroidal triangles of UVW.

The center O(UVW) of the centroidal-conic-of-UVW is a triangle center if U, V, W are either triangle centers or vertices of a central triangle. Such center is the centroid of the six centroids above specified.



Centers X(10237)-X(10259), Eulerologic centers, contributed by César Eliud Lozada, October 2, 2016. Let T′= A′B′C′ and T″ = A″B″C″ be triangles. If the Euler lines of A′B″C″, B′C″A″, C′A″B″ concur, then the triangles T′ and T″ are (T′, T″)-eulerologic and the point of concurrence is here named the (T′, T″)-eulerologic center. (Definitions given by Antreas Hatzipolakis in Anopolis 3841).

Note that the existence of the (T′,T″)-eulerologic center does not imply the existence of a (T″,T′)-eulerologic center.

Clearly, if two triangles have the same circumcircle then they are mutually eulerologic. Examples:
(1) The following triangles are inscribed in the circumcircle of ABC, so that each pair are mutually eulerologic: ABC, circummedial, circumorthic, 1st circumperp, 2nd circumperp, circumsymmedial, 3rd mixtilinear, 4th mixtilinear. The eulerologic center of each pair is X(3).
(2) The following triangles are inscribed in the nine-point circle of ABC, so that each pair are mutually eulerologic: Euler, 2nd Euler, 3rd Euler, 4th Euler, 5th Euler, Feuerbach, medial, orthic. The eulerologic center of each pair is X(5).



Centers X(10276)-X(10281), Feuerbach quadrangle and related centers, contributed by César Eliud Lozada, October 17, 2016. Let FA, FB, FC be the A-, B-, C- Feuerbach points of ABC, respectively (i.e., the touchpoints of the nine-points-circle and the excircles). Let FD=X(11) be the Feuerbach point of ABC. The cyclic quadrangle QAF={FA,FB,FC,FD} is here named the Feuerbach quadrangle of ABC. The centroid of QAF is X(10276). Properties:

(1) A maltitude ("midpoint altitude") is a perpendicular drawn to a side of a quadrilateral from the midpoint of the opposite side. In a cyclic quadrilateral the four maltitudes concur at the anticenter. The anticenter of QAF is X(10277).

(2) In a cyclic quadrangle the centroids of the component triangles are the vertices of another cyclic quadrangle. For QAF this last quadrangle has centroid coinciding with the centroid of QAF.

(3) The diagonal triangle A*B*C* of QAF has vertices with barycentric coordinates:
   A* = {FA,FB}∩{FC,FD} = -(SB-SC) : SA-SC : SA-SB
   B* = {FB,FC}∩{FA,FD} = SB-SC : -(SC-SA) : SB-SA
   C* = {FC,FA}∩{FB,FD} = SC-SB : SC-SA : -(SA-SB)

 A*, B*, C* lie all on the cubics K237, K238, K239, K672.

 A*B*C* has: area=area(ABC)/2, centroid = X(10278) , circumcenter = X(10279), orthocenter = X(5) and nine-point-center=X(10280)

In terms of Chris van Tienhoven's Encyclopedia of Quadri-Figures (EQF), some centers of QAF are:
 QA-P1 = Quadrangle centroid = X(10276)

 QA-P2 = Euler-Poncelot point = X(10277) = common point of the nine-point-circles of the component triangles

 QA-P3 = Gergonne-Steiner Point = X(5) = common point of the midray-circles
   The midray circles of the quadrangle {P1,P2,P3,P4} are the circumcircles of the triangles MijMikMil, for all combinations of (i,j,k,l) in {1,2,3,4}, where Mij = midpoint of {Pi,Pj}.



Centers X(10290)-X(10608), Points associated with mid-triangles and cross-triangles, contributed by Randy Hutson, October 22, 2016. Let T1 = A1B1C1 and T2 = A2B2C2 be central triangles (or a pair of bicentric triangles) in the plane of a triangle ABC.

Let A' = midpoint of A1 and A2, and define B' and C' cyclically. The triangle A'B'C' is here named the mid-triangle of T1 and T2, denoted by MT(T1,T2).
Let A'' = B1C2∩C1B2, and B'' and C'' cyclically. The triangle A''B''C'' is here named the cross-triangle of T1 and T2, denoted by XT(T1,T2).

If T1 and T2 are homothetic, then both MT(T1,T2) and XT(T1,T2) are homothetic to T1 and T2.

If T1 and T2 are directly similar, then MT(T1,T2) is also directly similar to T1 and T2, with the same center of similitude.

If any pair in {T1, T2, XT(T1,T2)} are perspective, then every pair in the set are perspective.

If the vertices of T1 and T2 lie on a conic, then XT(T1,T2) is degenerate (consisting of 3 collinear points). If T1 and T2 are also perspective, XT(T1,T2) lies on the polar of the perspector wrt the conic. If T1 and T2 are the cevian triangles of P and Q, resp., then XT(T1,T2) is degenerate and collinear with P and Q.

If the vertices of T2 lie on the respective sidelines of T1 (e.g., A2 lies on B1C1)), then XT(T1,T2) = T1.

For many choices of triangles T1, T2, T3,
(perspector of T1 and XT(T2,T3)) = (perspector of T2 and XT(T1,T3)) = (perspector of T3 and XT(T1,T2)).

If T1 is the cevian triangle of P and T2 is the anticevian triangle of Q, then XT(T1,T2) is perspective to ABC, and the perspector is collinear with these 3 points: P, P-Ceva conjugate of Q, Q-cross conjugate of P. Also, XT(T1,T2) is perspective to T1 at Q.

If T1 is the circumcevian triangle of P, then XT(ABC,T1) is perspective to the circumcevian triangle of P*, where P* is the circumcircle-inverse of P. The perspector lies on the circumcircle.

The cross-triangle of the cevian and anticevian triangles of P is perspective to ABC at P.

The cross-triangle of the cevian and circumcevian triangles of P is perspective to ABC at gcgP, where g = isogonal conjugate and c = complement.

The (degenerate) cross-triangle of the circumcevian triangles of P and Q is perspective to ABC at Λ(gP, gQ). Also, the centroid of the (degenerate) cross-triangle of the anticevian triangles of P and Q is the tripolar centroid of the cevapoint of P and Q.

If T1 is perspective to ABC at X(2), then the perspector of ABC and XT(ABC,T1) is the barycentric product A1*B1*C1.



Centers X(10631)-X(10682), Tri-equilateral triangles and related centers, contributed by César Eliud Lozada, November 5, 2016. As with the Kenmotu squares, we inscribe in a triangle ABC three congruent equilateral triangles PAbAc, PBcBa and PCaCb, with Ba, Ca on BC, Cb, Ab on CA and Ac, Bc on AB. There are two points P making possible this construction: P = Pi=X(15) and P = Po=X(16). The equilateral triangles obtained in each case are here named the A-, B-, C- inner/outer equilateral triangles, respectively.

In each case, the points Ba, Ca, Cb, Ab, Ac, Bc are obviously concyclic. Their circles Γi and Γo, here named the inner and outer tri-equilateral circles, are denoted and determined as follows:

Γi: center = X(15), radius = 2*R/|sqrt(3)+cot(ω)|
Γo: center = X(16), radius = 2*R/|sqrt(3)-cot(ω)|,

where R and ω are the circumradius and the Brocard angle of ABC, respectively.



Centers X(10695)-X(10705), Reflections of circumcircle-points in the incenter, contributed by Clark Kimberling and Peter Moses, November 10, 2016. Suppose that P is a point on the circumcircle of a triangle ABC, and let

P' = reflection of P in the incenter, I, of ABC.
Pc = complement of P
Pa = anticomplement of P
P'' = reflection of X(8) in Pc.

Then

P' = PI∩PcX(8)
P' = reflection of X(8) in Pc
P' = midpoint of X(145) and Pa, where X(145) = anticomplement of anticomplement of I.



Centers X(10706)-X(10720), Reflections of circumcircle-points in the centroid, contributed by Clark Kimberling and Peter Moses, November 8, 2016. Suppose that P is a point on the circumcrcle of a triangle ABC, and let

P' = reflection of P in the centroid, G, of ABC
Pc = complement of P
Pa = anticomplement of P.

Then

P' = midpoint of G and Pa
P' = reflection of G in Pc
P' = {Pc, Pa}-harmonic conjugate of P.


Centers X(10721)-X(10727), Reflections of circumcircle-points in the orthocenter, contributed by Clark Kimberling and Peter Moses, November 9, 2016. Suppose that P is a point on the circumcrcle of a triangle ABC, and let

H = X(4), the orthocenter of ABC
P' = reflection of P in H
Pc = complement of P
Pa = anticomplement of P
Ha = anticomplement of H (the orthocenter, X(4) Haa = anticomplement of Ha.

Then

P' = midpoint of Pa and Haa
P' = reflection of Ha in Pc.


Centers X(10738)-X(10751), Reflections of circumcircle-points in the nine-point center, contributed by Clark Kimberling and Peter Moses, November 10, 2016. Suppose that P is a point on the circumcrcle of a triangle ABC, and let

O = X(3), the circumcenter of ABC
N = X(5), the nine-point center of ABC
P' = reflection of P in N
Pc = complement of P
Pa = anticomplement of P.

Then

P' = midpoint of H and Pa
P' = reflection of O in Pc.



Centers X(10752)-X(10766), Reflections of circumcircle-points in the symmedian point, contributed by Clark Kimberling and Peter Moses, November 10, 2016. Suppose that P is a point on the circumcrcle of a triangle ABC, and let

O = X(3), the circumcenter of ABC
K = X(6), the symmedian point of ABC
M = midpoint of Pc and O
P' = reflection of P in K
Pc = complement of P
Pa = anticomplement of P.

Then

P' = midpoint of X(193) and Pa
P' = reflection of X(69) in Pc
P' = 4M - 3X(10519).



Centers X(10767)-X(10782), Reflections of circumcircle-points in the Feuerbach point, contributed by Clark Kimberling and Peter Moses, November 10, 2016.



Centers X(10783)-X(10976), Miscellaneous perspectors, contributed by César Eliud Lozada, November 15, 2016.



Centers X(10977)-X(10989), Centers related to recent advances, contributed by Randy Hutson, November 15, 2016.



Centers X(11147)-X(11188), Points associated with the anti-Artzt triangle, contributed by Randy Hutson, December 8, 2016. The anti-Artzt triangle, A'B'C', is here introduced as the triangle of which ABC is the Artzt triangle. A'B'C' is also the anti-McCay triangle of the 1st Brocard triangle. A'B'C' is perspective to ABC at X(598) and homothetic to the Artzt triangle at X(2). A'B'C' is similar to the circumsymmedial triangle with similitude center X(110), and inversely similar to the 4th Brocard triangle with center of inverse similitude X(11187), to the 4th anti-Brocard triangle with center of inverse similitude X(1995), and to the McCay and anti-McCay triangles with center of inverse similitude X(2).

Barycentrics for the A-vertex of the anti-Artzt triangle are given by

A' = b2 + c2 - 5a2 : 4a2 + 4b2 - 2c2 : 4c2 + 4a2 - 2b2
A' = SA - 2*SC - 2*SB : SA + SB + 4*SC : SC + SA + 4*SB



Centers X(11189)-X(11268), Centroids and circumcenters associated with central triangles, Suppose that G = centroid, and that T is a central triangle. Peter Moses has observed that the center of the centroidal conic of T (defined in the preamble to X(10153) is the midpoint of the segment from G(ABC) to G(T). Equivalently, G(T) is the reflection of G in the center of the conic.



Centers X(11363)-X(11536), Anti-triangles and related centers, contributed by César Eliud Lozada, December 24, 2016. Several anti-triangles have been previously defined in ETC, including anti-Brocard triangles, anti-McCay and anti-Artzt. Associated with anti-triangles are composite triangles. For example, there are pairs of much-studied triangles whose composite is simply the reference triangle; e.g., the (2nd circumperp triangle of circumorthic triangle) = ABC; and conversely, (circumorthic triangle of 2nd circumperp) = ABC. Further examples of such pairs include these:

2nd circumperp, circumorthic
2nd Euler, hexyl
excentral, orthic
Johnson, Johnson
intouch, tangential



Centers X(11615)-X(11633), Circles through X(111) and related centers, contributed by César Eliud Lozada, January 8, 2017. Sava Grozdev and Deko Dekov found, by using a computer program, 23 circles (21 of them distinct, 18 of them unnamed until now) all passing through the Parry center X(111) (See this reference). These circles were verified algebraically and, in the following table, they are described together with their centers. (Followed by a table.)



Centers X(11634)-X(11644), Clifford(4) centers, contributed by César Eliud Lozada, January 9, 2017. Clifford's theorems, named after the English geometer William Kingdon Clifford, are a sequence of theorems relating to intersections of circles in general position.

1st theorem: Given four circles di, i=1..4, passing through a common point M, let Pij be the second intersection of di and dj. Define the circles d'l={Pij, Pjk, Pki} for l=1..4. Then these last four circles have a common point Q, here denoted as the Clifford(4) center of circles di.

2nd theorem: Given five circles passing through a common point M, every subset of four of these circles determines a Clifford(4) center Qi (by the first theorem). Then these five points Qi lie on a circle S whose center will be denoted as the Clifford(5) center of the given circles.

3rd theorem: Given six circles passing through a common point M, every subset of five circles determines a circle Si (by the 2nd theorem). Then these six circles have a common point, denoted here as the Clifford(6) center of the given circles.

The sequence of theorems can be continued indefinitely. (References: Mathworld and Wikipedia).



Centers X(11677)-X(12691), Inner-Conway triangle and related centers, contributed by César Eliud Lozada, January 13, 2017. As a variant of the construction of the Conway circle at MathWorld Conway circle, define Ab and Ac inwards; i.e., Ab is on the ray AC, and Ac on the AB, with |AAb| = |AAc| = |BC| = a.

Construct Bc, Ba, Ca, Cb cyclically. The triangle A'B'C' bounded by the lines AbAc, BcBa, CaCb is here named the inner-Conway triangle of ABC, with A-vertex given by trilinears A' = bc : (c - b)c : (b - c)b. (A'B'C' is also the intouch triangle of the anticomplementary triangle.)



Centers X(11752)-X(11791), Centers associated with the Przybyłowski-Bollin configuration, contributed by Peter Moses, January 22, 2017. In connection with the Przybyłowski-Bollin configuration described at X(11753), there are four remarkable triangles. Two of them stem from X(15), and the other two from X(16). For X(15), the two triangles are denoted by AiBiCi, associated with the incenter, and AaBbCc, associated with the A-excenter. In order to write barycentrics for the A-vertex of each triangle, let

U = Sqrt[2(a^2+b^2+c^2+2 Sqrt[3] S)] = 2 Sqrt[SW+Sqrt[3] S]. Then

Ai = a^2 (Sqrt[3] (-a^2 + b^2 + c^2) + 2 S) : b (Sqrt[3] b (a^2 - b^2 + c^2) + 2 S (b + U)) : c (Sqrt[3] c (a^2 + b^2 - c^2) + 2 S (c + U))

Aa = a^2 (Sqrt[3] (-a^2 + b^2 + c^2) + 2 S) : b (Sqrt[3] b (a^2 - b^2 + c^2) + 2 S (b - U)) : c (Sqrt[3] c (a^2 + b^2 - c^2) + 2 S (c - U))

The triangles AiBiCi and AaBbCc are perspective, with perspector X(15).

Let Oa = midpoint of Ai and Aa, and define Ob and Oc cyclically. The points Ai, Aa, B, C lie on a circle with center Oa, and the triangle OaObOc is perspective to the excentral triangle with X(11752) as perspector.



Centers X(11820)-X(12001), Miscellaneous perspectors and homothetic centers, contributed by César Eliud Lozada, February 4, 2017. For definitions of triangles, see the index of triangles referenced in ETC.





Preambles in Part 7


Centers X(12064)-X(12079), X-parabola and related centers, contributed by César Eliud Lozada, February 27, 2017. Let A*B*C* be the side triangle of the medial and orthic triangles of ABC, and let A'B'C' be the medial triangle of A*B*C*. Then A, B, C, A', B', C' lie on a parabola here named the X-parabola of ABC. Some properties of this parabola are:

  1. It has barycentric equation: (b^2-c^2)^2*y*z+(c^2-a^2)^2*z*x+(a^2-b^2)^2*x*y=0
  2. It passes through the vertices of the antipedal triangle of X(477) and centers X(476), X(523), X(685), X(850), X(892), X(2395), X(2501), X(4024), X(4036), X(4581), X(4608), X(5466), X(8599), X(10412) and X(12079).
  3. Its directrix and the Euler line of ABC are parallel, therefore its axis and the Euler line of ABC are perpendicular.
  4. Its 4th intersection with the circumcircles of ABC and A'B'C' is X(476)
  5. The focus and vertex are X(12064) and X(12065), respectively.
  6. Its axis is the line {523, 5972}, trilinear polar of X(12066).
  7. Its directrix is the line {30, 10279}, trilinear polar of X(12067).
  8. The perspector is X(115) and the center is X(523).
  9. The dual conic of the X-parabola has center X(620), perspector X(4590) and passes through the vertices of the cevian triangle of X(4590) and centers X(2), X(32), X(439), X(593), X(1509), X(2482), X(3926), X(4027), X(7058), X(7794), X(11128), X(11129).

Let ta, tb, tc be the tangents to the X-parabola at A, B, C, respectively; the triangle AtBtCt bounded by these tangents is here named the X-parabola-tangential triangle of ABC.



Centers X(12110)-X(12269), Orthologic centers, contributed by César Eliud Lozada, March 10, 2017.



Centers X(12270)-X(12431), Orthologic centers, contributed by César Eliud Lozada, March 16, 2017.



Centers X(12434)-X(12624), Orthologic centers, contributed by César Eliud Lozada, March, 22, 2017.



Centers X(12625)-X(12868), Orthologic centers, contributed by César Eliud Lozada, March, 26, 2017.



Centers X(12835)-X(12841), Centers associated with the ellipse IE59, contributed by Peter Moses, March 29, 2017. Let IE59 denote the inellipse with perspector X(59). The center of IE59 is X(13006), and IE59 passes through X(i) for these i:

55, 56, 181, 202, 203, 215, 1124, 1335, 1362, 1397, 1672, 1673, 1682, 2007, 2008, 3235, 3236, 3237, 3238, 6056, 7005, 7006, 7066, 10799, 12835, 12836, 12837, 12838, 12839, 12840, 12841

This ellipse IE59 is the locus of the centers of similtude (insimilicenter and exsimilicenter) of the incircle with Tucker circles. Also, IE59 intersects the incircle in X(1362) and three other points, so that the corresponding four Tucker circles are tangent to the incircle. The Tucker circle through X(1362) has the following parameter:

arccos[(t2 - s2)/(t2 + s2)], where t = r + 4R.

The centers of the other three Tucker circles are the extraversions of X(970), and they lie on the Brocard axis. Not only are these circle internally tangent to the incircle, but they are also externally tangent to the two corresponding excircles. In this section, the names for centers X(12835) to X(12841), the notation "Tucker (X,p)-circle" represents the Tucker circle with center X and parameter p.

Let f(a,b,c,x,y,z) = b4c4(a - b - c)2(b - c)4x2 - 2a4b2c2(a - b)2 (a - b + c)(c - a)2(a + b - c)yz. The ellipse IE59 is given by the barycentric equation f(a,b,c,x,y,z) + f(b,c,a,y,z,x) + f(c,a,b,z,x,y) = 0.

Possibly the earliest mention of IE59 occurs in TCCT, page 238, in a list of inscribed ellipses; in that list, this ellipse is denoted by W(X11).



Centers X(12842)-X(13005), Orthologic centers, contributed by César Eliud Lozada, April 1, 2017.



Centers X(13007)-X(13135), Orthologic centers, contributed by César Eliud Lozada, April, 5, 2017.



Centers X(13165)-X(13320), Parallelogic centers, contributed by César Eliud Lozada, April, 9, 2017.



Centers X(13323)-X(13357), Centers on X(3)X(6) represented by Tucker parameter, contributed by Peter Moses, April 14, 2017. A Tucker parameter is a function p = p(a,b,c) symmetric and homogeneous of degree zero in a,b,c. A point P with barycentric coordinates (sin A)[cos(A - arccot(p))] lies on the Brocard axis, X(3)X(6) and has combo X(3) + ((cot ω)/p)*X(6).



Centers X(13476)-X(13482), Wolfram´s triangle conics perspectors, contributed by César Eliud Lozada, June 13, 2017. The appearance of (ℭ, n) in the following list means that the perspector of the conic ℭ is X(n): (Brocard inellipse, 6), (De Longchamps ellipse, 13476), (dual of Yff parabola, 514), (Evans conic, 13477), (excentral-hexyl ellipse, 13478), (Feuerbach hyperbola, 650), (Jerabek hyperbola, 647), (Johnson circumconic, 216), (Kiepert hyperbola, 523), (Kiepert parabola, 99), (Lemoine inellipse, 598), (MacBeath circumconic, 3), (MacBeath inconic, 264), (Mandart inellipse, 8), (orthic inconic, 4), (Stammler hyperbola,*), (Steiner circumellipse, 2), (Steiner inellipse, 2), (Thomson-Gibert-Moses hyperbola, 13480), (Yff hyperbola, 13481), (Yff parabola, 190). (The polar triangle of ABC with respect to the Stammler hyperbola is ABC, i.e., ABC is self-polar with respect to the Stammler hyperbola.) For definitions of these conics, see Wolfram's Triangle Conics. For Thomson-Gibert-Moses hyperbola, see X(5642).



Centers X(13492)-X(13560), Cyclologic centers, contributed by César Eliud Lozada, June 15, 2017.



Centers X(13637)-X(13721), Tri-squares triangles and related centers, contributed by César Eliud Lozada, July 1, 2017, with notes by Peter Moses, July 7, 2017. Inscribe three squares into a triangle ABC such that each square has two vertices on two distinct sides of ABC and the other vertices of the three squares coincide at the vertices of another triangle A'B'C'. Let the squares be σa=B'C'AcAb, σb=C'A'BaBc and σc=A'B'CbCa with Ba, Ca on BC, Cb, Ab on CA, Ac, Bc on AB and centers Ao, Bo, Co, respectively. This construction has four solutions. For each case, the triangle A'B'C' will be named here the tri-squares triangle of ABC and the triangle AoBoCo will be referred here as tri-squares-central triangle of ABC.



Centers X(13757)-X(13850), Centers related to the 2nd tri-squares triangles, contributed by César Eliud Lozada, July 10, 2017. Tri-squares triangles are defined in the preamble of X(13637). In this section, A'B'C' is the 2nd tri-squares-triangle and AoBoCo is the 2nd tri-squares-central triangle.



Centers X(13873)-X(13993), 4th tri-squares triangles and related centers, contributed by César Eliud Lozada, July 15, 2017. Tri-squares triangles are defined in the preamble of X(13637)-X(13721)..







Preambles in Part 8


Centers X(14030)-X(14047), Moses-Euler Points. On July 21, 2017, Peter Moses noted a relatively simple form for a point P(k) on the Euler line: P(k) = b4 - b2c2 + c4 + k*(a4 + b2c2) : : (barycentrics)

The point is here named the Moses-Euler Point (k = f), where f is a function of (a,b,c), homogeneous of degree 0. The point is given by the combo P(k) = 3(k + 1)(a4 + b4 + c4)*X(2) + 4(k - 1)S2*X(4).



Centers X(14163)-X(14164), Moses-Yff images, based on notes from Peter Moses, August 30, 2017. If P = p : q : r (barycentrics) lies on the circumcircle, then the following point, introduced here as the Moses-Yff image of P, lies on the Yff hyperbola:

Y(P) = b^2 c^2 (a^4+a^2 b^2-2 b^4-2 a^2 c^2+4 b^2 c^2-2 c^4) (a^4-2 a^2 b^2-2 b^4+a^2 c^2+4 b^2 c^2-2 c^4) p-a^2 (2 a^4-a^2 b^2-b^4-a^2 c^2+2 b^2 c^2-c^4) (c^2 (-a^2 b^2+(a^2+b^2-c^2)^2) q+b^2 (-a^2 c^2+(a^2-b^2+c^2)^2) r) : : .

For example, the Moses-Yff image of X(110) is X(2), and that of X(74) is X(4).



Centers X(14169)-X(14188), Le Viet An equilateral triangles, contributed by César Eliud Lozada, August 30, 2017. Let ABC be a triangle and BCA', CAB', ABC' equilateral triangles erected out/in - wardly of ABC. Let Bc, Cb be the circumcenters of CC'B and BB'C, respectively, and build Ca, Ac, Ab and Ba cyclically. Denote the circumcenters of BcCbA, CaAcB, AbBaC as Oa, Ob, Oc, respectively. Then, in each case, the triangle OaObOc is equilateral. (See: Hyacinthos 26551).

For BCA', CAB', ABC' built outwards ABC, the triangle OaObOc will be referred here as the outer-Le Viet An triangle.
This triangle has sidelength ObOc = 4*S^2*R*|(SW+sqrt(3)*S)/((sqrt (3)*SA+S)*(sqrt(3)*SB+S)*(sqrt (3)*SC+S))|.
Oa has coordinates: Oa = (SW+sqrt(3)*S)*a : (SB-SC)*b : (SC-SB)*c (trilinears)

For BCA', CAB', ABC' built inwards ABC, the triangle OaObOc will be referred here as the inner-Le Viet An triangle.
This triangle has sidelength ObOc = 4*S^2*R*|(SW-sqrt(3)*S)/((sqrt (3)*SA-S)*(sqrt(3)*SB-S)*(sqrt (3)*SC-S))|
Oa has coordinates: Oa = (SW-sqrt(3)*S)*a : (SB-SC)*b : (SC-SB)*c (trilinears)

Both triangles are perspective to the anti-orthocentroidal triangle.



Centers X(14206)-X(14213), Nguyen Images, Dao Thanh Oai, August 11, 2017. Let ABC be a triangle, let L be the line through B orthogonal to BC, let BA be any point on L, and let BC be the point such that BBABCC is a rectangle. Likewise, let CCBCAA be a rectangle with base CA and let AACABB be a rectangle with base AB. Let A' be the midpoint of BACA, and define B' and C' cyclically. Let LA be the line through A' perpendicular to BC, and define LB and LC cyclically. Nguyen Ngoc Giang found that the lines LA, LB, LC concur.



Centers X(14226)-X(14245), Nguyen-Euler centers, :contributed by César Eliud Lozada, September 4, 2017. This section is based on Nguyen Ngoc Giang's paper mentioned in the preamble just before X(14206). The paper appears in the International Journal of Computer Discovered Mathematics, vol 2(2017), pp 135-140.

Let BBACAC, CCBABA, AACBCB be three rectangles built on the sides of a triangle ABC, such that |BBA|/a = |CCB|/b = |AAC|/c = λ = constant. Assume that λ %gt; 0 means that rectangles are built outwards from ABC and λ < 0 means that rectangles are built inwards from ABC. Nguyen proved that if NA, NB, NC are X(5) (i.e., the nine-point-center) of triangles ABACA, BCBAB and CACBC, respectively, then triangles NANBNC and ABC are orthologic.

In addition, it can be proved that if the three nine-point-centers (the N's) are replaced by any other point P on the Euler line such that (X(3)P)|/(X(3)X(4)) = (OP)/(OH) = t, a constant invariant of (a,b,c), then the triangles PAPBPC and ABC remain orthologic. In this case, the orthologic center PAPBPC to ABC is:

  X' = (2*a^6 - (b^2+c^2)*(a^4+(b^2-c^2)^2))*(3*t-1)*λ - 2*S*(a^2+b^2-c^2)*(a^2-b^2+c^2) : : (barycentrics)

and the orthologic center ABC to PAPBPC:

  X" = 1/(((2*a^4 + 2*(b^2+c^2)*a^2 + 4*b^2*c^2 - 4*(b^2+c^2)^2)*t + (a^2+b^2+c^2)*(-a^2+b^2+c^2))*λ + 2*S*(-a^2+b^2+c^2)) : : (barycentrics)

The point X' is here named the Nguyen-Euler(λ) point of P, and the point X", the Nguyen-Euler(λ) adjoint point of P.



Centers X(14272)-X(14353), Triaxial points,: contributed by César Eliud Lozada, September 6, 2017. "Let F1, F2, F3 be three figures in perspective two and two in the same plane, show that if they have a common centre of perspective, their three axes of perspective are concurrent." (Quoted from Lachlan, R.: An Elementary Treatise on Modern Pure Geometry, McMillan & Co., 1893, pp. 123). For three triangles T1, T2, T3 satisfying the those conditions, the point of concurrence of the three axes is here named the triaxial point of the triangles.



Centers X(14459)-X(14478), Koutras-Hatzipolakis-Moses points, contributed by Peter Moses, September 14, 2017. Following problem 1165a in Stathis Koutras's posting to Romantics of Geometry, Antreas Hatzipolakis posed the following in Hyacinthos 26601, September 12, 2017:

Let P be a point in the plane of a triangle ABC. Let
LAC = line through A parallel to line CP, and define LBA and LCB cyclically
A' = BC∩LAC, and define B' and C' cyclically
MA = midpoint of A and A', and define MB and MC cyclically.
A* = AMC∩B'C', and define B* and C* cyclically.
The points A*, B*, C* are collinear (Koutras).

LAB = line through A parallel to line BP, and define LBC and LCA cyclically
A'' = BC∩LAB, and define B'' and C'' cyclically
NA = midpoint of A and A'', and define NB and NC cyclically.
A** = ANB∩B''C'', and define B** and C** cyclically.
The points A**, B**, C** are collinear. (Hatzipolakis).

What can be said about the point of intersection of the lines A*B*C* and A**B**C**? (Hatzipolakis)

Peter Moses responds as follows. Write P = p : q : r (barycentrics). The point of intersection, here denoted by KHM(P), lies on the line PX(2) and is given by

KHM(P) = p3 - q3 - r3 + 3p2(q + r) - 2qr(q + r) - pqr : :

and by the following combo:

KHM(P) = 3 (p3 + q3 + r3 + 2 (q r (q + r)+ r p (r + p) + p q (p + q) + 3 p q r))*X(2) - (p + q + r) (2 (p2 + q2 + r2) + 5 (q r + r p + p q))*P



Centers X(14483)-X(14488), Nguyen-Moses images, contributed by Clark Kimberling and Peter Moses, September 19, 2017. Let ABC be a triangle, let L be the line through B orthogonal to BC, let BA be any point on L, and let BC be the point such that BBABCC is a rectangle. Likewise, let CCBCAA be a rectangle with base CA and let AACABB be a rectangle with base AB. Let LA be the line through A perpendicular to BCCB, and define LB and LC cyclically. Starting with Nguyen Ngoc Giang's rectangles (as in the preamble just before X(14206)), Peter Moses found that the lines LA, LB, LC concur.

Let U be the ratio of the height of the rectangle BBABCC to the base; that is, U = |BAB|/a. Define V and W cyclically. The point X' of concurrence is given by

X' = 1 / (-a^2 + b^2 + c^2 + 2 S U) : : (barycentrics)

If X is a point in the plane of ABC, then it has actual trilinear distances (possibly nonpositive) that are the heights of rectangles as in the above construction. Therefore, starting with X = x : y : z (barycentrics), we have U = kx/a2, where k = S/(x + y + z), and V = ky/b2 and W = kz/c2. Consequently,

X' = a^2 / (a^2 (-a^2 + b^2 + c^2) + 2 S^2 x (x + y + z)) : :

The point X' is here named the Nguyen-Moses image of X.



Centers X(14526)-X(14527), Schiffler triange, Schiffler circles, contributed by César Lozada, September 23, 2017). Let A'B'C' be the 1st Schiffler triangle of ABC. Let Aa', Bb', Cc' be the orthogonal projections of A, B, C on B'C', C'A', A'B', respectively, and A'a, B'b, C'c the orthogonal projections of A', B', C' on BC, CA, AB. These six points lie on a circle here named the 1st Schiffler circle, with center X(14526) and squared radius ((9*R+2*r)*R^2*r^2+(R+2*r)*S^2)*R/((R+2*r)^2*(3*R+2*r)^2). This circle passes through X(11) and X(1365) and is the circumcircle of the pedal triangles of the isogonal conjugate pair X(35) and X(79).

Next, if "1st Schiffler triangle" is replaced by "2nd Schiffler triangle", the resulting six points lie on a circle, here named the 2nd Schiffler circle, with center X(1737) and squared radius R*r^2/(R-2*r). This circle passes through X(11), X(5532), X(13141), X(14027) and is the circumcircle of the pedal triangles of the isogonal conjugate pair X(36) and X(80).

Continuing, let A'B'C' be the 1st Schiffler triangle and A"B"C" the 2nd Schiffler triangle of ABC. Let A1, B1, C1 be the orthogonal projections of A', B', C' on B"C", C"A", A"B", respectively, and A2, B2, C2 the orthogonal projections of A", B", C" on B'C', C'A' and A'B'. These six points A1, B1, C1 , A2, B2, C2 lie on a circle here named the 3rd Schiffler circle, with center X(14527). This circle also passes through X(11).

For definitions of Schiffler triangles, see See César Lozada, Hyacinthos 26620



Centers X(14538)-X(14541), Nguyen orthoimages, contributed by Peter Moses, September 25, 2017. Let ABC be a triangle, let L be the line through B orthogonal to BC, let BA be any point on L, and let BC be the point such that BBABCC is a rectangle. Likewise, let CCBCAA be a rectangle with base CA and let AACABB be a rectangle with base AB. Let A' = ABCB∩ACBC, and define B' and C' cyclically. Let LA be the line through A' orthogonal to line BC, and define LB and LC cyclically. Nguyen Ngoc Giang found that the lines LA, LB, LC concur. See the preamble just before A(14206).

Let U be the ratio of the height of the rectangle BBABCC to the base; that is, U = |BAB|/a. Define V and W cyclically. Peter Moses found (September 23, 2017) that the point X' of concurrence of the lines LA, LB, LC is given by

X' = 2a2(a2 - b2 - c2)UV + 2a2(a2 - b2 - c2)UW + (a2 + b2 - c2)(a2 - b2 + c2)VW : :

If X is a point in the plane of ABC, then it has actual trilinear distances (possibly nonpositive) that are the heights of rectangles as in the above construction. Therefore, starting with X = x : y : z (barycentrics), we have U = kx/a2, where k = S/(x + y + z), and V = ky/b2 and W = kz/c2. Consequently,

X' = 2a2c2(a2 - b2 - c2)xy + 2a2b2(a2 - b2 - c2)xz + a2(a2 + b2 - c2)(a2 - b2 + c2)yz : :

X' = a2(SBSCyz - b2SAxz - c2SAxy : :

X' = isogonal conjugate of the X(3)-vertex conjugate of X
X' = reflection-in-X(3) of the isogonal conjugate of P

The triangle A'B'C' is here named the X-Nguyen triangle, and the point X' is named the Nguyen orthoimage of X.



Centers X(14649)-X(14706), Singular Foci of Cubics. Let O(P) denote the orthopivotal cubic of a point P, as defined at Orthopivotal cubics. Five points on this cubic are A, B, C, X(13), and X(14). The singular focus of O(P), denoted by Psi(P) defines an involutory mapping P → Psi(P), and Psi(P) is called the Psi-transform of P. The centers X(14649)-X(14706) involve these orthopivotal cubics for these points: X(14651), X(14656), X(14660), X(14704), X(14705), X(14706). The others involve circular cubics. See Singular Focus of Circular Cubics in Bernard Gibert's CTC.


Centers X(14713)-X(14781), Centers of common circumconics of two triangles, contributed by César Eliud Lozada, October 10, 2017. The following table shows the ETC indexes of centers of conics circumscribing two or more central triangles. For definitions of triangles see the Index of triangles referenced in ETC.


Centers X(14782)-X(14806), Involution and related centers, contributed by César Eliud Lozada, October 10, 2017. "When several pairs of points A, A'; B, B' ; C, C′ ; . . . lying on a straight line are such that their distances from a fixed point O are connected by the relations

OA .OA' = OB.OB' = OC.OC′ = . . . ,

the points are called a range in involution." (Lachlan, R.: An Elementary Treatise on Modern Pure Geometry. MacMillan & Co., 1893, chapter 5, pp. 37-41).

A range in involution is denoted by {A, A′}, {B, B′}, {C, C′}. The point O, collinear with the given points, is called the center of involution and each pair of corresponding points, as A and A′, are said to be a conjugate-couple.

To construct O, let {A, A'}, {B, B'} be two pairs of points on a straight line. Through A and B draw any two lines AP, BP intersecting in P and through A', B' draw A'Q, B'Q parallel to BP, AP respectively, meeting in Q. PQ meets AB in O. (Proof in the above reference). From this construction, it is clear that two pairs of points are sufficient for determining the range unambigously and its notation can be shortened to {A, A'}, {B, B'}.



Centers X(14815)-X(14825), Ghoicas-Lozada Images, contribued by Peter Moses and Clark Kimberling, October 11, 2017. The following material is based on a construction by M. D. Ghoicas in 1934; see Antreas Hatzipolakis and César Lozada, Hyacinthos 26655. Let P be a point in the plane of a triangle ABC, not on one of the three sidelines, and let P* be the isogonal conjugate P*. Let

AB = AP∩BC, and define BC and CA cyclically.
AC = AP*∩BC, and define BA and CB cyclically.
A' = BBC /\ CCB, and define B' and C' cyclically.
A'' = BBA /\ CCA, and define B'' and C'' cyclically.

Then the following pairs of triangles are perspective: ABC and A'B'C', ABC and A''B''C'', and A'B'C' and A''B''C''. Let

Q = ABC and A'B'C'
Q* = perspector of ABC and A'B'C'
GL(P) = perspector of A'B'C' and A''B''C''

The point GL(P) is here named the Ghoicas-Lozada image of P. Let



Centers X(14870)-X(14889), Simpedal points, contributed by César Eliud Lozada, October 19, 2017. "To determine a point P whose pedal triangle A'B'C' with regard to a given triangle ABC shall be similar to a given triangle A*B*C*". (Johnson, Roger A.: Advanced Eucliden Geometry, Dover, New York, 1960, problem 205, pp. 142.)

Assume ABC and A*B*C* are not inversely similar. For finding P, take any two points B1, C1 on AC and AB, respectively, and build A1B1C1 directly similar to A*B*C*. Then, through A2=AA1∩BC, draw parallels to A1B1 and A1C1, cutting AC and AB at B2 and C2, respectively. The required P is the Miquel point of A2B2C2 with respect to ABC. (Proof in the cited reference).

The point P and the triangle A'B'C' will be named here the simpedal point of A*B*C* in ABC and the simpedal triangle of A*B*C* in ABC, respectively.

Let A* = UA : VA : WA (trilinears) and similarly B* and C*. Let M be the trilinear matrix of A*B*C* and mij the (i, j)-minor of M. Denote δij = (-1)i+j mij. Then,

 P = a (b δ33 δ21 (a^2 - b^2) + c δ22 δ31 (a^2 - c^2) + b c (b δ32 δ21 + c δ23 δ31) - (δ21 δ31 + δ22 δ32 + δ23 δ33) a b c + a δ22 δ33 (b^2 + c^2 - a^2))/(a UA + b VA + c WA) : :



Centers X(14941)-X(14952), Brocard-Lemoine points, contributed by César Eliud Lozada, October 24-27, 2017. Let ABC be a triangle, P any point in its plane (not on its sidelines) and A', B', C' the traces of P on ABC. Let Ab, Ac be the points where BC is cut by the parallel to AB through B' and the parallel to AC through C', respectively. Build Bc, Ba, Ca, Cb cyclically. Then lines AAb, BBc, CCa concur at a point W1 and lines AAc, BBa, CCb concur at a point W2.

For P = u : v : w (trilinears), W1 and W2 have trilinears as shown:
 W1 = c/v : a/w : b/u
 W2 = b/w : c/u : a/v

Note that for P=X(6), W1 and W2 are the Brocard points of ABC.

The previous construction is due to Lemoine as an attempt to generalize the Brocard geometry (Roger A. Johnson, Advanced Eucliden Geometry, Dover, New York, 1960, §499-500, pp. 299). Johnson writes, these points have many properties resembling those of the Brocard points.

This preamble includes notes from Randy Hutson.



Centers X(14953)-X(14966), Bicentrically induced harmonic conjugates, contributed by Clark Kimberling and Peter Moses, October 25, 2017. Using barycentric coordinates, suppose that P = p : q : r and U = u : v : w are a bicentric pair of points. Let

P' = line p*x + q*y + r*z = 0
U' = line u*x + v*y + w*z = 0
L = a line
P* = L∩P'
U* = L∩U'
X = a point on L
X' = (P*,U*)-harmonic conjugate of X, to be expressed as L(P,U)-harmonic conjugate of X

If L is a central line and X is a triangle center, then X' is a triangle center. For example, if X is on the Euler line, then X' is on the Euler line, for every choice of bicentric pair (P,U), and the point X' in this case is written as Euler(P,U)-harmonic conjugate of X. If X is on the Brocard axis, then X' is written as Brocard(P,U)-harmonic conjugate of X.



Centers X(15015)-X(15142), Centers related to altimedial triangles, contributed by Randy Hutson, October 27, 2017. The term altimedial triangle was introduced in Hyacinthos 253, by Antreas Hatzipolakis, January 30, 2000. A recap follows:

Let MA, MB, MC be the midpoints of sides BC, CA, AB, resp.
Let HA, HB, HC be the feet of the altitudes from A, B, C, resp.

The triangles HAMCMB, MCHBMA, MBMAHC are the A-, B- and C-altimedial triangles. Each is inversely congruent to the medial triangle and inversely similar to ABC (with center of inverse similitude the respective vertex of the orthocentroidal triangle).

The A-altimedial triangle has barycentric vertex matrix:

0  :  tan B  :  tan C
1  :  1  :  0
1  :  0  :  1

The A-, B- and C-anti-altimedial triangles, AABACA, ABBBCB, ACBCCC are here introduced as the triangles of which ABC is the A-, B- and C-altimedial triangle, resp. To construct the A-anti-altimedial triangle, take AA as the reflection of A in line BC. Then BA is the reflection of AA in B, and CA is the reflection of AA in C. The B- and C-anti-altimedial triangles are constructed cyclically. The anti-altimedial triangles are each inversely congruent to the anticomplementary triangle and homothetic to the respective altimedial triangle, with center of homothety the respective vertex of the orthocentroidal triangle.



Centers X(15254)-X(15299), Perspeconics, contributed by César Eliud Lozada, November 14, 2017. Let ABC and A'B'C' be two perspective triangles such that neither is inscribed in the other. Let Ab = BC∩A'B', Ac = BC∩A'C', and likewise for Bc, Ba, Ca, and Cb. As ABC and A'B'C' are perspective, the pairs of lines {BC, B'C'}, {CA, C'A'} and {AB, A'B'} concur at three collinear points, and the lines AbAc, BcBa, CaCb join opposite vertices of an hexagon. By Pascal's theorem, the six points lie on a conic, here named the perspeconic of ABC and A'B'C'.



Centers X(15345)-X(15349), Dao images, based on notes from Dao Thanh Oai, November 20, 2017. Let P be an arbitrary point in the plane of a triangle ABC. Let OA be the centere of the circumcircle of BPC. Let LA be the line through OA parallel to line AP, and define LB and LC cyclically. The lines LA, LB, LC concur in a point Q = Q(P), here named the Dao image of P. (Dao Thanh Oai, November 20, 2017).

If P = p : q : r (barycentrics), then

Q = p (c^2 q^2 + (-a^2 + b^2 + c^2) q r + b^2 r^2) (2 a^2 q r + p (-(-a^2 + b^2 + c^2) p + (a^2 - b^2 + c^2) q + (a^2 + b^2 - c^2) r)) : :

If P is on the circumconic Γ = {A, B, C, X(4), P}, then Q is on the complement of Γ. (Peter Moses, November 23, 2017)

The Dao image of P is the complement of the Kirikami-Euler image of P. (Randy Hutson, December 2, 2017)

The Dao image of P is the X(2)-Ceva conjugate of the 2nd Vu point of P. (Randy Hutson, November 17, 2019)



Centers X(15411)-X(15423), Gibert-Simson Transforms.This section continues the section on Gibert-Simson transforms, X(2394)-X(2419), with preamble just before X(2394). See also Bernard Gibert's Points and mappings



Centers X(15428)-X(15445), Always-perspective triangles and related centers, contributed by César Eliud Lozada, December 2, 2017.  Centers X(1601)-X(1634) refer to perspectors of the tangential triangle and the circumcevian triangle of an arbitrary point P. This section deals with the perspectivities between a central triangle and a triangle depending on P.  Let P = u : v : w (trilinears) be a point not on the sidelines of ABC and let the reflections-of-P triangle be the triangle whose vertices are the reflections of P in the lines BC, CA, AB. The following pairs of triangle are perspective for all P: