Sine and Cosine Factored Products

Summary: §237, §240–§242, §245. The product of the roots of the multiple-angle polynomial for (or ) yields a factorization of (or ) as times a product of sines (or cosines) of shifted angles. A single unified formula covers both odd and even .

Sources: chapter14 (§237, §240–§242, §245)

Last updated: 2026-05-10


Odd : product formula for (§237)

From §236–§237, the roots of the odd- polynomial in are . The leading coefficient of the polynomial is (from the table in §236). The constant term divided by the leading coefficient is . Writing out the product of all roots and equating:

(source: chapter14, §237). Because , the root equals for appropriate , so the product telescopes to factors total.

Example (§237):

Example (§237):

Even : product formula for (§239–§240)

For even , squaring removes the factor. The roots of the resulting polynomial come in positive/negative pairs. From the product formula for the squared version, taking the square root and identifying signs:

(source: chapter14, §239–§240). Example :

Example :

Unified formula (§241)

Euler observes that both cases are captured by the single expression (§241):

with exactly factors, the last factor being when is even, and itself paired with the outermost product terms when is odd. The full table from §241:

1
2
3
4
5
6

Cosine products (§242, §245)

Using the identity (§242), the cosine products follow from the sine products at and . Euler lists:

where there are factors (source: chapter14, §242).

In §245 a cosine-only version is derived. Using :

Sample cases from §245:

Relation to the sine-infinite-product

The §241 formula at fixed and recovers the §158 infinite product : each finite factor approximates for large , and the prefactor accounts for the in the numerator. Chapter 14’s finite products are thus a finite- refinement of Chapter 9’s infinite product.

Sum of sines of equally-spaced angles (§237)

The penultimate Vieta formula (sum of all roots, §237) gives

(sum of equally-spaced sines is zero). This is the -point discrete Fourier sum, which Euler derives here for the first time in this generality.