Avec \varphi le déphasage inconnu à un instant de référence choisi comme origine, le produit des signaux est proportionnel à :

\cos( \omega t +\varphi) \cos \omega_0 t = {1\over 2} \left[ \cos \bigl( (\omega+\omega_0) t + \varphi \bigr) + \cos \bigl( (\omega-\omega_0)t-\varphi \bigr) \right]

Les 2 pulsations étant voisines, la deuxième composante a une fréquence bien plus basse que la première.