Derived from Compound Angle Identity Literally just make x = y. sin(2x)=2sin(x)cos(x) cos(2x)=cos2(x)−sin2(x) cos(2x)=1−2sin2(x) cos(2x)=2cos2(x)−1 tan(2x)=2tan(x)/(1−tan2(x))