Koristeći identitet
cost=4cos33t−3cos3t
za t=x, t=x+2π i t=x+4π te zbrajanjem tih relacija, zbog periodičnosti kosinusa, dobivamo
3cosx=4(cos33x+cos33x+2π+cos33x+4π)−3(cos3x+cos3x+2π+cos3x+4π).
Korištenjem transformacijskih formula na izraz u zadnjoj zagradi slijedi
cos3x+cos3x+4π+cos3x+2π=2cos32πcos3x+2π+cos3x+2π=(2cos32π+1)cos3x+2π=0.
Zato iz prethodne jednakosti slijedi
cos33x+cos33x+2π+cos33x+4π=43cosx,
što je trebalo dokazati.