Quartic Equations

Summary: Euler’s treatment of equations of the fourth degree — four roots, Vieta’s relations, the rational root theorem, Descartes’ sign rule, and two general solution methods (Bombelli and the radical ansatz).

Sources: chapter-1.4.13, chapter-1.4.14, chapter-1.4.15

Last updated: 2026-05-03


Classification

TypeFormMethod
PureTwo successive square roots; four roots
IncompleteSubstitute ; reduce to quadratic
PalindromicCoefficients symmetricFactor into two quadratics
GeneralBombelli or radical-ansatz method

Four Roots

Every quartic has exactly four roots (source: chapter-1.4.13, §752). They arise from the factored form:

Some roots may be imaginary; Euler shows that the pure quartic has (real) and (imaginary). See ch1.4.13-quartic-equations.

Vieta’s Relations

For with roots (source: chapter-1.4.13, §754–755):

See vieta-formulas for the general framework.

Rational Root Theorem

Any rational root must divide the constant term (source: §756), since . This extends rational-root-theorem from cubics to quartics. Fractional coefficients must be cleared first (substitute ).

Descartes’ Sign Rule

The number of positive roots equals the number of sign changes between consecutive terms; the number of negative roots equals the number of same-sign successions (source: §758). See descartes-sign-rule.

Solution Methods

Bombelli’s Method (§766–768, Chapter XIV)

Write . Matching coefficients produces the Bombelli cubic in :

Solve this cubic for ; recover and ; then split the quartic into two quadratics. See bombelli-rule and ch1.4.14-bombelli-rule.

Euler’s Radical Ansatz (§774–778, Chapter XV)

Assume where are roots of an auxiliary cubic . For the depressed quartic :

The four roots are all sign combinations of consistent with . See ch1.4.15-new-method-quartic.

Removing the cubic term

Substitute in to eliminate the term before applying either method (source: §779).

Limits of Algebraic Methods

Euler notes (§780) that no general formula is known for equations of degree 5 or higher. Approximation methods must be used instead; see approximation-methods and ch1.4.16-approximation.