Even and Odd Functions

Summary: Euler defines even and odd functions by their behavior under , and derives their multiplicative rules. The modern definitions appear here essentially unchanged.

Sources: chapter1

Last updated: 2026-04-23


Definitions

Even function (§18): is even in if for every . Equivalently, appears everywhere with even exponent.

Odd function (§21): is odd in if . Equivalently, appears everywhere with odd exponent.

Examples

Even (source: chapter1, §18):

  • Powers with an even integer (positive or negative).
  • with even, odd.
  • Polynomials in even powers only:
  • Rational functions whose numerator and denominator are even:
  • Fractional-exponent variants like , provided every exponent is an even integer divided by an odd integer.

Odd (source: chapter1, §21):

  • with and both odd integers.
  • .

Multiplicative rules

From §§22-23:

OperationResult
even odd
even oddodd
even oddodd
odd evenodd
odd oddeven
odd oddeven
(odd)even
(odd)odd

These are just the familiar parity rules. Euler’s proofs are direct substitutions of for .

Even functions as functions of (§20)

An even function of can be obtained by starting with any function and substituting . The caveat: if contains or any form that disappears under the substitution, the result is not actually even. Euler’s counterexample is , which becomes under — odd and even terms mixed.

Multi-valued even and odd functions

A multi-valued function of is even (§19) if the defining equation has appearing only with even exponents. Examples:

  • — but this is not purely even, since it has . Euler’s actual examples are along the lines of for three-valued even.
  • General template: with single-valued even functions gives a two-valued even ; analogously gives three-valued even.

Reciprocity for odd functions (§24)

If is an odd function of , then is an odd function of . Example: gives .

Parity from the defining equation (§25)

If is defined implicitly by an equation in and such that in every term the sum of the exponents of and has the same parity (all even, or all odd), then is an odd function of . Example: — each term has exponent-sum 3, 3, 3, 1, 1 (all odd), so is odd in .