>>30
(cosx+isinx)(cosy+isiny)=(e^(ix))(e^(iy))=e^(i(x+y))=cos(x+y)+isin(x+y)
のどこにも家宝定理無いけど