33CBM06-eBook Ronaldo
33CBM06-eBook Ronaldo
in the Plane
Ronaldo A. Garcia
Dan S. Reznik
a
impa
Ronaldo A. Garcia
Dan S. Reznik
ISBN 978-65-89124-43-6
MSC (2020) Primary: 37M05, Secondary: 14H70, 37C83, 51M15, 51N20, 14Q05
Since the discovery of Poncelet’s porism in the 1810s, a steady stream of proofs has
been put forth, drawing upon the ever-evolving language and abstraction of math-
ematics. These started in the 19th century with Poncelet’s own synthetic/analytic
proof, passing through Jacobi’s treatment with elliptic functions, all the way to our
era where the phenomenon is understood on an abstract torus. See Del Centina
(2016a,b) for the historical background.
Indeed, for the past 200 years, the focus has been on refining proofs and un-
derstanding ramifications of the porism with respect to other areas of Mathematics.
One consequence has been that the ambient, dynamic planar geometry of Poncelet
polygons has been mostly unexplored.
In this book we take this less-traveled road, i.e., utilizing tools of interactive
simulation, we set off to discover curious phenomena manifested by Poncelet poly-
gons in the Euclidean plane. These include invariant metric quantities, the shape
of loci of certain points, etc. Luckily, we have stumbled upon many interesting
phenomena. Whenever possible, we illustrate the results with pictures and/or an-
imations. To further engage the reader, we propose many exercises and research
questions.
This research started in 2011 following lively conversations with Jair Koiller
about the path of light rays in an ellipse. This resulted in several Mathematica
simulations and a few videos uploaded to YouTube. After an 8-year hiatus, we
resumed the work in early 2019 following a few very auspicious events: (i) one of
the authors learned other mathematicians had watched our videos and published
proofs of phenomena therein, (ii) Sergei Tabachnikov’s invitation for us to pub-
lish an article (jointly with Jair Koiller) in the Mathematical Intelligencer, and (ii)
our expository talk at IMPA’s 32nd colloquium of Brazilian mathematics (see this
video). Following this process our research sped up and we ended up producing
dozens of papers and hundreds of experimental videos, which form the basis of
this book.
We are indebted to several mathematicians and friends who have answered
hundreds of our emails, and shared with us much needed insights: Arseniy Akopyan,
Michael Bialy, Ana Chávez-Caliz, Mário Jorge Carneiro, Manish Chakrabarti,
Ethan Cotterill, Marcos Craizer, Iverton Darlan, Carlos Esperança, Robert Ferréol,
Corentin Fierobe, Sergey Galkin, Liliana Gheorghe, Bernard Gibert, João Gondim,
Darij Grinberg, Mark Helman, Daniel Jaud, Clark Kimberling, Jair Koiller, Do-
minique Laurain, Nicholas McDonald, Peter Moses, Oliver Nash, Boris Odehnal,
Matt Perlmutter, Pedro Roitman, Olga Romaskevich, Richard Schwartz, Hellmuth
Stachel, Sergei Tabachnikov, Israel Vainsencher, Daniel Weller, Jorge Zubelli, and
others.
We also thank IMPA for the opportunity to publish this book supporting our
course in the 33rd Colloquium of Brazilian Mathematics (2021), and Paulo Ney
de Souza for his encouragement, and editorial support.
July, 2021
Contents
1 Introduction 1
1.1 Poncelet preliminaries . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 The elliptic billiard . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.3 Focusing on 3-periodics . . . . . . . . . . . . . . . . . . . . . . . 3
1.4 Asking simple questions . . . . . . . . . . . . . . . . . . . . . . 5
1.5 On to more confocal results . . . . . . . . . . . . . . . . . . . . . 6
1.6 Branching out to non-confocal families . . . . . . . . . . . . . . . 7
1.7 Analysis methods . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.8 Related work . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.9 Book organization . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2 Confocal Pair 11
2.1 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Caustic semiaxes . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2.3 Incenter and excenter loci . . . . . . . . . . . . . . . . . . . . . . 13
2.4 A stationary point . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5 Conserved quantities . . . . . . . . . . . . . . . . . . . . . . . . 17
2.6 An interpretation for Darboux’s constant . . . . . . . . . . . . . . 20
2.7 Confocal vertex parametrization . . . . . . . . . . . . . . . . . . 20
2.7.1 Standard . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.7.2 Jacobi’s universal measure . . . . . . . . . . . . . . . . . 21
2.8 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.9 Research questions . . . . . . . . . . . . . . . . . . . . . . . . . 27
3 Concentric, Axis-Parallel (CAP) 28
3.1 Excentral family . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.2 Incircle family . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.2.1 Confocal affine image . . . . . . . . . . . . . . . . . . . 33
3.3 Circumcircle family . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.3.1 Confocal affine image . . . . . . . . . . . . . . . . . . . 36
3.4 Homothetic family . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.5 Dual family . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.6 Vertex parametrization for a generic CAP pair . . . . . . . . . . . 41
3.7 Summary . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.8 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.9 Research questions . . . . . . . . . . . . . . . . . . . . . . . . . 46
5 Confocal Loci 75
5.1 Kimberling centers with elliptic loci . . . . . . . . . . . . . . . . 76
5.2 When billiard 3-periodics are obtuse . . . . . . . . . . . . . . . . 78
5.3 Quartic locus of the symmedian point X6 . . . . . . . . . . . . . 79
5.4 Feuerbach point and its anticomplement . . . . . . . . . . . . . . 82
5.5 A locus with singularities . . . . . . . . . . . . . . . . . . . . . . 83
5.6 A self-intersecting locus . . . . . . . . . . . . . . . . . . . . . . . 85
5.7 A non-compact locus . . . . . . . . . . . . . . . . . . . . . . . . 85
5.8 A golden locus . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
5.9 When the billiard is swept non-monotonically . . . . . . . . . . . 88
5.10 The dance of the swans . . . . . . . . . . . . . . . . . . . . . . . 90
5.11 Locus of vertices of derived triangles . . . . . . . . . . . . . . . . 93
5.12 Locus triple winding . . . . . . . . . . . . . . . . . . . . . . . . 93
5.13 Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
5.14 Research questions . . . . . . . . . . . . . . . . . . . . . . . . . 101
Bibliography 235
Index 240
Glossary 244
1 Introduction
Figure 1.1: Top left: 3 Poncelet iterations within a pair of ellipses in general posi-
tion; their centers are labeled O and Oc , respectively. Top right: 5 more iterations
executed (starting at P4 ), showing the trajectory is not likely to close. Bottom: a
new ellipse pair for which an iteration departing from P1 closes after 7 steps (blue
polygon). Poncelet’s porism guarantees that if the iteration were to start anywhere
else on the outer ellipse, e.g., P10 , it will also yield a closed, 7-gon (dashed red).
Video, Live
1.2. The elliptic billiard 3
Poncelet’s theorem has been widely studied for over 2 centuries. It is regarded
as a fundamental result in algebraic geometry, see the surveys in Bos, Kers, and
Raven (1987), Del Centina (2016b), and Dragović and Radnović (2014).
Figure 1.2: Top left: A confocal pair of ellipses; shown are the first four Pon-
celet iterations departing from P1 . Graves’ theorem guarantees that each two con-
secutive segments are bisected by the ellipse normal nO i . Top right: A closing
3-periodic trajectory. Bottom left: The first 50 segments of a non-periodic trajec-
tory starting at P1 and directed toward P2 , notice P1 P2 does not pass between the
two foci. Bottom right: a confocal pair comprising an ellipse and a hyperbola.
All trajectory segments pass between the foci and are tangent to the hyperbola.
Early Video 1, Video 2, Video 3
1.4. Asking simple questions 5
P''
P1 P'
P
P3 O X1''
X1
X1'
X1
P2
Figure 1.4: An N D 3 orbit (blue), its Incircle (transparent green), Incenter (green
dot) and Intouch Points (brown dots). Over the N D 3 family, the Incenter locus is
a perfect ellipse (green), while the Intouchpoints produce a self-intersecting sextic
(dashed brown). Video, Live
shown in the figure, it turns out this locus is not as simple: it is a two-lobed, self-
intersecting curve.
As one plays with other locus phenomena, one is quickly led to ask “what
determines locus shape?” In this book we will explore these and many other related
questions.
• The ratio of the radii of two classic circles associated with a triangle – the
circumcircle and incircle – is invariant over the family.
Figure 1.5: The confocal family is shown at the top left. Also shown are 5 other
“famous” concentric families. Video
1.8. Related work 9
Over confocal 3-periodics, the elliptic locus of (i) the incenter was proved in
Fierobe (2021), Garcia (2019), and Romaskevich (2014); (ii) of the barycenter in
Garcia (2019) and Schwartz and Tabachnikov (2016a); and (iii) of the circumcen-
ter in Fierobe (2021) and Garcia (2019). The elliptic locus of the Spieker center
(which is the perimeter centroid of a triangle) was proved in Garcia (2019). Some
properties and invariants of confocal N-periodics are described in Reznik, Gar-
cia, and Koiller (2020a); N D 3 subcases are proved in Garcia, Reznik, and
Koiller (2020b). Some invariants have been proved for all N ⩾3 in Akopyan,
Schwartz, and Tabachnikov (2020), Bialy and Tabachnikov (2020), and Chavez-
Caliz (2020).
Following the above, we redirect our attention to the geometry and properties
of loci of triangle centers and vertices over some of the aforementioned families.
To be sure:
10 1. Introduction
In this chapter we describe the geometry and properties of billiard 3-periodics, i.e.,
the 1d family of Poncelet triangles “interscribed”1 in a pair of confocal ellipses.
We begin by (i) reviewing some elliptic billiard preliminaries; then (ii) deriving
conditions for the geometry of the inner ellipse (also known as the caustic); fol-
lowing that we review and prove some early results in regards to (iii) the elliptic
loci of the incenter and excenter of the family, and (iv) the stationarity of a special
triangle center known as the Mittenpunkt. Then (v) the key metric conservation of
the ratio of inradius-to-circumradius is discussed. The chapter ends by proposing
two alternative parameterizations for the vertices of billiard 3-periodics which we
call standard and Jacobi-based.
2.1 Preliminaries
Let the confocal pair of ellipses E and Ec be given by:
x2 y2 x2 y2
EW C 1 D 0; Ec W C 1D0
a2 b2 ac2 bc2
1 This means inscribed in a first ellipse while circumscribing a second one.
12 2. Confocal Pair
Proposition 2.2. The semiaxes ac ; bc of the confocal caustic are given by:
a ı b2 b a2 ı
ac D ; bc D
c2 c2
Figure 2.1: Top Left: An elliptic billiard 3-periodic (solid blue) is shown inscribed
in an outer ellipse (black) and a confocal caustic (brown). Graves’ theorem im-
plies its internal angles will be bisected by ellipse normals (black arrows). Also
shown is the incenter X1 defined as the intersection of said bisectors. Bottom Left:
Poncelet’s porism implies a 1d family of such triangles exists. Some samples are
shown (dashed blue). A classic invariant is perimeter. The Mittenpunkt X9 re-
mains stationary at the center. The incenter X1 sweeps an ellipse (dashed green).
Right: The excentral triangle (solid green) has sides perpendicular to the bisec-
tors. Over billiard 3-periodics, the excentral is of variable perimeter. Its vertices
(known as the “excenters”) also sweep an ellipse (dashed green) whose aspect ra-
tio is the reciprocal of that of the incenter locus. The symmedian point X60 of the
excentral triangle coincides with X9 of the reference and is therefore stationary.
Live
2.4. A stationary point 15
Proof. It follows from the vertex parametrization in Equation (2.5) and the defini-
tion of incenter and excenters. We have that
s1 P1 C s2 P2 C s3 P3 1
X1 D D .s1 P1 C s2 P2 C s3 P3 /
s1 C s2 C s3 L
where s1 D jP2 P3 j, s2 D jP1 P3 j and s3 D jP1 P2 j. A careful symbolic
analysis shows that E1 .X1 / D 0. A similar analysis considering the excenters
shows that the locus of the three points is the ellipse Ee stated.
A more general treatment to the above is given in Chapter 7.
Corollary 2.1. The pair fE; Ee g is Ponceletian.
Proof. Direct from Cayley condition
a b a2 b2
C D 2 C 2 D1
ae be b Cı a Cı
M2 M2
X9 X9
M1 M3 M1 M3
Figure 2.2: Left: 3-periodic billiard triangle (blue), its excentral triangle (green).
The Mittenpunkt X9 is the point of concurrence of lines drawn from the excenters
through sides’ midpoints Mi . Right: the affine image which sends the billiard to
a circle. Lines from imaged excenters through sides’ midpoints must pass through
the origin. Since the latter is stationary, so must be its pre-image X9 , which is
stationary at the billiard center. Video
2.5. Conserved quantities 17
Theorem 2.3. r=R is invariant over billiard 3-periodics and given by:
r 2.ı b 2 /.a2 ı/
D :
R c4
Proof. The following relation, found in Johnson (1960), holds for any triangle:
s1 s2 s3
rR D ;
2L
r 1 s1 s2 s3
D (2.3)
R 2L R2
Let i , r, R, and A denote the ith internal angle, inradius, circumradius, and
area of a reference triangle. Primed quantities refer to the excentral triangle. The
relations below, appearing in Johnson (1960), hold for any triangle:
18 2. Confocal Pair
Figure 2.3: The incircle (green), circumcircle (purple), and 9-point (Euler’s) circle
(pink) of a billiard triangle (blue). These are centered on X1 , X3 , and X5 , respec-
tively. Their radii are the inradius r, circumradius R, and 9-point circle radius
r9 D 2R. Over the family, the ratio r=R is invariant. In turn this implies an in-
variant sum of cosines. Live
2.5. Conserved quantities 19
3
X r
cos i D 1 C (2.4)
R
i D1
Y 3
r
cos i0 D
4R
i D1
A r
0
D
A 2R
Corollary 2.2. Over billiard 3-periodics, also invariant are the sum of 3-periodic
cosines, the product of excentral cosines, and the ratio of excentral-to-3-periodic
areas.
Direct calculations yields an expression for the invariant sum of cosines in
terms of elliptic billiard constants J and L.
P3
Corollary 2.3. i D1 cos i D JL 3
Indeed in Akopyan, Schwartz, and Tabachnikov (2020) it is shown that for all
N the sum of cosines is invariant and equal to JL N .
Let Pi be a billiard 3-periodic vertex and dj;i D jPi fj j its distance to
billiard focus fj .
Proposition 2.4. Over billiard 3-periodics, the following sum is invariant:
X 1 X 1 a2 C b 2 C ı
D D
d1;i d2;i ab 2
Proof. Direct computation with CAS using vertex parametrization given in Sec-
tion 2.7.
Let P D .x; y/ be a point on an ellipse with semiaxes a; b. In Weisstein (2019,
Ellipse), the curvature at P is expressed both in terms of its coordinates and the
distances d1 ; d2 to the foci as follows:
2 3=2
1 x y2 ab
D 2 2 4
C 4 D
a b a b .d1 d2 /3=2
Let i denote the billiard ellipse curvature at vertex Pi of a Poncelet 3-periodic.
From the above and Proposition 2.4 obtain:
20 2. Confocal Pair
3
X 2 a2 C b 2 C ı
i3 D 4
i D1 .ab/ 3
Proof. Consider an isosceles billiard 3-periodic given by Equation (2.1). Its cir-
2 2 Cı
cumcircle will be centered at C0 D Œ b 2b ı ; 0 with circumradius R0 D b 2b :
Therefore, the power of the center of the ellipse with respect to the circumcircle is
given by
2 2 2 2
2 2 b ı b Cı
jOC0 j R0 D D ı:
2b 2b
The stated invariance is confirmed with a CAS using the vertex parametrization
in Equation (2.5).
2.7.1 Standard
We call “standard” parametrization that where a first vertex P1 .t / of the billiard
3-periodic is parametrized as P1 .t/ D Œx1 ; y1 D Œa cos t; b sin t .
As derived in Garcia (2019), P2 D .x2 ; y2 /=q2 and P3 D .x3 ; y3 /=q3 where:
2.7. Confocal vertex parametrization 21
x2 D b4 a2 C b 2 cos2 ˛ a2 x13 2a6 cos ˛ sin ˛ y13
C a4 .a2 3 b 2 / cos2 ˛ C b 2 x1 y12 2 a4 b 2 cos ˛ sin ˛x12 y1 ;
y2 D2b 6 cos ˛ sin ˛ x13 a4 a2 C b 2 cos2 ˛ b 2 y13
(2.5)
C 2 a2 b 4 cos ˛ sin ˛ x1 y12 C b 4 .b 2 3 a2 / cos2 ˛ C a2 x12 y1
q2 Db 4 a2 .a2 b 2 / cos2 ˛ x12 C a4 b 2 C .a2 b 2 / cos2 ˛ y12
2 a2 b 2 a2 b 2 cos ˛ sin ˛ x1 y1 :
x3 D b 4 a 2 b 2 C a2 cos2 ˛ x13 C 2 a6 cos ˛ sin ˛ y13
C a4 cos2 ˛ a2 3 b 2 C b 2 x1 y12 C 2 a4 b 2 cos ˛ sin ˛ x12 y1
y3 D 2 b 6 cos ˛ sin ˛ x13 C a4 b 2 b 2 C a2 cos2 ˛ y13
2 a2 b 4 cos ˛ sin ˛ x1 y12 C b 4 a2 C b 2 3 a2 .cos ˛/2 x1 2 y1 ;
q3 D b 4 a2 a2 b 2 cos2 ˛ x12 C a4 b 2 C a2 b 2 cos2 ˛ y12
C 2 a2 b 2 a2 b 2 cos ˛ sin ˛ x1 y1 :
where:
p p p
a2 b a2 b 2 C 2 a4 b 2 c 2 a2 b 2 2ı a2 b 2
cos ˛ D q D q
c 2 a4 c 2 x12 c 2 a4 y12 C b 4 x12
q 2 2
b4 a2 ı x12 C a4 b 2 ı y12
sin ˛ D q
c 2 a4 y12 C b 4 x12
Note that in Section 3.6 we generalize the above to any concentric, axis-parallel
pair.
Figure 2.4: The cosines [Link] / of billiard 3-periodic internal angles for the
standard (top) and Jacobi parametrizations (bottom). While in the former case the
three curves are distinct, in the latter case all cosines follow the same curve at
different phases.
by: Z '
d
K.'; k/ D p (2.6)
0 1 k 2 sin2
The complete elliptic integral of the first kind K.k/ is simply K.=2; k/.
Definition 2.2. The elliptic sine sn, cosine cn, and delta-amplitude dn are given
by:
sn.u; k/ D sin '
cn.u; k/ D cos '
q
dn.u; k/ D 1 k 2 sin2 '
where ' D am.u; k/ is known as the amplitude, i.e., the upper-limit in the integral
in Equation (2.6) such that K.'; k/ D u.
A review of these functions appears in Appendix B.
Remark 2.1. Note to the reader: Mathematica (resp. Maple) expects m D k 2
(resp. k) as the second parameter to elliptic functions.
Theorem 2.4. A billiard 3-periodic Pi .i D 1; : : : ; N / of period N with turning
number , where gcd.N; / D 1, is parametrized on u with period 4K where:
Figure 2.5: The “position” i (vertical axis) of a point on an ellipse with semiaxes
a; b vs the billiard 3-periodic parameter (horizontal axis). Top: vertex under “stan-
dard parametrization”, i.e., P1 .t/ D Œa cos t; b sin t. Notice while P1 ’s position
evolves linearly, those of P2 and P3 are different curves. Bottom: Said positions
under Jacobi’s parametrization. Notice the three positions are 120-degree delayed
copies of one another.
.
2.8. Exercises 25
Figure 2.6: Two random triangles shown with their circumbilliards. Video
2.8 Exercises
Exercise 2.1. Referring to Figure 2.6, show that every triangle has a circumbil-
liard, i.e., an ellipse to which it is inscribed and to which it is a billiard 3-periodic.
Compute the axes of said circumbilliard with respect to triangle vertices.
Exercise 2.2. A pair of circles uniquely defines a pencil of coaxial circles, see
Weisstein (2019, Limiting Points). The pencil contains exactly two circles which
degenerate to a point, known as limiting points. Derive the location of such points
for the poristic pair obtained from the image of two confocal ellipses centered at
Œ0; 0 and with axes a; b and a0 ; b 0 .
Exercise 2.3. Let `1 ; `2 be the limiting points of the two circles which are polar
images of a confocal pair E; E 0 with respect to a circle centered on f1 . At what
aspect ratio a=b of E will `2 coincide with f2 ?
Exercise 2.4. A well-known result is that the inversion of a circle pair C; C 0 with
respect to a circle C1 centered on `1 (resp. C2 centered on `2 ) is a pair of concentric
circles C10 and C100 (resp. C10 and C100 ). Prove the following lesser known result: the
ratio of radii between C10 and C100 is the same as the ratio between C20 and C200 .
Exercise 2.5. Referring to Figure 8.9, let C; C 0 be the pair of circles which are the
polar image of a confocal pair of ellipses E; E 0 . Let C10 ; C100 be the inversive images
of C; C 0 wrt to a circle centered on a focus of the ellipse pair. Prove that: (i) C10 and
C100 are concentric with the ellipse pair and (ii) C10 (resp. C100 ) is externally tangent
to E (resp. E 0 ) at its left and right major vertices.
26 2. Confocal Pair
Exercise 2.6. Prove the inversive image of billiard 3-periodics with respect to a
focus-centered circle is a non-Ponceletian family inscribed in Pascal’s Limaçon
whose Gergonne point X7 is stationary; see it Live. Indeed, this family has con-
stant perimeter (to be shown later).
Exercise 2.8. For a 3-periodic billiard orbit with vertices Pi D Œxi .t/; yi .t /
(i=1,2,3) Let Ci .t / D Œ1=xi .t/; 1=yi .t/.
Show that the polygon fC1 .t/; C2 .t /; C3 .t/g is a segment that can be bounded
or unbounded.
Exercise 2.10. Consider a 3-periodic billiard orbit and its antipodal orbit. Show
that the six points of intersections of the two triangles are contained in a stationary
confocal ellipse Eh : x 2 =ah2 C y 2 =bh2 D 1 where:
p
ı b2 a2 C b 2 C 2 ı 2ı a2 b2
ah D 2
3 a2 b2
p
a2 ı a2 C b 2 C 2 ı 2ı a2 b2
bh D 2
3 a 2 b 2
Conclude that the pair of ellipses fEh ; E1 g is a billiard pair having all orbits of
period 6. Also show that the pair fE; Eh g defines a zig-zag billiard and that the
orbits have period 12 and that the perimeter is constant. See Live
2.9. Research questions 27
Figure 3.1: Left: billiard 3-periodic (blue) and its excentral triangle (green). The
former conserves the sum of its cosines. The latter is inscribed in an ellipse (dashed
green) and conserves the product of its cosines. Middle: Affine image of confocal
family which sends caustic (brown) to a circle. This family also conserves the sum
of cosines, equal to that conserved by its confocal pre-image. Right: Affine image
of confocal family which sends billiard ellipse (black) to a circle. This family also
conserves the product of cosines, equal to that conserved by the excentral family
of its pre-image. Video
30 3. Concentric, Axis-Parallel (CAP)
Proposition 3.1. Given the semiaxes ae , be of Ee the semi axis of the caustic E
are given by:
Figure 3.2: The cosine circle (red) of the excentral family (green) is stationary.
It contains the 6 intersections of lines (dashed blue) through the common center
(family’s X6 and billiard periodics’ X9 ) which are parallel to their orthic, i.e., side-
lines of billiard 3 periodics. Video
32 3. Concentric, Axis-Parallel (CAP)
Figure 3.3: A 3-periodic (blue) in the incircle family, and its fixed-radius circum-
circle (purple). The locus of the circumcenter X3 is a concentric circle (dashed
purple). Live
ab
r D ac D bc D
aCb
Proof. Let P1 D .x1 ; y1 / be a first vertex of the incircle family. Using an explicit
parametrization for P2 and P3 , obtain via CAS the following coordinates for the
moving circumcenter X3 :
2 3
a b4 x1 x12 .a C b/2 C a2 b .2 a C b/ y1 x12 .a C b/2 a2 b 2
X3 D ; 5
2 a a2 b 2 x12 C a2 b 2 b a2 x12 C b 2 a2 x12
Corollary 3.4. The incircle family conserves its sum of cosines given by:
X r a2 C 4ab C b 2
cos i D 1 C D
R .a C b/2
Lemma 3.1. The confocal family is sent to the incircle family by scaling it along
the major axis by an amount s given by:
q
ˇ.ıN ˛2 C ˇ2/ N
sD ; ıD ˛4 .˛ˇ/2 C ˇ 4
˛3
a D s˛, and
Proof. The scaled family will be inscribed in an ellipse with semiaxes
b D ˇ. Its caustic will be the circle r D bc , where bc D ˇ ˛ 2 ıN =.˛ 2 ˇ 2 / is
the confocal caustic minor axis given in Proposition 2.2. The Cayley condition for
the incircle family imposes that r D bc D .ab/=.a C b/, i.e., the result follows
from solving bc D .s˛ˇ/=.s˛ C ˇ/ for s.
Surprisingly:
34 3. Concentric, Axis-Parallel (CAP)
Proposition 3.5. The sum of cosines conserved by the incircle family is identical
to that conserved by billiard 3-periodics which are its affine pre-image.
Proof. Let s be the scaling along the major axis in Lemma 3.1. Plug a D s˛ and
b D ˇ into Corollary 3.4, subtract one (to obtain r=R for the incircle family) and
verify it yields the expression in Theorem 2.3.
Figure 3.4: A circumcircle family 3-periodic (blue) and its orthic triangle (orange).
Over the family the orthic’s circumcircle (dashed orange) and incircle (dashed
green) have invariant radii. Also shown are their centers X3;h and X1;h which, for
any reference triangle, correspond the nine-point center X5 and orthocenter X1 .
Video, Live
Lemma 3.4. The caustic semiaxes ac ; bc of the circumcircle family which is the
s 0 -affine image of the confocal family are given by:
ˇ ˇ.ıN ˇ2/ N
ˇ.˛ 2 ı/
ac D ˛c D 2 ; bc D ˇc D
˛ ˛ ˇ2 ˛ 2 ˇ 2
where ˛c ; ˇc are the caustic semiaxes of the confocal pre-image, and ˛; ˇ; ıN are
as previously defined.
Note that the s 0 -affine image of billiard excentrals becomes a Poncelet family with
fixed incircle; see Figure 3.1(right, dashed green triangles). We have seen above
such a family conserves its sum of cosines. Surprisingly, the following invariant
“role reversal” takes place:
Proposition 3.10. The sum of cosines conserved by billiard 3-periodics is the same
as the one conserved by the s 0 -affine image of billiard excentrals. Furthermore
product of cosines conserved by billiard excentrals is the same as the one con-
served by the s 0 -affine image of billiard 3-periodics (circumcircle family).
Proof. For the first statement it suffices to show that the s 0 -affine image of billiard
excentrals has sides parallel to those of the s-image of billiard 3-periodics, i.e.,
the incircle family and use Proposition 3.5. The second statement can be proved
algebraically from vertex parametrization.
3.4. Homothetic family 37
Proposition 3.12. The barycenter X2 is stationary at the common center and area
A is invariant and given by: p
3 3
AD ab
4
38 3. Concentric, Axis-Parallel (CAP)
Proof. Consider an affine transformation that sends both outer and inner ellipse to
a unit circle, e.g., by scaling the system along the major (resp. minor) axis by 1=a
(resp. 1=b). Uniquely amongst all triangle centers, the barycenter X2 is invariant
under affine transformations. By symmetry of the equilateral centroid, it will be
identified with the center of the homothetic pair. Affine transformations preserve
area ratios, so A will be the the area of an equilateral triangle inscribed in a unit
circle scaled by the inverse Jacobian ab. This completes the proof.
Curiously, the homothetic family shares the following invariant with the cir-
cumcircle family:
Proposition 3.13. Over the homothetic family, the sum of squared sidelengths si2
is invariant and given by:
3
X 9 2
si2 D a C b2
2
i D1
P
Another known relation valid for any triangle is cot ! D cot i :
Corollary 3.6. The homothetic family conserves the sum of its internal angle cotan-
gents.
As in Corollary 2.4, let i denote the curvature of the outer ellipse at vertex
Pi .
Proposition 3.14. Over homothetic 3-periodics, the following quantities are con-
served:
3
X 2
3
3 .a2 C b 2 /
i D
2 .ab/ 32
i D1
X 3 4
3
3 .3a4 C a2 b 2 C 3b 4 /
i D 4
8 .ab/ 3
i D1
Figure 3.6: A Dual family 3-periodic (blue) interscribed in a pair of “dual” ellipse
(black, brown). Their aspect ratios are reciprocals of each other. No invariants
have yet been detected for this family other than the fact that the orthocenter X4 is
stationary at the common center. Also shown is the orthic triangle (dashed orange)
whose vertices lie at the feet of the altitudes (dashed blue). Live
Remarkably:
Proposition 3.16. The orthocenter X4 of the dual family is stationary.
Proof. Follows directly from the vertex parametrization in Proposition 3.17.
In terms of the vertices of a triangle A D Œxa ; ya , B D Œxb ; yb , C D Œxc ; yc
the orthocenter X4 D Œx4n =A4 ; y4n =A4 is given by the following rational func-
tions
x4n D .xc xb / xa ya C .xb yb xc yc / xa C .yc yb / ya2 C yb2 yc2 ya
C xc xb . yc yb // C yb yc .yc yb /
y4n D .xb xc / xa2 C .yb yc / xa ya C xc2 xb2 xa C . xb yb C xc yc / ya
C xb xc .xb xc / C yb yc .xb xc /
A4 D .yb yc / xa C . xb C xc / ya C xb yc xc yb
The results follows from CAS-assisted simplification from the vertex parame-
trization in Proposition 3.17.
3.6. Vertex parametrization for a generic CAP pair 41
Figure 3.7: Left: Two CAP ellipses (black and brown), and a point P1 on the outer
one. The lines thru P1 tangent to the inner ellipse intersect the outer one at P2 and
P3 . Notice that P2 P3 cut thru the inner ellipse, i.e., the pair of ellipses does not
satisfy Cayley’s conditions. Right: the minor axis of the inner ellipse has been
scaled such that P1 P2 P3 is now a Poncelet triangle.
Despite much searching, no invariant quantities have yet been found for this
family.
1 p1 x1 C p2 y1 w1 x1 C w2 y1
P2 D Œx2 ; y2 D ;
k2 b a
1 p1 x1 p2 y1 w1 x1 C w2 y1
P3 D Œx3 ; y3 D ;
k2 b a
42 3. Concentric, Axis-Parallel (CAP)
Table 3.1: Values for the caustic semiaxes ac ; bc to be used in the generic vertex
parametrization for a CAP pair in Proposition 3.17
p1 D b a4 bc4 .a2 ac2 /2 b 4
p2 D 2a .a2 C ac2 /b 2 a2 bc2 k1
q
k1 D b 2 bc2 .a2 ac2 /x12 C ac2 a2 .b 2 bc2 /y12
2 2 2 2 2 2
a .b C bc2 / ac2 b 2 a .b bc2 / C ac2 b 2
k2 D x1 C y1
a b
w1 D 2b .b 2 C bc2 /a2 ac2 b 2 k1
w2 D a ac4 b 4 a4 .b 2 bc2 /2
Parametrizations for specific CAP families can be obtained from Proposition 3.17
by setting the caustic semiaxes ac , bc as in Table 3.1.
3.7 Summary
Fixed points and (known) conserved quantities for the concentric, axis-parallel
(CAP) families in this chapter appear in Table 3.2.
Also of interest is data about caustics, regarded as a family’s fixed inconic,
shown in Table 3.3.
3.7. Summary 43
Table 3.2: Summary of fixed points and (known) conserved quantities for the con-
centric, axis-parallel (CAP) families mentioned in this chapter.
Table 3.3: Information about the caustic to various CAP families, regarded as a
fixed inconic. The Brianchon point is the perspector to the triangle whose vertices
are at the touchpoints with the inconic, see Weisstein (2019, Brianchon point).
When named, this triangle appears in the “caustic contact tri” column. An link to
an animation for each case is provided.
44 3. Concentric, Axis-Parallel (CAP)
3.8 Exercises
Exercise 3.1. Prove that the power of the circumcircle with with respect to the
common center in each of the following 3-periodic families is constant and given
by the listed expressions. (i) incircle: ae be ; (ii) homothetic: .ae2 C be2 /=2, and
(iii) excentral: a2 b 2 2ı.
Exercise 3.2. Prove the radius r of the stationary cosine circle of the excentral
family is larger than the major axis a of its caustic.
Exercise 3.3. Prove Lemma 3.3.
Exercise 3.4. Derive the proof details to the 2nd part of Proposition 3.10.
Exercise 3.6. The Thomson cubic is the locus of centers of circumconics such
that normals at the vertices concur (on the Darboux cubic), see Gibert (2021a,
Darboux and Thomson cubics). Prove that vertex normals off of the X1 - and X6 -
centered circumconics concur on X84 and X64 , respectively. This readily implies
normals to the outer ellipse at the incircle and excentral family vertices will concur
on said points; see Table 3.4.
3.8. Exercises 45
Table 3.4: CAP families studied herein. Coincidentally, their centers lie on the
Thomson cubic which is the loci of circumconic centers such that normals at
vertices concur, see Gibert (2021a, Thomson Cubic). The third column lists the
experimentally-found concurrence points. These lie on the Darboux cubic de-
scribed in Gibert (2021a, Darboux cubic).
Exercise 3.7. Recall the dual family has stationary orthocenter X4 . Prove that the
inversive image of the dual family wrt to a circle concentric with the ellipse pair is
a non-Ponceletian family with incenter X10 stationary at the common center. This
inversive family is inscribed in Booth’s curve and its caustic can contain multiple
spikes; see it Live.
Exercise 3.8. Given a reference triangle T , its tangential triangle T 0 has sides
tangent to the circumcircle at the vertices of T . A known fact is that the sides of
T 0 are parallel to those of the orthic Th of T , see Weisstein (2019, Tangential Tri-
angle). For any acute triangle T , the Gergonne point X70 of the tangential triangle
coincides with the symmedian X6 of T , see Weisstein (ibid., Contact Triangle).
Let T denote the Poncelet family of excentral triangles. We’ve seen above that
(i) this family is all acute, and that (ii) its symmedian point X6 is stationary. Let T 0
denote their tangential triangles. This family will be non-Ponceletian: its vertices
do not sweep a conic nor do its sides envelop one.
Since the T are all acute, they can be thought of as the contact triangles of
the T 0 . Therefore the Gergonne point X70 of the tangentials to the excentrals will
coincide with X6 of the excentrals and be stationary, see Weisstein (ibid., Contact
Triangle).
Prove that the ratio of homothety between the orthics (billiard 3-periodics) and
the tangentials is invariant. Corollaries: (i) the T 0 conserve perimeter; (ii) they
conserve the same r=R as the excentral orthics, i.e., the corresponding billiard
3-periodics. See it Live.
46 3. Concentric, Axis-Parallel (CAP)
Figure 3.9: A Poncelet 3-periodic (blue) interscribed between the X1249 -centered
circumconic C (black) and inconic I (brown); over the family, said center remains
stationary. Since the center lies on the Thomson cubic, (i) C and I are axis-parallel,
(ii) the normals to C at the vertices concur (at X20 in this case), and (iii) the normals
to I at the contact points also concur (at X1498 ). It turns out X20 doubles up as
the Brianchon point of I, and X4 is the perspector of C, i.e., the perspector of its
polar triangle (magenta) with respect to C. Video
pair centered on X1249 . Prove that the circumconic (resp. inconic) normals at the
vertices (resp. contact points) meet at X20 (resp. X1498 ).
Question 3.8. Gibert (ibid.) lists the following triangle centers as lying on the
Thomson cubic: Xk , k D57, 223, 282, 1073, 3341, 3342, 3343, 3344, 3349,
3350, 3351, 3352, 3356, 14481. Experimentally they are not stationary over Pon-
celet 3-periodics centered on them. Why is that? Conversely, why is it that Xk ,
k D1,2,3,4,6,9,1249 , also on the Thomson, can be stationary?
Question 3.9. Given a triangle, compute its X7 -centered inconic and circumconic.
Prove that 3-periodics interscribed in said conics will not maintain X7 stationary.
Prove the same by taking the conic pair’s center to be X8 and X10 , i.e., in neither
of these cases will the original center remain stationary. Report the Brianchon
point for all said inconics.
Question 3.10. Prove Proposition 3.9.
4
Non-concentric,
Axis-Parallel
(NCAP)
Poristic triangles, shown in Figure 4.1, are the simplest case of Poncelet’s porism:
a 1d family of triangles with fixed incircle and circumcircle. They are also known
as the (N D 3) bicentric family.
First described by Chapple (1746), the family was later studied by both Euler
4.1. Poristic family (Bicentric triangles) 49
Figure 4.1: Poristic Triangle family (blue): fixed incircle (green) and circumcircle
(purple). Left: a few poristic triangles (blue and dashed blue) in a pair of circles
such that d < r, i.e., all poristic triangles are acute. Right: the same but with
d > r; since X3 can be either interior or exterior to the family, both acute and
obtuse triangles will be present. Live
50 4. Non-concentric, Axis-Parallel (NCAP)
Figure 4.2: Over the poristic family, the antiorthic axis (solid blue) is stationary
and perpendicular to X1 X3 . Video.
and Poncelet. The so-called Euler’s triangle formula1 , constrains the distance d
between incenter X1 and circumcenter X3 as follows:
Proposition 4.1. The Poristic family will contain obtuse triangles iff d > r.
Proof. This stems from the fact that when d < r, X3 is always interior to the
incircle, i.e., the caustic of the Poncelet family.
Proposition 4.2. The poristic family conserves the sum of its internal angle cosines.
Proposition 4.3. The antiorthic family is stationary over the poristic family and
perpendicular to X1 X3 .
Let a first vertex P1 of the poristic family be parametrized by P1 .t / D RŒcos t; sin t.
Proposition 4.4. The perimeter L.t/ of poristic triangles is given by:
p
3 R2 4 dR cos t C d 2 3 R2 C 2 dR cos t d 2
L.t/ D p
R R2 2 dR cos t C d 2
Proof. Follows directly computing the 3-vertices explicitly and using L.t/ D
jP1 P2 j C jP2 P3 j C jP3 P1 j and simplifying it with a CAS.
It turns out that poristic triangles can be regarded as the image of billiard 3-
periodics (and vice versa) under (i) a variable similarity transform, and (ii) a polar
transformation wrt to a focus-centered circle. We now proceed to prove these
results, but first we will need a couple of lemmas. In Odehnal (2011, page 17),
one finds the following result, illustrated in Figure 4.3:
Lemma 4.1. Over the poristic family, the locus of the Mittenpunkt X9 is a circle
with radius is Rd 2 R=.9R2 d 2 / centered on X1 C.X1 X3 /.2R r/=.4RCr/ D
d.3R2 C d 2 /=.9R2 d 2 /.
In fact we can derive X9 .t/ explicitly:
Lemma 4.2.
2 3
2
d 4 d c .Rct d / r .3 d ct C R/ r 2 4Rd 2 st R2 .2 Rct d /2
X9 .t/ D 4 ; 5
.4 R C r/ .d ct R C r/ .R2 C d 2 2 dRct / .9 R2 d 2/
Figure 4.3: A poristic triangles (blue) is shown along as its circumbilliard (dashed
magenta) whose aspect ratio is invariant. The locus of the Mittenpunkt X9 is a
circle (red). Video, Live
4.1. Poristic family (Bicentric triangles) 53
Corollary 4.1. Over the poristic family, a9 .t/ and b9 .t/ are given by:
p
R 3 R2 C 2 dR d 2
a9 DL.t/
R2 d 2
9p
R R d
b9 DL.t/ p
3 R C d .3 R d /
q p
2 2 2R dR
c9 D a9 b9 D L.t/ 2 :
9R d2
Corollary 4.2. The ratios a9 .t/=L.t/, b9 .t /=L.t /, and c9 .t /=L.t / are invariant
over the Poristic family.
Corollary 4.3. Over the poristic family, the aspect ratio of the (varying) circum-
billiard is invariant and given by:
s
a9 .t/ .R C d / .3R d /
D
b9 .t/ .R d / .3 R C d /
Recall the definition of the polar of a point P with respect to a circle C, men-
tioned in Weisstein (2019, Polar): it is defined as the line perpendicular to OP
which contains the inversion of P wrt to C. Dually, the pole of a line L with re-
spect to C is the inversion of the foot of the perpendicular dropped from O onto P
wrt to C. So given a smooth curve, we can speak of its polar image with respect
to a circle as the set of poles of the curve’s tangents with respect to C.
The fact that the polar image of an ellipse with respect to a focus is a circle
is a well-known result, mentioned in Akopyan and Zaslavsky (2007) and Glaeser,
Stachel, and Odehnal (2016).
Let E and E 0 be a confocal ellipse pair centered at Œ0; 0, with major axes along
x. Let a; b and a0 ; b 0 denote their major and minor semiaxes, respectively. The
foci f1 and f2 are at Œ˙c; 0, where c 2 D a2 b 2 . A known classical result which
we reproduce below is:
54 4. Non-concentric, Axis-Parallel (NCAP)
Figure 4.4: The poristic family (orange) is the polar image of billiard 3-periodics
(blue) with respect to a circle (dashed gray) centered on one of the foci of the
confocal pair (f1 in the picture). Live
4.2. Poristic excentrals 55
Lemma 4.3. The polar image of the E; E 0 pair with respect to a circle of radius
centered on f1 is a pair of nested circles Ci nt ; Cext with centers given by:
c 2 c
Oi nt D Œ c 2 ; 0; O ext D Œ c ; 0
b2 b 02
Their radii r; R and distance d between their centers are given by:
a 2 a
0 c .a2 a0 2 /
r D 2 ; R D ; d D 2
b2 b 02 b2 b02
Referring to Figure 4.4:
Corollary 4.4. The poristic family is the polar image of billiard 3-periodics with
respect to a circle centered on a focus.
Corollary 4.5. The sum of cosines of the polar image of billiard 3-periodics with
respect to a focus-centered circle is given by:
X r ab 02
cos 0 D 1 C D1C 0 2 (4.2)
R ab
Given a triangle, an inconic is is fully defined by its center and is tangent to
the three sidelines, see Weisstein (2019, Inconic).
Referring to Figure 4.5, let E1 be the X1 -centered circumconcic to the poristic
family, i.e., it contains the vertices. Let 1 , and 1 denote its semiaxes. Interest-
ingly:
Proposition 4.5. 1 D R C d and 1 D R d are invariant over the poristic
family, i.e., E1 rigidly rotates about X1 .
A proof appears in Garcia and Reznik (2021, Appendix C).
Figure 4.6: The poristic family (blue) is interscribed between two fixed circles, i.e.,
their circumcenter X3 and incenter X1 are stationary. The family of its excentral
triangles (solid green) are inscribed in a circle (orange) centered on the Bevan point
X40 and of radius twice the original circumradius. This family circumscribes the
MacBeath inellipse (dashed orange), centered on X3 with foci on X1 and X40 . A
second for both poristics and excentrals configuration is also shown (dashed blue
and dashed green). Video, Live
58 4. Non-concentric, Axis-Parallel (NCAP)
Table 4.1: Center and foci of the MacBeath inconic of an excentral triangle and
the corresponding triangle center of the reference.
Proof. Recall a triangle’s barycenter X2 is a third of the way from the circumcenter
to the orthocenter, see Weisstein (2019, Euler Line, Eqn. 6). The result follows
from the fact that both X30 D X40 and X40 D X1 are stationary.
The MacBeath inconic, defined in Weisstein (ibid., MacBeath Inconic), is an
ellipse centered on a triangle’s 9-point center X5 , with foci at the circumcenter X3
and orthocenter X5 . Poristic excentrals are Ponceletian since:
Proposition 4.7. The MacBeath inconic to the excentral poristics is stationary and
is therefore the caustic. Let 05 and 50 denote its major and minor semiaxes. These
are given by: p
05 D R; 50 D R2 d 2
Proof. It is straightforward to verify the sidelines of poristic excentrals are dynam-
ically tangent to the ellipse:
.x d /2 y2
C D1
R2 R2 d2
with center X3 D .d; 0/ and foci X40 D .0; 0/ and X1 D .2d; 0/.
Correspondences between the centers and foci of the excentral MacBeath in-
conic and those of the reference
p triangle appear in Table 4.1.
0 0 2
Since 5 =5 D R= R d 2 , use Equation (4.1) to obtain:
Corollary 4.6. The aspect ratio of the caustic to the excentral poristics is given
by: r
05 R
0 D
5 2r
As shown in Figure 4.5, let I30 be the X30 -centered inconic to poristic excentrals.
Let 03 and 30 denote its major and minor semiaxes, respectively.
4.3. The Brocard porism 59
Theorem 4.2. Excentral poristics are the image of the circumcircle family under
a variable rigid rotation. The rigidly-rotating I30 is identified with the caustic of
the circumcircle family.
Proof. Recall Proposition 3.8: the orthic triangles of the circumcircle family has
invariant inradius and circumradius. Also recall Lemma 3.3: the locus of the orthic
circumcenter is a circle concentric with the common center. Also notice in the
circumcircle family, the caustic is the stationary inconic centered on X3 .
Proposition 4.10. For any triangle T , the circumcircle and Brocard inellipse are
Ponceletian, they admit a 1d family of Poncelet triangles. Furthermore, their Bro-
card inellipse is stationary.
Proof. Follows from vertex parametrization for the Brocard family and/or from
stationarity of X6 , see Proposition 4.13.
60 4. Non-concentric, Axis-Parallel (NCAP)
P3 Henceforth, we shall use symbol ш for cot !. Recall for any triangle ш D
i D1 cot i , i.e.:
Corollary 4.8. The Brocard porism conserves the sum of its internal angle cotan-
gents.
Shail (ibid.) derives the distance between Brocard points (the foci of the Bro-
card inellipse), in terms of invariant R and !:
Corollary 4.9. p
c 0 D R sin ! 1 4 sin2 !
Referring to Figure 4.7, all of ˝1 , ˝2 , X3 , and X6 are concyclic on the so-
called Brocard circle, see Weisstein (2019, Brocard Circle), whose center is X182 .
The Brocard axis is defined in Weisstein (ibid., Brocard Axis) as the line containing
the circumcenter X3 and symmedian point X6 of a triangle.
Proposition 4.13. Over the Brocard porism, the following 3 objects are stationary:
(i) the Brocard circle, (ii) the Brocard axis, and (iii) the symmedian point X6 are
stationary.
4.3. The Brocard porism 61
Figure 4.7: A triangle (blue) in the Brocard porism is shown inscribed in an outer
circle (black) and having the Brocard inellipse (brown) as its caustic, with foci at
the stationary Brocard points ˝1 and ˝2 of the family, and centered on the Brocard
midpoint X39 . The Brocard points as well as the stationary circumcenter X3 and
symmedian point X6 are concyclic on the Brocard circle (dashed magenta), whose
center is X182 . Live
62 4. Non-concentric, Axis-Parallel (NCAP)
Proof. The Brocard circle is stationary since it passes through 3 stationary points:
˝1 ; ˝2 ; X3 are stationary. The Brocard axis is stationary since it contains station-
ary X3 and stationary Brocard midpoint X39 . For any triangle, X6 is antipodal to
X3 on the Brocard circle.
Recall the two isodynamic points X15 and X16 of a triangle as the two unique
intersections of the 3 Apollonius circles2 . X15 (resp. X16 ) is interior (resp. exte-
rior) to the circumcircle. In fact they are inverse images of each other with respect
to the latter, see Weisstein (2019, Isodynamic Points).
Proposition 4.14. Over the Brocard porism, the two Isodynamic points X15 and
X16 are stationary and given by:
" p # " p #
R. 3 ш/ R. 3 C ш/
X15 D 0; p ; X16 D 0; p
ш2 3 ш2 3
Proof. Let P and U be finite points on a triangle’s plane with normalized barycen-
tric coordinates .p; q; r/ and .u; v; w/, respectively. Let f and g be homogeneous
functions of the sidelengths. The .f; g/ barycentric combo of P and U , also de-
noted f P C g U , is the point with barycentric coordinates .f p C g u; f q C
g v; f r C g w/. In Kimberling (2019, X(15), X(16)), the following combos (see
below), derived by Peter Moses, are provided:
p
X15 D 3 X3 C ш X6
p
X16 D 3 X3 ш X6
With all involved quantities invariant, the result follows.
Proposition 4.15. The semiaxes a0 and b 0 and center X39 of the Brocard inellipse
are given by:
0 0
2
1 2
Œa ; b DR sin !; 2 sin ! D R p ;
1 C ш2 1 C ш2
" p #
Rш ш2 3
X39 D 0;
ш2 C 1
2 These are circles which contain a vertex and the intersection of the corresponding internal and
external bisectors with the opposite side.
4.3. The Brocard porism 63
With the results above, we can derive the following quantities and centers ex-
plicitly:
" p #
R ш2 3
X6 D 0;
ш
p
R ш2 3
jX3 X6 j D
pш
R ш2 3
˝1;2 .R; ш/ D Œ˙1; ш
ш2 C 1
Let a0 be the major axis of a generic triangle’s Brocard inellipse. Interestingly,
we have:
Lemma 4.4.
X 3
1 1
2
D
s 4.a0 /2
i D1 i
Proof. As
1 1 1 s22 s32 C s12 s32 C s12 s22
C C D
s12 s22 s32 s12 s22 s32
the result follows from Equation (4.5).
Therefore, we have:
64 4. Non-concentric, Axis-Parallel (NCAP)
Figure 4.8: Over the homothetic family, the Brocard inellipse has semiaxes of
variable lengths but invariant aspect ratio. Video
Corollary 4.10. Over the Brocard porism, the sum of inverse squared sidelengths
is invariant
Similarity and Polar image: As it will be seen below, the Brocard porism is
the image of the Homothetic family under two different transformations: variable
similarity and polar.
Referring to Figure 4.8, we will first prove a handy lemma, introduced in
Reznik and Garcia (2021b):
Lemma 4.5. Over the homothetic family, though the semiaxes of the Brocard in-
ellipse have variable lengths, their ratio ˇ is invariant and given by:
p
3a4 C 10a2 b 2 C 3b 4
ˇD >1
4ab
Proof. The result follows from combining Equation (4.4) with Equation (4.5), us-
ing the sidelengths si of the homothetic family using the parametrization in Sec-
tion 2.7.1.
The result below was introduced in Reznik and Garcia (ibid., Thm 4.1):
4.3. The Brocard porism 65
Proposition 4.16. The Brocard family is the image of the homothetic one under a
variable similarity transform.
Proof. Consider the following similarity transform which sends points X in the
plane of the homothetic family to new ones X 0 :
C W .x x0 /2 C y 2 D R2
.x x1 /2 y2
EW C D1
.a0 /2 .b 0 /2
c.b 2 C 42 / c.4a2 c 2 C 42 /
x0 D ; x 1 D
2b 2 2.4a2 c 2 /
4a2 2a2 2a2
.a0 / D 2 ; .b 0
/ D p ; R D
4a c2 b 4a2 c 2 b2
Here b 0 > a0 .
Proof. Proof is left as an exercise.
Remark 4.1. From the relations obtained in Proposition 4.17 it follows that
p
0 2 .a0 /2 / 0 2 .a0 /2
2 .4.b / 2 4.b /
aD ; b D p
3a0 .b 0 /2 3.b 0 /2
66 4. Non-concentric, Axis-Parallel (NCAP)
Figure 4.9: The Brocard family (magenta) is the polar image of the homothetic
family (solid blue) with respect to a circle (dashed gray) centered on a focus of the
homothetic caustic (light brown) which is sent to the Brocard circumcircle (dashed
magenta). The outer ellipse (black) is sent to the Brocard inellipse (green). Live
4.3. The Brocard porism 67
Since two polar transformations with respect to the same circle is the identity:
Corollary 4.11. The homothetic family is the polar image of the Brocard family
with respect to its stationary symmedian point X6 .
X 3
1 1 b 2 .3a2 C b 2 /
D D
s2
i D1 i
4.b 0 /2 164 a2
p a
cot ! D ш D 3
b
0 0
p By Proposition 4.15 and Proposition 4.17 it follows that sin ! D .a /=.2b / D
Proof.
b= 4a2 c 2 : Using that csc2 ! cot2 ! D 1 the result follows.
Proposition 4.18.
2ш 2ш
A13 =A D2 C p ; A14 =A D 2 p
3 3
p p
3 C 3ш 3 3ш
A15 =A D ; A 16 =A D
2.csc2 ! 4/ 2.csc2 ! 4/
Figure 4.10: The pedal (resp. antipedal) triangles (orange, resp. purple) of the iso-
dynamic points X15 and X16 (resp. isogonic points X13 and X14 ) are equilaterals
centered on X396 and X395 , collinear with X6 (resp. X5463 and X5464 , collinear
with X3 ), see Kimberling (2019). Over the porism, the area ratios A16 =A15 and
A13 =A14 are invariant and identical. The loci of X396 and X395 are circles (dashed
orange) as are those of X5463 and X5464 (not shown). Video
4.4. Vertex parametrization 69
Corollary 4.14. The Brocard porism conserves A13 =A14 and A16 =A15 .
The centroid of the pedal triangle of X15 (resp. X16 ) is X396 (resp. X395 ).
Proposition 4.19. The locus of X15 and X16 pedal centroids X396 and X395 are
the following circles:
2 p p 3
2
R 3.ш C 1/ 2 3 ш ш C 3 p
R. 3ш C 3/
C395 D 40; p 5 ; r395 D
3 ш2 3 ш2 C 1 3.ш2 C 1/
2 p p 3
R 3 .ш2 C 1/ C 2 3 ш ш 3 p
C396 D 40; p 5 ; r396 D R. 3ш 3/
3 ш2 3 ш2 C 1 3.ш2 C 1/
P1 D Œx1 ; y1
1
P2 D 2 4Rr 2 qy1 w1 w2 ; 2rRw1 y1 C 2rqw2
w
1
P3 D 2 4Rr 2 qy1 w1 w2 ; 2rRw1 y1 2rqw2
w
p
q D R2 r 2 2dx1 C d 2 ; w D R2 2dx1 C d 2
w1 D R2 2r 2 2dx1 C d 2 ; w2 D .R2 C d 2 /x1 2R2 d
70 4. Non-concentric, Axis-Parallel (NCAP)
K0 W x 2 C y 2 R2 D 0; R D
2h
EW 64d 2 h4 x 2 4h2 .9d 2 C h2 /y 2 C 4h.3d 2 C h2 /.3d 2 h2 /y
.d 2 h2 /.9d 2 h2 / 2 D 0
Proof. The proof follows from T , and isosceles Poncelet triangle. Recall that the
Brocard inellipse is centered at X39 . Its perspector is X6 , i.e., it will be tangent to
T where cevians through X6 intersect it, see Weisstein (2019, Brocard inellipse).
Table 4.2: Summary of fixed points and (known) conserved quantities for the non-
concentric, axis-parallel (NCAP) families in this chapter.
x1 D cos t=q1
y1 D sin t=q1
x2 D d.d 2 C h2 /..3d 2 C h2 / sin t C 2dh cos t 3d 2 C h2 /=q2
y2 D .d 2 C h2 /..9d 4 2d 2 h2 C h4 / sin t 2dh.3d 2 C h2 / cos t 9d 4 C h4 /=.2bq2 /
x3 D d.d 2 C h2 /.2dh cos t .3d 2 C h2 / sin t C 3d 2 h2 /=q3
y3 D .d 2 C h2 /.2dh.3d 2 C h2 / cos t C .9d 4 2d 2 h2 C h4 / sin t 9d 4 C h4 /=.2bq3 /
q1 D .2h/=.d 2 C h2 /
q2 D 2dh.3d 2 h2 / cos t .9d 4 h4 / sin t C 9d 4 C 2d 2 h2 C h4
q3 D 2dh.3d 2 h2 / cos t C .9d 4 h4 / sin t 9d 4 2d 2 h2 h4
4.5 Summary
Fixed points and (known) conserved quantities for the non-concentric (NCAP)
families in this chapter appear in Table 4.2 (compare with Table 3.2).
A diagram depicting how certain pairs of families are interrelated by either
similarity or polar transformations appears in in Figure 4.11.
72 4. Non-concentric, Axis-Parallel (NCAP)
Affine I
Orthic/ Affine II
Excentral
Figure 4.11: Families mentioned in this chapter (blue ones are concentric, tan ones
are non-concentric), as well as the transformations under which certain families
are interrelated.
4.6 Exercises
Exercise 4.1. Show that over the poristic family, the locus of the foci of the X9 -
centered circumconic (the circumbilliard) is a circle.
Exercise 4.2. Prove Proposition 4.3. Furthermore, prove the intersection point of
X1 X3 with the antiorthic axis is the Schröder point X1155 .
Exercise 4.3. Prove that over the poristic family the inconic centered on X1 is
axis-parallel with the circumconic centered on X9 (i.e., the circumbilliard), see
this Video.
Exercise 4.4. Recall the cosine circle C (also known as the second Lemoine circle)
is centered on a triangle’s symmedian point X6 . Let E 0 be the Brocard ellipse of
some triangle T . Let ˇ be the aspect ratio of E 0 , i.e., a0 =b 0 . Show that for any T ,
above (resp. below) a certain ˇ, C is tangent to E 0 at two distinct points (resp. it
is exterior to E 0 ). See it Live.
4.7. Research questions 73
Exercise 4.5. Show that the poristic excentral family is also the polar image of
billiard excentrals wrt to a circle centered on a billiard (i.e., the caustic) focus.
See it Live.
Exercise 4.6. Show that over the Brocard porism the radius r of the cosine circle
is invariant.
Exercise 4.7. Show that the first Lemoine circle (centered on X182 is stationary
over the Brocard porism. Above a certain a0 =b 0 , this circle is tangent to one of the
minor vertices of the caustic. See it Live.
Exercise 4.9. Prove the expression and inequality for cot ! in Proposition 4.12.
Exercise 4.10. That the Brocard axis X3 X6 is stationary over the Brocard porism
is established. Prove that the Lemoine axis, which intersects the Brocard axis at
the Schoutte point X187 , is also stationary; see it Live.
Exercise 4.11. The so-called “second” Brocard triangle, defined in Weisstein (2019,
Second Brocard Triangle), has vertices at the intersections of symmedians (cevians
through X6 ) with the Brocard circle. Show that over the Brocard porism, the fam-
ily of second Brocard triangles is a new, smaller Brocard porism which shares
the isodynamic points X15 and X16 with the original family. Prove that if this is
iterated, the shrinking porisms converge to X15 . See it Live.
Question 4.2. The 3 Apollonius’ circles of a triangle pass through a vertex and
its two isodynamic points X15 and X16 , see Weisstein (2019, Isodynamic points).
Prove that over the Brocard porism, the sum of the inverse squared radii of the
three Apollonius circles is invariant, see them Live.
Question 4.3. Prove that the polar image of the Brocard porism with respect to a
circle centered on a caustic focus is another (tilted, smaller) Brocard porism whose
Brocard inellipse shares a focus with the original one. Where does the sequence
of Porisms converge? See it Live.
Question 4.4. Prove that over the poristic family, the barycenter X2 of the intouch
triangles is stationary. Derive its coordinates. See it Live.
Locus
5 Phenomena in
the Confocal
Family
When we consider Poncelet 3-periodic families, a natural (and indeed early) ques-
tion was “what are the loci of certain triangle centers”. Recall one of our early
experimental finds: that over billiard 3-periodics, the locus of the incenter X1 is
an ellipse (as is that of the excenters), see Section 2.3. Also an early find was that
the “locus” of the Mittenpunkt X9 is a point, see Section 2.4.
In this chapter we expand this exploration by touring a gallery of interesting
locus-related phenomena. Our hope is to give the reader an appreciation for the
beauty and variety of loci obtainable. These include:
• The loci of some notable centers of a triangle, showing they are ellipses;
• Two special triangle centers railed to either the billiard or the confocal caus-
tic;
76 5. Confocal Loci
2ı a2 b 2
.a2 ; b2 / Dk2 .a; b/ ; with k2 D
3c 2
2 2
a ı ı b
.a3 ; b3 / D ;
2a 2b
k4 k4 .a2 C b 2 /ı 2 a2 b 2
.a4 ; b4 / D ; ; with k4 D
a b c2
0 00
w5 .a; b/ C w5 .a; b/ı w5 .b; a/ w500 .b; a/ı
0
.a5 ; b5 / D ;
w5 .a; b/ w5 .b; a/
where w50 .u; v/ D u2 .u2 C 3v 2 /, w500 .u; v/ D 3u2 C v 2 , and w5 .u; v/ D 4u.u2
v 2 /. Note that (i) a2 =b2 D a=b and (ii) b4 =a4 D a=b.
As it turns out, the locus of 49 out of the first 200 centers on Kimberling (ibid.)
are ellipses. These are: Xk , k D1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 20, 21, 35, 36, 40, 46,
55, 56, 57, 63, 65, 72, 78, 79, 80, 84, 88, 90, 100, 104, 119, 140, 142, 144, 145,
149, 153, 162, 165, 190, 191, 200. Links to live animations as well as expressions
for their semiaxes are provided in Garcia, Reznik, and Koiller (2021).
5.1. Kimberling centers with elliptic loci 77
X3
X2
X1
X5
X4
Figure 5.1: Over billiard 3-periodics, the loci of incenter X1 , barycenter X2 , cir-
cumcenter X3 , orthocenter X4 , and 9-point center X5 are all ellipses. The Euler
line (dashed black) is shown passing through all but the first center. Video, Live
78 5. Confocal Loci
Figure 5.2: Locus of the orthocenter (orange) over elliptic billiards with different
aspect ratios. If a=b is (i) less than (resp. (ii) equal, (iii) greater than) ˛4 '1:352,
the locus of the orthocenter X4 (orange) is (i) interior (resp. (ii) internally tangent,
(iii) intersecting) with the elliptic billiard. In (i) and (ii) all 3-periodics are acute,
whereas in (iii) some will be obtuse.
X6 .x; y/ D c1 x 4 C c2 y 4 C c3 x 2 y 2 C c4 x 2 C c5 y 2 D 0
80 5. Confocal Loci
Figure 5.3: Both acute (blue) and obtuse (dashed blue) billiard 3-periodics are
shown. In this case a=b D 1:618 > ˛4 . If a 3-periodic vertex is located in the red
arcs along the top and bottom halves of the elliptic billiard, the 3-periodic will be
obtuse.
where:
Proof. Using a CAS, obtain symbolic expressions for the coefficients of a quar-
tic symmetric about both axes (no odd-degree terms), passing through 5 known-
points. Still using a CAS, verify the symbolic parametric for the locus satisfies the
quartic.
Note the above is also satisfied by a degenerate level curve .x; y/ D .0; 0/, which
we ignore.
Remark 5.1. We term the “best-fit” ellipse E6 the one internally-tangent to X6 .x; y/ D
0 at its four vertices. Its semiaxes are given by:
2
.3 a2 b 2 /ı .a2 C b 2 /b 2 a .a 3 b 2 /ı C .a2 C b 2 /a2 b
a6 D ; b6 D
a2 b 2 C 3ı 2 a2 b 2 C 3ı 2
Table 5.1 shows the above coefficients numerically for a few values of a=b.
5.3. Quartic locus of the symmedian point X6 81
Figure 5.4: Over billiard 3-periodics (blue), the locus of the symmedian point X6
is a quartic (green). At the billiard aspect ratio shown, it is visually identical to an
ellipse. Also shown is a copy of the quartic (red) such that the distance to a best-fit
ellipse (green) is scaled 1000 fold. Live
82 5. Confocal Loci
P1(t)
e2
X11
X9
e3
e1 X2
X100
Figure 5.5: A billiard 3-periodic (blue). Also shown are the incircle (green) and
9-point circle (pink) which touch at the Feuerbach point X11 . Also shown is the
latter’s anticomplement X100 , and the three extouchpoints e1 ; e2 ; e3 . Over the bil-
liard family, X100 sweep the billiard while both X11 and the extouchpoints sweep
the caustic (though in opposite directions). Video, Live
the X9 -centered circumellipse, see Kimberling (2019, X(9)). Since the latter is
unique:
Proposition 5.5. Over billiard 3-periodics, the locus of X100 is the elliptic billiard.
It sweeps it in the direction opposite to that of the 3-periodic vertices along the
billiard.
The vertices of the so-called extouch triangle are the points of contact of the
excircles with a triangle’s sidelines, see Weisstein (2019, Extouch triangle). These
are also known as extouchpoints. A known fact is that the Mandart inellipse (i.e.,
the caustic) touches a triangle’s sidelines at the extouchpoints, see Weisstein (ibid.,
Mandart inellipse). Therefore:
Proposition 5.6. Over billiard 3-periodics, the locus of the extouchpoints is the
confocal caustic.
Lemma 5.1. If a triangle is acute (resp. obtuse), the incenter of the orthic will
coincide with the orthocenter (resp. the obtuse vertex of T ).
84 5. Confocal Loci
Figure 5.6: Left: the orthic triangle (orange) is shown of an acute reference trian-
gle T (blue), for with an interior orthocenter X4 . In this case, the orthic incenter
X10 coincides with X4 . Right: When T (blue) is obtuse, X4 is exterior. Further-
more, two orthic vertices are outside of T and X10 coincides with the obtuse vertex,
B in the picture. Video
Figure 5.7: From left to right: the orthic triangle (purple) of billiard 3-periodics
(blue) is shown at 3 different positions. The locus of X4 (orange ellipse) intersects
the billiard, i.e., a=b > ˛4 . When a 3-periodic is acute (left), the orthic incenter
coincides with X4 . When it is a right triangle (middle), X4 is on the elliptic billiard
and the orthic is a degenerate segment. When it is obtuse (right), the orthic incenter
remains “pinned” to the obtuse vertex. The end result is that the locus of the orthic
incenter is a quadrilateral with four elliptic arcs (thick purple, right) with four
corners. Video, Live
5.6. A self-intersecting locus 85
Recall that for billiard 3-periodics to include obtuse triangles, a=b > ˛4 ; see
Proposition 5.1. Referring to Figure 5.7:
Corollary 5.1. If a=b > ˛4 , the locus of the incenter of the orthic triangle of
billiard 3-periodics is an elliptic arc “quadrilateral” with four corners.
Figure 5.8: Over billiard 3-periodics, the locus of X59 is a continuous curve with
four self-intersections, tangent to the billiard at its four vertices. Top Left: if a=b
is slightly above 1, the locus of X59 is nearly four-fold symmetric. Not shown: if
a=b D 1, X59 will be on the line at infinity. Bottom Left: An acute 3 periodic
a=b < ˛4 , and an acute 3-periodic. Right: a right-angle 3-periodic in an a=b > ˛4
elliptic billiard. Video, Live
5.7. A non-compact locus 87
Figure 5.9: Left: The tangential triangle (dashed green) is shown for a 3-periodic
in an a=b < ˛4 elliptic billiard. The center of the tangential circumcircle (green)
is X26 . In this case all 3-periodics are acute, and the locus of X26 is compact (and
non-elliptic). Right inset: the image of the (non-compact) locus of X26 under an
inversion with respect to a circle concentric with the billiard, for various values
88 5. Confocal Loci
Proposition 5.7. Over billiard 3-periodics, the locus of X40 is an ellipse similar
to a rotated copy of the elliptic billiard. Its semiaxes are given by
Proposition 5.8. At a=b D ˛88 , the y velocity of X88 vanishes when the 3-periodic
is a sideways isosceles, where
q
p
˛88 D . 6 C 2 2 /=2 ' 1:485
Figure 5.10: A 3-periodic (blue) is shown within an a=b D ' elliptic billiard
(gold) as well as its excentral triangle (green). At this aspect ratio, the locus of the
Bevan point X40 (purple) is a 90ı -rotated copy of the billiard. Recall this point is
the circumcenter of the excentral triangle. Video, Live
90 5. Confocal Loci
Indeed, there are three types of X88 motion with respect to P1 .t/: (i) a=b <
˛88 : monotonic and opposite to P1 .t/; (ii) a=b D ˛88 : monotonic and opposite,
but with full stop at the billiard major vertices; (iii) a=b < ˛88 : non-monotonic,
containing two retrograde phases.
An equivalent statement, illustrated in Figure 5.11, is that the line family X1 X100
is instantaneously tangent to its envelope at X88 . Referring to Figure 5.11:
Proposition 5.9. Over billiard 3-periodics, the envelope of X1 X100 is (i) entirely
inside, (ii) touches at vertices of, or (iii) intersects the billiard, for a=b (i) less
than, (ii) equal to, or (iii) greater than ˛88 , respectively.
Interestingly:
Proposition 5.10. The motion of X88 is instantaneously (i) opposite to P1 , (ii)
stationary, or (iii) in the direction of P1 , if the tangency E of X1 X100 with the
envelope lies inside, on, or outside the billiard.
Figure 5.11: Collinear points X1 ; X100 ; X88 shown in an elliptic billiard with
a=b (i) less than (top-left), (ii) equal to (top-right), or (iii) greater than (bottom),
˛88 '1:486. The motion of X88 relative to 3-periodic vertices will be: (i) mono-
tonic and opposite to the vertices, (ii) monotonic and opposite but will full stops
at the vertices, and (iii) non-monotonic. The envelope (purple) of line X1 X100 in-
tersects the billiard if a=b > ˛88 (bottom). The motion of X88 is instantaneously
(i) opposite to P1 , (ii) stationary, or (iii) in the direction of P1 , if the tangency E
of X1 X100 with the envelope lies inside, on, or outside the billiard. Video, Live
92 5. Confocal Loci
Figure 5.12: A billiard 3-periodic (blue) and the swans Xk , k D88, 100, 162, and
190. Live. This Video shows 29 swans from Moses’ list on Kimberling (2019,
X(9)).
We use the standard parametrization for vertices of the confocal family found
in Section 2.7.1. Using the trilinear coordinates above, we have
Since ˛88 > ˛162 , setting a=b > ˛88 implies both centers will move non-
monotonically. Curiously:
Proposition 5.12. With a=b > 1, X88 and X162 never coincide. Therefore over
the billiard 3-periodic family, they never cross each other.
p
are equilateral triangles with P3 D .0; ˙ 3/ in which case X88 and X162 go to
infinity, i.e., these centers can never meet with a=b > 1.
In Figure 5.13, X88 and X162 are imagined as “swans” executing an elegant,
choreographing a never-crossing dance along the margins of an elliptic “pond”.
The joint motion of P1 .t/, X88 , and X162 can also be visualized on the surface
of a torus where the meridians (circles around the smaller radius) correspond to
a given t and the parallels represent a fixed location on the billiard boundary. As
shown in Figure 5.14, the curves for X88 and X162 are thrice-winding, though
never intersecting.
Referring to Figure 5.15, we summarize the monotonicity in the motion of
the first four swans on Kimberling (2019) with respect to a vertex of billiard 3-
periodics as follows:
Proposition 5.13. Over the family of billiard 3-periodics, for any a=b > 1, the
motion of X100 and X190 is monotonic and opposite with respect to that of a vertex
in the family.
Proposition 5.14. Over the family of billiard 3-periodics, if a=b is below (resp.
above) a certain ˛162 > 1 (resp. ˛88 > ˛162 ), the motion of X162 (resp. X88 ) is
monotonic and opposite (resp. non-monotonic) with respect to that of a vertex in
the family.
Figure 5.13: The dance of swans X88 and X162 along the margins of an elliptic
pond. (i) while P1 moves CCW, X88 and X162 approach each other; (ii) at their
closest, they almost kiss. (iii) Suddenly, X162 reverses course, (iv) and a short-
lived same-direction pursuit ensues. (v) An unswooned X88 also changes course,
(vi) with now both swimming away from each other. The duo meets again on
2nd, 3rd and 4th quadrants, where the dance steps are played back in alternating
forward and backward order. A black mittenswan guards his clutch at the center
of the lake. Video, two Live swans, four Live swans.
5.12. Locus triple winding 95
Figure 5.14: The coordinated motion of P1 .t / (blue), X88 (red) and X162 (green)
on the surface of a translucent torus, whose (i) meridians represent position along
the elliptic billiard, and (ii) parallels the family parameter t . Notice the green and
red curves are non-monotonic around the torus but never cross each other. A solid
black meridian is wound at t D 0 and a dashed one appears at one of the 12 instants
of closest distance between X88 and X162 , see Question 5.5.
96 5. Confocal Loci
Figure 5.16: Triangles derived from an isosceles billiard 3-periodic (blue). These
contain one vertex on the axis of symmetry. Video, Live
Figure 5.17: Non-elliptic loci of the vertices of triangles derived from billiard
3-periodics: the (i) intouch (green), (ii) Feuerbach (not to be confused with the
Feuerbach point) (blue), (iii) medial (red), triangles. A noteworthy excpetion is the
extouch triangle (light brown), whose vertices sweep the confocal caustic. Video,
Live
98 5. Confocal Loci
Figure 5.18: Depicted is the convex combination Y1 ./ of the incenter X1 and an
intouchpoint I1 of a billiard 3-periodic. app, Video 1, Video 2.
5.13 Exercises
Exercise 5.1. Calculate the elliptic billiard aspect ratio a=b such that top and
bottom vertices of the elliptic locus of X3 coincide each with the billiard top and
bottom vertices. Repeat for the locus of X5 .
5.13. Exercises 99
Figure 5.19: The locus (pink) of convex combination Y1 of the incenter and an
intouchpoint at different values of . The elliptic locus of the incenter appears
in all four frames (green). When D 1 (top left), one obtains the original two-
lobed locus of the intouchpoints (pink). As decreases (top right, bottom left), the
two lobes approach each other and at some point touch. Decreasing further still
causes loves to self-intersect and contain the ellipse pair center. As approaches
zero (bottom right), the lobes further interpenetrate and when D 0 (not shown),
they collapse to the elliptic locus of the incenter (green). Video 1, Video 2
100 5. Confocal Loci
Exercise 5.2. Calculate the elliptic billiard aspect ration a=b such that the locus
of X4 is identical to a 90ı rotated copy of billiard.
Exercise 5.3. Over billiard 3-periodics, the envelope of the Euler line is an astroidal-
like curve with four cusps, see it Live. Derive its equation. Also, find the elliptic
billiard aspect ratio a=b such that the top and bottom cusps of said curve coincide
each with top and bottom vertices of the elliptic billiard.
Exercise 5.4. Referring to Figure 5.6(right), let Th denote the orthic triangle of
an obtuse triangle T . Is there another (acute) triangle T 0 whose orthic is also Th ?
Exercise 5.5. Express in terms of a; b of the elliptic billiard, the coordinates of
the endpoints of the obtuse “zones” labeled Pi? , i D 1; 2; 3; 4 in Figure 5.3.
Exercise 5.6. Prove Corollaries 5.2 and 5.3.
Exercise 5.7. Let A be area of the four-corner region common to an ellipse and its
90ı -rotated
hp copy and Aiel l D ab be the area of the ellipse. Show that A=Ael l D
4 csc 1 1 C .a=b/2 =. What is this ara ratio for a=b D '?
Exercise 5.8. Prove that the motion of X100 along the elliptic billiard is opposite
to that of the vertices of billiard 3-periodics.
Exercise 5.9. Assume a=b > ˛88 . Find t in P1 .t / D Œa cos t; b sin t where the
motion of X88 changes direction.
Exercise 5.10. Prove that X88 coincides with a 3-periodic vertex if and only if
s2 D .s1 C s3 /=2. In this case, X1 is the midpoint between X100 and X88
Exercise 5.11. Prove Proposition 5.9.
Exercise 5.12. Find the unique aspect ratio a=b > ˛4 of an elliptic billiard which
contains right-triangle 3-periodics with sides as [Link]. Find aspect ratios for
billiards with the next up Pythagorean 3-periodics: [Link], [Link], [Link],
[Link].
Exercise 5.13. Let T be a billiard 3-periodic, and T 0 its anticomplementary trian-
[Link] its sides contain each of the vertices of T and are parallel to the latter’s
opposite sides, see Weisstein (2019). Let T 00 be the intouch triangle of T 0 . Show
that the vertices of T 00 (the intouchpoints) are always on the elliptic billiard. See
it Live. Bonus: prove that the motion of the intouchpoints of T 00 is non-monotonic
assuming P1 .t/ D Œa cos t; b sin t is monotonic along the billiard.
Exercise 5.14. Referring to Figure 5.19, compute the such that the lobes of Y.t /
touch.
5.14. Research questions 101
Question 5.2. Prove that over billiard 3-periodics traversed continuously, the ver-
tices of the extouch triangle, i.e., the 3 extouchpoints, will move in the same direc-
tion as 3-periodic vertices, whereas the Feuerbach point will move in the opposite
direction.
Question 5.3. Derive an expression (implicit and/or parametric) for the locus of
X26 in either the compact or non-compact case.
Question 5.4. Derive an expression of the non-elliptic locus of the vertices of the
anticomplementary triangle over billiard 3-periodics. Show it is always external
to the elliptic billiard. Derive its inflection points. See it Live.
Question 5.5. Derive an expression for t where X88 and X162 are closest (there
are 12 solutions). In Figure 5.14, the dashed meridian represents one such mini-
mum which for a=b D 2 occurs at t'41ı . Notice it does not coincide with any
critical points of motion.
Question 5.6. Show that the locus of the inversion of X1 with respect to the moving
circumcircle of billiard 3-periodics is also an ellipse. See it Live.
Question 5.7. Show that the locus of the inversion of X3 with respect to the moving
incircle of billiard 3-periodics is also an ellipse. See it Live.
Question 5.9. Prove Proposition 5.14, and derive ˛162 and ˛88 . Numerically,
these are approximately 1:164 and 1:486, respectively, see Figure 5.15 (top right
and bottom left).
Locus
6 Phenomena in
other CAP
Families
In the previous chapter we toured loci phenomena over billiard 3-periodics. Here
we continue this exploration over the five concentric, axis-parallel (CAP) families
depicted in Figure 1.5. In Section 6.6, we review and discuss locus phenomena
for each such family, organizing them according to similarity in locus curve types
(for various triangle centers). Interestingly, the following 3 groups emerge:
For reference, and as we march toward a theory for locus ellipticity (next chap-
ter), at the chapter’s end we provide a list of triangle centers which over each of
the families studied so far are either stationary, trace out a circle, or an ellipse.
In the discussion below, recall Cayley’s condition for a CAP pair to admit a
Poncelet 3-periodic family: ac =a C bc =b D 1, where a > b > 0, ac > 0, and
bc > 0.
6.1. Incircle family 103
Figure 6.1: Loci of Xk , k D2,4,5,6 over incircle 3-periodics. These are ellipses
for all but X5 whose locus is a circle. Live 1, Live 2
Proposition 6.3. Over incircle 3-periodics, the locus of the center X5 of the nine-
.a b/2
point circle is a circle of radius d D [Link]/ centered on O D X1 .
2
b .b C 2 a/ a2 C 2 ab C 3 b 2 x 2 C a .a C 2 b/ 3 a2 C 2 ab C b 2 y 2
a2 b 2 .a b/2 b 2 .b C 2 a/2 x 2 C a2 .a C 2 b/2 y 2 D 0
1
r2 D .a b/
3
Referring to Figure 6.2:
Proposition 6.6. Over circumcircle 3-periodics, the loci of both the orthocenter
X4 and the center X5 of the 9-point circle are concentric circles centered on X3 ,
with radii 2d 0 and d 0 respectively, where d 0 D .a b/=2 .
In Section 2.3 (resp. Section 5.3) we showed that over the confocal family, the
locus of X1 (resp. X6 ) is an ellipse (resp. quartic). Interestingly:
Proposition 6.7. Over circumcircle 3-periodics, the locus of the symmedian point
X6 (resp. the incenter X1 ) is an ellipse (resp. the convex component of a quartic
6.2. Circumcircle family 105
Figure 6.2: A circumcircle 3-periodic: The loci of both orthocenter X4 (pink) and
nine-point center X5 (olive green) are concentric with the external circle (black).
Their radii are 2d 0 and d 0 , respectively where d 0 D jX4 X5 j. In contradistinction
to the elliptic billiard, the locus of the incenter X1 (dashed brown) is non-elliptic
while that of the symmedian point X6 (dashed blue) is an ellipse. Video, Live
106 6. Loci in CAP Pairs
– note the other component corresponds to the locus of the 3 excenters which can
be concave). These are given by:
x2 y2 a2 b 2 a2 b 2
locus of X6 W C D 1; a 6 D ; b 6 D ;
a62 b62 a C 2b 2a C b
2
locus of X1 W x 2 C y 2 2 .a C 3 b/ .a C b/ x 2 2 .a C b/ .3 a C b/ y 2
2
C a2 b 2 D 0
Proposition 6.8. Over homothetic 3-periodics, the locus of the incenter X1 (resp.
symmedian point X6 / is a quartic (resp. an ellipse). These are given by:
locus of X1 W 16 a2 y 2 C b 2 x 2 a2 x 2 C b 2 y 2 8 b 2 a4 C 5 a2 b 2 C 2 b 4 x 2
2
8 a2 2 a4 C 5 a2 b 2 C b 4 y 2 C a2 b 2 a2 b 2 D 0;
x2 y2 a.a2 b 2 / b.a2 b 2 /
locus of X6 W C D 1; a 6 D ; b 6 D
a62 b62 2.a2 C b 2 / 2.a2 C b 2 /
Figure 6.3: A homothetic 3-periodic and the quartic (resp. elliptic) locus of the
incenter X1 (resp. symmedian point X6 ). Live
The two Fermat points X13 and X14 as well as the two isodynamic points X15 and
X16 have trilinear coordinates which are irrational on the sidelengths of a triangle,
see Kimberling (2019). Indeed, over billiard 3-periodics, their loci are non-elliptic.
Figure 6.4: Circular loci of the first and second Fermat points X13 and X14 (red and
green) as well as the first and second isodynamic points X15 and X16 (purple and
orange) for two aspect ratios of the homothetic pair: a=b D 3 (left) and a=b D 5
(right). The radius of the X16 locus is minimal at the first case. Video, Live
6.3. Homothetic family 109
Figure 6.5: Over homothetic 3-periodics, the loci of the two Brocard points ˝1
and ˝2 are tilted ellipses (red and green) of aspect ratio equal to those in the pair,
see Video. Also shown (dashed orange) is the locus of the vertices of the first
Brocard triangle (orange): this is an axis-aligned ellipse also homothetic to the
[Link], Live
Proposition 6.10. Over homothetic 3-periodics, the loci of the Brocard points ˝1
and ˝2 are ellipses E1 and E2 which modulo rotation are homothetic to the ellipses
in the pair. The loci are reflected images of each other about either the x or y axis.
Proof. The loci are given by
p
7 a4 C 6 a2 b 2 C 3 b 4 x 2 3 a4 C 6 a2 b 2 C 7 b 4 y 2 4 3 a2 C b 2 xy
E1 D C 1
a2 .a2 b 2 /2 b 2 .a2 b 2 /2 ab .a2 b 2 /
p
7 a4 C 6 a2 b 2 C 3 b 4 x 2 3 a4 C 6 a2 b 2 C 7 b 4 y 2 4 3 a2 C b 2 xy
E2 D C C 1
a2 .a2 b 2 /2 b 2 .a2 b 2 /2 ab .a2 b 2 /
110 6. Loci in CAP Pairs
In no other CAP family so far studied, is the locus of either Brocard point an
ellipse. This informs:
Conjecture 1. Over 3-periodics in a CAP family, the locus of the Brocard points
is an ellipse if and only if the ellipses are homothetic.
In Appendix C we describe the loci of the Brocard points over a certain non-
Ponceletian family of triangles with two vertices affixed to the boundary of an
ellipse (or circle) and the other one which sweeps it.
Definition 6.1 (First Brocard Triangle). The vertices P10 , P20 , P30 of the First Bro-
card Triangle T1 are defined as follows: P10 (resp. P20 , P30 ) is the intersection of
P2 ˝1 (resp. P3 ˝1 , P1 ˝1 ) with P3 ˝2 (resp. P1 ˝2 , P2 ˝2 ).
Know properties of the T1 include that (i) it is inversely similar to T , (ii) its
barycenter X2 coincides with that of the reference triangle, and (iii) its vertices are
concyclic with ˝1 , ˝2 , X3 , and X6 on the Brocard circle, defined in Weisstein
(2019, Brocard Circle), whose center is X182 . Referring to Figure 6.5:
Proposition 6.11. Over 3-periodics in the homothetic pair, the locus of the vertices
of T1 is an axis-aligned, concentric ellipse, homothetic to the ones in the pair and
interior to the caustic. Its axes are given by:
a.a2 b 2 / b.a2 b 2 /
a0 D ; b 0
D
2.a2 C b 2 / 2.a2 C b 2 /
Proof. The locus must be an ellipse since T1 is inversely similar to the 3-periodics
whose vertices are inscribed in an ellipse and their barycenters coincide. A vertex
of the Brocard triangle is parametrized by
6.3. Homothetic family 111
Figure 6.6: Construction for the First Brocard Triangle (orange) taken from Weis-
stein (2019, First Brocard Triangle). It is inversely similar to the reference one
(blue), and their barycenters X2 are common. Its vertices B1 ; B2 ; B3 are con-
cyclic with the Brocard points ˝1 and ˝2 on the Brocard circle (orange).
x2 y2
C D1
a02 b 02
Since homothetic 3-periodics conserve area (they are the affine image of regu-
lar polygons interscribed in two concentric circles, see Reznik and Garcia (2021b)),
so must T1 (inversely similar). Its area can be computed explicitly:
Proposition 6.12. Over 3-periodics in the homothetic pair, the area of T1 is in-
variant and given by
p 2
3 3ab a2 b 2
2
16 a2 C b 2
Corollary 6.1. Over homothetic 3-periodics, the areas Ak , k D 13; 14; 15; 16 of
the equilateral pedals from the Fermat and Isodynamic points are invariant.
Over the Brocard porism, the loci of said equilaterals, were shown to be circles,
see Figure 4.10. Interestingly, and referring to Figure 6.7:
Proposition 6.13. Over dual 3-periodics, the loci of X2 , X3 , and X5 are ellipses.
6.6 Summary
Table 6.1 summarizes the types of loci (point, circle, ellipse, etc.) for some tri-
angle centers for families analyzed in this and previous chapters (including non-
concentric such as poristic triangles and Brocard’s porism). Families are grouped
according to similar patterns in their loci types.
The first row reveals that out of the 8 families considered only in the confocal
case is the locus of the incenter X1 an ellipse, suggesting this is a rare phenomenon.
6.6. Summary 113
Figure 6.8: Over dual 3-periodics (stationary X4 ), the loci of X2 , X3 , and X5 are
ellipses. Live
Figure 6.9: Elliptic loci of Xk , k D2,3,4 over excentral 3-periodics (the symme-
dian X6 is stationary at the center). Live
6.6. Summary 115
Table 6.1: Loci types (P, C, E, X indicate point, circle, ellipse, and non-elliptic (de-
gree not yet derived) loci, respectively) of some triangle centers over 3-periodic
families. These are clustered in in 3 groups A,B,C sharing many metric phenom-
ena: (i) confocal, incircle, poristic; (ii) excentral, circumcircle, poristic-excentral;
(iii) homothetic and Brocard porism. A numeric entry indicates the degree of the
non-elliptic implicit, e.g., ’4’ for quartic. A singly (resp. doubly) primed letter
indicates a perfect match with the outer (resp. inner) conic in the pair. The sym-
bol C5 refers to the nine-point circle. The boldface entries indicate a discrepancy
in the cluster. Note: Xn for the confocal and poristic excentral triangles refer to
triangle centers of the family itself (not of their reference triangles).
116 6. Loci in CAP Pairs
The plethora of circles in the poristic family had already been shown in Odehnal
(2011). A significant occurrence of ellipses in the confocal pair was signalled in
Garcia, Reznik, and Koiller (2020a). As mentioned above, irrational centers Xk ,
k 2 Œ13; 16 sweep out circles for the homothetic pair. X15 and X16 are known to
be stationary over the Brocard family studied in Bradley and Smith (2007). How-
ever, the locus of X13 and X14 are circles. Also noticeable is the fact that (i)
though in the confocal pair the locus of X1 (resp. X6 ) is an ellipse (resp. quartic),
locus types are swapped for both circumcircle and homothetic families.
It is well-known that there is a projective transformation that takes any Pon-
celet family to the the confocal pair, see Dragović and Radnović (2011). In this
case only projective properties are preserved.
As mentioned above, the confocal family is the affine image of either the incir-
cle or circumcircle family. In the first (resp. second) case the caustic (resp. outer
ellipse) is sent to a circle. Though the affine group is non-conformal, we showed
above that both families conserve the sum of cosines. One way to see this is that
there is an alternate, conformal path which takes incircle 3-periodics to confocal
ones, namely through a rigid rotation (yielding poristic triangles), followed by a
variable similarity (yielding the confocal family).
A similar argument is valid for circumcircle triangles: there is an affine path
(non-conformal) to the confocal family though both conserve the product of cosines.
Notice there is also an alternate conformal composition of rotation (yielding poris-
tic excentral triangles) and a variable similarity (yielding confocal excentral trian-
gles). All in this path conserve the product of cosines.
Finally, homothetic and Brocard porism 3-periodics form an isolated clique.
As mentioned in Reznik and Garcia (2021b), though these are variable similarity
images of one another, they are not affinely-related.
• Incircle: (stationary X1 )
– Ellipses: 2, 4, 7, 8, 9, 10, 20, 21, 63, 72, 78, 79, 84, 90, 100, 104, 140,
142, 144, 145, 149, 153, 191, 200.
– Circles: 3, 5, 11, 12, 35, 36, 40, 46, 55, 56, 57, 65, 80, 119, 165.
• Circumcircle: (stationary X3 )
– Ellipses: 6, 49, 51, 52, 54, 64, 66, 67, 68, 69, 70, 113, 125, 141, 143,
146, 154, 155, 159, 161, 182, 184, 185, 193, 195.
– Circles: 2, 4, 5, 20, 22, 23, 24, 25, 26, 74, 98, 99, 100, 101, 102, 103,
104, 105, 106, 107, 108, 109, 110, 111, 112, 140, 156, 186.
• Homothetic: (stationary X2 )
– Ellipses: 3, 4, 5, 6, 17, 20, 32, 39, 62, 69, 76, 83, 98, 99, 114, 115, 140,
141, 147, 148, 182, 183, 187, 190, 193, 194.
– Circles: 13, 14, 15, 16.
• Dual: (stationary: X4 )
• Excentral: (stationary: X6 )
– Ellipses: 2, 3, 4, 5, 20, 22, 23, 24, 25, 26, 49, 51, 52, 54, 64, 66, 67,
68, 69, 70, 74, 110, 113, 125, 140, 141, 143, 146, 154, 155, 156, 159,
161, 182, 184, 185, 186, 193, 195.
– Circles n/a
Expressions for the semiaxes of the elliptic loci for many triangle centers are
available in Garcia, Reznik, and Koiller (2021).
– Points (11): 1, 3, 35, 36, 40, 46, 55, 56, 57, 65, 165.
– Segments (2): 44, 171.
– Circles (46): 2, 4, 5, 7, 8, 9, 10, 11, 12, 20, 21, 23, 63, 72, 74, 78, 79,
80, 84, 90, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109,
110, 111, 112, 119, 140, 142, 143, 144, 145, 149, 153, 186, 191, 200.
– Ellipses (39): 6, 19, 22, 24, 25, 28, 31, 33, 34, 37, 38, 41, 42, 43, 45,
47, 48, 51, 52, 54, 58, 59, 60, 71, 73, 77, 81, 88, 89, 169, 170, 181,
182, 184, 185, 195, 197, 198, 199.
– Hyperbolas (7): 26, 49, 64, 154, 155, 156, 196.
• Brocard porism
– Points (10): 3, 6, 15, 16, 32, 39, 61, 62, 182, 187.
– Segments (3): 50, 52, 58.
– Circles (38): 2, 4, 5, 13, 14, 17, 18, 20, 23, 69, 74, 76, 83, 98, 99, 100,
101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 114, 115,
140, 141, 147, 148, 183, 186, 193, 194.
– Ellipses (6): 24, 25, 51, 143, 157, 18.
– Hyperbolas (5): 26, 49, 64, 154, 159.
6.7 Exercises
Exercise 6.1. Prove that over incircle 3-periodics, the power of the center with
respect to the (fixed radius) circumcircle is invariant and equal to ab.
Exercise 6.2. Compute a=b of the external ellipse in the incircle CAP family such
that (i) the circular locus of X3 coincides with the incircle, (ii) the elliptic locus
of X4 touches the outer ellipse at its top and bottom vertices, and (iii) the circular
locus of X5 coincides with the incircle. See it Live1, Live2.
Exercise 6.3. Derive the radius of the circumcircle in the same-named family such
that the quartic locus of X1 and the circular locus of X4 intersect at four points
on the inner ellipse, see it Live.
Exercise 6.5. Prove that over homothetic 3-periodics, the radius of the circular
locus of X16 is minimum when a=b D 3.
p
Exercise 6.6. Prove that at a=b D 5, the elliptic loci of the Brocard points over
homothetic 3-periodics are internally tangent to the inner ellipse. See it Live.
Exercise 6.7. Derive the a=b such that the elliptic loci of the Brocard points over
the homothetic family intersect the y axis at b=2, i.e., at the top vertex of the caustic.
See it Live.
Exercise 6.8. Prove that over homothetic 3-periodics, the locus of the Brocard
midpoint X39 is an ellipse, derive its axis.
Exercise 6.9. Show that over homothetic 3-periodics, the elliptic locus of the ver-
tices of the first Brocard triangle is interior to the inner ellipse.
Exercise 6.12. Synthesize a triangle center such that over billiard 3-periodics its
locus is a circle? Hint: it will be an affine combination of X2 and X3 .
Exercise 6.13. Derive the semiaxes for the dual family elliptic loci of X2 , X3 , and
X5 in Proposition 6.13.
Exercise 6.14. As shown in Section 6.6.2, over poristic triangles, the locus of X44 ,
and X171 are segments. Derive their data. Do the same for the segment-loci of
X50 , X52 , X58 over Brocard porism 3-periodics.
Exercise 6.16. Prove that over the Brocard porism, the locus of X114 is a circle
concentric with, and exterior to, the Brocard inellipse. Derive its radius. Live
Exercise 6.17. Prove that over the Brocard porism, the locus of X115 is a circle
concentric with the Brocard inellipse of radius equal to the latter’s minor semiaxis.
Live
120 6. Loci in CAP Pairs
Exercise 6.18. Over the Brocard porism, the locus of X185 is an ellipse which
intersects the major axis of the Brocard inellipse E 0 in two points A and B, see it
Live. In the 1 < a=b < 2 range, A; B appear to lie between the foci of E 0 , however
for larger a=b, e.g., a=b D 3, the locus seems to pass through the foci, see it Live.
Prove or disprove this statement. Derive the center and semiaxes of the locus.
Question 6.2. Prove that over homothetic 3-periodics, the locus of center X5463
(resp. X5464 ) of the first (resp. second) isogonic equilateral antipedal coincides
with the circular locus of X13 (resp. X14 ).
Question 6.3. Prove that over homothetic 3-periodics, the locus of the centers
X396 (resp. X395 ) of the isodynamic equilateral pedals are two ellipses, and derive
their semiaxes.
Question 6.4. Can a triangle center be found such that over excentral (or dual)
3-periodics its locus is a circle?
Question 6.5. Show that over the poristic family (see Section 4.1), the locus of
X59 is an ellipse whose major vertices are internally tangent to the outer circle
poristics are inscribed in. See it Live.
Question 6.6. Prove Proposition 6.14 and derive the semiaxes of the elliptic loci
of the named centers.
7 Analyzing Loci
Theorem 7.1. The locus of a rational triangle center over 3-periodics in a CAP
pair is an algebraic curve.
Our proof is based on the following 3-steps which yield an algebraic curve
L.x; y/ D 0 which contains the locus. We refer to Lemma 7.1 and Lemma 7.2
appearing below.
Proof.
Step 1. Introduce the symbolic variables u; u1 ; u2
u2 C u21 D 1; u22 D r1 u2 C r2 :
Let sidelengths s1 D jP3 P2 j; s2 D jP1 P3 j; s3 D jP2 P1 j. Define
g1 D s12 jP3 P2 j2 , g2 D s22 jP3 P1 j2 and g3 D s32 jP2 P1 j2 .
Therefore, gi (i=1,2,3) are polynomial expressions on si and .u; u1 ; u2 /:
g1 D h1 s12 C h0
g2 D h1 s22 h2 u1 u2 C h3
g3 D h1 s32 C h2 u1 u2 C h3
Here hi are polynomials in the variable u. The long expressions will be omitted,
but can be evaluated from the vertex parametrization given in Proposition 3.17.
The vertices will be given by rational functions of u; u1 ; u2
x D Q=R; y D S=T
7.1. When are loci algebraic? 123
E0 D Q x R D 0; F0 D S yT D0
Firstly, compute the resultants, in chain fashion:
E1 DRes.g1 ; E0 ; s1 / D 0; F1 D Res.g1 ; F0 ; s1 / D 0
E2 DRes.g2 ; E1 ; s2 / D 0; F2 D Res.g2 ; F1 ; s2 / D 0
E3 DRes.g3 ; E2 ; s3 / D 0; F3 D Res.g3 ; F2 ; s3 / D 0
It follows that E3 .x; u; u1 ; u2 / D 0 and F3 .y; u; u1 ; u2 / D 0 are polynomial
equations. In other words, s1 ; s2 ; s3 have been eliminated.
Now eliminate the variables u1 and u2 by taking the following resultants:
containing the triangle area. Those can be made implicit, i.e, given by zero sets
of polynomials involving p; q; r; s1 ; s2 ; s3 . The chain of resultants to be computed
will be increased by three, in order to eliminate the variables p; q; r before (or
after) s1 ; s2 ; s3 .
Theorem 7.2. In the family of 3-periodic orbits in a generic Poncelet pair of conics
the locus of a rational triangle center is an algebraic curve.
Proof. The analysis follow the same steps as in the case of a Poncelet pair of el-
lipses. See proof of Theorem 7.1.
Supporting lemmas
p
Lemma 7.1. Let P1 D .au; b 1 u2 /: The coordinates of P2 and P3 of the 3-
periodic
p p are rational functions in the variables u; u1 ; u2 , where u1 D
billiard orbit
1 u , u2 D r1 C r2 u2 and r1 D ac2 .b 2 bc2 /a2 b 2 ; r2 D a2 b 2 .a2 bc2
2
ac b 2 /.
2
Proof. Using the parametrization of the 3-periodic Poncelet orbit it follows that
s12 jP2 P3 j2 D 0 is a rational equation in the variables u; s1 . Simplifying,
leads to g1 .s1 ; u/ D 0:
2 2
Analogously for s2 and s3 . In this case, the pequations s2 jP1 Pp3 j D 0 and
s32 jP1 P2 j2 D 0 have square roots u2 D r1 C r2 u2 and u1 D 1 u2 and
are rational in the variables s2 ; u2 ; u1 ; u and s3 ; u2 ; u1 ; u respectively. It follows
that the degrees of g1 , g2 , and g3 are 10. Simplifying, leads to g2 .s2 ; u2 ; u1 ; u/ D
0 and g3 .s3 ; u2 ; u1 ; u/ D 0.
on z1 ; z2 ; z3 :
1 WDz1 C z2 C z3 D f C g C f g
2 WDz1 z2 C z2 z3 C z3 z1 D fg C .f C g/
3 WDz1 z2 z3 D
Lemma 7.3. If u; v; w 2 C and is a parameter that varies over the unit circle
T C, then the curve parametrized by
v
F ./ D u C Cw
ˇ ˇ
is an ellipse centered at w, with semiaxis juj C jvj and ˇjuj jvjˇ, rotated with
respect to the horizontal axis of C by an angle of .arg u C arg v/=2.
Figure 7.2: Consider a Poncelet 3-periodic family (blue) interscribed between two
non-concentric, unaligned ellipses (centers O and Oc ). The locus of the incenter
X1 (solid green) is non-elliptic and skewed. The locus of the excenters (dashed),
i.e., the vertices of the excentral triangle (solid green), is a non-convex curve.
Video
Figure 7.3: Left: Poncelet 3-periodic in a non-concentric pair with fixed circum-
circle. Right: an affine image thereof.
130 7. Analyzing Loci
Referring to Figure 7.2, note that in general, the locus of the incenter is not
even four-fold symmetric, and that of the excenters may be non-convex.
The above entails yet another alternative proof for the ellipticity of the X1 locus
over billiard 3-periodics:
Proof. Let a and b be the semiaxes of the billiard. In the confocal pair we have
that
1p 1p
f D 2 ı a2 b 2 ; g D 2 ı a2 b 2
c c
This is obtained by taking an affine map T .z/ D .a C b/z=2 C .a b/z=2 N sending
the pair with an unitary outer circle to the confocal pair, see Section 2.2.
The result follows by factorization of the quartic polynomial that defines X1
in Proposition 7.2.
Using CAS we obtain that X1 is factorizable as E1 E2 , where
a4 C b 4 C c 2 ı .a2 C b 2 /ı a4 b 4
E1 D z D0
2 a2 b 2 2a2 b 2
E2 D 2c 2 2 a2 b 2 z 3 C c 2 2 a2 b 2 ıC
C c 2 a2 C b 2 2 a4 C 4 a2 b 2 b 4 z 2
4 c 2 a 2 C b 2 C ı z 4 2 a 4 C b 4 C a 2 ı C b 2 ı
Corollary 7.2. The locus X1 is the ellipse with semiaxes given by a1 D .a2 ı/=b
and b1 D .ı b 2 /=a:
Remark 7.2. The space of possible choices of two conics which admits a 3-periodic
family is five dimensional.
7.4. Loci in generic nested ellipses 131
This stems from the fact that a conic has five degrees of freedom, so two conics
have 10; the euclidean transformation group is 4-dimensional, and Cayley deducts
one degree of freedom. Therefore: 10 4 1 D 5.
Note that over said 5d space, the possible confocal configurations are 1-di-
mensional. Interestingly, experimental evidence suggests that our very first result
(elliptic locus of the incenter and excenters) is actually very rare. Referring to
Figure 7.4:
Recall a result by Odehnal (2011), illustrated in Figure 4.6: the locus of the
excenters over the poristic family is a circle twice the radius of the circumcircle.
Referring to Figures 2.1 and 7.2:
b 4 xc4 C 2 a2 b 2 xc2 yc2 C 2cc2 b 2 .a2 C b 2 / c 2
2 b 2 bc2 b 2 a2 2 b 4 bc2 xc2
8 a2 b 2 xc yc cc2 sc C a4 yc4 C 2cc2 a2 a2 C b 2 c 2 2 bc2 C b 2 a4 C 2 a2 b 2 bc2 yc2
C cc4 c 4 c 4 2 cc2 c 2 a2 ac2 b 2 a2 C bc2 b 2 c 2
C .aac C ab bbc / .aac ab bbc / .aac C ab C bbc / .aac ab C bbc / D 0
Figure 7.4: Locus of the incenter over Poncelet 3-periodics interscribed in 4 differ-
ent pairs of nested ellipses. (i) confocal pair (top left): the locus of X1 is an ellipse
(this could be unique to the confocal family); (ii) homothetic (top right): the lo-
cus is non-elliptic (we know this via numerics); (iii) circumcircle family (bottom
left): again, the locus is non-elliptic; (iv) 3-periodics in a non-concentric, non-axis-
parallel ellipse pair (bottom right): the locus of the incenter is not even four-fold
symmetric.
7.4. Loci in generic nested ellipses 133
Figure 7.5: Affine transformation that sends a generic ellipse pair and its 3-periodic
family (left) to a new pair with circumcircle (right). We parametrize the 3-periodic
orbit with vertices zi in the circumcircle pair using the foci of the latter’s caustic
f and g, and then apply the inverse affine transformation to get a parametrization
of the vertices Pi of the original Poncelet pair. Video
1
X˛;ˇ D u C v Cw
where:
p f g ˛p 2 q 2 .˛ C 3ˇ/ C 3ˇpq
u WD
3.p q/.p C q/
ˇpq.q fgp/ 1
v WD C ˛fgq
.q p/.p C q/ 3
q f C g p 2 .˛ C 3ˇ/ ˛q 2 C p.f C g/ ˛p 2 q 2 .˛ C 3ˇ/
w WD
3.p q/.p C q/
explicitly as
w Dw0 C w1 , where
1
w0 D q f C g C p.f C g/
3
q 2p 2 C q 2 f C g p.f C g/ p 2 C 2q 2
w1 D
3.p q/.p C q/
As 2 R varies, it is clear the center w sweeps a line.
We proved that all of the following triangle centers have elliptic loci in the
general N=3 Poncelet system, including the barycenter, circumcenter, orthocenter,
nine-point center, and de Longchamps point (reflection of the orthocenter about
the circumcenter of a triangle):
Observation 7.1. Amongst the 40k+ centers listed on Kimberling (2019), Kimber-
ling (2020b) identifies about 4.9k which lie on the Euler line. Out of these, only
226 are fixed affine combinations of X2 and X3 . For k < 1000, these amount to
Xk ; k D2, 3, 4, 5, 20, 140, 376, 381, 382, 546, 547, 548, 549, 550, 631, 632.
Observation 7.2. The elliptic loci of X2 and X4 are axis-aligned with the outer
ellipse.
Experimental evidence suggests the converse of Theorem 7.5 is also true:
Conjecture 4. Over 3-periodics interscribed between two ellipses in general po-
sition, the locus of a triangle center Xk is an ellipse if and only if Xk is a fixed
linear combination of X2 and X3 .
˛.f C g/ j˛fgj
O˛ D ; R˛ D
3 3
7.5. Circular loci in the circumcircle family 137
Furthermore, the center and radius of the locus do not depend on ˇ since the
circumcenter X3 is stationary at the origin of this system.
Proof. Since, z1 ; z2 ; z3 are the 3 vertices of the Poncelet triangle inscribed in the
unit circle, its barycenter and circumcenter are given by X2 D .z1 Cz2 Cz3 /=3 and
X3 D 0, respectively. We define X˛;ˇ WD ˛X2 CˇX3 D ˛.z1 Cz2 Cz3 /=3. Using
Definition 7.1, we get X˛;ˇ D ˛.f C g C f g/=3 D ˛.f C g/=3 C .˛f g/=3,
where the parameter varies on the unit circle T . Thus, the locus of X over the
Poncelet family of triangles is a circle with center O˛ WD ˛.f C g/=3 and radius
R˛ WD j˛f gj=3 D j˛fgj=3.
Observation 7.3. For a generic triangle, only X98 , and X99 are simultaneously
on the Euler line and on the circumcircle. However these are not linear combina-
tions of X2 and X3 . Still, if a triangle center is always on the circumcircle of a
generic triangle (there are many of these, see Weisstein (2019, Circumcircle)), its
locus over 3-periodics in the non-concentric pair with circumcircle is trivially a
circle.
Corollary 7.5. Over the family of 3-periodics inscribed in a circle and circum-
scribing a non-concentric inellipse centered at Oc , the locus of Xk , k in 2,4,5,20
are circles whose centers are collinear. The locus of X5 is centered on Oc . The
centers and radii of these circular loci are given by:
f Cg f Cg
O2 D ; O4 D f C g; O5 D ; O20 D .f C g/
3 2
jfgj jfgj
r2 D ; r4 D jfgj; r5 D ; r20 D jfgj
3 2
7.5. Circular loci in the circumcircle family 139
Figure 7.8: Left: 3-periodic family (blue) in the pair with circumcircle where the
caustic contains X3 , i.e., all 3-periodics are acute. The loci of X4 and X20 are inte-
rior to the circumcircle. Right: X3 is exterior to the caustic, and 3-periodics can
be either acute or obtuse. Equivalently, the locus of X4 intersects the circumcircle.
In both cases (left and right), the loci of Xk , k in 2,4,5,20 are circles with collinear
centers (magenta line). The locus of X5 is centered on Oc . The center of the X2
locus is at 2=3 along OOc . Video
Observation 7.4. The family of 3-periodics in the pair with circumcircle includes
obtuse triangles if and only if X3 is exterior to the caustic.
This is due to the fact that when X3 is interior to the caustic, said triangle center
can never be exterior to the 3-periodic. Conversely, if X3 is exterior, it must also
be external to some 3-periodic, rendering the latter obtuse.
140 7. Analyzing Loci
Table 7.1: Various proof methods for the ellipticity of X1 over billiard 3-periodics.
Helman, Laurain, Reznik, et al. (2021)
This entails the most compact rendition of the following result (appearing orig-
inally in Helman, Laurain, Reznik, et al. (2021)):
Proposition 7.5. In the confocal pair, from X1 to X200 , the loci of Xk are ellipses,
k D1, 2, 3, 4, 5, 7, 8, 10, 11, 12, 20, 21, 35, 36, 40, 46, 55, 56, 57, 63, 65, 72, 78,
79, 80, 88 , 84, 90, 100, 104, 119, 140, 142, 144, 145, 149, 153, 162 , 165, 190 ,
191, 200.
Proof. As in the previous corollary, one can write X1 as a fixed linear combination
of X2 , X3 , and X9 , given that the ratio D r=R is constant in the confocal pair.
In Helman, Laurain, Reznik, et al. (2021, Table 2 ), a table of fixed coefficients
˛; ˇ; is provided expressing each of the triangle centers in the claim as fixed lin-
ear combinations of X1 , X2 and X3 . Table 7.2 reproduces those results. Therefore
all triangle centers in the claim (except for X88 , X162 , and X190 ) are fixed linear
combinations of X1 , X2 , and X3 , and therefore they are fixed linear combinations
of X2 , X3 , and X9 as well. By Proposition 7.4, given that X9 is stationary over the
confocal family, this implies the loci of all these triangle centers are ellipses.
Note: the loci of X88 , X162 , and X190 (called “swans” before) are also el-
lipses because by definition they lie on the circumconic centered on X9 , see Kim-
berling (2019, X(9)).
Referring to Figure 7.9:
Proposition 7.6. In the confocal pair, the locus of X D ˛X2 C ˇX3 for ˛; ˇ 2 R
is a circle when:
˛ ı 3ab ˙ 2 a2 C b 2
D
ˇ ˙ 2ab
ˇ ˇ
Proof. By Lemma 7.3, this will happen when juj C jvj D ˇjuj jvjˇ with u; v
from Theorem 7.5. In the confocal pair, when ˛; ˇ 2 R, both u and v are real
numbers as well. Thus, this condition holds if and only if either u D 0 or v D 0.
The ratios ˛=ˇ that yield circular loci can then be computed directly.
Definition 7.2 (Degenerate Locus). When the elliptic locus of a triangle center is
a segment, i.e., one of its axes has shrunk to zero, we will call it “degenerate”.
Xk ˛ ˇ
Xk ˛ ˇ
X1 1 0 0
X2 0 1 0 X65 C1 0
X3 0 0 1 X72 2 3
C2 3
X4 0 3 2 X78 1 1 0
3 1 6 6
X5 0 X79 1 2C3 2C3
2 2
2C4 3 4 2C1 6 2
X7 C4 C4 C4
X80 1 2 1 2 1 2
X8 2 3 0 2 6 2 4
X84
2 6 2
X9 .C1/2 6 2. 1/
C4 C4 C4 X90 2 C2 1 2 C2 1 2 C2 1
1 3
X10 2 2 0 2 3 2
1 3 X100 2 1 2 1 2 1
X11 1 2 1 2 1 2 2 3 2 2
1 3 X104 2 1 2 1 2 1
X12 1C2 1C2 1C2 1 3 3 C1
X119 2 1 2 1 2 1
X20 0 3 4 3 1
3 2 X140 0 4 4
X21 0 2C3 2C3 C2 3C6 2
1 2 X142 2C8 2C8 2C8
X35 2C1 0 2C1 4 8 12 3 8
1 2 X144 C4 C4 C4
X36 1 2 0 1 2 4 3
X145 7 7 0
X40 1 0 2 4 6C9 12 8
1C 2 X149 6 3 6 3 6 3
X46 1 0 1 4 6 3 12 4
1 X153 6 3 6 3 6 3
X55 1C 0 1C 1 4
1 X165 3 0 3
X56 1 0 1 6 4
2C 2 X191 1 2C3 2C3
X57 2 0 2 C4 6
2 3 2 X200 2 2 0
X63 C1 C1 C1
Table 7.2: Triples ˛; ˇ; used to express a given triangle center Xk as the linear
combinations ˛X1 C ˇX2 C X3 . Note: D r=R. Note also that though the
loci of X88 , X162 , and X190 are ellipses over the confocal family (in fact, they
sweep the elliptic billiard), they are not included since they are not fixed linear
combinations.
7.6. Elliptic loci in the confocal pair 143
In Section 5.12 we provided a continuity argument for the three turns executed
by a triangle center over a traversal of the billiard 3-periodic family.
Remark 7.3. In Daepp et al. (2019, Lemma 3.4, p. 28) it is shown that (i) the
complex argument of the Blaschke product is monotonic on the unit circle, and that
(ii) for each there are 3 solutions for the equation B.z/ D . This means that as
sweeps the unit circle monotonically, the 3-periodics sweep the outer Poncelet
ellipse monotonically and in the same direction as . Moreover for every 3 full
cycles of over the complex the unit circle, each vertex of the 3-periodics sweep
the outer ellipse exactly once.
144 7. Analyzing Loci
Figure 7.9: A 3-periodic (blue) in a pair of confocal ellipses (black) with a=b D
1:5. Also shown are two degenerate (segment-like) loci (purple) obtained with
'f:27; :73g and two circular loci (orange), obtained with 'f:43; :3g. Video
degenerate. Thus, whenever this locus is not degenerate, the winding number of
X around its locus as sweeps the unit circle once is equal to 1 if juj > jvj and
1 when juj < jvj, as desired.
7.7 Exercises
Exercise 7.1. Consider a cubic polynomial p.z/ D .z ˛1 /.z ˛2 /.z ˛3 / with
simple roots ˛i (i=1,2,3). Let ˇ1 and ˇ2 the roots of p 0 .z/. Consider the family
of confocal ellipses having foci ˇ1 and ˇ2 .
Show that there exists a unique ellipse E in this family passing through the
midpoints .˛i C ˛j /=2, and that it is tangent to the sides of the triangle T D
f˛1 ; ˛2 ; ˛3 g. This ellipse is known as Steiner innelipse of T .
Conclude that the center of E is the triangular center X2 of T and that T is a
3-periodic orbit of a homothetic Poncelet pair.
Exercise 7.2. Consider an ellipse E and the set of tangent lines. Show that the
set of points of intersection between any two perpendicular tangents to E lie on a
circle. Find the radius and the center of this circle.
Exercise 7.3. Consider a circle C and a point P0 . Consider the family of circles
passing through P0 and internally tangent to C. Show that the set of centers of this
family of circles is an ellipse. Find the semiaxes and the foci of the ellipse.
Exercise 7.4. In the proof of Proposition 7.2, let z1 ./, z2 ./ and z3 ./ the roots
of E2 .z; / D 0, 2 T . Show that the trace of these three curves is an ellipse,
i.e., they parametrize the excentral locus.
Exercise 7.5. Consider a triangle inscribed in T 1 with vertices w12 , w22 and w32 .
Show that:
• The incenter X1 is w1 w2 w1 w3 w2 w3 .
• The excenters are w1 w2 w1 w3 w2 w3 , w1 w2 C w1 w3 w2 w3 and
w1 w2 w1 w3 C w2 w3 .
• The barycenter X2 is .w12 C w22 C w32 /=3.
• The orthocenter X4 is w12 C w22 C w32 .
• The nine-point center X5 is .w12 C w22 C w32 /=2.
Exercise 7.6. Derive the conditions under which a locus of a triangle center be-
comes degenerate (segment-like) over billiard 3-periodics.
146 7. Analyzing Loci
Question 7.4. Recall the Brocard porism, described in Section 4.4.3. The Brian-
chon point of the Brocard inellipse is X6 (stationary over the porism), i.e., the
sidelines of the Brocard porism family touch the inellipse at the vertices of the X6 -
cevian. Weisstein (2019, Symmmedial triangle) calls this the symmedial triangle.
Show that over Brocard porism 3-periodics, (i) the symmedial triangles are Pon-
celetian, (ii) compute the center and semiaxes of its inellipse, (iii) show that the
locus of Xk , k D 13; 14; 15; 16 are circles. See it Live.
8
The Focus-
Inversive
Family
This chapter describes a multi-talented triangle family directly derived from bil-
liard 3-periodics. We call it the focus-inversive family of triangles. These are
inversive images of billiard N-periodics with respect to a circle centered on (say
the left) focus. The N D 3 case is shown in Figure 8.1. Amongst its curious prop-
erties, we show that: (i) it has a stationary triangle center (the Gergonne point),
(ii) its perimeter and sum of cosines is invariant (mirroring the behavior of billiard
3-periodics), (iii) it is also a billiard 3-periodic family but of a gyrating elliptic
billiard, (iv) the product of its area with that of focus-inversives with respect to
the (right) focus is invariant, (v) that any triangle center whose locus is an ellipse
in the elliptic billiard traces out a circle over focus-inversives, and finally, that (vi)
the loci of its three centroids (vertex, perimeter, and area) are all circles! What’s
more, most of these properties generalize to focus-inversives for N > 3, though
we leave these to part II of this book.
8.1 Non-Ponceletian
A known result is that the inversive image of an ellipse with respect to one of its
foci is a loopless Pascal’s Limaçon, see Weisstein (ibid.). Therefore, the focus-
inversive will be inscribed in such a curve and is therefore non-Ponceletian. In-
148 8. The Focus-Inversive Family
Figure 8.1: The N D 3 focus-inversive family (pink), i.e., the inversive image of
billiard 3-periodics (blue) with respect to a focused-centered circle C (dashed gray).
Focus-inversives are inscribed in a loopless Pascal’s Limaçon (olive green). Both
perimeter and sum of cosines are invariant. The Gergonne point X7 is stationary.
Also shown is X7 , the inversive image of X7 with respect to C, inquired about in
Exercise 8.1. Live
deed, the caustic is also non-elliptic, as shown in Figure 8.2: a continuously in-
creasing billiard aspect ratio will transition the caustic from (i) a regular curve, to
(ii) one with a self-intersection and two cusps, to (iii) a non-compact curve with
two infinite branches.
Figure 8.2: Non-conic caustic (pink) to the focus-inversive family (pink). A bil-
liard 3-periodic (dashed blue) and the corresponding focus-inversive triangle are
shown at the top-left picture only. The billiard caustic is shown on every frame
(brown). From left-to-right, top-to-bottom, a=b is increased in small steps. Over
this range, the caustic transitions from (i) a regular curve, to (ii) a curve with one
self-intersection and two cusps, to (iii) a non-compact curve. Live
150 8. The Focus-Inversive Family
Proposition 8.1. The Gergonne point X7 of focus-inversives is stationary on the
major axis of the pre-image confocal pair. Its coordinates are given by:
2
X7 D c 1 ;0
ı C c2
Let i denote angles internal to focus-inversives.
p
a D k1 k2 .ı C a c/
p
b D k1 k2 .ı a c/
where:
p q
c 2
k1 D 8 a4 C 4 a2 b 2 C 2 b 4 ı C 8 a6 C 3 a2 b 4 C 2 b 6
k3
k2 D 2a2 b 2 ı
k3 D 2ab 2 2 a2 b 2 ı C 2 a4 2 a2 b 2 b 4
Proposition 8.5. Over the 3-periodic family, the Mittenpunkt X9 of focus-inversive
triangles moves along a circle with center and radius given by:
2 1
C9 D c 1C ;0
2b 2
2a2 b 2 ı
R9 D2
2ab 2
Proposition 8.6. For N D 3, the area product A1 A2 of the two focus-inversive
triangles is given by:
8 4 2 2 4
3a4 b 2
A1 A2 D 8 2 a C 2a b C 4b ıC C a6 C 4 b 6
8a b 2
152 8. The Focus-Inversive Family
Figure 8.4: The area product of f1 - and f2 -inversive triangles (pink) is invariant.
Video, Live
Proposition 8.12. The locus of X100 is the circle given by:
2 1
C100 D c 1 C 2 ;0
b
a
R100 D 2 2
b
Note: The locus of X11 is also a circle, see Exercise 8.5.
Observation 8.1. Amongst the first 200 triangle centers listed on Kimberling
(ibid.), the following triangle centers Xk sweep conics over the focus-inversive
family:
• Circles (40): 1, 2, 3, 4, 5, 8, 9, 10, 11, 12, 20, 21, 35, 36, 40, 46, 55, 56, 57,
63, 65, 72, 78, 79, 80, 84, 90, 100, 104, 119, 140, 142, 144, 145, 149, 1501 ,
153, 165, 191, 200.
Comparing these with the list in Section 6.6.1 for the confocal family, one
realizes that the only ones missing are X7 (stationary over the inversive family) and
the “swans” Xk , k D88, 162, and 190. i.e., triangle centers which by construction
lie on the billiard, see Figure 8.6.
Experimentally, in the range k⩽1000, if the locus of Xk is an ellipse over
billiard 3-periodics (excluding the cases where the locus is the billiard itself), then
the locus of Xk over the focus-inversive family is a circle. Therefore:
Conjecture 5. If the the locus of some triangle center X is an ellipse over billiard
3-periodics, then the locus of X over the inversive family is a circle.
The following cases do not invalidate the conjecture but are noteworthy:
1 See Question 8.1.
156 8. The Focus-Inversive Family
Figure 8.6: Over billiard 3-periodics (dashed red) the loci of both X88 and X162
coincide with the billiard (blue). However, when taken as centers of the the focus-
inversive triangles (not shown), their loci are clearly non-elliptic (green and pur-
ple). Live app: X88+X162, X88+X100
Figure 8.7: Though over billiard 3-periodics the locus of X150 is non-elliptic, its
locus over the focus-inversive family is a circle. Live.
Figure 8.8: Circular locus of the focus-inversive X2 and the perimeter centroid
C1 D X10 . Note that for triangles, the former coincides with both the vertex and
area centroids. App
158 8. The Focus-Inversive Family
Recall every pair of circles is associated with two so-called limiting points
`1 and `2 about which the inversion of the pair yields a new pair of concentric
circles, see Weisstein (2019, Limiting points). Let C and C 0 denote the incircle
and circumcircle of the poristic family. Referring to Figure 8.9, it can be shown:
Observation 8.2. One of the limiting points – call it `1 – of the bicentric circle pair
coincides with a focus – call it f1 – of its confocal polar pre-image. Furthermore,
`1 is internal to both circles.
Classic inversive geometry yields:
Proposition 8.14. Triangles of the focus-inversive family are identical to the pedal
triangles of the poristic family with respect to f1 D `1 .
Let L denote the perimeter of the pedal triangle with respect to the non-focal
limiting point `2 . Referring to Figure 8.10:
Proposition 8.15. Over the poristic family, L is invariant and given by:
p 2q
9 R2 d 2 R2 d 2 2 3 p
L D 4
.R2 d 2/ 2 9 R2 d 2 C 3R4 C 6R2 d 2 d4
16 R d
Equation (4.2) in Section 4.1 provides an expression for the invariant sum of
cosines of the poristic family in terms of the semiaxes a0 ; b 0 of its billiard polar
pre-image. Interestingly:
Proposition 8.16. The sum of cosines of pedal triangles to the bicentric family
with respect to either limiting point is invariant and identical to that of the poristic
themselves.
8.8. A focus-inversive Doppelgänger 159
Figure 8.9: Billiard 3-periodic (blue) and its polar image (orange) with respect
to a circle (dashed gray) centered on the left focus. Said polar family is poristic
and interscribed between two circles C and C 0 (dashed orange) whose centers are
labeled X3 and X1 . Also shown are the two limiting points `1 and `2 of this pair
of circles. Notice that `1 (resp. `2 ) is internal (resp. external) to C and C 0 and
coincides with the billiard left focus (resp. lies to the right of the billiard center).
Also shown are the two pairs of concentric circles (light blue) which are inversive
images of C and C 0 about `1 and `2 , respectively. Notice the circles in the first
pair are tangent to the billiard (black) and confocal caustic (brown) at their major
vertices, respectively.
160 8. The Focus-Inversive Family
X7,1 X7,2
X3 X1 f1 X9 f2 l2
Figure 8.10: A billiard 3-periodic (Blue), and its polar image with respect to the
left focus, i.e., the poristic family (solid orange). The focus-inversive family (pink)
has invariant perimeter and can also be regarded as the pedal triangle of the poris-
tic family with respect to said focus. The latter coincides with the interior limit
point of the poristic circle pair. A second triangle (purple) is shown which is the
pedal with respect to the (exterior) limiting point `2 of the poristic circle pair. Its
perimeter is also invariant. The Gergonne points X7;1 and X7;2 of either pedal
family are stationary. live
8.9. Exercises 161
Let X7 denote the Gergonne point of the pedal of bicentrics with respect to
their (external) limiting point:
Proposition 8.17. X7 is stationary over the poristic family and given by:
p
.R2 d 2 /..R2 d 2 /3=2 9R2 d 2 3R4 6R2 d 2 C d 4 /
X D
16dR4
8.9 Exercises
Exercise 8.1. Referring to Figure 8.1, let X7 denote the inversion of X7 with
respect to the inversion circle used to produce the focus-inversive family. Show it
is given by:
ı
X7 D ;0
c
Exercise 8.5. Show that over N D 3 focus-inversives, the locus of X11 is the
circle given by:
2 2
2 a Cb Cı
C11 D c 1C ;0
2a2 b 2
a2 C b 2 C ı
R11 D 2
2ab 2
162 8. The Focus-Inversive Family
Exercise 8.6. Show that over N D 3 focus-inversives, the locus of X100 is the
circle given by:
2 1
C100 D c 1 C 2 ;0
b
a
R100 D 2 2
b
Exercise 8.7. Consider the bicentric (poristic) family which is the polar image of
billiard 3-periodics wrt to a focus, see Section 4.1. Show the focus-inversive family
are the pedal triangles of said bicentric family wrt to said focus. Bonus: show this
focus coincides with one of the limiting points of the bicentric circle pair.
Exercise 8.8. Show that poristic pedals with respect to their exterior limiting
points are also a constant-perimeter family whose Gergonne point is stationary.
Figure 9.1: Locus Visualization app to explore 3-periodic families. Shown are the
loci of Xk , k D1,2,3,4, over billiard 3-periodics. The “(E)” suffix indicated they
are numerically ellipses. Live. Also see our tutorial playlist.
to trace out a triangle center, a vertex, an envelope, etc., and (iv) which triangle
center should the locus be drawn for. The first one thousand triangle centers listed
on Kimberling (2019) are currently supported.
In the sections below we describe the main functions of the user interface. A
video-based tutorial is available in Reznik (2021c).
Figure 9.3: Basic animation controls include (i) the setting of the base ellipse
aspect ratio a/b either via typing into the textbox (showing 1:618 in the picture)
or via the scrollbar next to it; (ii) above the animation area, pausing or running the
animation and choosing a speed – slow, medium, or fast. Note: a small “anim”
dropbox located below the a/b scrollbar, when not in the “off” position, triggers
a smooth oscillation of the aspect ratio over the range specified in the “min” and
“max” input boxes to its right.
These include (i) the setting of the base ellipse aspect ratio a/b either via typing
into the textbox (showing 1:618 in the picture) or via the scrollbar next to it; (ii)
above the animation area, pausing or running the animation and choosing a speed
– slow, medium, or fast. Note: a small “anim” dropbox located below the a/b
scrollbar, when not in the “off” position, triggers a smooth oscillation of the aspect
ratio over the range specified in the “min” and “max” input boxes to its right.
If the animation is paused, hitting the up (or right) and down (or left) arrows on
the keyboard allows one to carefully step forward or backward over the triangle
family.
The mouse wheel allows for the simulation image to be zoomed or unzoomed.
By clicking and dragging into the main animation area one can pan and repo-
sition the image.
166 9. A Locus Visualization App
Figure 9.4: Four identical groups of “channel” controls positioned to theleft of the
main animation window.
11. tl-bl: top left corner of ellipse bounding box (TL) and bottom left of the
same (BL)
12. tl-tr: TL and top right corner (TR) of ellipse bounding box
Figure 9.7: The triangle menu selects whether a *reference* or some derived
triangle should be used to compute loci. The tri checkbox immediate to the left
selects whether the triangle should be drawn or not.
170 9. A Locus Visualization App
Figure 9.8: The Li menu selects the locus type to (triangle center, vertex, envelope,
etc.).
9.5.2 Envelopes
1. env: the envelope of segment Xm Xn , m¤n, where m (resp. n) is the se-
lected triangle (resp. Cevian) center.
2. e12, e23, e31: the envelope of side Vi Vj of the triangle family. Note these
are one and the same (resp. distinct) for Poncelet (ellipse-mounted) families.
3. e1x, e2x, e3x: the envelope of Vi Xn , i.e., the line from a given vertex to
a selected triangle center. In a concentric Poncelet family, the envelope of
Vi X1 will be the outer ellipse’s evolute, see it Live.
4. 1 ; 2 : the two foci of the Steiner circumellipse (aka. the Bickart points)
Figure 9.9: Controls used for the selection of a particular triangle center Xk .
clicking on the “-” and “+” symbols around the text field; (iii) using the scrollbar
to the right of the “+” control, to quickly scroll through all 1000 values of k. In
fact after any of these is performed, this set of controls becomes “focused” in such
a way that (iv) left (resp. right) arrow keystrokes will decrement (resp. increment)
the value, allowing mouse-free traversal of triangle centers.
9.7.1 Traditional
Available in this groups are the standard constructions for (i) Cevian, (ii) Antice-
vian, (iii) Circumcevian, (iv) Pedal, (v) Antipedal, and (vi) Trilinear Polar trian-
gles described in Weisstein (2019). Recall that the latter produces a degenerate
(segment-like) triangle, see Weisstein (ibid., Trilinear Polar).
9.7.2 Inversive
• invert: Tm will have vertices at inversions of the parent one with respect
to a unit circle centered on Xm .
9.7. Cevians, pedals, & Co. 175
Figure 9.10: Cevian-like triangles and number box to select a triangle center play-
ing the role of Q (see text).
176 9. A Locus Visualization App
9.7.3 Reflexive
• vtx-refl: Tm has vertices at the reflections of Xm on the parent vertices.
9.7.4 Triangulated
Triangulate the parent with respect to Xm , i.e., consider the following subtriangles:
T23 D Xm P2 P3 , T31 D Xm P3 P1 , and T12 D Xm P1 P2 .
• Xk -map, k 2 Œ1; 11: Tm has vertices at the Xk of T23 , T31 , and T12 . Note:
X3 -map is the same as the 3-circums setting.
Figure 9.11: The left drop-down selects an ellipse-based circle or a “central” circle
for both visualization and/or as references for inversive transformations.
• *f1*: the left focus of the outer ellipse. Note: in the poristic (resp. ex-
central) family this becomes the center of the outer circle (resp. caustic =
elliptic billiard).
• *f1c*: the left focus of the inner ellipse.
• *f2*: the right focus of the outer ellipse. Note: in the poristic (resp. excen-
tral) family this becomes the incenter (resp. a focus of the outer ellipse.
• *ctr*: the center of the system.
Figure 9.12: The incircle, circumcircle, and Bevan circle are viewer simultane-
ously, by choosing them on the circle menu in 3 separate channels. Notice that to
make the circle appear, one must check the tri checkbox in the lower left of that
channel control area. Live
• inv xn: invert the selected triangle center (see Section 9.6) with respect to
C.
• inv tri: invert the vertices of triangles in the family with respect to C.
180 9. A Locus Visualization App
• pol tri: compute a new triangle bounded by the polars of the original
vertices with respect to C.
• cre xn: send the selected triangle center to its image under a quadratic
Cremona transformation (QCT) .x; y/ ! .1=x; 1=y/, where .x; y/ are the
coordinated of the center of C.
• cre tri: compute a new triangle whose vertices are images of the QCT
with respect to the center of C.
• X: non-conic
• E: ellipse
• H: hyperbola
• L: line or segment
• *: a stationary point.
The same code is also appended (in parenthesis) to the (moving) triangle center
being displayed, for example, Figure 9.13, X2(E),X3(E),X4(E), indicate the loci
of barycenter, circumcenter, and orthocenter are ellipses over billiard 3-periodics.
Figure 9.13: An indication as to curve type of each locus appears in a small box
in the lower right-hand side of each control group. In the picture, X means the first
locus (incenter over the excentral family) is non-conic. An E in the remainder 3
channels indicates their loci are ellipses. Notice the same indicator is appended to
the instantaneous location of the triangle centers being tracked, e.g., X3(E) indi-
cates the locus of the circumcenter is an ellipse. Live
182 9. A Locus Visualization App
Y
L D [Link]; r=R D [Link]; cos0 D 0:0811; A0 =A D [Link]
In turn, this means that perimeter L and ratio r=R of inradius-to-circumradius
are numerically
Q invariant over the reference family selected in channel 1, and that
the product cos of cosines, and ratio A0 =A of derived-by-reference areas is
0
constant (these are observations first introduced in Reznik, Garcia, and Koiller
(2020a)).
Reported invariants appear unprimed to refer to the reference triangle in a
given family. Primed quantities will appear when a derived triangle has been se-
lected (e.g., “excentral”), allowing for mutual comparison.
The following quantities are currently reported, when numerically invariant:
Also reported whenever a derived triangle is selected, are one of L0 =L, A0 =A,
A0 :A, Rc0 =Rc if these are invariant.
Figure 9.14: The tandem bar. Checking one or more checkboxes ensures locks all
corresponding drop-downs in the channel controls to take the same value.
• pn: the triangle center with respect to which Cevian-like triangles are calcu-
lated
loci will be drawn (as opposed to, e.g., the envelope). The use then needs to man-
ually set the triangle center values of 1,2,3,4 for each channel. To now observe
these across all families, since mnt is set, the user simply needs to flip through the
triangle families using the triangle family drop-down on any one of the channels
in the strip. In fact this can be done with the up and down arrows on the keyboard
once that control comes into focus (e.g., by expanding the drop-down), allowing
for very quick perusal of this phenomenon across all triangle families.
Figure 9.15: Usage of the tandem feature. The user has previously selected trian-
gle centers k D 1; 2; 3; 4 for each of the channels. Top: the user is about to flip, in
tandem, triangle family from “billiard” to “homothetic” for the first channel; Bot-
tom: since the tandem mnt is checked, all channels flip in unisn to “homothetic”,
with the visualization being updated in one shot. To quickly flip through all other
families, the user can hit the up and down keys on the keyboard.
186 9. A Locus Visualization App
Figure 9.16: In the highlighted area controls are available to (i) ell: show or hide
the main ellipse, (ii) rot xxx: apply a global rotation to the animation widow, (iii)
rmax: set the bounding box of the area in which loci are computed, (iv) bg: set
the animation window’s background color, and (v) invert: invert (RGB negative)
colors of background and all loci drawn.
9.13. Artsy loci 187
Figure 9.17: Reset and center push-buttons are located at the top-left corner of
the app. which (i) reset UI: all controls in the app are restored to their default
values; (ii) center UI: the center of the simulation is panned back to the center
of the animation area. This is useful after having previously panned the picture
via a mouse drag. Also shown is (iii) a color selector square located to the right
of every triangle center scrollbar, through which a new color can be selected for
displaying the corresponding locus. Finally, (iv) a bbox push button is provided to
repositing and scale the geometric scene so as to best fit it in the available space.
Figure 9.18: The hamburger control (three horizontal bars) located to the right of
the the main controls can be clicked to hides/expand the main controls.
a channel’s control group selects a random set of pastel colors. Subsequent clicks
(or hitting the right arrow key) generate a new random color set. Hitting the left
arrow goes back to color sets previously generated. Right-clicking on the palette
icon and or changing any other setting in the user interface causes the color fills to
disappear.
Also highlighted in Figure 9.19 is a scrollbar and color chooser located below
the bottom-most channel control group. These are used to set (i) the transparency
of colors fills, and (ii) the color of the border of connected regions (default is
white).
A collage of four colored-filled curvaceous loci is shown in Figure 9.20. Some
two hundred such “artsy” loci are showcased in Reznik (2021a).
Figure 9.19: Clicking on the highlighted palette icons in the mid-right section of
every channel control area triggers color fills in any drawn loci. Clicking it several
times (resp. right clicking on it) randomizes colors (resp. removes the color fills).
At the bottom of the channel control strip a scrollbar can be used to control the
transparency of the fills. A color chooser at its right side can be clicked to select
the color of region borders (default is white).
190 9. A Locus Visualization App
Figure 9.20: Four examples of the kinds of color-filled loci which can be produced
with the app. Gallery and Video
Figure 9.21: Buttons on the upper control strip for copying, sharing, and exporting
experiment configuration and images.
9.15. Jukebox playback 191
• copy image: the image currently on the animation window is copied to the
clipboard. It can then be pasted anywhere else as an image.
Figure 9.22: To play sequentially through one of many groups of experiments, se-
lect an item from the (highlighted) drop-down “jukebox” drop-down menu, at the
top right hand corner of the app. To stop the jukebox playback, select Juke off.
Click (or right-click) on the jukebox icon to quickly move forwards or backwards
in a given sequence.
A
Notes in
Triangle
Geometry
Also we have
jP C1 j D jp1 p2 j; jP A1 j D jr1 r2 j:
Let ˇ ˇ ˇ ˇ ˇ ˇ
ˇq r ˇ ˇr p1 ˇ ˇ ˇ
L D ˇˇ 1 1 ˇˇ ; M D ˇˇ 1 ˇ ; N D ˇp1 q1 ˇ
q2 r2 r2 p2 ˇ ˇ p2 q2 ˇ
Denote
Proposition A.2.
R2 fL; M; N g
2 D :
2
Proof. The result follows from algebraic manipulations of the three formulas ob-
tained in Proposition A.1. The details are left to the reader.
2 l 2 m 2 n
pD ; qD ; rD :
a fl; m; ng b fl; m; ng c fl; m; ng
Table A.1 lists trilinears for some centers mentioned above as well as a few
others.
• The medial triangle has vertices at the midpoints of the reference’s sides.
• The intouch triangle has vertices at the points of tangency of the incircle
with the sidelines of a reference triangle.
• The extouch triangle has vertices at the tangency points of the excircles with
the sidelines, see Figure A.4. These are also the midpoints of the perimeter
of T . For example, jA C j C jA Ce j D jB C j C jB Ce j.
A.7. Some derived triangles 201
Table A.1: Some triangle centers and their first trilinear coordinate expressed as a
symmetric function f .a; b; c/ on the sidelengths. The complete trilinear vector is
given cyclically by Œf .a; b; c/; f .b; c; a/; f .c; a; b/. Note that sometimes these
are more concisely expressed as trig functions on the angles A; B; C which can be
converted back to f .a; b; c/ via the law of sines and/or cosines.
202 A. Notes in Triangle Geometry
• The anticomplementary triangle is such that its medial triangle is the original
reference triangle, see Figure A.5.
• The Feuerbach triangle has vertices at the points where the 9-point circle
touches each of the excircles, Figure A.6.
The vertex matrices for the first three are given by:
2 3 2 3 2 ac ab
3
1 1 1 0 b 1 c 1 0 a bCc aCb c
41 6 bc ab 7
1 1 5 ; 4a 1 0 c 1 5 ; 4 bCc a
0 aCb c 5
1 1 1 a 1 b 1 0 bc ac
0
bCc a a bCc
0 1
a bCc aCb c
0 b c
B aCbCc aCb c C
@ a 0 c A
aCbCc a bCc
a b
0
A.7. Some derived triangles 203
Figure A.5: The anticomplementary triangle A0 B 0 C 0 of ABC has sides which pass
through each vertex of a reference triangle and are parallel to the opposite side. Its
circumcenter X30 coincides with the reference’s orthocenter X4 .
0 1 1 1 1
a b c
@ 1 1 1 A
a b c
1 1 1
a b c
In Weisstein (ibid., Feuerbach triangle), the trilinear vertex matrix for the Feuer-
bach triangle A1 B1 C1 is defined as:
0 1
sin2 . B 2 C / cos2 . C 2 A / cos2 . A 2 B /
@ cos2 . B C / sin2 . C 2 A / cos2 . A 2 B / A
2
cos2 . B 2 C / cos2 . C 2 A / sin2 . A 2 B /
Figure A.6: The Feuerbach triangle A1 B1 C1 of ABC has vertices where the 9-
point circle touches the excircles. Point F D X11 is the Feuerbach point.
Figure A.7: Brocard points ˝ and ˝ 0 of a triangle ABC . X39 sits at the midpoint
of ˝˝ 0 .
p
j˝ X3 j D j˝ 0 X3 j D R 1 4 sin2 !:
p
R 1 4 sin2 !
RB D :
2 cos !
The trilinear vertex matrix of the Brocard triangle B1 B2 B3 is given by:
0 1
abc c 3 b3
@ c 3 abc a3 A
b3 a3 abc
Figure A.8: The first Brocard triangle B1 B2 B3 and its circumcircle, also known
as the Brocard circle.
A.9. Pedal and antipedal triangles 207
Figure A.9: Left: A0 B 0 C 0 is the pedal triangle of ABC with respect to P . Right:
A00 B 00 C 00 is the antipedal of ABC wrt to P , i.e., thepedal of A00 B 00 C 00 is ABC .
0 1
0 q C p cos C r C p cos B
@p C q cos C 0 r C q cos A A
p C r cos B q C r cos A 0
Respectively:
The pedal triangle with respect to the incenter, circumcenter, and orthocenter
are the intouch, medial, and orthic triangles.
208 A. Notes in Triangle Geometry
Figure A.11: The perspector X of triangles ABC and A1 B1 C1 and the perspective
axis.
and its polar are always perspective at a some point X , known as the perspector
of E.
A.13 Circumconic
A circumconic of a triangle contains its three vertices. A 2d family of such conics
exists. If center (or perspector) is specified, then the circumconic is unique. Points
Œx; y; z on a circumconic satisfy:
p q r
C C D0
x y z
If the perspector is supplied, the center of the circumconic is given by:
Figure A.12: The polar triangle A1 B1 C1 of ABC with respect to a conic E are in
perspective at X .
A.14 Inconic
The inconic E 0 is tangent to the sidelines of a triangle. A 2d family of inconics
exists for any triangle. If either center or perspector is specified, then the inconic
is unique. For inconics, the perspector is also called the Brianchon point. Let its
trilinears be Œ p1 ; q1 ; 1r . Then the center is given by Œcq C br W ar C cp W bp C aq
and the inconic will satisfy:
Proof. Let T D ABC . The isosceles triangle BOC has angle 2A (or 2 2A/
at vertex O. Therefore the angle between ray CO and segment BC is equal to
=2 A (or A =2 ). The angle between ray CX4 and the segment CA is
=2 A (or A =2 ). Therefore, X4 and X3 are isogonal relative to C . The
same conclusion follows for the other vertices.
Proof. Let P D Œp; q; r, A D Œ1; 0; 0, B D Œ0; 1; 0 and C D Œ0; 0; 1 be the
trilinears for said points. The midpoint of the side BC is Am D Œ0; c; b. Also,
Bm D Œc; 0; a and Cm D Œb; a; 0. The line AP is given by qz ry D 0. Therefore
A1 D Œ0; q; r and A01 D Œ0; c 2 r; b 2 q.
214 A. Notes in Triangle Geometry
The isotomic conjugation is the map Im .Œp; q; r/ D Œ1=.a2 p/; 1=.b 2 q/; 1=.c 2 r/
D Œqr=a2 ; pr=b 2 ; pq=c 2 which is also an involution.
Proposition A.13. The image of the Euler line by isogonal conjugation Ig is the
circumconic (hyperbola) given by
IE .x; y; z/ D c a2 b2 a2 C b 2 c 2 xy C b a2 c2 a2 b 2 C c 2 xz
C a b2 c 2
a2 b2 c 2 yz D 0
More general, the image of any line by Ig is a circumconic.
Proof. Write the Euler line in the parametric form E.u/ D .1 u/X3 C uX4
and compute Ig .E.u//. Now, writing in the implicit form, it is straightforward to
obtain the result stated.
Proposition A.14. The image of the Euler line under the isotomic conjugation Im
is circumconic (hyperbola) by:
Figure A.17: The elliptic billiard has X1 as its perspector; the caustic is the Man-
dart inellipse, whose Brianchon point is the Nagel point X8 .
Proof. Recall that the antiorthic axis is the perspective axis of T and its excentral
triangle, and that the elliptic billiard is centered at X9 (mittenpunkt) and its per-
spector is X1 (incenter). Therefore, it follows that the antiorthic axis is given by
x C y C z D 0. The elliptic billiard is xy C xz C yz D 0.
218 A. Notes in Triangle Geometry
A.22 Exercises
Exercise A.1. Let P D Œp; q; r be an interior point of an equilateral triangle
T D ABC . Show that:
• the distances from P to the sidelines are given by Œpk; qk; rk, where k D
.2A/=.pa C qb C rc/ and A is the area of the triangle.
• k.p C q C r/ is equal to the length of the triangle’s altitude, i.e., the sum is
independent of the position of the point.
• The result is true for P exterior to the triangle, though here we need to
consider the signed distance, as in Figure A.1.
• If the sum of distances is independent of the point, then the triangle is equi-
lateral.
• Generalize the above to regular polygons.
Exercise A.2. Show that mittenpunkt X9 is the symmedian point of the excentral
triangle.
Exercise A.3. Let P and Q be isogonal conjugates in a triangle ABC . Then the
circumcenters of BP C and BQC are inverses with respect to the circumcircle of
the triangle ABC .
Exercise A.4. Let P and Q be isogonal conjugates in the of triangle ABC . Then
the pedal triangles with respect to P and Q share a circumcircle. Moreover, the
center of this circle is the midpoint of PQ.
Exercise A.5. Let P and Q be isogonal conjugates in a triangle T D ABC .
Consider triangle T 0 whose vertices lie at the reflections of P with respect to sides
AB, BC and AC . Show the circumcenter of T 0 is Q.
Exercise A.6. Let E be an ellipse inscribed in a triangle ABC (i.e., an inconic).
Then foci f1 and f2 of E are isogonal conjugates.
Exercise A.7. Consider two lines x and y passing through a point P0 . Let u
and v be conjugate lines with respect to x and y. Let P 2 u and Px 2 x and
Py 2 y be the pedal points of P . Referring to Figure A.18, show that (i) the
points fP0 ; P; Px ; Py g are concyclic; (ii) line h D Px Py is orthogonal to the line
v.
A.22. Exercises 219
Exercise A.8. Show the Brocard points can be obtained through the construction
in Figure A.19.
Exercise A.9. Let the incircle of triangle ABC touch side BC at A1 , and let
A1 A01 be a diameter of the incircle. Denote by A2 the intersection of lines AA01
and BC . Show that BA2 D CA1 . Consider a similar construction with respect to
the two other sides. Show that the three lines AA2 , BB2 and C C2 are concurrent.
Show that this point is X8 and that it lies on line X1 X6 .
Exercise A.10. A similarity about a point O is a composition of a rotation and
a dilation, both centered at O. Consider a quadrilateral ABCD which is not a
parallelogram. Show that there is a unique similarity sending AC to BD.
Exercise A.11. Let A; B; C; D be four distinct points in the plane, such that AC is
not parallel to BD. Let X be the intersection of AC and BD. Let the circumcircles
of ABX and CDX meet again at O. Show that O is the center of the unique
similarity that sends A to C and B to D.
Exercise A.12. If O is the center of the similarity that sends A to C and B to D,
then O is also the center of the similarity that sends A to B and C to D. See Zhao
(2021) and Chavez-Caliz (2020).
A.22. Exercises 221
Exercise A.13. Let ABC be a triangle and C its circumcircle. Let the tangent
lines to C at B and C meet at D. Show that AD is a symmedian of ABC . Use
this fact to construct X6 .
Exercise A.14. Consider a triangle ABC . On sideline BC construct two points
A1 , A2 such that A2 C D c and A1 B D b. The segment A1 A2 has length
a C b C c. Repeat the construction for the other two sidelines. Show that the six
points obtained lie on a circle known as Conway’s circle.
Exercise A.15. A polar circle of an obtuse triangle T D ABC is the circle cen-
tered at the orthocenter X4 with radius r given by r 2 D 4R2 .a2 C b 2 C c 2 /=2,
where R is the radius of the circumcircle of T . Define analogously the polar cir-
cles of triangles ABH , BCH and ACH . Referring to Figure A.20, show that all
polar circles intersect orthogonally. Determine the nine-point-circles of the four
triangles.
Exercise A.19. Show that the antiorthic axis of a triangle ABC is orthogonal to
the line X1 X3 .
Exercise A.21. Let I D X1 denote the incenter of a triangle ABC . Consider the
Euler lines of the four triangles BCI , CAI , ABI , and ABC . Show that these
four lines are concurrent. This point of concurrence is called Schiffler point, and
it is X21 on Kimberling (ibid.). Determine the trilinear coordinates of this point.
Exercise A.26. In the family of billiard 3-periodics, analyze properties of the as-
sociated spherical curve given in Exercise A.25.
B Jacobi Elliptic
Functions
Note: assuming a given k, we can occasionally omit it when writing the above,
e.g., cn.u/ is shorthand for cn.u; k/.
Also,
cn.u/cn.v/ sn.u/sn.v/dn.u/dn.v/
cn.u C v/ D
.u; v/
sn.u/cn.v/dn.v/ C sn.v/cn.u/dn.u/
sn.u C v/ D
.u; v/
dn.u/dn.v/ k 2 sn.u/sn.v/cn.u/cn.v/
dn.u C v/ D
.u; v/
.u; v/ D 1 k sn .u/ sn2 .v/
2 2
226 B. Jacobi Elliptic Functions
1.0
0.5
sn[u,2]
dn[u,2]
2 4 6 8 10
cn[u,2]
-0.5
-1.0
Figure B.1: The three Jacobi elliptic functions sn, cn, and dn.
2
dy
D .1 y 2 /.1 k2y 2/
du
2
dy
D .1 y 2 /.1 k2 C k2y 2/
du
2
dy
D .y 2 1/.1 k2 y 2/
du
Z u
dy
arcsn.u; k/ D p
0 .1 y 2 /.1 k2y 2/
Z 1
dy
arccn.u; k/ D p
u .1 y 2 /.1 k2 C k2y 2/
Z 1
dy
arcdn.u; k/ D p
u .1 y 2 /.k 2 1 C y 2/
The poles of these three functions, which are simple, occur at points
[Link] C w/ D [Link] w/
[Link] C w/ D [Link] w/
[Link] C w/ D [Link] w/
C
Ellipse-
Mounted
Brocard loci
Let a family of triangles be defined with two vertices V1 ; V2 stationary with re-
spect to an ellipse with semiaxes a; b, and a third vertex V3 D P .t / which sweeps
the boundary, P .t / D Œa cos t; b sin t. Notice this family is non-Ponceletian. We
show that over certain combinations of V1 and, V2 , the Brocard points sweep beau-
tiful, teardrop-shaped curves.
p
Remark C.1. The above loci intersect at aŒ˙ 3=6; 1=2; along with V2p D .0; a/
they define an equilateral. This stems from the fact that when P .t / D aŒ˙ 3=2; 1=2,
V1 V2 P .t / is equilateral and the two Brocard points coincide at the Barycenter X2 .
Proposition C.2. The locus of ˝1 and ˝2 with V1 D Œ0; a and V2 D Œa; 0 are a
pair of identical skewed teardrop shapes given by:
" #
sin2 t C cos t sin t 1 cos t
˝1 .t / D a ;
.sin t 2/ cos t 2 sin t C 3 .sin t 2/ cos t 2 sin t C 3
" #
1 sin t cos2 t cos t C sin t
˝2 .t/ D a ;
.cos t 2/ sin t 2 cos t C 3 .sin t 2/ cos t 2 sin t C 3
Let D.Œx; y/ D Œy; x, the reflection about the diagonal. It follows that
˝2 .t/ D .D ı ˝1 /.t 2 /.
In Figure C.2 we show the shape of the locus varies in a complicated way when
V2 D Œ0; a and V1 D Œx; 0, with 0⩽x⩽a.
Proposition C.3. With V1 D Œ a; 0 and V2 D Œa; 0, the loci of the Brocard p
points are a pair of inversely-identical teardrop shapes whose areas are a2 = 5.
The one with a cusp on V1 is given by the following quartic:
x4 2x 3 C 2y 2 x 2 C 2x 2y 2 x 1 C y 4 C 4y 2 D 0
230 C. Ellipse-Mounted Brocard loci
Proof.
a cos 2t 8 a cos t C a 2 a sin 2t 4 a sin t
˝1 .t / D ;
cos 2t 9 cos 2t 9
8 a cos t C a cos 2t a 2 a sin 2t 4 a sin t
˝2 .t / D ; :
cos .2 u/ 9 cos 2t 9
Let R.Œx; y/ D Œ x; y. Then ˝2 .t/ D .R ı ˝1 /.t/. The implicit form of ˝2 is
given by
4 .x1 C a/2 a5
A1 D q
2 2
2
3 a C x1 4 a2 C x12
2 a2 ax1 C x12 .x1 C a/3 a2
A2 D 2 q
3 a2 C x12 4 a2 C x12
2
p x1 D a, the ratio of A1 and A2 by the area of the circle a both reduce
When
to 1= 5'0:4472.
C.5. Elliptic sweep, vertices on major axis 231
Figure C.1: Left: V1 and V2 are affixed to the center and top vertex of the unit
circle and a third one P .t/ revolves around the circumference. The locus of the
Brocard points ˝1 ; ˝2 are a circle (red) and a teardrop (green) whose areas are
1/9 and 2/9 that of the generating circle. The sample triangle (blue) shown is equi-
lateral, so the two Brocard points coincide. Notice the curves’ two intersections
along with the top vertex form an equilateral (orange). Right: V1 ; V2 are now
placed at the left and top vertices of the unit circle. The Brocard points of the fam-
ily describe to inversely-similar teardrop shapes. Video, Live
232 C. Ellipse-Mounted Brocard loci
Figure C.2: Loci of Brocard Points ˝1 (red) and ˝2 (green) with V2 fixed at .0; 1/
and as V1 slides from the origin along the x axis toward Œ1; 0. P .t / performs a
complete revolution on a unit circle (black). Top left: V1 D Œ0; 0, the locus of
˝1 (resp. ˝2 / is a circle (resp. a teardrop curve) of 1=9 (resp. 2=9) the area of
the external. Bottom right: when V D Œa; 0 the two loci are inversely-similar
C.5. Elliptic sweep, vertices on major axis 233
Figure C.3: Left: With antipodal V1 and V2 and P .t / revolving on the circumfer-
p
ence, the loci of the Brocards are symmetric teardrops whose area are 1= 5 that
of the circle. Right:. With V1 ; V2 at the major vertices of an ellipse of axes .a; b/,
and P .t / revolving on its boundary, the the Brocard loci (red and green) are still
symmetric (though stretched) teardrop shapes. In this case a=b D 1:5. Live
234 C. Ellipse-Mounted Brocard loci
Proof. The above is obtained with direct integration and simplification with a com-
puter algebra system (CAS).
Bibliography
W. Chapple (1746). “An essay on the properties of triangles inscribed in, and cir-
cumscribed about two given circles.” Miscellanea Curiosa Mathematica, The
Gentleman’s Magazine 4, pp. 117–124 (cit. on p. 48).
A. Chavez-Caliz (Aug. 2020). “More About Areas and Centers of Poncelet Poly-
gons.” Arnold Math J. (cit. on pp. 9, 220).
A. Connes and D. Zagier (2007). “A Property of Parallelograms Inscribed in El-
lipses.” The American Mathematical Monthly 114.10, pp. 909–914. Zbl: 1140.
51010 (cit. on p. 26).
H. S. M. Coxeter and S. L. Greitzer (1967). Geometry Revisited. Vol. 19. New
Mathematical Library. New York: Random House, Inc., pp. xiv+193. MR:
3155265. Zbl: 0166.16402 (cit. on pp. 7, 83).
U. Daepp, P. Gorkin, A. Shaffer, and K. Voss (2019). Finding Ellipses: What
Blaschke Products, Poncelet’s Theorem, and the Numerical Range Know about
Each Other. MAA Press/AMS. Zbl: 1419.51001 (cit. on pp. 7, 121, 126, 127,
143).
I. Darlan and D. Reznik (June 2021). “An App for Visual Exploration, Discovery,
and Sharing of Poncelet 3-Periodic Phenomena.” arXiv: 2106.04521 (cit. on
p. 163).
A. Del Centina (2016a). “Poncelet’s porism: a long story of renewed discoveries,
I.” Arch. Hist. Exact Sci. 70.1, pp. 1–122. Zbl: 1333.01015 (cit. on pp. i, 50).
— (2016b). “Poncelet’s porism: a long story of renewed discoveries, II.” Arch.
Hist. Exact Sci. 70.2, pp. 123–173. Zbl: 1345.01007 (cit. on pp. i, 3).
V. Dragović and M. Radnović (2021). “Poncelet polygons and monotonicity of
rotation numbers: iso-periodic confocal pencils of conics, hidden traps, and
marvels.” arXiv: 2103.01215 (cit. on p. 127).
V. Dragović and M. Radnović (2011). Poncelet Porisms and Beyond: Integrable
Billiards, Hyperelliptic Jacobians and Pencils of Quadrics. Frontiers in Math-
ematics. Basel: Springer (cit. on pp. 1, 116).
— (2014). “Bicentennial of the great Poncelet theorem (1813–2013): current ad-
vances.” Bull. Amer. Math. Soc. (N.S.) 51.3, pp. 373–445. Zbl: 1417.37034
(cit. on p. 3).
R. Ferréol (July 2020). Équation de la larme de Brocard 1. Private Communication
(cit. on p. 229).
C. Fierobe (2021). “On the circumcenters of triangular orbits in elliptic billiard.”
Journal of Dynamical and Control Systems. Accepted. arXiv: 1807 . 11903
(cit. on p. 9).
W. Gallatly (1914). The modern geometry of the triangle. Francis Hodgson. Zbl:
44.0595.17 (cit. on p. 5).
Bibliography 237
C. Kimberling (1998). Triangle Centers and Central Triangles. Vol. 129. Congr.
Numer. Utilitas Mathematica Publishing, Inc. Zbl: 0912 . 51009 (cit. on
p. 211).
— (2019). Encyclopedia of Triangle Centers. Zbl: 1423.05023. URL: http://
[Link]/ck6/encyclopedia/[Link] (cit. on pp. 7,
30, 62, 67, 68, 76, 83, 85, 88, 90, 92, 93, 107, 116, 136, 138, 141, 155, 164,
178, 196, 222).
— (2020a). Bicentric Pairs. URL: [Link] (cit. on pp. 173,
204).
— (2020b). Central Lines of Triangle Centers. URL: [Link]
(cit. on p. 136).
J. Koiller, D. Reznik, and R. Garcia (2021). “Average Elliptic Billiard Invariants
with Spatial Integrals.” arXiv: 2102.10899 (cit. on p. 22).
C. E. Lozada (Dec. 2016). Index of Triangles Referenced in ETC. last update: May
2021. URL: [Link]
[Link] (cit. on p. 170).
P. Moses (Sept. 2020). Expressions for the Area of Isodynamic Pedal and Isogonic
Antipedal Equilaterals. Private Communication (cit. on p. 67).
B. Odehnal (2011). “Poristic loci of triangle centers.” J. Geom. Graph. 15.1,
pp. 45–67. MR: 2858157. Zbl: 1266.51024 (cit. on pp. 9, 51, 55, 116, 118,
131).
D. Reznik (2011). Path of Incenter for Family of Triangular Orbits in Elliptical
Billiard. YouTube (cit. on p. 140).
— (2021a). Arful Loci of Triangles in Ellipses (cit. on p. 188).
— (May 2021b). Experimental Poncelet Media Assets. Observable (cit. on
p. 163).
— (2021c). Locus App Tutorial: a Video Walkthrough. YouTube (cit. on p. 164).
D. Reznik and R. Garcia (2021a). “Circuminvariants of 3-periodics in the elliptic
billiard.” Intl. J. Geometry 10.1, pp. 31–57 (cit. on p. 53).
— (Mar. 2021b). “Related By Similarity II: Poncelet 3-Periodics in the Homoth-
etic Pair and the Brocard Porism.” Intl. J. of Geom. 10.4, pp. 18–31 (cit. on
pp. 64, 111, 116).
D. Reznik, R. Garcia, and J. Koiller (2020a). “Can the Elliptic Billiard still surprise
us?” Math Intelligencer 42, pp. 6–17. Zbl: 1439.37031 (cit. on pp. 9, 140, 182,
198).
— (2020b). “The Ballet of Triangle Centers on the Elliptic Billiard.” Journal for
Geometry and Graphics 24.1, pp. 079–101. Zbl: 1453.37024 (cit. on p. 90).
Bibliography 239
A notable, 176
affine combination, 131, 138 circumbilliard, 53, 150
algebraic, 121 circumcircle, 17
axis circumradius, 17
antiorthic, 50, 217 closure, 1
perspective, 208 combo (barycentric), 62
computer algebra system, 7
B
concentric, 121
bicentric pair, 173
confocal, 3
billiard, 3, 19, 80, 217
conic, 9
bisected, 3
conjugate
bisection, 3
Ceva, 211
Brocard points, 109, 204, 229
isogonal, 211
C isotomic, 213
CAP, 102 conservation, 3
caustic, 3, 82 constant
Cevian, 174 Darboux’s, 20
circle Joachimsthal’s, 12
Apollonius, 62 coordinates
Brocard, 60, 110, 204 barycentric, 196
cosine, 30 trilinear, 193
Euler, 76 cubic
Lemoine, 73 Darboux, 44
240
Index 241
Thomson, 44 G
geometry
E dynamic, 3
ellipse-mounted, 168 inversive, 10
ellipses Graves’ theorem, 3
circumcircle family, 34
confocal pair, 13, 25, 131 I
dual pair, 39 incircle, 17
excentral family, 28 inellipse
homothetic pair, 38 Brocard, 59, 64, 210
incircle family, 32 MacBeath, 58
nested, 131 Mandart, 82, 217
elliptic inradius, 17
invariant, 3
functions, 224
area, 38, 111
integral, 23, 224
Brocard angle, 38
inverse functions, 226
detection, 180
modulus, 224
perimeter, 13, 150, 158
envelope, 3, 90, 173
product of areas, 151
product of excentral cosines, 19
F
ratio r=R, 17
family
semiaxes, 58, 150
antiorthic, 50
square sidelengths, 38
bicentric, 48
sum of cosines, 17, 36, 150, 158
Brocard, 64
inversion, 10
Brocard porism, 102
inversive, 147
circumcircle, 7, 34, 102, 104
iteration, 1
concentric axis-parallel, 28
confocal, 9, 11, 102 L
dual, 7, 39 limaçon, 147
excentral, 28, 102, 112 limiting points, 25, 158
focus-inversive, 147 line
homothetic, 7, 36, 64, 106 Cevian, 207
incircle, 7, 30, 103 Euler, 136, 215
non-confocal, 7 linear combination, 140
Poncelet, 166 loci, 7
poristic, 13, 48, 53, 69, 102 locus, 6
poristic excentral, 55 algebraic, 121
triangle, 166 barycenter, 104
242 Index
circumcircle, 7 orthic, 83
circumradius, 17 orthopole, 173
cosine circle, 30 pedal, 69, 205
excenters, 7 perspective, 208
excentral, 202 polar, 208
exotic, 170 sidelengths, 7
extouch, 83, 202 standard, 170
extouchpoints, 83 symmedial, 146
family, 166 symmedian, 79
Feuerbach, 202 tangential, 85
incenter, 5 type, 170
incircle, 6 triangle center, 122, 173
inradius, 17
intouch, 74, 202 V
inversive, 171 vertex parametrization, 20, 41, 69
medial, 202 videos, 10
Mittenpunkt, 7 visualization, 10
Glossary
ш cot !, page 60
ae ; be semiaxes of Ee , page 13
fj a focus of E, page 19
antiorthic axis The perspective axis of a triangle and its excentral triangle,
page 217
antipedal triangle Given a triangle T and a point P , the triangle T 0 such that T is
the pedal triangle of T 0 with respect to P , page 207
barycenter (X2 ) The center of mass of a triangle, obtained by intersecting the me-
dians, page 197
Brianchon point Point of concurrence of the three lines through the vertices of a
triangle and the points of contact of an inconic with the triangle, page 210
Brocard inellipse The inellipse centered on X39 with foci on the Brocard points,
page 210
Brocard points Unique points ˝1 and ˝2 interior to a triangle ABC such that
∠˝1 AB D ∠˝1 BC D ∠˝1 CA D ! and ∠˝2 BA D ∠˝1 CB D
∠˝2 AC D !. They are a bicentric pair of points, page 109
cevian A line from a vertex to a point on opposite sideline of a triangle, page 208
cevian triangle The triangle with vertices at the intersection of cevians through a
point P with the opposite sidelines, page 208
circumcenter (X3 ) The center of the circumcircle, obtained by intersecting the per-
pendicular bisectors, page 197
circumconic perspector The perspector of the polar triangle with respect to the
circumconic and the reference triangle, page 222
confocal caustic The confocal conic to which all segments of a billiard trajectory
are tangent, as implied by Joachimsthal’s integral, page 5
excenters The three intersections of the external bisectors to a triangle, page 200
excentral triangle The triangle with vertices at the excenters, page 200
excircles The three circles centered on each excenter and tangent to all sidelines,
page 26
extouch triangle The triangle whose vertices are the extouchpoints, page 200
extouchpoints The points of tangency of the excircles with the sidelines, page 200
Feuerbach point (X11 ) Where the incircle touches the nine-point circle, page 197
Feuerbach triangle The triangle whose vertices are where the 9-point circle
touches each of the excircles, page 203
Gergonne point (X7 ) The perspector of a triangle and its intouch triangle,
page 197
incenter (X1 ) The center of the incircle, obtained by intersecting the three internal
angle bisectors of a reference triangle, page 197
incircle The circle touching each side of a triangle. Its center is X1 , page 7
inconic A conic tangent to the each of the sidelines of a triangle, page 42
inconic perspector See Brianchon point, page 210
inellipse An inconic which is an ellipse, page 34
inradius Radius of the incircle, page 17
intouch triangle A triangle whose vertices are the intouchpoints, page 200
intouchpoints The points of tangency of the incircle with the sidelines, page 200
invariant a quantity that is conserved in a 1d-family of periodic trajectories,
page 17
isogonal conjugate Given a point P , reflect the three P -cevians about the angular
bisectors. These meet at the isogonal conjugate of P , page 211
isotomic conjugate Given a triangle Pi , i D 1; 2; 3, and a point X, consider the
intersections Qi of cevians through X with the opposite side. Let Qi0 be the
reflection of Qi about the midpoint of the corresponding side side. Lines
Pi Qi0 meet at X 0 , the isotomic conjugate of X, page 213
Kimberling center A triangle center catalogued as Xk on Kimberling’s Encyclo-
pedia of Triangle Centers (ETC), page 76
MacBeath inconic The inellipse centered on the center X5 of the nine-point circle.
Its foci are X3 and X4 , page 58
Mandart inellipse The inconic centered on X9 , whose perspector is X8 , page 217
medial triangle A triangle with vertices at the midpoints of the sides of a reference
triangle, page 202
mittenpunkt (X9 ) Where lines from each excenter through sides’ midpoints con-
cur, page 197
Glossary 249
Nagel point (X8 ) The perspector of a triangle and its extouch triangle, page 197
nine-point center (X5 ) The center of the nine-point circle, page 197
nine-point circle A circle passing through sides’ midpoints. It also contains the
feet of altitudes and the midpoints between vertices and the orthocenter.
Its center is X5 , page 104
orthic triangle A triangle whose vertices are the feet of the three altitudes, page 39
Pascal’s limaçon Given a point P and a circle C, the limaçon (small snail) is the
envelope of all circles with centers on C which pass through P. The inver-
sive image of an ellipse with respect to a focus-centered circle is a loopless
limaçon, page 148
pedal triangle Given a point P , the triangle with vertices at the feet of perpendic-
ulars from P dropped onto the sidelines of a reference triangle, page 207
perspective axis For two perspective triangles, the line through the (collinear) in-
tersections of corresponding sidelines, page 208
polar The line which is the dual of a point with respect to conic, page 208
polar triangle The triangle bounded by the polars of the vertices of a triangle with
respect to a conic, page 208
pole The point which is the dual of a line with respect to a conic, page 208
Poncelet trajectory The piecewise linear trajectory resulting from sequential Pon-
celet iterations, page 1
Poncelet’s porism A pair of conics which admits a closed Poncelet trajectory after
N iterations (N-periodic) is associated with a 1d family of such N-periodic
trajectories, page 13
Spieker center (X10 ) The incenter of the medial triangle, page 197
stationary point A triangle center which remains stationary over the 1d family of
3-periodic trajectories in some conic pair, page 6
impa
Instituto de
Matemática
Pura e Aplicada
9 786589 124436