問題:f(x)を微分可能な関数とする。次の連立関数方程式を満たす関数f(x),g(x)を求めよ。

          f(x+y)=f(x)g(y)+g(x)f(y)
          g(x+y)=g(x)g(y)-f(x)f(y)