Start with:
sin(3x)=sin(2x+x)=sin(2x)cos(x)+cos(2x)sin(x)
Use:
+ sin(2x)=2sin(x)cos(x)
+ cos(2x)=cos2(x)−sin2(x)
Substitute:
sin(3x)=(2sin(x)cos(x))cos(x)+(cos2(x)−sin2(x))sin(x)=2sin(x)cos2(x)+cos2(x)sin(x)−sin3(x)=(3cos2(x)−sin2(x))sin(x)
Now, using the Pythagorean identity cos2(x)=1−sin2(x), we can rewrite it purely in terms of sin(x):
sin(3x)=(3(1−sin2(x))−sin2(x))sin(x)=(3−4sin2(x))sin(x)=3sin(x)−4sin3(x)
This is a more compact polynomial form of sin(3x), often more convenient in algebraic manipulation or solving equations.
These identities express sin(nθ), cos(nθ), and tan(nθ) using combinations of sin(kθ) and cos(kθ):
sin(nθ)=k=0∑n(−1)k(kn)cosn−k(θ)sink(θ)⋅sin[21(n−k)π]=2sin[(n−1)θ]cos(θ)−sin[(n−2)θ]
cos(nθ)=k=0∑n(−1)k(kn)cosn−k(θ)sink(θ)⋅cos[21(n−k)π]=2cos[(n−1)θ]cos(θ)−cos[(n−2)θ]
tan(nθ)=cos(nθ)sin(nθ)=1−tan[(n−1)θ]tan(θ)tan[(n−1)θ]+tan(θ)
These identities are useful in trigonometric polynomial expansion, harmonic analysis, and symbolic computation involving angular multiples.
So, for example, cos(4x) could be written in the following ways:
+ cos(4x)
+ 8cos4(x)−8cos2(x)+1
derived from cos(nθ)=∑k=0n(−1)k(kn)cosn−k(θ)sink(θ)⋅cos[21(n−k)π]
+ 2cos(3x)cos(x)−cos(2x)
derived from cos(nθ)=2cos[(n−1)θ]cos(θ)−cos[(n−2)θ]
5.1Complete example of cos(4x)=8cos4(x)−8cos2(x)+1
Using the sum formula for cosine:
cos(4x)=k=0∑4(−1)k(k4)cos4−k(x)sink(x)⋅cos[21(4−k)π]
Evaluate the cosine factor cos[21(4−k)π] for each k:
| k |
4−k |
21(4−k)π |
cos[21(4−k)π] |
| 0 |
4 |
2π |
1 |
| 1 |
3 |
23π |
0 |
| 2 |
2 |
π |
−1 |
| 3 |
1 |
2π |
0 |
| 4 |
0 |
0 |
1 |
Only terms where the cosine factor is nonzero contribute, so:
cos(4x)=(−1)0(04)cos4(x)sin0(x)⋅1+(−1)2(24)cos2(x)sin2(x)⋅(−1)+(−1)4(44)cos0(x)sin4(x)⋅1=cos4(x)−6cos2(x)sin2(x)+sin4(x)
Use the Pythagorean identity sin2(x)=1−cos2(x) and rewrite sin4(x):
sin4(x)=(1−cos2(x))2=1−2cos2(x)+cos4(x)
Substitute into the expression:
cos(4x)=cos4(x)−6cos2(x)(1−cos2(x))+1−2cos2(x)+cos4(x)=cos4(x)−6cos2(x)+6cos4(x)+1−2cos2(x)+cos4(x)
Combine like terms:
cos(4x)=(cos4(x)+6cos4(x)+cos4(x))+(−6cos2(x)−2cos2(x))+1=8cos4(x)−8cos2(x)+1
Thus,
cos(4x)=8cos4(x)−8cos2(x)+1