Worked solution: Euler's proof via the sine product formula (1734–1735)
Step 4 of 6: Expand the product to order x²
In plain words
For an ordinary finite polynomial, there is a shortcut (Vieta's relations) that reads the sum of the reciprocal roots straight off the coefficient of : no need to know the roots individually. Euler applied that very same shortcut to his infinite product, formally multiplying it out and reading off the coefficient of .
Detailed analysis
Multiplying out infinitely many factors formally, the coefficient of is minus the sum of the reciprocals of the "squared roots" — exactly the rule (Vieta's relations) that gives the sum of reciprocal roots of a finite polynomial from its coefficients.
- Vieta's relations
- Formulas expressing the coefficients of a polynomial as sums and products of its roots; in particular the coefficient of in a polynomial with leading coefficient and constant term is minus the sum of the reciprocal roots.