问一个数学证明cos(nx)+i*sin(nx)=(cosx+i*sinx)^n还有这个叫什么定理啊