arXiv subjects
Publications and source records attributed to Ronaldo Garcia.
We prove that over a generic Poncelet triangle family, the locus of the circumcenter of an inversive triangle is a conic. Additionally, we prove an earlier conjecture: over generic Poncelet triangles, two unique points exist which maintain constant power with respect to the circumcircle and Euler's circle of the family, respectively.
We classify the $O(p)\times O(q)$-invariant constant mean curvature hypersurfaces with singularity at the origin, solving a conjecture of Wu-yi Hsiang.
We describe some three-dozen curious phenomena manifested by parabolas inscribed or circumscribed about certain Poncelet triangle families. Despite their pirouetting motion, parabolas' focus, vertex, directrix, etc., will often sweep or envelop rather elementary loci such as lines, circles, or points. Most phenomena are unproven though supported by solid numerical evidence (proofs are welcome). Some yet unrealized experiments are posed as "challenges" (results are welcome!).
Via simulation, we discover and prove curious new Euclidean properties and invariants of the Poncelet family of harmonic polygons.
We revisit constructions based on triads of conics with foci at pairs of vertices of a reference triangle. We find that their 6 vertices lie on well-known conics, whose type we analyze. We give conditions for these to be circles and/or degenerate. In the latter case, we study the locus of their center.
Using experimental techniques, we study properties of the "circumcenter map", which, upon $n$ iterations sends an $n$-gon to a scaled and rotated copy of itself. We also explore the topology of area-expanding and area-contracting regions induced by this map.
A triangle center such as the incenter, barycenter, etc., is specified by a function thrice- and cyclically applied on sidelengths and/or angles. Consider the 1d family of 3-periodics in the elliptic billiard, and the loci of its triangle centers. Some will sweep ellipses, and others higher-degree algebraic curves. We propose two rigorous methods to prove if the locus of a given center is an ellipse: one based on computer algebra, and another based on an algebro-geometric method. We also prove that if the triangle center function is rational on sidelengths, the locus is algebraic
We study loci and properties of a Parabola-inscribed family of Poncelet polygons whose caustic is a focus-centered circle. This family is the polar image of a special case of the bicentric family with respect to its circumcircle. We describe closure conditions, curious loci, and new conserved quantities.
We analyze loci of triangle centers over variants of two-well known triangle porisms: the bicentric and confocal families. Specifically, we evoke the general version of Poncelet's closure theorem whereby individual sides can be made tangent to separate in-pencil caustics. We show that despite the more complicated dynamic geometry, the locus of certain triangle centers and associated points remain conics and/or circles.
We explore geometric and topological properties of 3d surfaces swept by Poncelet triangles, as well as tangles formed by associated points.
We explore properties and loci of a Poncelet family of polygons -- called here Steiner-Soddy -- whose vertices are centers of circles in the Steiner porism, including conserved quantities, loci, and its relationship to other Poncelet families.
New invariants in the one-dimensional family of 3-periodic orbits in the elliptic billiard were introduced by the authors in "Can the Elliptic Billiard Still Surprise Us?" (2020), Math. Intelligencer, 42(1): 6--17, some of which were generalized to $N>3$. Invariants mentioned there included ratios of radii and/or areas, sum of angle cosines, and a special stationary circle. Here we present some of the proofs omitted there as well as a few new related facts.
We present a theory which predicts if the locus of a triangle center over certain Poncelet triangle families is a conic or not. We consider families interscribed in (i) the confocal pair and (ii) an outer ellipse and an inner concentric circular caustic. Previously, determining if a locus was a conic was done on a case-by-case basis. In the confocal case, we also derive conditions under which a locus degenerates to a segment or a circle. We show the locus' turning number is +/- 3, while predicting its monotonicity with respect to the motion of a vertex of the triangle family.
It has been shown that the family of Poncelet N-gons in the confocal pair (elliptic billiard) conserves the sum of cosines of its internal angles. Curiously, this quantity is equal to the sum of cosines conserved by its affine image where the caustic is a circle. We show that furthermore, (i) when N=3, the cosine triples of both families sweep the same planar curve: an equilateral cubic resembling a plectrum (guitar pick). We also show that (ii) the family of triangles excentral to the confocal family conserves the same product of cosines as the one conserved by its affine image inscribed in a circle; and that (iii) cosine triples of both families sweep the same spherical curve. When the triple of log-cosines is considered, this curve becomes a planar, plectrum-shaped curve, rounder than the one swept by its parent confocal family.
We compare loci types and invariants across Poncelet families interscribed in three distinct concentric Ellipse pairs: (i) ellipse-incircle, (ii) circumcircle-inellipse, and (iii) homothetic. Their metric properties are mostly identical to those of 3 well-studied families: elliptic billiard (confocal pair), Chapple's poristic triangles, and the Brocard porism. We therefore organized them in three related groups.
The 1d family of Poncelet polygons interscribed between two circles is known as the Bicentric family. Using elliptic functions and Liouville's theorem, we show (i) that this family has invariant sum of internal angle cosines and (ii) that the pedal polygons with respect to the family's limiting points have invariant perimeter. Interestingly, both (i) and (ii) are also properties of elliptic billiard N-periodics. Furthermore, since the pedal polygons in (ii) are identical to inversions of elliptic billiard N-periodics with respect to a focus-centered circle, an important corollary is that (iii) elliptic billiard focus-inversive N-gons have constant perimeter. Interestingly, these also conserve their sum of cosines (except for the N=4 case).
Inverting the vertices of elliptic billiard N-periodics with respect to a circle centered on one focus yields a new "focus-inversive" family inscribed in Pascal's Limaçon. The following are some of its surprising invariants: (i) perimeter, (ii) sum of cosines, and (iii) sum of distances from inversion center (the focus) to vertices. We prove these for the N=3 case, showing that this family (a) has a stationary Gergonne point, (b) is a 3-periodic family of a second, rigidly moving elliptic billiard, and (c) the loci of incenter, barycenter, circumcenter, orthocenter, nine-point center, and a great many other triangle centers are circles.
We study center power with respect to circles derived from Poncelet 3-periodics (triangles) in a generic pair of ellipses as well as loci of their triangle centers. We show that (i) for any concentric pair, the power of the center with respect to either circumcircle or Euler's circle is invariant, and (ii) if a triangle center of a 3-periodic in a generic nested pair is a fixed affine combination of barycenter and circumcenter, its locus over the family is an ellipse.