Perspective Central Triangles Formed from a Triangle and a Transversal

Technical Summary: Perspective Central Triangles Formed from a Triangle and a Transversal

Problem Statement
The paper investigates a geometric configuration involving a reference triangle $ABC$ and an admissible transversal line $\ell$ (a line not passing through any vertex and not parallel to any side). The line $\ell$ intersects the sidelines $BC$, $CA$, and $AB$ at points $D$, $E$, and $F$, respectively, forming three "corner" triangles: $\triangle AEF$, $\triangle BFD$, and $\triangle CDE$.

The central problem is to determine conditions under which a "central triangle" formed by placing a fixed triangle center $X_n$ (from the Encyclopedia of Triangle Centers, ETC) into each of these three corner triangles is perspective with the reference triangle $ABC$. Specifically, the authors seek to identify when the cevians $AG$, $BH$, and $CI$ (where $G, H, I$ are the $X_n$-points of the respective corner triangles) are concurrent.

Methodology
The research employs a hybrid approach combining computational discovery with rigorous geometric and algebraic proof:

1. Computational Search: Using the software GeometricExplorer, the authors performed a numerical search over the first 1000 triangle centers ($X_1$ to $X_{1000}$) and arbitrary admissible transversals. This identified numerous cases of concurrence, providing empirical evidence for specific centers.
2. Barycentric Analysis: The core theoretical framework utilizes homogeneous barycentric coordinates. The authors derive a general algebraic criterion for concurrence (Theorem 3.1), reducing the geometric problem to the condition $S + T = 0$, where $S$ and $T$ are products of center function evaluations on the side lengths of the corner triangles.
3. Synthetic Geometry: For specific representative centers (circumcenter $X_3$, orthocenter $X_4$, and Clawson point $X_{19}$), the authors provide elementary geometric proofs involving isogonal conjugation and properties of parallel lines.
4. Functional Characterization: The paper develops a "shape function" approach, analyzing how center functions behave under the swapping of base angles in the corner triangles. This leads to a functional equation analysis to characterize all possible concurrent centers.

Key Contributions and Results

• General Concurrence Criterion: Theorem 3.1 establishes that cevians are concurrent if and only if $S + T = 0$. This serves as the foundational tool for all subsequent proofs.
• Identification of Concurrent Centers:
  • Theorem 2.1: Lists 24 specific ETC indices (including $X_3, X_4, X_{19}, X_{24}, X_{25}, X_{48}, X_{49}, X_{63}, X_{68}, X_{69}, X_{92}, X_{93}, X_{184}, X_{186}, X_{264}, X_{265}, X_{304}, X_{305}, X_{317}, X_{328}, X_{340}, X_{378}, X_{563}, X_{847}$) that are concurrent for every admissible transversal.
  • Parity Criterion (Theorem 5.1): Identifies an infinite family of concurrent centers defined by the function $f_{k,m}(x,y,z) = x^k(y^2+z^2-x^2)^m$. Concurrence holds if and only if the exponent $m$ is odd. This explains the concurrence of $X_3, X_4,$ and $X_{19}$ and generates many others.
  • Preserving Operations (Section 6): The authors define six operations (isotomic conjugation, isogonal conjugation, side-power, co-side-power, symmetric multiplication, and angular multiplication) that preserve the property of concurrence. This allows the generation of large families of concurrent centers from known seeds.
• Complete Characterization (Section 7):
  • Theorem 7.3 (Characterization Theorem): Provides a necessary and sufficient condition for a center to be concurrent for every admissible transversal. A center function is concurrent if and only if its shape function factors as $F(\alpha, \beta, \gamma) = \phi(\alpha)M(\alpha, \beta, \gamma)$, where $M$ is fully symmetric and $\phi$ is odd about $\pi/2$.
  • Theorem 7.4 (Trigonometric Normal Form): Translates the characterization into an explicit form for barycentric coordinates: $f(a,b,c) = \cos A \Phi(\cos^2 A) + \sin A \cos A \Psi(\cos^2 A)$, up to a symmetric factor. This form exhausts all such centers.
• Directional Dependence: Theorem 9.2 proves that concurrence depends only on the direction of the transversal, not its specific position. If a center is concurrent for one line, it is concurrent for all parallel lines.
• The Euler Line Case (Section 12):
  • The paper identifies a distinct set of centers (e.g., $X_{99}, X_{107}, X_{110}$) that are concurrent specifically for the Euler line (and lines parallel to it), even if they are not concurrent for all transversals.
  • The Reciprocity Theorem (Theorem 12.8): Establishes a reciprocal relationship for the Euler line: if center $X$ has perspector $Y$ for the Euler line, then center $Y$ has perspector $X$ for the Euler line.
  • Steiner Point ($X_{99}$): Proved to be concurrent for the Euler line, serving as a seed for an orbit of concurrent centers via preserving operations.

Significance
The paper claims to provide a "complete characterization" of the center functions whose associated cevians are concurrent for every admissible transversal. By moving from a list of empirical examples to a rigorous functional classification (Theorem 7.3 and 7.4), the authors resolve the general problem of when such perspectivities occur.

The work demonstrates the utility of "computer-discovered mathematics" by using numerical searches to identify patterns, which are then formalized into general theorems. The authors explicitly state that their characterization explains every concurrent center found in their initial search of the first 1000 ETC centers. Furthermore, the discovery of the reciprocity property for the Euler line and the identification of specific centers concurrent only for that direction extend the understanding of triangle geometry beyond universal transversals.

The paper concludes modestly, noting that while the general case is fully characterized, the specific case of the Euler line reveals additional structures (such as the orbit of $X_{99}$) and leaves open the conjecture that centers on the circumcircle concurrent for the Euler line are exactly those in the orbit of $X_{99}$.