B = A とすると、cos(A+B)=cos(A)cos(B)−sin(A)sin(B)より、cos(2x)=cos(x)2−sin(x)2が得られます。sin²x + cos²x = 1を使って一方の二乗を置き換えると、さらに2つの形が得られます。
cos(2x)=2cos(x)2−1
cos(2x)=1−2sin(x)2
3つはすべて等しいので、何かが打ち消し合うものを選びます。1+cos(2x)では、-1を含む形を使います。1+2cos(x)2−1となり、1同士が打ち消し合って、2cos(x)2が残ります。1−cos(2x)では、1から始まる形が打ち消し合います。