Determinar todas las funciones $f : \mathbb{R} \mapsto \mathbb{R}$ tales que \[ f(x+y) = f(x)f(y) - c \sin{x} \sin{y} \] para todos los reales $x,y$ donde $c> 1$ es una constante dada.