Dadas las expresiones:
$f(x+y)=f(x)f(y)-g(x)g(y)$
$g(x+y)=f(x)g(y)+f(y)g(x)$
el ejercicio es mostrar que $[f(x)]^2+[g(x)]^2$ es constante para todos los verdaderos $x$ y determinar su valor, sabiendo que $f$ e $g$ son reales diferenciables no constantes de funciones, y que $f'(0)=0$.
Me di cuenta de que se parece a la $\sin$ e $\cos$ funciones, por lo que la respuesta debe ser $1$. Para probar algo de esa manera, he intentado mostrar que $f$ e $g$ estaban siempre en el intervalo de $[-1,1]$.
También he tratado de derivados de cada expresión y el enchufe de la $x=y=0$ o sólo $y=0$, pero fue incapaz de desarrollar la solución.