Forum Geometricorum b Volume 6 (2006) 213–224. bbb FORUM GEOM ISSN 1534-1178

Simmons Conics

Bernard Gibert

Abstract. We study the conics introduced by T. C. Simmons and generalize some of their properties.

1. Introduction In [1, Tome 3, p.227], we find a definition of a conic called “ de Simmons” with a reference to E. Vigari´e series of papers [8] in 1887-1889. According to Vigari´e, this “ellipse” was introduced by T. C. Simmons [7], and has foci the first isogonic center or (X13 in [5]) and the first isodynamic point (X15 in [5]). The contacts of this “ellipse” with the sidelines of reference ABC are the vertices of the cevian triangle of X13. In other words, the perspector of this conic is one of its foci. The given trilinear equation is :     π   π   π  α sin A + + β sin( B + + γ sin C + =0. 3 3 3 It appears that this conic is not always an ellipse and, curiously, the correspond- ing conic with the other Fermat and isodynamic points is not mentioned in [1]. In this paper, working with barycentric coordinates, we generalize the study of inscribed conics and circumconics whose perspector is one focus.

2. Circumconics and inscribed conics Let P =(u : v : w) be any point in the plane of triangle ABC which does not lie on one sideline of ABC. Denote by L(P ) its trilinear polar. The locus of the trilinear pole of a line passing through P is a circumconic de- noted by Γc(P ) and the envelope of trilinear polar of points of L(P ) is an inscribed conic Γi(P ). In both cases, P is said to be the perspector of the conic and L(P ) its perspectrix. Note that L(P ) is the polar line of P in both conics. The centers of Γc(P ) and Γi(P ) are

Ωc(P )=(u(v + w − u):v(w + u − v):w(u + v − w)),

Ωi(P )=(u(v + w):v(w + u):w(u + v)) respectively. Ωc(P ) is also the perspector of the medial triangle and the anticevian triangle AP BP CP of P . Ωi(P ) is the complement of the isotomic conjugate of P .

Publication Date: June 26, 2006. Communicating Editor: Paul Yiu. 214 B. Gibert

2.1. Construction of the axes of Γc(P ) and Γi(P ). Let X be the fourth intersection of the conic and the circumcircle (X is the trilinear pole of the line KP). The axes of Γc(P ) are the parallels at Ωc(P ) to the bisectors of the lines BC and AX.A similar construction in the cevian triangle PaPbPc of P gives the axes of Γi(P ).

2.2. Construction of the foci of Γc(P ) and Γi(P ). The line BC and its perpen- dicular at Pa meet one axis at two points. The circle with center Ωi(P ) which is orthogonal to the circle having diameter these two points meets the axis at the re- quested foci. A similar construction in the anticevian triangle of P gives the foci of Γc(P ).

3. Inscribed conics with focus at the perspector Theorem 1. There are two and only two non-degenerate inscribed conics whose perspector P is one focus : they are obtained when P is one of the isogonic centers. ∗ Proof. If P is one focus of Γi(P ), the other focus is the isogonal conjugate P of P and the center is the of PP∗. This center must be the isotomic conjugate of the anticomplement of P . A computation shows that P must lie on three circum-strophoids with singularity at one vertex of ABC. These strophoids are orthopivotal cubics as seen in [4, p.17]. They are the isogonal transforms of the three Apollonian circles which intersect at the two isodynamic points. Hence, the strophoids intersect at the isogonic centers. 

These conics will be called the (inscribed) Simmons conics denoted by S13 = Γi(X13) and S14 =Γi(X14).

Elements of the conics S13 S14 perspector and focus X13 X14 other real focus X15 X16 center X396 X395 focal axis parallel to the idem non-focal axis L(X14) L(X13) directrix L(X13) L(X14) other directrix L(X18) L(X17) Remark. The directrix associated to the perspector/focus in both Simmons conics is also the trilinear polar of this same perspector/focus. This will be generalized below. Theorem 2. The two (inscribed) Simmons conics generate a pencil of conics which contains the nine-point circle. The four (not always real) base points of the pencil form a quadrilateral inscribed in the nine point circle and whose diagonal triangle is the anticevian triangle of X523, the infinite point of the perpendiculars to the Euler line. In Figure 1 we have four real base points on the nine point circle and on two parabolas P1 and P2. Hence, all the conics of the pencil have axes with the same directions (parallel and perpendicular to the Euler line) and are centered on the rectangular hyperbola Simmons conics 215

P2

X16

NPC X13 A G B C

X15 P1

X14 S14

S13

Figure 1. Simmons ponctual pencil of conics which is the polar conic of X30 (point at infinity of the Euler line) in the Neuberg cubic. This hyperbola passes through the in/excenters, X5, X30, X395, X396, X523, X1749 and is centered at X476 (Tixier point). See Figure 2. This is the diagonal conic with equation :  2 2 2 2 2 2 (b − c )(4SA − b c )x =0. cyclic It must also contain the vertices of the anticevian triangle of any of its points and, in particular, those of the diagonal triangle above. Note that the polar lines of any of its points in both Simmons inconics are parallel. Theorem 3. The two (inscribed) Simmons conics generate a tangential pencil of conics which contains the Steiner .

Indeed, their centers X396 and X395 lie on the line GK. The locus of foci of all inconics with center on this line is the (second) Brocard cubic K018 which is nK0(K, X523) (See [3]). These conics must be to the trilinear polar of the root X523 which is the line through the centers X115 and X125 of the Kiepert and Jerabek hyperbolas. Another approach is the following. The fourth common tangent to two inconics is the trilinear polar of the intersection of the trilinear polars of the two perspec- tors. In the case of the Simmons inconics, the intersection is X523 at infinity (the perspector of the Kiepert hyperbola) hence the common tangent must be the trilin- ear polar of this point. In fact, more generally, any inconic with perspector on the 216 B. Gibert

L(X17)

X16

P1 K018 S14 X395 A NPC X230

X13 K X396 X125 X111 L(X13) G X15 X14 B S13 X115 P2 C

Polar conic L(X18) of X30 L(X14)

Figure 2. The two Simmons inconics S13 and S14

Kiepert hyperbola must be tangent to this same line (the perpector of each conic must lie on the Kiepert hyperbola since it is the isotomic conjugate of the anti- complement of the center of the conic). In particular, since G lies on the Kiepert hyperbola, the must also be tangent to this line. This is also the case of the inconic with center K, perspector H sometimes called K-ellipse (see [1]) although it is not always an ellipse.

Remarks. (1) The contacts of this common tangent with S13 and S14 lie on the lines through G and the corresponding perspector. See Figures 2 and 3. (2) This line X115X125 meets the sidelines of ABC at three points on K018. (3) The focal axes meet the non-focal axes at the vertices of a rectangle with center X230 on the orthic axis and on the line GK. These vertices are X396, X395 and two other points P1, P2 on the cubic K018 and collinear with X111, the singular focus of the cubic. (4) The orthic axis is the mediator of the non-focal axes. Simmons conics 217

P

A

X1648 S13

X13 S14 G X115 X111 X15 X14 Steiner B inellipse C

Figure 3. Simmons tangential pencil of conics

(5) The pencil contains one and only one parabola P we will call the Simmons parabola. This is the in-parabola with perspector X671 (on the Steiner ellipse), 1 focus X111 (Parry point), touching the line X115X125 at X1648.

4. Circumconics with focus at the perspector

A circumconic with perspector P is inscribed in the anticevian triangle PaPbPc of P . In other words, it is the inconic with perspector P in PaPbPc. Thus, P is a focus of the circumconic if and only if it is a Fermat point of PaPbPc. According to a known result 2, it must then be a Fermat point of ABC. Hence, Theorem 4. There are two and only two non-degenerate circumconics whose per- spector P is one focus : they are obtained when P is one of the isogonic centers.

They will be called the Simmons circumconics denoted by Σ13 =Γc(X13) and Σ14 =Γc(X14). See Figure 4. The fourth common point of these conics is X476 (Tixier point) on the circum- circle. The centers and other real foci are not mentioned in the current edition of [6] and their coordinates are rather complicated. The focal axes are those of the Simmons inconics.

1 X1648 is the tripolar of X523 i.e. the isobarycenter of the traces of the line X115X125. It lies on the line GK. 2 The angular coordinates of a Fermat point of PaPbPc are the same when they are taken either with respect to PaPbPc or with respect to ABC. 218 B. Gibert

X16 L(X13)

L(X14) A X395

X13 Y14 X396 X476 X15 B C Σ14

X14

Σ13

Y13

Figure 4. The two Simmons circumconics Σ13 and Σ14

A digression: there are in general four circumconics with given focus F . Let CA, CB, CC the circles passing through F with centers A, B, C. These circles have two by two six centers of homothety and these centers are three by three collinear on four lines. One of these lines is the trilinear polar L(Q) of the interior point 1 1 1 Q = AF : BF : CF and the remaining three are the sidelines of the cevian triangle of Q. These four lines are the directrices of the sought circumconics and their construction is therefore easy to realize. See Figure 5. This shows that one can find six other circumconics with focus at a Fermat point but, in this case, this focus is not the perspector.

5. Some related loci We now generalize some of the particularities of the Simmons inconics and present several higher degree curves which all contain the Fermat points.

5.1. Directrices and trilinear polars. We have seen that these Simmons inconics are quite remarkable in the sense that the directrix corresponding to the perspec- tor/focus F (which is the polar line of F in the conic) is also the trilinear polar of F . The generalization gives the following Simmons conics 219

CA

A

Q L(Q) F

B C CC

CB

Figure 5. Directrices of circumconics with given focus

Theorem 5. The locus of the focus F of the inconic such that the corresponding directrix is parallel to the trilinear polar of F is the Euler-Morley quintic Q003. Q003 is a very remarkable curve with equation  2 2 2 a (SB y − SC z)y z =0 cyclic which (at the time this paper is written) contains 70 points of the triangle plane. See [3] and [4]. In Figure 6, we have the inconic with focus F at one of the extraversions of X1156 (on the Euler-Morley quintic).

5.2. Perspector lying on one axis. The Simmons inconics (or circumconics) have their perspectors at a focus hence on an axis. More generally, Theorem 6. The locus of the perspector P of the inconic (or circumconic) such that P lies on one of its axis is the Stothers quintic Q012. The Stothers quintic Q012 has equation  a2(y − z)(x2 − yz)yz =0. cyclic Q012 is also the locus of point M such that the circumconic and inconic with same perspector M have parallel axes, or equivalently such that the pencil of conics generated by these two conics contains a circle. See [3]. 220 B. Gibert

Q003

A

directrix

B F C

L(F)

Figure 6. An inconic with directrix parallel to the trilinear polar of the focus

The center of the inconic in Theorem 6 must lie on the complement of the iso- tomic conjugate of Q012, another quartic with equation  a2(y + z − x)(y − z)(y2 + z2 − xy − xz)=0. cyclic

In Figure 7, we have the inconic with perspector X673 (on the Stothers quintic) and center X3008. The center of the circumconic in Theorem 6 must lie on a septic which is the G−Ceva conjugate of Q012.

5.3. Perspector lying on the focal axis. The focus F , its isogonal conjugate F∗ (the other focus), the center Ω (midpoint of FF∗) and the perspector P (the isotomic conjugate of the anticomplement of Ω) of the inconic may be seen as a special case of collinear points. More generally, Theorem 7. The locus of the focus F of the inconic such that F , F∗ and P are collinear is the bicircular isogonal sextic Q039. Q039 is also the locus of point P whose pedal triangle has a Brocard line passing through P . See [3]. Remark. The locus of P such that the polar lines of P and its isogonal conjugate P ∗ in one of the Simmons inconics are parallel are the two isogonal pivotal cubics K129a and K129b. Simmons conics 221

A

X3008

G X673

B C

Q012

Figure 7. An inconic with perspector on one axis

Ic

X16

A

X1379 Ib X13 G I F2 asymptote X15 F1 X14 B C

X325 X1380

Ia Kiepert asymptote hyperbola

Figure 8. The bicircular isogonal sextic Q039 222 B. Gibert

More precisely, with the conic S13 we obtain K129b = pK(K, X396) and with the conic S14 we obtain K129a = pK(K, X395). See [3].

6. Appendices

6.1. In his paper [7], T. C. Simmons has shown that the eccentricity of Σ13 is twice that of S13. This is also true for Σ14 and S14. The following table gives these eccentricities. conic eccentricity 1 OH S13  √ × √ 2(cot ω + 3) ∆ 1 OH S14  √ × √ 2(cot ω − 3) ∆ 2 OH Σ13  √ × √ 2(cot ω + 3) ∆ 2 OH Σ14  √ × √ 2(cot ω − 3) ∆ where ω is the Brocard angle, ∆ the area of ABC and OH the distance between O and H.

6.2. Since Σ13 and S13 (or Σ14 and S14) have the same focus and the same direc- trix, it is possible to find infinitely many homologies (perspectivities) transforming these two conics into concentric circles with center X13 (or X14) and the radius of the first circle is twice that of the second circle. The axis of such homology must be parallel to the directrix and its center must be the common focus. Furthermore, the homology must send the directrix to the line at infinity and, for example, must transform the point P1 (or P2, see remark 3 at the end of §3) into the infinite point X30 of the Euler line or the line X13X15. Let ∆1 and ∆2 be the two lines with equations   (b2 + c2 − 2a2 + a4 + b4 + c4 − b2c2 − c2a2 − a2b2) x =0 cyclic and   (b2 + c2 − 2a2 − a4 + b4 + c4 − b2c2 − c2a2 − a2b2) x =0. cyclic

∆1 and ∆2 are the to the Steiner inellipse which are perpendicular to the Euler line. The contacts lie on the line GK and on the circle with center G passing through X115, the center of the Kiepert hyperbola. ∆1 and ∆2 meet the Euler line at two points lying on the circle with center G passing through X125, the center of the Jerabek hyperbola. If we take one of these lines as an axis of homology, the two Simmons circum- conics Σ13 and Σ14 are transformed into two circles Γ13 and Γ14 having the same Simmons conics 223 radius. Obviously, the two Simmons inconics are also transformed into two circles having the same radius. See Figure 9.

P1

Γ13 L(X A 13)

Γ14 X13 X476 m P2 B C X14 M’ L(X 14) M

∆1

Σ13 Σ14

Figure 9. Homologies and circles

For any point M on Σ13, the line MP1 meets ∆1 at m. The parallel to the Euler line at m meets the line MX13 at M on Γ13. A similar construction with M on Σ14 and P2 instead of P1 will give Γ14.

References [1] H. Brocard and T. Lemoyne, Courbes G´eom´etriques Remarquables. Librairie Albert Blanchard, Paris, third edition, 1967. [2] J.-P. Ehrmann and B. Gibert, Special Isocubics in the Triangle Plane, available at http://perso.wanadoo.fr/bernard.gibert/ [3] B. Gibert, Cubics in the Triangle Plane, available at http://perso.wanadoo.fr/bernard.gibert/ [4] B. Gibert, Orthocorrespondence and orthopivotal cubics, Forum Geom, 3 (2003) 1–27. [5] C. Kimberling, Triangle centers and central , Congressus Numerantium, 129 (1998) 1–285. [6] C. Kimberling, Encyclopedia of Triangle Centers, available at http://faculty.evansville.edu/ck6/encyclopedia/ETC.html. 224 B. Gibert

[7] T. C. Simmons, Recent Geometry, Part V of John J. Milne’s Companion to the Weekly Problem Papers, 1888, McMillan, London. [8] E. Vigari´e, G´eom´etrie du triangle, Etude´ bibliographique et terminologique, Journal de Math´ematiques Sp´eciales,3e s´erie, 1 (1887) 34–43, 58–62, 77–82, 127–132, 154–157, 75–177, 199–203, 217–219, 248–250; 2 (1888) 9–13, 57–61, 102–04, 127–131, 182–185, 199–202, 242– 244, 276–279; 3 (1889) 18–19, 27–30, 55–59, 83–86.

Bernard Gibert: 10 rue Cussinel, 42100 - St Etienne, France E-mail address: [email protected]