Summoning Cthulhu: sin^2 + cos^2 with power series

I would like to dedicate this post to the Redditor AlanCrowe. When I claimed that working out the formula using power series wouldn’t be that big of a deal, he said that this was “a rash thing to do” and that I would “end up summoning Cthulhu doing weird shit like that.”

How could I resist such a dare? The following manipulations contain no real mysteries; they are all direct applications of the binomial theorem and the distributive law. There is a small but transparent trick using complex numbers, which can be eliminated at the expense of more combinatorial footwork.

Disclaimer: Be careful working with power series. Power series may carry high voltages. Improper handling of power series may result in extreme divergence or serious mental anguish. Power series have no remorse. Do not taunt power series. If the double summations make you queasy, go for a short walk outside. I’ll wait.

Step 1:

Step 2:

Step 3:

UPDATE: notfancy has accused me of being a “cheater” for my use of complex numbers, claiming that I am relying on an implicit call to De Moivre’s theoremEuler’s formula. I have seen this view elsewhere as well, that the use of tricks like this is tantamount to pulling a rabbit out of a hat.

I have a somewhat different viewpoint. At the heart of the series for and is the periodic sequence . And surely the mathematical techniques for manipulating this series can be no simpler than the series itself! In other words, I feel that my observation that we can write this sequence as was just notational convenience and nothing more. My own style is to prefer algebra to case analysis because I tend to make more mistakes in the latter.

To illustrate this, I am presenting the same proof, without an appeal to complex numbers. It requires a little more thought, but is overall a much simpler-looking approach.

First, for the purpose of notation, we need to make an observation about power series. If and , then . Nothing special here; just the distributive law. (if you are interested in going deeper into these kinds of manipulations of sequences, I highly recommend Wilf’s generatingfunctionology, available for free online)

In the same notation, if and , then and are the sequences and respectively.

Steps 1 and 2:

where , and

where

Step 3:

where .

We have and , so . All that remains to be shown is that for all .

First, suppose that is odd. Then for all , so .

Now, suppose that is even. Then and . Hence .

Like this:

LikeLoading...

Related

This entry was posted on Tuesday, January 6th, 2009 at 9:57 pm and is filed under Uncategorized. You can follow any responses to this entry through the RSS 2.0 feed.
You can leave a response, or trackback from your own site.

9 Responses to Summoning Cthulhu: sin^2 + cos^2 with power series

What algebraic properties must x have for those manipulations to be valid? It seems clear that we never use any of the ordering properties of the reals, so the argument works just as well for complex numbers. Err, how do you have a complex angle? That seems just wrong. Hence my jest about summoning Cthulhu which I expand in a tongue-in-cheek blog post.

Do we commutivity? If with view the polynomials as a module over the reals we only seem to be using commutivity of the reals. The angles could be quaterions. Indeed we don’t make much use of associativity, it only has to work with powers of x. So a power associative algebra will do.

This surprised me, so I’ve coded up the Cayley-Dickson construction and been checking numerically to see if I’ve missed something. cosine squared plus sine squared equals one works for a few randomly chosed octonians, and sedenions, so it looks as if any power associative algebra will do.

You accuse me of consorting with evil powers, and then I see you here, fully dressed in the black robes worn by the disciples of The Dark One, knife held above the sacrificial altar with no remorse or hesitation in your eyes at all!

Indeed, I intended these manipulations to be purely formal, in, say, the ring of integer power series , but to translate it to an analytical context in some demonic algebra , we seem to need only two things: a nice morphism , and a norm. Cayley-Dickson seems to provide both, as power associativity is indeed the only requirement for such a morphism to exist. Absolute convergence follows, dooming us all.

[...] a visit. In a two-part act brought on by a challenge of Alan Crowe on Reddit, my friend lydianrain summons Cthulhu with power series (or at least shows that in the way you least want to do it in). Alan of course reciprocates with [...]

Doron Zeilberger illustrates a combinatorial proof of this identity in the Princeton Companion by identifying the power series of sine and cosine with certain weighted exponential generating functions. More generally, there’s a certain philosophy that essentially every power-series argument is a combinatorial argument in disguise.

Isn’t it much much easier to say sin^2(x) = [1-cos(2x)]/2, and the similar formula for cos^2(x), to find two extremely easy and fundamental power series and simply add them together?

That would be cheating; the goal is to prove a formula given a definition. To use your auxiliary formula, you would first need to demonstrate, in the ring of formal power series, that sin^2(x) = [1-cos(2x)]/2. This demonstration would be slightly harder than my post, as it would require explicitly calculating the b_n and d_n.

What algebraic properties must x have for those manipulations to be valid? It seems clear that we never use any of the ordering properties of the reals, so the argument works just as well for complex numbers. Err, how do you have a complex angle? That seems just wrong. Hence my jest about summoning Cthulhu which I expand in a tongue-in-cheek blog post.

Do we commutivity? If with view the polynomials as a module over the reals we only seem to be using commutivity of the reals. The angles could be quaterions. Indeed we don’t make much use of associativity, it only has to work with powers of x. So a power associative algebra will do.

This surprised me, so I’ve coded up the Cayley-Dickson construction and been checking numerically to see if I’ve missed something. cosine squared plus sine squared equals one works for a few randomly chosed octonians, and sedenions, so it looks as if any power associative algebra will do.

You accuse me of consorting with evil powers, and then I see you here, fully dressed in the black robes worn by the disciples of The Dark One, knife held above the sacrificial altar with no remorse or hesitation in your eyes at all!

Indeed, I intended these manipulations to be purely formal, in, say, the ring of integer power series , but to translate it to an analytical context in some demonic algebra , we seem to need only two things: a nice morphism , and a norm. Cayley-Dickson seems to provide both, as power associativity is indeed the only requirement for such a morphism to exist. Absolute convergence follows, dooming us all.

Correction: what we’re actually looking for is a *complete* norm, and a morphism . Both of which, terrifyingly, we have.

[...] a visit. In a two-part act brought on by a challenge of Alan Crowe on Reddit, my friend lydianrain summons Cthulhu with power series (or at least shows that in the way you least want to do it in). Alan of course reciprocates with [...]

If you think that’s summoning Cthulhu, you should see what G. H. Hardy does in the first chapter of “Divergent Series”.

Doron Zeilberger illustrates a combinatorial proof of this identity in the Princeton Companion by identifying the power series of sine and cosine with certain weighted exponential generating functions. More generally, there’s a certain philosophy that essentially every power-series argument is a combinatorial argument in disguise.

Cool, thanks for the tipâ€“I’ll check it out in my copy.

Isn’t it much much easier to say sin^2(x) = [1-cos(2x)]/2, and the similar formula for cos^2(x), to find two extremely easy and fundamental power series and simply add them together?

That would be cheating; the goal is to prove a formula given a definition. To use your auxiliary formula, you would first need to demonstrate, in the ring of formal power series, that sin^2(x) = [1-cos(2x)]/2. This demonstration would be slightly harder than my post, as it would require explicitly calculating the b_n and d_n.