Trigonometric Expansions and Summations

In trigonometry, we often encounter situations where we need to express trigonometric functions of multiple angles or sums of angles in terms of functions of single angles. This is where trigonometric expansions become incredibly useful. They allow us to simplify complex trigonometric expressions and solve problems that would otherwise be very difficult. We will explore various expansion formulas and then move on to techniques for summing trigonometric series.

Trigonometric Expansions

Trigonometric expansions are derived using fundamental identities and properties of trigonometric functions. The most common expansions involve double angles, triple angles, and general multiple angles.

Double Angle Formulas

The double angle formulas express trigonometric functions of 2θ in terms of trigonometric functions of θ.

Sine of 2θ: The formula for sin(2θ) can be derived using the angle addition formula: sin(A + B) = sin A cos B + cos A sin B. Let A = θ and B = θ. sin(2θ) = sin(θ + θ) = sin θ cos θ + cos θ sin θ = 2 sin θ cos θ. So, the formula is: `sin(2θ) = 2 sin θ cos θ`

Cosine of 2θ: Using the angle addition formula for cosine: cos(A + B) = cos A cos B - sin A sin B. Let A = θ and B = θ. cos(2θ) = cos(θ + θ) = cos θ cos θ - sin θ sin θ = cos² θ - sin² θ. This is the primary form. We can derive other forms using the identity sin² θ + cos² θ = 1. Substituting sin² θ = 1 - cos² θ: cos(2θ) = cos² θ - (1 - cos² θ) = 2 cos² θ - 1. Substituting cos² θ = 1 - sin² θ: cos(2θ) = (1 - sin² θ) - sin² θ = 1 - 2 sin² θ. So, the formulas are: `cos(2θ) = cos² θ - sin² θ` `cos(2θ) = 2 cos² θ - 1` `cos(2θ) = 1 - 2 sin² θ`

Tangent of 2θ: Using the angle addition formula for tangent: tan(A + B) = (tan A + tan B) / (1 - tan A tan B). Let A = θ and B = θ. tan(2θ) = tan(θ + θ) = (tan θ + tan θ) / (1 - tan θ tan θ) = 2 tan θ / (1 - tan² θ). So, the formula is: `tan(2θ) = 2 tan θ / (1 - tan² θ)`

Triple Angle Formulas

The triple angle formulas express trigonometric functions of 3θ in terms of trigonometric functions of θ.

Sine of 3θ: We can write 3θ as 2θ + θ. sin(3θ) = sin(2θ + θ) = sin(2θ) cos θ + cos(2θ) sin θ. Substitute the double angle formulas: sin(3θ) = (2 sin θ cos θ) cos θ + (1 - 2 sin² θ) sin θ sin(3θ) = 2 sin θ cos² θ + sin θ - 2 sin³ θ Use cos² θ = 1 - sin² θ: sin(3θ) = 2 sin θ (1 - sin² θ) + sin θ - 2 sin³ θ sin(3θ) = 2 sin θ - 2 sin³ θ + sin θ - 2 sin³ θ sin(3θ) = 3 sin θ - 4 sin³ θ. So, the formula is: `sin(3θ) = 3 sin θ - 4 sin³ θ`

Cosine of 3θ: cos(3θ) = cos(2θ + θ) = cos(2θ) cos θ - sin(2θ) sin θ. Substitute the double angle formulas: cos(3θ) = (2 cos² θ - 1) cos θ - (2 sin θ cos θ) sin θ cos(3θ) = 2 cos³ θ - cos θ - 2 sin² θ cos θ Use sin² θ = 1 - cos² θ: cos(3θ) = 2 cos³ θ - cos θ - 2 (1 - cos² θ) cos θ cos(3θ) = 2 cos³ θ - cos θ - 2 cos θ + 2 cos³ θ cos(3θ) = 4 cos³ θ - 3 cos θ. So, the formula is: `cos(3θ) = 4 cos³ θ - 3 cos θ`

