∀x(∀y(xとyが複素数ならばc(x+y)=c(x)c(y)-s(x)s(y)かつs(x+y)=s(x)c(y)+c(x)s(y))) を満たす (c,s) は (cos,sin) だけではない.

続きを読む