⁶Mit dem Additionstheorem $cos(α+ β)= cosα cosβ − sinα sinβ$ verifiziert man $m(t)= √2f(t)[cos(ω0t)cos(π∕4)− sin(ω0t)sin(π∕4)]= f(t)cos(ω0t)− f(t)sin(ω0t)$ .