Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2603.00001

Generalized Chapple--Euler Relation

Vladimir Dragović·Mohammad Hassan Murad
View original source ↗Read source document ↗Export metadata ↓

Abstract

We provide a new proof of the necessary and sufficient condition for a triangle to be circumscribed about a central conic (ellipse or hyperbola), expressed in terms of the circumradius and the distances from the circumcenter to the foci. If the inscribed conic is an ellipse, in the limiting case, where the foci coincide, the condition reduces to the classical Chapple--Euler relation. We also prove that the sum of the squares of the sides of a triangle in a family inscribed in a circle and circumscribed about a central conic remains invariant throughout the family if and only if the center of the circle coincides either with the center of the conic or with one of its foci. Using Blaschke products of degree three and affine transformations, we characterize all central $3$-Poncelet pairs with constant triangle area. We prove that the associated family of triangles has constant area if and only if the two conics are homothetic ellipses. We also prove two observations of Reznik concerning the invariance of the total area of the power circles of Poncelet triangles by relating them to Apollonius's identity on medians and establish a more general result valid for both ellipses and hyperbolas. Finally, we propose two conjectures on area invariance of power-circles.

Explore related subjects

math.GM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Vladimir Dragović, Mohammad Hassan Murad. 2026-06-21. Generalized Chapple--Euler Relation. https://doi.org/10.1007/s40879-026-00919-z

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

A Proof of Liu's Conjecture on the Fundamental Triangle Inequality

Let $a,b,c$ be the side lengths of a triangle, and let $R$ and $r$ denote its circumradius and inradius, respectively. Liu proposed the conjecture \[ \sum_{\text{cyc}} \left(\frac{a(b+c-a)}{bc}\right)^k \ge 2+\left(\frac{2r}{R}\right)^k,\qquad k>1, \] with the reverse inequality for $k<1$. We prove this conjecture by reducing it to an algebraic inequality for three positive variables with prescribed sum and product. We also determine the equality cases.

math.GM↗
arXiv2026

A quadratic critical-value conjecture for the fifth Bessel moment

We conjecture an explicit evaluation of the pure fifth Bessel moment $\int_0^\infty K_0(t)^5\,dt$ as a quadratic expression in the critical value $L(f,2)$ of the weight-three, level-60 newform $f$ (LMFDB orbit 60.3.b.a) identified in the twisted fifth-moment modularity theorem of Lim, Tu and Yu, with coefficients in $\mathbb{Q}(\sqrt{5})$ and the square taken before the real and imaginary parts. Directed interval computations, using no stored Bessel or $L$-values, bound the absolute discrepancy by $10^{-358}$. We prove three exact modular identities for $f$: the Petersson-norm formula $\langle f,f\rangle_{60} = \frac{3(5-\sqrt{5})}{2π^4}|L(f,2)|^2$, the coefficient-conjugation relation $L(f^σ,2) = κL(f,2)$ with explicit $κ\in \mathbb{Q}(\sqrt{5},i)$, and the twisted symmetric-square evaluation $L(χ_{-4}\mathrm{Sym}^2 f,2) = \sqrt{15}\,π^2 \langle f,f\rangle_{60}$, together with $L(χ_{-4}\mathrm{Sym}^2 f,3) = π^4\langle f,f\rangle_{60}/8$, in the full Euler-factor normalization of Lim, Tu and Yu. The last identity shows that the companion norm conjecture $D_{5,\mathrm{odd}} = \frac{3\sqrt{15}(5-\sqrt{5})}{2}|L(f,2)|^2$ is equivalent to the symmetric-square conjecture $D_{5,\mathrm{odd}} = π^2 L(χ_{-4}\mathrm{Sym}^2 f,2)$ of Lim, Tu and Yu, while the exact relation $D_{5,\mathrm{even}} = π^2 D_{5,\mathrm{odd}}/(2\sqrt{15})$ follows from Chuang's period formulas. Every Bessel-to-modular equality, including the individual-period formula, remains conjectural. Complete proofs, exact rational certificates and verification programs are included as ancillary files.

math.GM↗