Assume that has a power-series representation in terms of powers of , verify that it has the form
for all .
First, we recall the triple angle identity for the sine,
Since we know the expansion for is
we then have
In the last two steps, we moved the sum from to infinity to to infinity since the term was 0, and in the final step we reindexed the sum. This was the requested identity.