A Simple Trigonometric Classification of Quintic Roots

1. Problem Statement

The paper addresses the classification of the roots of a general quintic equation (degree 5). While the Abel–Ruffini theorem establishes that no general algebraic solution exists for quintic equations (i.e., roots cannot be expressed via radicals), the specific question of how many roots are real versus complex is distinct from finding the roots themselves.

The goal is to determine the number of real roots (which must be 1, 3, or 5 for a quintic with real coefficients) without solving the equation explicitly. The author seeks a method that is computationally light, conceptually natural, and extends the successful trigonometric approach previously applied to quartic equations.

2. Methodology

The core methodology relies on transforming a depressed quintic equation into a trigonometric equation using Chebyshev polynomials.

A. Depressed Quintic Form

Any monic quintic $z^5 + a_4z^4 + \dots = 0$ is first converted to a depressed form (removing the $z^4$ term) via the Tschirnhaus substitution $t = z - a_4/5$:
$$P(t) = t^5 + mt^3 + nt^2 + pt + q = 0$$
The method assumes $m < 0$. (The case $m \geq 0$ is noted as requiring hyperbolic substitutions and is left for future work).

B. Trigonometric Substitution

The author introduces a scaling factor $u$ and a substitution $t = u \cos \theta$:
$$u = 2\sqrt{\frac{-m}{5}}$$
This substitution is chosen specifically to align the coefficients of the $t^5$ and $t^3$ terms with the Chebyshev identity for the fifth kind:
$$16 \cos^5 \theta - 20 \cos^3 \theta + 5 \cos \theta = \cos 5\theta$$

C. Derivation of the Reduced Equation

Substituting $t = u \cos \theta$ into $P(t)$ and dividing by $u^5/16$ yields a new equation. By defining trigonometric parameters $\alpha, \beta, \gamma$ based on the original coefficients ($n, p, q$), the equation simplifies to:
$$f(\theta) = \alpha \cos^2 \theta + \beta \cos \theta + \cos 5\theta + \gamma = 0$$
where:

• $\alpha = \frac{16n}{u^3}$
• $\beta = \frac{16p}{u^4} - 5$
• $\gamma = \frac{16q}{u^5}$

D. Root Classification Logic

The classification relies on a bijection between the roots of $P(t)$ and the zeros of $f(\theta)$:

1. Interior Roots ($[-u, u]$): Since $\cos \theta$ maps $[0, \pi]$ bijectively to $[-1, 1]$, the roots of $P(t)$ within $[-u, u]$ correspond exactly to the zeros of $f(\theta)$ in $[0, \pi]$.
2. Exterior Roots ($|t| > u$): The behavior of $P(t)$ outside the interval is determined by the signs of $f(0)$ and $f(\pi)$ (which correspond to $P(u)$ and $P(-u)$).
   • If $f(0) < 0$, there is at least one root in $(u, \infty)$.
   • If $f(\pi) > 0$, there is at least one root in $(-\infty, -u)$.
3. Critical Point Analysis: To count the exact number of zeros of $f(\theta)$ in $[0, \pi]$, the author analyzes the derivative $f'(\theta)$. This leads to a quartic equation in $x = \cos \theta$:
   $$g(x) = 80x^4 - 60x^2 + 2\alpha x + (\beta + 5) = 0$$
   The number of real roots of this quartic in $(-1, 1)$ determines the number of critical points of $f$, which in turn bounds the number of zeros (max 5).

3. Key Contributions

• Extension of Quartic Method: Successfully generalizes the trigonometric root classification technique from quartic (degree 4) to quintic (degree 5) equations.
• Simplification of Discriminant Analysis: Replaces the complex algebraic discriminant analysis (which is unwieldy for degree 5) with a "routine computation" involving trigonometric parameters and sign checks.
• Handling the $t^2$ Term: Unlike the quartic case, the quintic reduction introduces a $\cos^2 \theta$ term (parameter $\alpha$) when the original equation has a non-zero $t^2$ coefficient ($n \neq 0$). The paper provides a complete framework for handling this added complexity.
• Asymmetric Exterior Analysis: Identifies a crucial parity flip in the exterior root analysis due to the odd degree of the polynomial (asymptotic behavior $P \to +\infty$ as $t \to +\infty$ and $P \to -\infty$ as $t \to -\infty$), requiring distinct sign checks for the left and right boundaries.

4. Results

The paper establishes a complete decision procedure to classify the number of real roots ($N_{real}$):
$$N_{real} = N_{int} + N_{ext} \in \{1, 3, 5\}$$

• $N_{int}$: Number of zeros of $f(\theta)$ in $[0, \pi]$.
• $N_{ext}$: Number of roots outside $[-u, u]$, determined by the signs of $f(0)$ and $f(\pi)$.

Specific Scenarios:

• 5 Real Roots: Occurs if $N_{int}=5$ and $N_{ext}=0$ (requires $f(0) \geq 0$ and $f(\pi) \leq 0$).
• 3 Real Roots: Occurs in three generic cases:
  1. $N_{int}=3, N_{ext}=0$ (all inside).
  2. $N_{int}=1, N_{ext}=2$ (one inside, one on each side; requires $f(0)<0, f(\pi)>0$).
  3. $N_{int}=2, N_{ext}=1$ (two inside, one outside).
• 1 Real Root: Occurs if $N_{int}=1, N_{ext}=0$ or if $N_{int}=0$ with exactly one exterior root.

The paper validates the method with three examples:

1. Perfect Case: $t^5 - 5t^3 + 5t = 0$ yields 5 real roots with $\alpha=\beta=\gamma=0$.
2. Three Real Roots: $t^5 - 5t^3 + t - 5 = 0$ yields 3 real roots.
3. One Real Root: $t^5 - 5t^3 + t^2 + 2t + 5 = 0$ yields 1 real root, demonstrating the method's robustness even with a non-zero $t^2$ term.

5. Significance

• Pedagogical Value: The method demystifies the root structure of higher-degree polynomials. It requires only knowledge of the Chebyshev identity, the Intermediate Value Theorem, and basic calculus, making it accessible to students familiar with trigonometry and algebra.
• Conceptual Elegance: It highlights a geometric connection between the bounded, oscillatory nature of the cosine function and the root distribution of polynomials.
• Bypassing Algebraic Impossibility: While the Abel–Ruffini theorem forbids a general algebraic solution for quintics, this method provides a classification tool that sidesteps the need for radical solutions entirely. It demonstrates that while we cannot always solve the quintic, we can easily characterize its roots using elementary analysis.
• Generalizability: The author suggests this pattern extends to degree-$d$ polynomials, where the Chebyshev identity $T_d(\cos \theta) = \cos d\theta$ can absorb the highest and third-highest terms, leaving a residual trigonometric equation of lower complexity.