Totally Degenerate Locus

• Totally Degenerate Locus is defined as a configuration where the typical elliptical path of a triangle center collapses into a segment or circle when |u| equals |v|.
• It arises from explicit algebraic constraints on the linear combination of triangle centers and confocal parameters, with specific ratios such as α/β playing a key role.
• This framework provides a closed-form criterion for classifying degenerate cases, impacting the turning number and monotonicity of the locus in Poncelet families.

A totally degenerate locus, in the context of loci traced by triangle centers over Poncelet triangle families, refers to a degeneration of the locus—normally a nondegenerate ellipse—into a geometrically simpler form, specifically a segment (flattened ellipse) or a circle. Such degeneracy is determined by explicit algebraic conditions on the linear combination of triangle centers and the confocal parameters, and has precise implications for the structure and traversal of the locus (Helman et al., 2021).

1. Poncelet Triangles and 3-Periodic Families

A classical setting involves Poncelet 3-periodic families, specifically triangles interscribed between an outer ellipse $\mathcal{E}: x^2/a^2 + y^2/b^2 = 1$ (with $a > b > 0$) and an inner confocal caustic ellipse derived from the parameters

$$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$

$$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$

where $a_c$, $b_c$ are the semi-axes of the inner caustic. The family of 3-periodic triangles generated in this configuration sweeps the outer ellipse $\mathcal{E}$ monotonically as the complex parameter $\lambda = e^{it}$ traverses the unit circle exactly once.

2. Parametrization of Triangle-Center Loci

Given centers $X_2$ (barycenter), $X_3$ (circumcenter), and a stationary center $a > b > 0$0 (e.g., $a > b > 0$1 in the confocal case), any triangle center of the affine-linear form

$a > b > 0$2

traces a locus parametrized by

$a > b > 0$3

The complex constants $a > b > 0$4 depend affinely on $a > b > 0$5 (not on $a > b > 0$6) and on the confocal parameters $a > b > 0$7, $a > b > 0$8.

The locus $a > b > 0$9 is an ellipse centered at $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$0 with semi-axes

$$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$1

The nondegeneracy condition for a true ellipse (i.e., not a segment or a circle) is $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$2.

3. Conditions for Total Degeneracy

Degeneracy arises precisely when $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$3. This can be analyzed in two principal cases:

• Degeneration to a Segment: $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$4 (i.e., $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$5, $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$6), yielding a flattened segment. For $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$7 (hence $$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$8), this occurs if and only if

$$c = \sqrt{a^2 - b^2}, \quad \delta = \sqrt{a^4 - a^2 b^2 + b^4},$$9

Alternatively, these ratios may be written in terms of the inradius-to-circumradius ratio $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$0 (invariant across the confocal family) as

$$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$1

• Degeneration to a Circle: $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$2 (i.e., $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$3), which in the real $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$4 case occurs if $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$5 or $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$6. The locus is then a (nontrivial) circle of radius $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$7. This corresponds to the special ratios:

$$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$8

4. Tabulation of Elliptic and Totally Degenerate Cases

Letting $$a_c = \frac{a(\delta - b^2)}{c^2},\quad b_c = \frac{b(a^2 - \delta)}{c^2}$$9, the full set of behaviors can be summarized as follows:

Behavior	Condition on $a_c$0
Nondegenerate ellipse	$a_c$1 any of the four degenerate values below
Segment (flattened)	$a_c$2 or $a_c$3
Circle	$a_c$4

This algebraic criterion establishes a complete, closed-form method for determining the fully degenerate configurations of a triangle-center locus in the classical confocal Poncelet setting.

5. Turning Number and Monotonicity

As $a_c$5 winds once counterclockwise around the unit circle, the locus $a_c$6 winds three times around its center $a_c$7. The total turning number is: $a_c$8 where the sign reverses exactly at the two segment-degeneracy ratios where $a_c$9.

For $b_c$0, the instantaneous speed $b_c$1 never vanishes, ensuring $b_c$2 traverses its nondegenerate ellipse monotonically and without backtracking. In the degenerate cases ($b_c$3 or $b_c$4), the velocity vanishes at some point, reflecting the collapse to a segment or a circle.

6. Connections Beyond the Confocal Pair

All statements and formulae for the confocal Poncelet family extend, mutatis mutandis, to the concentric-circle (incircle) Poncelet family via substitutions such as $b_c$5 and $b_c$6. Thus, the framework for identifying totally degenerate loci is applicable to broader classes of 3-periodic triangle center loci generated by Poncelet families.

7. Implications and Algebraic Decidability

This framework enables a comprehensive and easily checkable algebraic determination of when a locus of an affine-linear combination of triangle centers—two moving, one stationary—collapses from a nondegenerate ellipse to a segment or circle, for all Poncelet 3-periodic families considered. The conditions are reducible to explicit constraints on the parameters $b_c$7, yielding a direct classification of ordinary and totally degenerate loci (Helman et al., 2021).