Arfken 7판 1.8절 (복소수와 복소함수: 극형식, 오일러 공식, 드무아브르 공식, $n$제곱근, 복소 로그, 쌍곡함수)
복소수 계산은 거의 전부 "극형식으로 바꾸고, 지수법칙을 쓰고, 다시 돌아온다"입니다.
| 항목 | 공식 |
|---|---|
| 직교형(rectangular form)·극형식(polar form) | $z=x+iy=r(\cos\theta+i\sin\theta)=re^{i\theta}$ $r=|z|=\sqrt{x^2+y^2}$, $\;x=r\cos\theta$, $\;y=r\sin\theta$ |
| 켤레복소수(complex conjugate) | $z^*=x-iy=re^{-i\theta}$, $\;zz^*=|z|^2$ |
| 역수 | $\dfrac1z=\dfrac{z^*}{|z|^2}=\dfrac1r\,e^{-i\theta}$ |
| 곱·몫·거듭제곱 | $z_1z_2=r_1r_2e^{i(\theta_1+\theta_2)}$, $\;\dfrac{z_1}{z_2}=\dfrac{r_1}{r_2}e^{i(\theta_1-\theta_2)}$, $\;z^n=r^ne^{in\theta}$ |
| 오일러 공식(Euler's formula) | $e^{i\theta}=\cos\theta+i\sin\theta$ |
| 드무아브르 공식(de Moivre's formula) | $(\cos\theta+i\sin\theta)^n=\cos n\theta+i\sin n\theta$ |
| 지수로 쓴 cos, sin | $\cos\theta=\dfrac{e^{i\theta}+e^{-i\theta}}{2}$, $\;\sin\theta=\dfrac{e^{i\theta}-e^{-i\theta}}{2i}$ |
| 쌍곡함수(hyperbolic function) | $\cosh x=\dfrac{e^x+e^{-x}}{2}$, $\;\sinh x=\dfrac{e^x-e^{-x}}{2}$ $\cos(ix)=\cosh x$, $\;\sin(ix)=i\sinh x$ |
| $n$제곱근 | $z^{1/n}=r^{1/n}e^{i(\theta+2\pi k)/n}$, $\;k=0,1,\dots,n-1$ |
| 로그 | $\ln z=\ln r+i(\theta+2\pi k)$, 주값 $\operatorname{Ln}z=\ln r+i\operatorname{Arg}z$ |
| 복소 거듭제곱 | $z^w=e^{w\ln z}$, 주값은 $e^{w\operatorname{Ln}z}$ |
자주 나오는 극형식: $i=e^{i\pi/2}$, $\;-1=e^{i\pi}$, $\;-i=e^{-i\pi/2}$, $\;1+i=\sqrt2\,e^{i\pi/4}$, $\;1-i=\sqrt2\,e^{-i\pi/4}$, $\;1+i\sqrt3=2e^{i\pi/3}$, $\;\sqrt3+i=2e^{i\pi/6}$.
오일러 공식. L01의 테일러 급수 $e^x=\sum\frac{x^n}{n!}$에 $x=i\theta$를 넣습니다. $i$의 거듭제곱은 $i,\,-1,\,-i,\,1$이 4개씩 되풀이됩니다.
$$\begin{aligned}e^{i\theta}&=1+i\theta-\frac{\theta^2}{2!}\\&\quad-i\frac{\theta^3}{3!}+\frac{\theta^4}{4!}+\cdots\\&=\Big(1-\frac{\theta^2}{2!}+\frac{\theta^4}{4!}-\cdots\Big)\\&\quad+i\Big(\theta-\frac{\theta^3}{3!}+\frac{\theta^5}{5!}-\cdots\Big)\end{aligned}$$첫 괄호는 $\cos\theta$의 급수, 둘째 괄호는 $\sin\theta$의 급수입니다. (복소수에서도 지수 급수가 수렴하고, 항을 실수부·허수부로 갈라 묶어도 된다는 것은 절대수렴이 보장합니다. 증명은 생략합니다.)
$\theta$ 자리에 $-\theta$를 넣으면 $e^{-i\theta}=\cos\theta-i\sin\theta$입니다. 두 식을 더해 2로 나누면 $\cos\theta$, 빼서 $2i$로 나누면 $\sin\theta$의 지수 표현이 나옵니다.
| 점의 위치 | $\theta$ (주값) |
|---|---|
| $x>0$ (1·4사분면, 양의 실수축) | $\alpha$ 그대로 |
| $x<0,\ y\ge0$ (2사분면, 음의 실수축) | $\alpha+\pi$ |
| $x<0,\ y<0$ (3사분면) | $\alpha-\pi$ |
| $x=0$ | $y>0$이면 $\frac\pi2$, $y<0$이면 $-\frac\pi2$ |
(a) $r=\sqrt{1+3}=2$. $\alpha=\arctan\dfrac{\sqrt3}{-1}=\arctan(-\sqrt3)=-\dfrac\pi3$. 점은 2사분면($x<0$, $y>0$)이므로 $\pi$를 더합니다.
$$\theta=-\frac\pi3+\pi=\frac{2\pi}{3},\qquad z=2e^{2\pi i/3}.$$검산: $2\cos\frac{2\pi}3=-1$, $2\sin\frac{2\pi}3=\sqrt3$. 맞습니다.
(b) $r=\sqrt{3+1}=2$. $\alpha=\arctan\dfrac{-1}{-\sqrt3}=\arctan\dfrac1{\sqrt3}=\dfrac\pi6$. 점은 3사분면이므로 $\pi$를 뺍니다.
$$\theta=\frac\pi6-\pi=-\frac{5\pi}{6},\qquad z=2e^{-5\pi i/6}.$$보정을 잊고 $\theta=\frac\pi6$이라고 쓰면 $2e^{i\pi/6}=\sqrt3+i=-z$, 즉 정반대 점이 나옵니다. $\pi$를 더해 $\frac{7\pi}6$이라고 써도 같은 점이지만 주값 범위 밖입니다. 로그와 복소 거듭제곱에서는 이 차이가 답을 바꿉니다(6절).
(c) $\cos\left(-\frac{3\pi}4\right)=-\frac{\sqrt2}2$, $\sin\left(-\frac{3\pi}4\right)=-\frac{\sqrt2}2$이므로
$$\begin{aligned}4e^{-3\pi i/4}&=4\Big(-\frac{\sqrt2}2-i\frac{\sqrt2}2\Big)\\&=-2\sqrt2-2\sqrt2\,i.\end{aligned}$$각이 더해지는 이유. $(\cos\alpha+i\sin\alpha)(\cos\beta+i\sin\beta)$를 전개하면 실수부는 $\cos\alpha\cos\beta-\sin\alpha\sin\beta=\cos(\alpha+\beta)$, 허수부는 $\sin\alpha\cos\beta+\cos\alpha\sin\beta=\sin(\alpha+\beta)$입니다. 곧 $e^{i\alpha}e^{i\beta}=e^{i(\alpha+\beta)}$이고, 각이 더해지는 것은 삼각함수 덧셈정리 그 자체입니다. 크기 $r_1$, $r_2$는 실수라서 그냥 곱해집니다.
$|z_1z_2|=|z_1||z_2|$. 켤레는 곱을 나눠 가집니다: $(z_1z_2)^*=z_1^*z_2^*$ ($i\to-i$로 바꾸는 것이므로). 그래서 $|z_1z_2|^2=z_1z_2\,z_1^*z_2^*=|z_1|^2|z_2|^2$입니다.
켤레를 곱하는 이유. $(c+di)(c-di)=c^2+d^2$는 실수입니다. 분모의 켤레를 위아래에 곱하면 분모가 실수가 되어 나눗셈이 끝납니다.
극형식: $1+i\sqrt3=2e^{i\pi/3}$, $1-i=\sqrt2\,e^{-i\pi/4}$ (4사분면).
$$w=\frac{2}{\sqrt2}\,e^{i(\pi/3+\pi/4)}=\sqrt2\,e^{7\pi i/12}.$$직교형: 분모의 켤레 $1+i$를 위아래에 곱합니다.
$$\begin{aligned}w&=\frac{(1+i\sqrt3)(1+i)}{(1-i)(1+i)}\\&=\frac{1+i+i\sqrt3+i^2\sqrt3}{2}\\&=\frac{1-\sqrt3}{2}+i\,\frac{1+\sqrt3}{2}.\end{aligned}$$두 결과의 실수부를 비교하면 덤으로 $\sqrt2\cos\frac{7\pi}{12}=\frac{1-\sqrt3}2$, 즉 $\cos\frac{7\pi}{12}=\frac{\sqrt2-\sqrt6}{4}$도 얻습니다.
10제곱은 극형식으로 합니다. 각 $\frac{35\pi}6$에서 $6\pi$를 빼서 주값 범위로 되돌립니다.
$$\begin{aligned}w^{10}&=(\sqrt2)^{10}e^{70\pi i/12}=32\,e^{35\pi i/6}=32\,e^{-\pi i/6}\\&=32\Big(\frac{\sqrt3}2-\frac i2\Big)=16\sqrt3-16i.\end{aligned}$$나머지도 바로 읽힙니다: $|w|=\sqrt2$, $\;w^*=\sqrt2\,e^{-7\pi i/12}$, $\;\dfrac1w=\dfrac1{\sqrt2}\,e^{-7\pi i/12}$.
드무아브르 공식. 오일러 공식이 있으면 한 줄입니다: $(\cos\theta+i\sin\theta)^n=(e^{i\theta})^n=e^{in\theta}=\cos n\theta+i\sin n\theta$.
오일러 공식 없이도 됩니다. 2절 상자의 "곱하면 각이 더해진다"를 $n$번 되풀이하면 각이 $\theta+\theta+\cdots+\theta=n\theta$입니다(수학적 귀납법). 음의 $n$은 $\frac{1}{\cos\theta+i\sin\theta}=\cos\theta-i\sin\theta$를 써서 같은 결론입니다.
배각 공식이 나오는 이유. 같은 수 $(c+is)^n$을 두 방법(이항정리, 드무아브르)으로 계산했으니 결과가 같습니다. $c$, $s$가 실수이므로 실수부는 실수부끼리, 허수부는 허수부끼리 같다고 놓을 수 있습니다.
짝짓기: $w^4+w^{-4}=2\cos4\theta$, $\;-4(w^2+w^{-2})=-8\cos2\theta$.
$$\begin{aligned}\sin^4\theta&=\frac{2\cos4\theta-8\cos2\theta+6}{16}\\&=\frac38-\frac12\cos2\theta+\frac18\cos4\theta.\end{aligned}$$적분하면 $\cos$ 항은 0이므로 $\displaystyle\int_0^{2\pi}\sin^4\theta\,d\theta=\frac38\cdot2\pi=\frac{3\pi}4$.
같은 방법: $\cos^3\theta=\dfrac{(w+w^{-1})^3}{8}=\dfrac{w^3+3w+3w^{-1}+w^{-3}}{8}=\dfrac{3\cos\theta+\cos3\theta}{4}$. 예제 3-1의 $\cos3\theta=4\cos^3\theta-3\cos\theta$를 거꾸로 푼 것과 같습니다.
정말 근인가. $z_k^n=\rho\,e^{i(\varphi+2\pi k)}=\rho e^{i\varphi}\cdot e^{2\pi ik}=w$입니다. $e^{2\pi ik}=\cos2\pi k+i\sin2\pi k=1$이기 때문입니다.
왜 정확히 $n$개인가. $k$와 $k+n$은 각이 $\frac{2\pi n}{n}=2\pi$만큼 달라서 같은 점입니다. 그래서 $k=0,1,\dots,n-1$만 보면 되고, 이들은 각이 $\frac{2\pi}n$씩 달라 모두 다른 점입니다. $n$차 다항식 $z^n-w$는 근이 많아야 $n$개이므로 이것이 전부입니다.
근의 합이 0인 이유. $z_k=z_0q^k$, $q=e^{2\pi i/n}\ne1$이므로 기하급수 합 $z_0\frac{q^n-1}{q-1}=0$입니다($q^n=1$). 정$n$각형의 무게중심이 원점이라는 뜻입니다.
켤레 쌍. 계수가 실수이면 $p(z)^*=p(z^*)$입니다. 그래서 $p(z_0)=0$이면 $p(z_0^*)=0^*=0$입니다.
$8i=8e^{i\pi/2}$이므로 $z_k=2e^{i(\pi/2+2\pi k)/3}=2e^{i(\pi/6+2\pi k/3)}$.
세 점은 반지름 2인 원 위의 정삼각형입니다. 검산: 합 $=(\sqrt3+i)+(-\sqrt3+i)+(-2i)=0$, $\;(-2i)^3=-8i^3=8i$.
(a) $z^4=-1=e^{i\pi}$이므로 $z_k=e^{i(\pi+2\pi k)/4}$, 즉 각이 $\frac\pi4,\frac{3\pi}4,\frac{5\pi}4,\frac{7\pi}4$인 정사각형입니다.
$$\begin{aligned}z&=e^{\pm i\pi/4}=\frac{1\pm i}{\sqrt2},\\ z&=e^{\pm3\pi i/4}=\frac{-1\pm i}{\sqrt2}.\end{aligned}$$켤레끼리 묶습니다. $e^{\pm i\pi/4}$ 쌍은 $\mathrm{Re}\,z_0=\frac1{\sqrt2}$, $|z_0|=1$이므로 $z^2-\sqrt2z+1$. $e^{\pm3\pi i/4}$ 쌍은 $z^2+\sqrt2z+1$.
$$z^4+1=(z^2-\sqrt2z+1)(z^2+\sqrt2z+1).$$검산: 오른쪽 $=(z^2+1)^2-(\sqrt2z)^2=z^4+2z^2+1-2z^2$.
(b) $D=2^2-4(1-2i)=8i$. $(a+bi)^2=8i$에서 $a^2-b^2=0$, $2ab=8$이므로 $a=b=2$. 따라서 $\sqrt D=\pm(2+2i)$.
$$z=\frac{-2\pm(2+2i)}{2}\ \Rightarrow\ z=i\ \text{또는}\ z=-2-i.$$검산: 두 근의 합 $-2$ ($=-b/a$), 곱 $i(-2-i)=1-2i$ ($=c/a$). 계수가 복소수라서 두 근은 켤레가 아닙니다.
로그가 다가인 이유. $\ln z$는 $e^w=z$를 만족하는 $w$입니다. $w=u+iv$로 두면 $e^w=e^ue^{iv}$이므로 크기에서 $e^u=r$, 각에서 $e^{iv}=e^{i\theta}$입니다. 크기 쪽은 $u=\ln r$ 하나로 정해집니다. 그런데 각 쪽은 $e^{2\pi ik}=1$이라서 $v=\theta+2\pi k$ 어느 것이어도 됩니다. 곧 $e^w$는 허수 방향으로 주기 $2\pi i$를 가지므로, 거꾸로 가는 $\ln$은 값이 $2\pi i$ 간격으로 무한히 많습니다.
거듭제곱의 값 개수. $z^w=e^{w\ln z}$에서 $\ln z$의 $2\pi ik$에 $w$가 곱해져 $e^{2\pi ikw}$가 붙습니다. $w$가 정수면 이것이 모두 1이라 값이 하나, $w=\frac pq$면 $k=0,\dots,q-1$에서 $q$개가 되풀이되고, 그 밖에는 모두 달라 무한개입니다.
$\operatorname{Ln}$의 곱 법칙이 깨지는 이유. 각을 더한 결과가 $(-\pi,\pi]$ 밖으로 나가면, 주값은 $2\pi$를 빼서 되돌리기 때문입니다.
(a) $r=\sqrt2$. 3사분면이므로 $\operatorname{Arg}=\frac\pi4-\pi=-\frac{3\pi}4$.
$$\begin{aligned}\operatorname{Ln}(-1-i)&=\tfrac12\ln2-\tfrac{3\pi}{4}i,\\ \ln(-1-i)&=\tfrac12\ln2+i\Big(-\tfrac{3\pi}4+2\pi k\Big).\end{aligned}$$(b) $\ln i=i\left(\frac\pi2+2\pi k\right)$이므로 $i\ln i=i^2\left(\frac\pi2+2\pi k\right)=-\frac\pi2-2\pi k$.
$$i^i=e^{-\pi/2-2\pi k},\qquad \text{주값 } i^i=e^{-\pi/2}\approx0.2079.$$모든 값이 실수입니다.
(c) $\operatorname{Ln}(1+i)=\frac12\ln2+\frac{i\pi}4$. $i$를 곱하면 $-\frac\pi4+\frac{i}2\ln2$. $v=\frac12\ln2\approx0.3466$으로 두면
$$\begin{aligned}(1+i)^i&=e^{-\pi/4}e^{iv}=e^{-\pi/4}(\cos v+i\sin v)\\&\approx0.4288+0.1549i.\end{aligned}$$모든 값은 이 주값에 $e^{-2\pi k}$를 곱한 것입니다.
$\cos(ix)=\cosh x$. 0절의 $\cos\theta=\frac{e^{i\theta}+e^{-i\theta}}2$에 $\theta=ix$를 넣으면 $\frac{e^{-x}+e^{x}}2=\cosh x$입니다. 같은 방법으로 $\sin(ix)=\frac{e^{-x}-e^{x}}{2i}=i\,\frac{e^x-e^{-x}}{2}=i\sinh x$.
$\sin(x+iy)$. 덧셈정리 $\sin(a+b)=\sin a\cos b+\cos a\sin b$는 지수 표현에서 나온 대수식이라 복소수에서도 성립합니다. $a=x$, $b=iy$를 넣고 위 결과를 쓰면 $\sin x\cosh y+i\cos x\sinh y$입니다.
절댓값. $|\sin z|^2=\sin^2x\cosh^2y+\cos^2x\sinh^2y$. $\cosh^2y=1+\sinh^2y$를 넣으면 $\sin^2x+(\sin^2x+\cos^2x)\sinh^2y=\sin^2x+\sinh^2y$입니다.
영점이 실수축에만 있는 이유. $\sin z=0$이면 $\sin^2x+\sinh^2y=0$입니다. 두 항이 모두 0 이상이므로 둘 다 0이어야 하고, $\sinh y=0$에서 $y=0$, $\sin x=0$에서 $x=n\pi$입니다. $\cos z$도 $|\cos z|^2=\cos^2x+\sinh^2y$로 같습니다.
(A) 실수부·허수부 비교. $\sin x\cosh y=2$, $\;\cos x\sinh y=0$.
(B) 검산. $w=e^{iz}$로 두면 $\dfrac{w-w^{-1}}{2i}=2$ → $w^2-4iw-1=0$ → $w=\dfrac{4i\pm\sqrt{-16+4}}2=i(2\pm\sqrt3)$.
$iz=\ln w=\ln(2\pm\sqrt3)+i\left(\frac\pi2+2\pi k\right)$이므로 $z=\frac\pi2+2\pi k-i\ln(2\pm\sqrt3)$. $\ln(2-\sqrt3)=-\ln(2+\sqrt3)$이므로 (A)와 같습니다.
(a) 방법 1: $\cos$로 바꾸기. $\cosh z=\cos(iz)$이므로 $\cos(iz)=0$, 곧 $iz=\frac\pi2+n\pi$입니다. 양변에 $-i$를 곱하면 $z=-i\big(\frac\pi2+n\pi\big)$. $n$이 모든 정수를 돌면 $-\big(\frac\pi2+n\pi\big)$도 $\frac\pi2+m\pi$ 꼴을 모두 돕니다($m=-n-1$). 그래서
$$z=i\Big(\frac\pi2+n\pi\Big),\quad n\text{은 정수}.$$방법 2: 실수부·허수부. 덧셈정리로 $\cosh(x+iy)=\cosh x\cos y+i\sinh x\sin y$입니다($\cosh(iy)=\cos y$, $\sinh(iy)=i\sin y$).
같은 답입니다. 영점은 모두 허수축 위에 있고, 실수 $x$에서는 $\cosh x\ge1$이라 영점이 없습니다.
(b) $w=e^z$로 두면 $\dfrac{w-w^{-1}}{2}=i$, 양변에 $2w$를 곱해 $w^2-2iw-1=0$. 이것은 $(w-i)^2=0$이라 $w=i$ (중근)입니다.
$$z=\ln i=i\Big(\frac\pi2+2\pi k\Big)$$검산: $\sinh\frac{i\pi}2=i\sin\frac\pi2=i$. 주기가 $2\pi i$이므로 $2\pi ik$를 더해도 됩니다.
(a) 복소 지수로 적분합니다.
$$\begin{aligned}\int e^{(a+ib)x}dx&=\frac{e^{(a+ib)x}}{a+ib}\\&=\frac{e^{ax}(\cos bx+i\sin bx)(a-ib)}{a^2+b^2}.\end{aligned}$$분자를 전개합니다: $(\cos bx+i\sin bx)(a-ib)=(a\cos bx+b\sin bx)+i(a\sin bx-b\cos bx)$. 실수부와 허수부를 고르면
$$\begin{aligned}\int e^{ax}\cos bx\,dx&=\frac{e^{ax}(a\cos bx+b\sin bx)}{a^2+b^2}+C,\\ \int e^{ax}\sin bx\,dx&=\frac{e^{ax}(a\sin bx-b\cos bx)}{a^2+b^2}+C.\end{aligned}$$부분적분을 두 번 하고 원래 적분으로 되돌아오는 계산이 한 줄로 끝납니다. $a=-p$ ($p>0$)로 두고 $0$부터 $\infty$까지 넣으면 자주 쓰는 정적분이 나옵니다.
$$\begin{aligned}\int_0^\infty e^{-px}\cos bx\,dx&=\frac{p}{p^2+b^2},\\ \int_0^\infty e^{-px}\sin bx\,dx&=\frac{b}{p^2+b^2}.\end{aligned}$$(b) $e^x\cos x=\mathrm{Re}\,e^{(1+i)x}=\mathrm{Re}\displaystyle\sum_n\frac{(1+i)^nx^n}{n!}$. $(1+i)^n=(\sqrt2)^ne^{in\pi/4}$이므로 $x^n$의 계수는 $\dfrac{2^{n/2}\cos(n\pi/4)}{n!}$입니다.
| $n$ | $2^{n/2}\cos(n\pi/4)$ | 계수 |
|---|---|---|
| 0 | $1$ | $1$ |
| 1 | $\sqrt2\cdot\frac{\sqrt2}2=1$ | $1$ |
| 2 | $2\cdot0=0$ | $0$ |
| 3 | $2\sqrt2\cdot\big(-\frac{\sqrt2}2\big)=-2$ | $-\frac26=-\frac13$ |
| 4 | $4\cdot(-1)=-4$ | $-\frac4{24}=-\frac16$ |
L01 C2의 답과 같습니다. 급수 두 개를 곱하지 않고 일반항을 바로 얻습니다.
유한 기하급수. $S=1+q+\cdots+q^N$이면 $qS=q+\cdots+q^{N+1}$입니다. 빼면 $(q-1)S=q^{N+1}-1$. 복소수 $q$에서도 그대로입니다. $|q|<1$이면 $q^{N+1}\to0$이라 무한합 $\frac1{1-q}$가 됩니다.
실수부만 떼어 내도 되는 이유. $\sum\cos n\theta+i\sum\sin n\theta=\sum e^{in\theta}$입니다. 왼쪽의 두 합은 실수이므로 오른쪽의 실수부가 $\cos$ 합, 허수부가 $\sin$ 합입니다. 덧셈과 $\mathrm{Re}$는 순서를 바꿔도 되기 때문입니다(8절 레시피 4번).
반각 묶기. $e^{i\varphi/2}-e^{-i\varphi/2}=2i\sin\frac\varphi2$ (0절의 $\sin$ 지수 표현)입니다. 분자와 분모를 같은 모양으로 묶으면 크기($\sin$의 비)와 위상($e^{i\cdot}$ 부분)이 갈라져 실수부·허수부를 바로 읽을 수 있습니다.
(a) $q=e^{i\theta}$로 두고 분자·분모에 반각 묶기를 씁니다.
$$\begin{aligned}\sum_{n=0}^{N}e^{in\theta}&=\frac{e^{i(N+1)\theta}-1}{e^{i\theta}-1}\\&=\frac{2i\sin\frac{(N+1)\theta}2\,e^{i(N+1)\theta/2}}{2i\sin\frac\theta2\,e^{i\theta/2}}\\&=\frac{\sin\frac{(N+1)\theta}{2}}{\sin\frac\theta2}\,e^{iN\theta/2}.\end{aligned}$$$e^{iN\theta/2}=\cos\frac{N\theta}2+i\sin\frac{N\theta}2$이므로 실수부와 허수부는
$$\begin{aligned}\sum_{n=0}^{N}\cos n\theta&=\frac{\sin\frac{(N+1)\theta}{2}\cos\frac{N\theta}2}{\sin\frac\theta2},\\ \sum_{n=0}^{N}\sin n\theta&=\frac{\sin\frac{(N+1)\theta}{2}\sin\frac{N\theta}2}{\sin\frac\theta2}.\end{aligned}$$검산($N=1$): 왼쪽은 $1+\cos\theta$, 오른쪽은 $\dfrac{\sin\theta\cos\frac\theta2}{\sin\frac\theta2}=2\cos^2\frac\theta2=1+\cos\theta$.
(b) 분모의 켤레 $1-re^{-i\theta}$를 위아래에 곱합니다.
$$\begin{aligned}\sum_{n=0}^\infty(re^{i\theta})^n&=\frac{1}{1-re^{i\theta}}=\frac{1-re^{-i\theta}}{1-2r\cos\theta+r^2}\\&=\frac{1-r\cos\theta+ir\sin\theta}{1-2r\cos\theta+r^2}.\end{aligned}$$ $$\begin{aligned}\sum_{n=0}^\infty r^n\cos n\theta&=\frac{1-r\cos\theta}{1-2r\cos\theta+r^2},\\ \sum_{n=1}^\infty r^n\sin n\theta&=\frac{r\sin\theta}{1-2r\cos\theta+r^2}.\end{aligned}$$($\sin$ 합은 $n=0$ 항이 0이라서 $n=1$부터 써도 같습니다.)
종이에 먼저 풀고 답을 여세요. 모든 답은 SymPy로 검산했습니다. 각은 주값 범위 $(-\pi,\pi]$로 답합니다.
A1. $-3+3i$를 극형식으로
A2. $-2-2\sqrt3\,i$를 극형식으로
A3. $-3-4i$를 극형식으로 (계산기 사용, 라디안 소수 넷째 자리까지)
A4. $2e^{5\pi i/6}$를 직교형으로
B1. $(\sqrt3+i)^6$
B2. $z=2-i$일 때 $\dfrac1z$, $\dfrac{z}{z^*}$, $|z^2|$
B3. $\left(\dfrac{1+i\sqrt3}{1+i}\right)^{12}$
C1. $\cos4\theta$와 $\sin4\theta$를 $c=\cos\theta$, $s=\sin\theta$로
C2. $\sin^3\theta$를 배각의 합으로
C3. $\displaystyle\int_0^{2\pi}\cos^6\theta\,d\theta$
D1. $-5+12i$의 제곱근
D2. $z^6=-64$의 여섯 근
D3. $z^4+4=0$을 풀고 실수 2차식으로 인수분해
D4. $z^2-(2+i)z+(1+i)=0$
E1. $\ln(1-i\sqrt3)$의 주값과 모든 값
E2. $2^i$의 주값
E3. $1^i$의 모든 값
E4. $e^z=-2$의 모든 해
E5. $\cos\left(\frac\pi2+i\ln2\right)$
E6. $\cos z=3$의 모든 해
E7. $|\cos z|^2=\cos^2x+\sinh^2y$를 써서 $\cos z=0$의 해를 모두 구하기
E8. $\sinh z=0$의 모든 해와 $\tanh z$의 극
E9. $\cosh z=\frac12$의 모든 해
F1. $\displaystyle\int_0^\infty e^{-2x}\cos3x\,dx$
F2. $e^x\sin x$를 $x^5$까지
F3. $\displaystyle\sum_{n=1}^N\cos(2n-1)\theta$
F4. $\displaystyle\sum_{n=0}^\infty\frac{\cos n\theta}{2^n}$
F5. $\displaystyle\sum_{n=0}^\infty\frac{\cos n\theta}{n!}$