Search arXivSearch

arXiv · 2106.02977

A Method for Locating the Real Roots of the Symbolic Quintic Equation Using Quadratic Equations

Abstract

A method is proposed with which the locations of the roots of the monic symbolic quintic polynomial $x^5 + a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0$ can be determined using the roots of two resolvent quadratic polynomials: $q_1(x) = x^2 + a_4 x + a_3$ and $q_2(x) = a_2 x^2 + a_1 x + a_0$, whose coefficients are exactly those of the quintic polynomial. The different cases depend on the coefficients of $q_1(x)$ and $q_2(x)$ and on some specific relationships between them. The method is illustrated with the full analysis of one of the possible cases. Some of the roots of the symbolic quintic equation for this case have their isolation intervals determined and, as this cannot be done for all roots with the help of quadratic equations only, finite intervals containing 1 or 3 roots, or 0 or 2 roots, or, rarely, 0, or 2, or 4 roots of the quintic are identified. Knowing the stationary points of the quintic polynomial, lifts the latter indeterminacy and allows one to find the isolation interval of each of the roots of the quintic. Separately, using the complete root classification of the quintic, one can also lift this indeterminacy. The method also allows to see how variation of the individual coefficients of the quintic affect its roots. No root finding iterations or any numerical approximations are used and no equations of degree higher than 2 are solved.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Emil M. Prodanov. 2021-06-05. A Method for Locating the Real Roots of the Symbolic Quintic Equation Using Quadratic Equations. https://doi.org/10.1002/adts.202200011

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

KEEP EXPLORING

Related papers

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

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