連続で有界な定数でない実関数f,gが任意のx,yに対して
f(x+y)=f(x)f(y)-g(x)g(y)
g(x+y)=g(x)f(y)+f(x)g(y)
を満たすとき、f,gを『すべて』求めよ。


いや、っていうか何の条件もなかったら普通「すべて」だよね……
そう思ってた、俺がバカなのか……orz
だから、唯一性の証明がだなぁｒｙ