Suppose $f(x)$ and $g(x)$ are non-constant real-valued differentiable functions $\in\Bbb R$
Furthermore, suppose that $f(x + y) = f(x)f(y) − g(x)g(y)$ and $g(x + y) = f(x)g(y) + g(x)f(y)\ \forall\ x,y.$
If $f′(0) = 0$, prove that $(f(x))^2 + (g(x))^2 = 1\ \forall\ x.$
Firstly apologies for the format. Unfortunately this proof was meant to be the focus of a group project, but now with the deadline looming the group has let me down and quite frankly I have no idea how to prove this. I only need the proof to present in the form of a poster. If anyone could provide a proof I would be extremely grateful.
Thanks,
Callum