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.