Tangent of 3θ: tan(3θ) = tan(2θ + θ) = (tan(2θ) + tan θ) / (1 - tan(2θ) tan θ). Substitute the double angle formula for tan(2θ): tan(3θ) = [ (2 tan θ / (1 - tan² θ)) + tan θ ] / [ 1 - (2 tan θ / (1 - tan² θ)) tan θ ] Numerator: (2 tan θ + tan θ(1 - tan² θ)) / (1 - tan² θ) = (2 tan θ + tan θ - tan³ θ) / (1 - tan² θ) = (3 tan θ - tan³ θ) / (1 - tan² θ) Denominator: [ (1 - tan² θ) - 2 tan² θ ] / (1 - tan² θ) = (1 - 3 tan² θ) / (1 - tan² θ) tan(3θ) = [ (3 tan θ - tan³ θ) / (1 - tan² θ) ] / [ (1 - 3 tan² θ) / (1 - tan² θ) ] tan(3θ) = (3 tan θ - tan³ θ) / (1 - 3 tan² θ). So, the formula is: `tan(3θ) = (3 tan θ - tan³ θ) / (1 - 3 tan² θ)`

General Multiple Angle Formulas (De Moivre's Theorem Application)

De Moivre's theorem states that for any real number x and any integer n, (cos x + i sin x)ⁿ = cos(nx) + i sin(nx). We can expand the left side using the binomial theorem: (cos x + i sin x)ⁿ = _nC₀ cosⁿ x (i sin x)⁰ + _nC₁ cos^n-1 x (i sin x)¹ + _nC₂ cos^n-2 x (i sin x)² + ... + _nC_n cos⁰ x (i sin x)ⁿ Equating the real and imaginary parts of this expansion with cos(nx) and sin(nx) respectively gives formulas for cos(nx) and sin(nx) in terms of powers of cos x and sin x. These can become very complex for large n.

For example, for n=4: sin(4θ) = 4 sin θ cos θ (1 - 2 sin² θ) = 4 sin θ cos³ θ - 4 sin³ θ cos θ cos(4θ) = 8 cos⁴ θ - 8 cos² θ + 1

Half Angle Formulas (Derived from Double Angle)

These formulas express trigonometric functions of θ in terms of functions of θ/2. They are derived from the cosine double angle formulas.

From cos(2A) = 2 cos² A - 1, let 2A = θ, so A = θ/2. cos(θ) = 2 cos² (θ/2) - 1 => 2 cos² (θ/2) = 1 + cos(θ) => `cos(θ/2) = ±√((1 + cos θ) / 2)` From cos(2A) = 1 - 2 sin² A, let 2A = θ, so A = θ/2. cos(θ) = 1 - 2 sin² (θ/2) => 2 sin² (θ/2) = 1 - cos(θ) => `sin(θ/2) = ±√((1 - cos θ) / 2)` From tan(2A) = 2 tan A / (1 - tan² A), let 2A = θ, so A = θ/2. tan(θ) = 2 tan(θ/2) / (1 - tan²(θ/2)). This is harder to solve directly for tan(θ/2). Alternatively, tan(θ/2) = sin(θ/2) / cos(θ/2). `tan(θ/2) = ±√((1 - cos θ) / (1 + cos θ))` There are other forms for tan(θ/2) that remove the ± ambiguity: `tan(θ/2) = (1 - cos θ) / sin θ` `tan(θ/2) = sin θ / (1 + cos θ)`

The sign (±) depends on the quadrant in which θ/2 lies.

Trigonometric Summations

Trigonometric summations involve finding the sum of a series of trigonometric terms. These series can be in arithmetic progression (AP) or geometric progression (GP) of angles, or other forms.

Sum of sines and cosines in AP

Consider the series: S = sin α + sin(α + β) + sin(α + 2β) + ... + sin(α + (n-1)β) C = cos α + cos(α + β) + cos(α + 2β) + ... + cos(α + (n-1)β)

To find these sums, we use a clever technique involving complex numbers or by multiplying the series by 2 sin(β/2). Let's use the latter method for S: Multiply S by 2 sin(β/2): 2 sin(β/2) S = 2 sin(β/2) sin α + 2 sin(β/2) sin(α + β) + ... + 2 sin(β/2) sin(α + (n-1)β) Use the product-to-sum formula: 2 sin A sin B = cos(A - B) - cos(A + B). Let A = β/2 and B = α: 2 sin(β/2) sin α = cos(α - β/2) - cos(α + β/2) Let A = β/2 and B = α + β: 2 sin(β/2) sin(α + β) = cos((α + β) - β/2) - cos((α + β) + β/2) = cos(α + β/2) - cos(α + 3β/2) Continuing this pattern, we see a telescoping series: 2 sin(β/2) S = [cos(α - β/2) - cos(α + β/2)] + [cos(α + β/2) - cos(α + 3β/2)] + ... + [cos(α + (n-3/2)β) - cos(α + (n-1/2)β)] The intermediate terms cancel out. 2 sin(β/2) S = cos(α - β/2) - cos(α + (n-1/2)β) Use the sum-to-product formula: cos X - cos Y = -2 sin((X+Y)/2) sin((X-Y)/2). Let X = α - β/2 and Y = α + (n-1/2)β. (X + Y) / 2 = (α - β/2 + α + nβ - β/2) / 2 = (2α + nβ - β) / 2 = α + (n-1)β/2 (X - Y) / 2 = (α - β/2 - (α + nβ - β/2)) / 2 = (-nβ) / 2 = -nβ/2 So, cos(α - β/2) - cos(α + (n-1/2)β) = -2 sin(α + (n-1)β/2) sin(-nβ/2) = 2 sin(α + (n-1)β/2) sin(nβ/2). Therefore, 2 sin(β/2) S = 2 sin(α + (n-1)β/2) sin(nβ/2). If sin(β/2) ≠ 0, then `S = (sin(nβ/2) / sin(β/2)) * sin(α + (n-1)β/2)`

Similarly, for the sum of cosines C: Multiply C by 2 sin(β/2): 2 sin(β/2) C = 2 sin(β/2) cos α + 2 sin(β/2) cos(α + β) + ... + 2 sin(β/2) cos(α + (n-1)β) Use the product-to-sum formula: 2 sin A cos B = sin(A + B) + sin(A - B). Let A = β/2 and B = α: 2 sin(β/2) cos α = sin(α + β/2) + sin(α - β/2) Let A = β/2 and B = α + β: 2 sin(β/2) cos(α + β) = sin((α + β) + β/2) + sin((α + β) - β/2) = sin(α + 3β/2) + sin(α + β/2) This also forms a telescoping series: 2 sin(β/2) C = [sin(α + β/2) + sin(α - β/2)] + [sin(α + 3β/2) + sin(α + β/2)] + ... + [sin(α + (n-1/2)β) + sin(α + (n-3/2)β)] Mistake in derivation above, let's re-evaluate the terms: 2 sin(β/2) cos α = sin(α + β/2) + sin(α - β/2) 2 sin(β/2) cos(α + β) = sin(α + β + β/2) + sin(α + β - β/2) = sin(α + 3β/2) + sin(α + β/2) 2 sin(β/2) cos(α + 2β) = sin(α + 2β + β/2) + sin(α + 2β - β/2) = sin(α + 5β/2) + sin(α + 3β/2) ... 2 sin(β/2) cos(α + (n-1)β) = sin(α + (n-1)β + β/2) + sin(α + (n-1)β - β/2) = sin(α + (n-1/2)β) + sin(α + (n-3/2)β) Summing these: 2 sin(β/2) C = sin(α - β/2) + 2 sin(α + β/2) + 2 sin(α + 3β/2) + ... + 2 sin(α + (n-3/2)β) + sin(α + (n-1/2)β) This is NOT telescoping. The standard derivation uses complex numbers. Alternative Derivation using Complex Numbers: Let Z = C + iS Z = (cos α + i sin α) + (cos(α + β) + i sin(α + β)) + ... + (cos(α + (n-1)β) + i sin(α + (n-1)β)) Using Euler's formula (e^iθ = cos θ + i sin θ): Z = e^iα + e^i(α+β) + ... + e^{i(α+(n-1)β)} This is a geometric progression with first term a = e^iα, common ratio r = e^iβ, and n terms. The sum of a GP is a(rⁿ - 1) / (r - 1). Z = e^iα * ( (e^iβ)ⁿ - 1 ) / ( e^iβ - 1 ) Z = e^iα * ( e^inβ - 1 ) / ( e^iβ - 1 ) Z = e^iα * ( e^inβ/2 (e^inβ/2 - e^-inβ/2) ) / ( e^iβ/2 (e^iβ/2 - e^-iβ/2) ) Z = e^iα * e^i(n-1)β/2 * ( 2i sin(nβ/2) ) / ( 2i sin(β/2) ) Z = e^{i(α + (n-1)β/2)} * ( sin(nβ/2) / sin(β/2) ) Z = [ cos(α + (n-1)β/2) + i sin(α + (n-1)β/2) ] * ( sin(nβ/2) / sin(β/2) ) Z = ( sin(nβ/2) / sin(β/2) ) * cos(α + (n-1)β/2) + i * ( sin(nβ/2) / sin(β/2) ) * sin(α + (n-1)β/2) Comparing Z = C + iS: C = `(sin(nβ/2) / sin(β/2)) * cos(α + (n-1)β/2)` S = `(sin(nβ/2) / sin(β/2)) * sin(α + (n-1)β/2)` These are the correct formulas for the sum of cosines and sines in AP.

Sum of terms in Geometric Progression

Consider a series where the angles are in AP and the terms are in GP. Example: sin α + r sin(α + β) + r² sin(α + 2β) + ... + r^n-1 sin(α + (n-1)β) Let S = sin α + r sin(α + β) + r² sin(α + 2β) + ... + r^n-1 sin(α + (n-1)β) Let C = cos α + r cos(α + β) + r² cos(α + 2β) + ... + r^n-1 cos(α + (n-1)β) We use the same complex number technique. Let Z = C + iS Z = (cos α + i sin α) + r(cos(α + β) + i sin(α + β)) + r²(cos(α + 2β) + i sin(α + 2β)) + ... + r^n-1(cos(α + (n-1)β) + i sin(α + (n-1)β)) Z = e^iα + r e^i(α+β) + r² e^i(α+2β) + ... + r^n-1 e^{i(α+(n-1)β)} This is a GP with first term a = e^iα, common ratio R = r e^iβ, and n terms. Sum Z = a(Rⁿ - 1) / (R - 1) Z = e^iα * ( (r e^iβ)ⁿ - 1 ) / ( r e^iβ - 1 ) Z = e^iα * ( rⁿ e^inβ - 1 ) / ( r e^iβ - 1 ) To simplify this, we can write r e^iβ - 1 = (r cos β - 1) + i (r sin β). And rⁿ e^inβ - 1 = (rⁿ cos nβ - 1) + i (rⁿ sin nβ). The calculation becomes algebraically intensive. A common approach is to factor out terms to make the denominator real or simplify it. Let's consider the denominator: r e^iβ - 1 = r(cos β + i sin β) - 1 = (r cos β - 1) + i (r sin β). Multiply numerator and denominator by the conjugate of the denominator. Alternatively, manipulate the expression: Rⁿ - 1 = rⁿe^inβ - 1 R - 1 = re^iβ - 1 Z = e^iα * ( rⁿe^inβ - 1 ) / ( re^iβ - 1 ) Let's try to express the numerator and denominator in a similar form. rⁿe^inβ - 1 = rⁿ(cos nβ + i sin nβ) - 1 re^iβ - 1 = r(cos β + i sin β) - 1 After significant algebraic manipulation, the sums are: C = `(1 - r<sup>n</sup> cos nβ) (1 - r cos β) + r<sup>n+1</sup> sin nβ sin β` / `(1 - 2r cos β + r²)` S = `r<sup>n+1</sup> sin nβ - (1 - r<sup>n</sup> cos nβ) r sin β` / `(1 - 2r cos β + r²)` These formulas are valid when r ≠ 1. If r = 1, then R = e^iβ, and Z becomes the sum of complex exponentials we saw earlier, leading to the sin/cos AP sum formulas.

Summation of trigonometric series of the form Σ tan(x)

Sums involving tangents are often more complex and don't follow a single general formula like sines and cosines. They usually require specific manipulations based on the structure of the series.

Example 1: Sum of tan(x) + tan(2x) + ... + tan(nx) This doesn't have a simple closed-form solution in general.

Example 2: Summation using the identity tan(A - B) = (tan A - tan B) / (1 + tan A tan B) Rearranging, tan A - tan B = tan(A - B) (1 + tan A tan B). This doesn't directly lead to a telescoping sum for tan A.

Example 3: Summation using the identity tan(x) = cot(x) - 2 cot(2x) This identity can be used to create telescoping sums. Let's verify: cot(x) - 2 cot(2x) = cos(x)/sin(x) - 2 cos(2x)/sin(2x) = cos(x)/sin(x) - 2 cos(2x)/(2 sin(x) cos(x)) = cos(x)/sin(x) - cos(2x)/(sin(x) cos(x)) = (cos²(x) - cos(2x)) / (sin(x) cos(x)) = (cos²(x) - (2 cos²(x) - 1)) / (sin(x) cos(x)) = (1 - cos²(x)) / (sin(x) cos(x)) = sin²(x) / (sin(x) cos(x)) = sin(x) / cos(x) = tan(x). The identity is correct.

So, if we have a series like: tan(x) + tan(2x) + tan(4x) + ... + tan(2^n-1x) We can rewrite each term: tan(2^k-1x) = cot(2^k-1x) - 2 cot(2^kx) Let's sum this form: Σ_k=1ⁿ tan(2^k-1x) = Σ_k=1ⁿ [cot(2^k-1x) - 2 cot(2^kx)] This does not look like a telescoping sum directly. Consider another identity: `tan(x) = (1/cos(2x)) * sin(x) / sin(2x) `? No. Let's use the identity `tan(x) = sin(x) / cos(x)`. Consider the sum of `tan(θ/2<sup>k</sup>)`. `tan(θ) = sin(θ)/cos(θ)` `tan(θ/2) = sin(θ/2)/cos(θ/2) = (2 sin(θ/2)cos(θ/2)) / (2 cos²(θ/2)) = sin(θ) / (1 + cos(θ))` Also `tan(θ/2) = (1 - cos(θ)) / sin(θ)`. A common type of summation involves terms like `tan(x) - tan(y)`. For instance, sum of `tan(A) - tan(B)` where angles are in AP. Consider the sum: `tan(x) + tan(2x) + ...` If we have a series that can be written in the form `f(x) - f(x-d)`, where f is a trigonometric function, then it telescopes. Let's revisit the identity tan(x) = cot(x) - 2 cot(2x). Consider the sum: S = tan(x) + tan(x/2) + tan(x/4) + ... + tan(x/2^n-1) Let x = θ/2^k-1. tan(θ/2^k-1) = cot(θ/2^k-1) - 2 cot(θ/2^k-2) This is not leading to a telescoping sum. Let's use the identity: `tan(x) = 1/sin(2x) - cot(2x)` `1/sin(2x) - cos(2x)/sin(2x) = (1-cos(2x))/sin(2x) = (2sin²(x))/(2sin(x)cos(x)) = sin(x)/cos(x) = tan(x)` This identity is also correct. Let's sum tan(x) + tan(2x) + tan(4x) + ... + tan(2^n-1x). Let T_k = tan(2^k-1x). T_k = 1/sin(2^kx) - cot(2^kx). This doesn't seem to simplify well. Consider the expansion of tan(nx). tan(nx) = [ⁿC₁ t - ⁿC₃ t³ + ...] / [ⁿC₀ - ⁿC₂ t² + ...] where t = tan(x). This is an expansion, not a summation technique. Sum of `tan(x) + tan(x+d) + ...` is not generally solvable with a simple formula. Specific problems might require creative use of identities. For example, if the terms are `tan(A) - tan(B)`, it telescopes. Or if terms can be converted to `f(x) - f(x-d)`.

Summation of Products of Trigonometric Functions

Sometimes we need to sum products like `sin(A)sin(B)`, `cos(A)cos(B)`, `sin(A)cos(B)`. These are handled by the product-to-sum formulas: `2 sin A cos B = sin(A + B) + sin(A - B)` `2 cos A cos B = cos(A + B) + cos(A - B)` `2 sin A sin B = cos(A - B) - cos(A + B)` `2 cos A sin B = sin(A + B) - sin(A - B)` If we have a series of these products, we can convert each term into a sum of two trigonometric functions, which might then simplify or fall into an AP sum.

Example: Sum of sin(x)sin(3x) + sin(2x)sin(4x) + ... + sin(nx)sin((n+2)x) Each term is of the form sin(kx)sin((k+2)x). Using 2 sin A sin B = cos(A - B) - cos(A + B): 2 sin(kx)sin((k+2)x) = cos((k+2)x - kx) - cos((k+2)x + kx) = cos(2x) - cos((2k+2)x) So the series becomes: Σ_k=1ⁿ [cos(2x) - cos((2k+2)x)] / 2 = (1/2) Σ_k=1ⁿ cos(2x) - (1/2) Σ_k=1ⁿ cos((2k+2)x) = (n/2) cos(2x) - (1/2) [cos(4x) + cos(6x) + ... + cos(2(n+1)x)] The second part is a sum of cosines in AP with α = 4x, β = 2x, and n terms. We can use the AP sum formula for cosines.

Series involving Secant and Cosecant

Series involving secant and cosecant are less common and often require conversion to sines and cosines. sec(x) = 1/cos(x), csc(x) = 1/sin(x). For example, summing `sec(x)sec(2x) + sec(2x)sec(3x) + ...` Consider the identity: `sec(A)sec(B) = (tan B - tan A) / (sin(B-A))` Let A = kx, B = (k+1)x. Then B-A = x. sec(kx)sec((k+1)x) = (tan((k+1)x) - tan(kx)) / sin(x) Summing this from k=1 to n: Σ_k=1ⁿ sec(kx)sec((k+1)x) = (1/sin(x)) Σ_k=1ⁿ [tan((k+1)x) - tan(kx)] This is a telescoping sum for the tangent terms. = (1/sin(x)) [ (tan(2x) - tan(x)) + (tan(3x) - tan(2x)) + ... + (tan((n+1)x) - tan(nx)) ] = (1/sin(x)) [ tan((n+1)x) - tan(x) ]

Similarly, for cosecant series: Consider the identity: `csc(A)csc(B) = (cot A - cot B) / sin(B-A)` Let A = kx, B = (k+1)x. Then B-A = x. csc(kx)csc((k+1)x) = (cot(kx) - cot((k+1)x)) / sin(x) Summing this from k=1 to n: Σ_k=1ⁿ csc(kx)csc((k+1)x) = (1/sin(x)) Σ_k=1ⁿ [cot(kx) - cot((k+1)x)] This is a telescoping sum for the cotangent terms. = (1/sin(x)) [ (cot(x) - cot(2x)) + (cot(2x) - cot(3x)) + ... + (cot(nx) - cot((n+1)x)) ] = (1/sin(x)) [ cot(x) - cot((n+1)x) ]

These expansion and summation formulas are fundamental tools in trigonometry, enabling the simplification and solution of a wide range of problems in mathematics, physics, and engineering. Mastering these techniques requires practice and a good understanding of the underlying identities.