Worked solution: Euler's proof via the sine product formula (1734–1735)
Step 2 of 6: Maclaurin series of sin x / x
In plain words
Dividing by is like peeling off the one obvious layer of the function so that what remains can be compared honestly with a product built from its other zeros; this new function equals at and its power series is just the sine series with each power of shifted down by one.
Detailed analysis
Dividing the known power series for by removes the trivial zero at and gives a function equal to there; its remaining zeros are exactly , the nonzero solutions of .
- Maclaurin series
- The power series expansion of a function around , obtained from its derivatives at that point; it lets a function be treated as an "infinite polynomial" in .
- Zero of a function
- A point where the function's value is exactly ; for these are .