Trig Multiple-Angle Partial Fractions

Summary: §237, §246–§256. By reading Vieta’s reciprocal-root formula off the multiple-angle polynomial, Euler expresses , , , , and (tangent version) each as a sum of terms involving the same function at equally-spaced shifted angles. These generalize the §181–§183 partial fractions of Chapter 10 from a fixed denominator to a sliding one.

Sources: chapter14 (§237, §246–§256)

Last updated: 2026-05-10


Cosecant sum (§237)

From the reciprocal-root Vieta formula applied to the odd- polynomial in , the sum of reciprocals of all roots equals the ratio of the -degree coefficient to the constant term. Euler writes this as:

where there are terms (source: chapter14, §237). In terms of cosecants:

Example (§237):

The general formula for odd (§237):

(source: chapter14, §248).

Cotangent sum (§237)

Dividing the cosecant formula by the matching product formula for and differentiating with respect to (implicitly), or equivalently by reading another Vieta coefficient, Euler also states:

i.e., — a sum of cotangents (source: chapter14, §250).

The general formula for odd (§251):

For even (§256):

(source: chapter14, §256). The alternating signs arise from .

Secant sum (§246)

From the cosine polynomial (§243), whose leading coefficient is 1 (the equation begins with 1), applying the same Vieta procedure:

For odd , the general formula (§246):

(source: chapter14, §247). Euler works out examples for explicitly.

Tangent and cotangent via De Moivre (§249–§256)

Setting and expanding via the binomial theorem:

(source: chapter14, §249). For odd , the numerator has degree and the denominator has degree . The roots of the numerator (when is set to a fixed value) are

From the coefficient of the second term (§252, §255), the sum of all roots is when the equation begins with the constant 1. For odd (§253):

For even (§255–§256), comparing the highest-power equation with the factored form gives:

Product of tangents (§254, §257)

For odd , the product of all tangent roots equals (source: chapter14, §254):

For even , the product of all tangent roots equals (§257):

because the roots come in complementary pairs , so each pair has product (source: chapter14, §257).

Comparison with Chapter 10 (§181–§183)

The §181–§183 formulas express and as series . The Chapter 14 formulas are the finite- analogue: as a finite sum of cotangents. As with fixed, each term contributes , and the sum converges to the Chapter 10 Mittag-Leffler expansion. Chapter 14 thus provides the finite scaffolding from which Chapter 10’s infinite partial fractions emerge as a limit.