Cubic Species Classification

Summary: The four-case enumeration that produces all sixteen species of third-order line, organized by the factor structure of the cubic principal member.

Sources: chapter9 (§§223–235).

Last updated: 2026-04-30.


Working form

After rotating coordinates so that one real linear factor of the cubic principal member becomes , the equation reads

The principal member factors as . The remaining quadratic in has discriminant , which together with possible higher coincidences gives four exhaustive cases.

Case 1 — single real factor (§224)

Condition: , so has no real factors and only the direction is real at infinity.

Setting leaves , i.e. the straight-line asymptote with . Substituting in the lower-order members gives

Two refinement rates depending on whether vanishes:

  • FIRST species.
  • SECOND species.

Case 2 — three distinct real factors (§§225–227)

Condition: .

The same refinement applies independently to each factor: each gives an asymptote of the form or . Combinatorially this would suggest four signatures , , , . Euler tests the most general representative,

and tracks each factor:

  • gives unless .
  • gives unless .
  • gives unless .

Whenever the relevant expression vanishes, that factor’s asymptote refines to instead.

§227 — parameter analysis. Setting together with one of the other two expressions vanishing forces the third also to vanish. Therefore a curve cannot have exactly one asymptote of and exactly two of ; that combination is impossible. The signatures that survive are:

  • THIRD species — three asymptotes of .
  • FOURTH species — two of , one of .
  • FIFTH species — three of .

(Euler had tentatively introduced a “fifth” with signature and a “sixth” with signature ; the impossibility forces him to drop the entry and renumber, so what was the sixth becomes the fifth.)

Case 3 — double factor, third distinct (§§228–232)

The leading term vanishes (otherwise the principal member would have as a single factor, not a doubled one). The general equation becomes

with principal member — the doubled factor is , and the third factor is (when behaves accordingly).

The third factor produces an asymptote of the form unless

in which case it refines to . This binary alternative is then crossed with three sub-cases for the doubled factor, distinguished by what survives at .

§229 — : parabolic asymptote

Letting leaves , a parabolic asymptote of the species .

  • SIXTH species — third-factor , plus this .
  • SEVENTH species — third-factor , plus this .

§§230–231 — , with at infinity

The equation becomes

and at the constraint governs the doubled factor. Three sub-cases by the discriminant :

§230 — (no real roots — no asymptotic branch from the double factor):

  • EIGHTH species — single asymptote (from the third factor; condition ).
  • NINTH species — single asymptote (from the third factor; the equation of §228 holds).

§231 — (two distinct real roots → two parallel straight-line asymptotes ):

  • TENTH species — third-factor + the two parallel .
  • ELEVENTH species — third-factor + the two parallel .

§232 — (equal roots: ):

The double-factor equation reduces to , a parabolic asymptote of the species (i.e. const).

  • TWELFTH species — third-factor , plus this .
  • THIRTEENTH species — third-factor , plus this .

Case 4 — all three factors equal (§§233–235)

The equation becomes

§233 — : parabolic asymptote

  • FOURTEENTH species — single .

§234 — : simultaneous parabolic and rectilinear

The leading equation factors as , yielding both

  • a parabolic asymptote , and

  • a straight-line asymptote , of the species , in the direction parallel to the parabola’s axis.

  • FIFTEENTH species — one together with one , the latter parallel to the axis of the parabola.

§235 — :

The leading equation reduces to , a parabolic asymptote of the species .

  • SIXTEENTH species — single .

Summary table

SpeciesCaseAsymptote signature
I1one
II1one
III2three
IV2two + one
V2three
VI3one + one
VII3one + one
VIII3one (double factor gives no branch)
IX3one (double factor gives no branch)
X3one + two parallel
XI3one + two parallel
XII3one + one
XIII3one + one
XIV4one
XV4one + one parallel to its axis
XVI4one