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:
| Operation | Result |
|---|---|
| even | odd |
| even odd | odd |
| even odd | odd |
| odd even | odd |
| odd odd | even |
| odd odd | even |
| (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 .