We weten dat cos(2x)=cos2(x)-sin2(x) en 1=sin2(x)+cos2(x), zodat 1-cos(2x)=2.sin2(x). Hetzelfde geldt uiteraard voor y.
Dus is: sin(2x)+sin(2y)-sin(2x+2y)= sin(2x).[2.sin2(y)]+sin(2y).[2.sin2(x)]= [2.sin(x).cos(x)].[2.sin2(y)]+[2.sin(y).cos(y)].[2.sin2(x)]= 4.sin(x).cos(x).sin2(y)+4.sin(y).cos(y).sin2(x)= 4.sin(x).sin(y).[cos(x).sin(y)+sin(x).cos(y)]= 4.sin(x).sin(y).sin(x+y)