Two unit-amplitude waves shifted by π/3 combine with amplitude √3, not 2. Angle-addition identities describe rotations and wave reinforcement. Use products, the circle and sinusoids.
The unit circle satisfies x²+y²=1; substitute cos/sin coordinates. Reflection gives negative-angle signs:
(sin)^(2)x + (cos)^(2)x = 1; sin( − x) = − sinx, cos( − x) = cosx.
Likewise sin(π−x)=sin x and cos(π−x)=−cos x: the horizontal coordinate reverses in quadrant II.
Geometric derivation
Rotate two perpendicular unit directions by α: (cosα,sinα) and (−sinα,cosα). A unit vector (an arrow of length 1) at additional angle β has projections cosβ and sinβ on them. Add horizontal and vertical contributions:
cos(α + β) = cosαcosβ − sinαsinβ.
sin(α + β) = sinαcosβ + cosαsinβ.
Replace β by −β for difference identities, or by α for double angles:
sin2x = 2sinxcosx; cos2x = (cos)^(2)x − (sin)^(2)x.
Two successive rotations
x²+y²=1
Sum of shifted waves
sin t + sin(t+π/3) = √3 sin(t+π/6)
Combining waves
Use α=t+π/6, β=π/6 in sum and difference identities:
sint + sin(t + π/3) = √(3)sin(t + π/6).
Generally sin t+sin(t+δ)=2cos(δ/2)sin(t+δ/2); amplitude is the coefficient’s absolute value. δ=π gives cancellation in this ideal model. OpenStax
Branch · IdentitiesOptional · may be skipped
Triple and half angles, sums and products
Repeated addition or half-angle substitution gives these optional identities:
sin3x = 3sinx − 4(sin)^(3)x; cos3x = 4(cos)^(3)x − 3cosx.
(sin)^(2)(x/2) = (1 − cosx)/(2); (cos)^(2)(x/2) = (1 + cosx)/(2).
When taking a square root, the quadrant determines the sign of sin(x/2) or cos(x/2); do not always choose plus.
sinu + sinv = 2sin((u + v)/(2))cos((u − v)/(2)); cosu + cosv = 2cos((u + v)/(2))cos((u − v)/(2)).
2sinucosv = sin(u + v) + sin(u − v);
2cosucosv = cos(u + v) + cos(u − v); 2sinusinv = cos(u − v) − cos(u + v).
Divide the sine addition formula by the cosine formula:
tan(α + β) = (tanα + tanβ)/(1 − tanαtanβ).
This requires cosα, cosβ and cos(α+β) all nonzero. Sine and cosine identities have no such exceptions. Preserve the zero case before canceling a trigonometric factor or solutions can be lost.