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 .