Rationalizing Substitutions

Summary: A catalog of substitutions from §47–§51 that express (containing a radical) as a pair of rational — or at least radical-free — functions of a new variable .

Sources: chapter3

Last updated: 2026-04-23


The pattern

Each case starts from a specific form of involving a radical, and gives a substitution that eliminates the radical by expressing both and as functions of a new variable .

§47 — Simple linear radical

Let . Then , so

Both are polynomials in (source: chapter3, §47).

§48 — Rational power of a linear expression

Let , so , giving

(source: chapter3, §48). Neither nor is expressible without a radical in terms of the other, but both are polynomials in .

§49 — Rational power of a linear-over-linear

Let , so , giving

(source: chapter3, §49).

Euler also notes a symmetric generalization: if , setting both sides equal to gives and as linear-fractional functions of and respectively.

§50 — Radical of two linear factors

Let . Squaring and cancelling gives a linear equation for :

(source: chapter3, §50). The celebrated special case , , gives , the circle. See rational-parametrization-of-the-circle.

Euler remarks: whenever there are two linear real factors under a radical sign, the radical can be removed by this method.

§51 — Radical of a general quadratic

The treatment branches on the signs of and .

Case I. . Let . Then

Case II. . Let . Then

Case III. . If , the quadratic factors into two real linear factors and the problem reduces to §50. Otherwise is always negative and is imaginary for real .

Euler’s worked example: . Let ; then

(source: chapter3, §51).

Scope and limits

These are the cases where algebraic substitution alone suffices. Euler notes explicitly that “other cases, which are not discussed in this treatise, cannot be reduced to a form without radicals by a substitution without radicals” (source: chapter3, §51). In modern terms: rational parametrizability is special, and not every algebraic curve admits one. It will later be known that this corresponds to the curve having genus zero.