Jump to content

Trigonometry/The summation of finite series

From Wikibooks, open books for an open world

Problem Statement

[edit | edit source]

Find a closed form for

sin⁡(a)+sin⁡(a+b)+sin⁡(a+2b)+⋯+sin⁡(a+(n−1)b)

Note: A 'closed form' is not mathematically defined, but just means a simplified formula which does not involve '...', or a summation sign. In our problem, we should look for a formula that only involves variables a,b,n, and known operations like the four operations, radicals, exponents, logarithm, and trigonometric functions.

Method 1

[edit | edit source]

To sum the series

sin⁡(a)+sin⁡(a+b)+sin⁡(a+2b)+⋯+sin⁡(a+(n−1)b)=S

Multiply each term by

2sin⁡(b2)

Then we have

2sin⁡(a)sin⁡(b2)=cos⁡(a−b2)−cos⁡(a+b2)

and similarly for all terms to

2sin⁡(a+(n−1)b)sin⁡(b2)=cos⁡(a+(2n−3)b2)−cos⁡(a+(2n−1)b2)

Summing, we find that nearly all the terms cancel out and we are left with

2Ssin⁡(b2)=cos⁡(a−b2)−cos⁡(a+(2n−1)b2)=2sin⁡(a+(n−1)b2)sin⁡(nb2)

Hence

S=sin⁡(a+(n−1)b2)sin⁡(nb2)sin⁡(b2)

Similarly, if

C=cos⁡(a)+cos⁡(a+b)+cos⁡(a+2b)+⋯+cos⁡(a+(n−1)b)

then

C=cos⁡(a+(n−1)b2)sin⁡(nb2)sin⁡(b2)

Method 2

[edit | edit source]

Consider the following sum

s=eai+e(a+b)i+⋯+e(a+(n−1)b)i

Since s is a geometric series with common ratio ebi, we get

s=eai(enbi−1)ebi−1=eai(enbi−1)ebi−1=eaienbi2(enbi2−e−nbi2)ebi2(ebi2−e−bi2)
s=sin⁡(nb2)sin⁡(b2)⋅e(a+(n−1)b2)i

Therefore,

sin⁡(a)+sin⁡(a+b)+sin⁡(a+2b)+⋯+sin⁡(a+(n−1)b)=Im(s)=sin⁡(a+(n−1)b2)sin⁡(nb2)sin⁡(b2)
cos⁡(a)+cos⁡(a+b)+cos⁡(a+2b)+⋯+cos⁡(a+(n−1)b)=Re(s)=cos⁡(a+(n−1)b2)sin⁡(nb2)sin⁡(b2)