Double-angle identities. Setting y=x in the Section 6 sum formulas
gives, immediately,
sin2x=sin(x+x)=sinxcosx+cosxsinx=2sinxcosx,
cos2x=cos(x+x)=cosxcosx−sinxsinx=cos2x−sin2x.
Using the fundamental identity sin2x+cos2x=1 to eliminate one squared term at a time from
cos2x=cos2x−sin2x gives two further, equally useful, forms:
cos2x=cos2x−(1−cos2x)=2cos2x−1,cos2x=(1−sin2x)−sin2x=1−2sin2x.
And setting y=x in the Section 7 tangent formula,
tan2x=1−tanxtanxtanx+tanx=1−tan2x2tanx.
Triple-angle identities. Writing 3x=2x+x and applying the sum formulas again, now using
the double-angle results just proved:
sin3x=sin(2x+x)=sin2xcosx+cos2xsinx=(2sinxcosx)cosx+(1−2sin2x)sinx.
Expanding and using cos2x=1−sin2x on the first term,
sin3x=2sinx(1−sin2x)+sinx−2sin3x=2sinx−2sin3x+sinx−2sin3x=3sinx−4sin3x.
Similarly,
cos3x=cos(2x+x)=cos2xcosx−sin2xsinx=(2cos2x−1)cosx−(2sinxcosx)sinx.
Expanding and using sin2x=1−cos2x on the second term,
cos3x=2cos3x−cosx−2cosx(1−cos2x)=2cos3x−cosx−2cosx+2cos3x=4cos3x−3cosx.
Proof of tan3x. Writing 3x=2x+x in the tangent sum formula and substituting
tan2x=1−tan2x2tanx,
tan3x=1−tan2xtanxtan2x+tanx=1−1−tan2x2tanx⋅tanx1−tan2x2tanx+tanx.
Multiplying numerator and denominator through by (1−tan2x):
Numerator=2tanx+tanx(1−tan2x)=3tanx−tan3x,Denominator=(1−tan2x)−2tan2x=1−3tan2x.
So
tan3x=1−3tan2x3tanx−tan3x.■
Summary. …