Assuming that has a power-series representation in terms of powers of , verify that it has the form
valid for all real .
Following the hint, we recall the trig identity
Then, we know the expansion for is
So, putting these together we have
This is valid for all since the expansion for cosine is valid for all .