Determinations of the General Equation of Order

Summary: The general polynomial equation of order carries arbitrary constants (one per monomial with ), but only of them are independent. The missing one is absorbed by the projective scaling of the equation: multiplying every constant by a common factor leaves the curve unchanged, so the curve is determined by the ratios of the constants rather than by their absolute values. This is the count that governs how many points are needed to fix a curve — see curve-through-given-points.

Sources: chapter4

Last updated: 2026-04-24


The observation (§74)

Once all the constants in the general equation of order are given definite values, the curve is fixed with respect to the chosen axis. Different values pick out different curves from the family. So the general equation of order is an -parameter family of curves — but what is ?

The naive answer from general-equation-of-order-n is , the number of monomials with total degree . Euler calls this the number of constants. But the number of determinations — the number of values that can be independently chosen to specify a curve — is one less.

The reduction (§75)

This equation would seem to have three different determinations, from the three constants and . However, we know from the nature of equations that the equation is really determined by the ratio between these constants, that is, the ratio of two of them to the third. (source: chapter4, §75)

Euler’s example: if and , the equation is already determined — divide through by (assuming ) and it becomes . The never had any effect on which curve was described.

The same reduction applies at every order: multiplying every coefficient by a common nonzero scalar does not change the zero set. So one of the constants can be divided out, and only independent determinations remain.

The formula

Euler writes the first form (§75) and then uses the second in §§76–81 to state how many points a curve is fixed by:

Order Constants Determinations
132
265
3109
41514
52120
62827
73635

The column is also the number of points that pin down the curve (§§78–80). See curve-through-given-points.

Why the reduction is always by exactly one

The equation of an algebraic curve is a homogeneous condition on its coefficients: if is a valid coefficient tuple for a given curve, so is for any . The family of coefficient tuples per curve is therefore a one-parameter family (a line through the origin in the coefficient space), and a single curve corresponds to a single direction in that space. So the dimension of the space of curves is one less than the number of constants.

In modern language: the space of degree- curves is the projective space with . Euler does not use this language but does the correct count.

Relation to §58 of chapter 3

Chapter 3’s §58 noted another, compounding effect: even after fixing the determinations, different parameter choices can still describe the same curve, because the coordinate system itself is a choice. Different axis/origin/obliquity selections convert one equation into another of the same degree — see coordinate-transformations and general-equation-of-a-curve.

So there are two separate sources of redundancy in the coefficients:

  1. Projective scaling (this page, §75): one degree of freedom, always present. Reduces the count to .
  2. Coordinate choice (§58): several more degrees of freedom (origin: 2; axis direction: 1; obliquity: 1 in the oblique case), depending on which coordinate change one admits as an equivalence.

The first reduction is absolute — it is a property of the equation. The second is contextual — it depends on whether one cares to distinguish curves that differ only by a rigid motion or change of coordinates. For the point-fitting problem of §§76–81, the axis is considered fixed (a point’s abscissa and ordinate are defined against that axis), so only the first reduction applies.

Pedagogical note

Euler does not write down the closed form explicitly in §75 — he gives the example (3 → 2, 6 → 5, 10 → 9) and then says “In general, the general equation for a line of the order has determinations.” In §81 he does write , deriving it from the algebraic identity .