Via simulation, we discover and prove curious new Euclidean properties and invariants of the Poncelet family of harmonic polygons.
Via simulation, we discover and prove curious new Euclidean properties and invariants of the Poncelet family of harmonic polygons.
We investigate properties of Poncelet $N$-gon families inscribed in a parabola and circumscribing a focus-centered circle. These can be regarded as the polar images of a bicentric family with respect to the circumcircle, such that the bicentric incircle contains the circumcenter. We derive closure conditions for several $N$ and describe curious Euclidean properties such as straight line, circular, and point, loci, as well as a (perhaps new) conserved quantity.
We analyze loci of triangles centers over variants of two-well known triangle porisms: the bicentric family and the confocal family. Specifically, we evoke a more general version of Poncelet's closure theorem whereby individual sides can be made tangent to separate caustics. We show that despite a more complicated dynamic geometry, the locus of certain triangle centers and associated points remain conics and/or circles.
We propose a theory which predicts the ellipticity of a triangle center's locus over a Poncelet 3-periodic family. We show that if the triangle center can be expressed as a fixed affine combination of barycenter, circumcenter, and a third, stationary point over some family, then its locus will be an ellipse. Taking billiard 3-periodics as an example, the third point is the mittenpunkt. We derive conditions under which a locus degenerates to a segment or is a circle. We show a locus turning number is either plus or minus 3 and predict its movement monotonicity with respect to vertices of the 3-periodic family. Finally, we derive a (long) expression for the loci of the incenter and excenters over a generic Poncelet 3-periodic family, showing they are roots of a quartic. We conjecture (i) those loci are convex, and (ii) that they can only be ellipses if the pair is confocal, i.e., within a 1d subspace of the 5d space of ellipse pairs which admit 3-periodics.
We provide a theory as to why the locus of a triangle center over Poncelet 3-periodics in an ellipse pair is an ellipse or not. For the confocal pair (elliptic billiard), we show that if the center can be expressed as a fixed affine combination of barycenter, circumcenter, and mittenpunkt (which is stationary over the confocal family), then its locus will be an ellipse. We also provide conditions under which a particular locus will be a circle or a segment. We also analyze locus turning number and monotonicity with respect to vertices of the 3-periodic family. Finally we write out expressions for the convex quartic locus of the incenter for a generic Poncelet family, conjecturing it can only be an ellipse if the pair is confocal.
Poncelet N-periodics in a confocal pair (elliptic billiard) conserve the same sum of cosines as their affine image with fixed incircle. For N=3, the vector of cosines in either family sweep the same planar curve: an equilateral cubic resembling a plectrum (guitar pick). We also show that the family of excentral triangles to the confocal family conserves the same product of cosines as its affine image with fixed circumcircle. In cosine space cosine triples in either family sweep the same spherical curve. The associated planar curve in log cosine space is also plectrum-shaped, though rounder than the one swept by its parent confocal family.
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 linear combination of barycenter and circumcenter, its locus over the family is an ellipse.
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 linear combination of barycenter and circumcenter, its locus over the family is an ellipse.