← 로드맵 · ← 이전 L01 · 다음 L03 →

L02 · 복소수 계산

Arfken 7판 1.8절 (복소수와 복소함수: 극형식, 오일러 공식, 드무아브르 공식, $n$제곱근, 복소 로그, 쌍곡함수)

이 레슨이 끝나면 할 수 있는 계산
  1. 직교형과 극형식을 사분면 실수 없이 오가기
  2. 극형식으로 곱·나눗셈·거듭제곱 하기, 켤레·절댓값·역수 구하기
  3. 드무아브르 공식으로 배각 공식 만들기, $\sin^n\theta$·$\cos^n\theta$를 배각의 합으로 바꾸기
  4. $n$제곱근 구하기, 복소근을 갖는 방정식 풀기
  5. 복소 로그와 복소 거듭제곱($i^i$ 등)의 주값과 모든 값 구하기
  6. 복소수에서 삼각·쌍곡함수 계산하기, $\sin z=2$ 같은 방정식 풀기, 영점·주기 찾기
  7. 복소 지수로 적분·테일러 전개·삼각급수의 합 계산하기

0. 외워 둘 공식

복소수 계산은 거의 전부 "극형식으로 바꾸고, 지수법칙을 쓰고, 다시 돌아온다"입니다.

항목공식
직교형(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$의 지수 표현이 나옵니다.

이 레슨의 관례

1. 직교형 ↔ 극형식 — 사분면이 핵심

레시피 ($z=x+iy$ → $re^{i\theta}$)
  1. $r=\sqrt{x^2+y^2}$.
  2. 계산기로 $\alpha=\arctan(y/x)$를 구합니다. 이 값은 항상 $-\frac\pi2$와 $\frac\pi2$ 사이라서 1·4사분면의 각만 나옵니다.
  3. 점이 어느 사분면에 있는지 보고 고칩니다(atan2 규칙).
    점의 위치$\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$
    ($[0,2\pi)$ 관례라면 3사분면도 $\alpha+\pi$, 4사분면은 $\alpha+2\pi$입니다.)
  4. 검산: $r\cos\theta$와 $r\sin\theta$의 부호가 $x$, $y$의 부호와 맞는지 봅니다.
  5. 반대 방향(극형식 → 직교형)은 $x=r\cos\theta$, $y=r\sin\theta$를 계산하면 끝입니다.
예제 1-1 (a) $z=-1+i\sqrt3$ (b) $z=-\sqrt3-i$를 극형식으로, (c) $4e^{-3\pi i/4}$를 직교형으로

(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}$$

2. 극형식으로 곱·나눗셈·거듭제곱, 켤레와 역수

레시피
  1. 곱은 크기를 곱하고 각을 더합니다. 몫은 크기를 나누고 각을 뺍니다. $n$제곱은 크기를 $n$제곱하고 각에 $n$을 곱합니다.
  2. 결과 각이 $(-\pi,\pi]$ 밖이면 $2\pi$의 정수배를 더하거나 빼서 되돌립니다.
  3. 켤레는 $i$를 $-i$로 바꿉니다. 극형식에서는 각의 부호만 바뀝니다. $|z|^2=zz^*$이고 $|z_1z_2|=|z_1||z_2|$입니다.
  4. 직교형끼리 나눌 때는 분모의 켤레를 위아래에 곱합니다: $\dfrac{a+bi}{c+di}=\dfrac{(a+bi)(c-di)}{c^2+d^2}$. 역수도 같습니다. 예: $\dfrac1{3+4i}=\dfrac{3-4i}{25}$.
  5. 곱셈 한두 번이면 직교형이, 거듭제곱이나 나눗셈이 섞이면 극형식이 빠릅니다.
왜 되나? (증명 스케치)

각이 더해지는 이유. $(\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$는 실수입니다. 분모의 켤레를 위아래에 곱하면 분모가 실수가 되어 나눗셈이 끝납니다.

예제 2-1 $w=\dfrac{1+i\sqrt3}{1-i}$를 두 방법으로 계산하고, $w^{10}$ 구하기

극형식: $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}$.

3. 오일러·드무아브르 공식으로 배각 공식 만들기

레시피
  1. $c=\cos\theta$, $s=\sin\theta$로 두고 $(c+is)^n=\cos n\theta+i\sin n\theta$를 씁니다.
  2. 왼쪽을 이항정리로 전개합니다. 계수는 파스칼 삼각형(1 3 3 1, 1 4 6 4 1, …)입니다.
  3. $i^2=-1$, $i^3=-i$, $i^4=1$로 정리하고, 실수부는 실수부끼리, 허수부는 허수부끼리 같다고 놓습니다.
  4. 한 함수로만 쓰고 싶으면 $s^2=1-c^2$를 넣습니다.
  5. 덧셈정리도 같은 방법입니다. $e^{i(\alpha+\beta)}=e^{i\alpha}e^{i\beta}$의 실수부가 $\cos(\alpha+\beta)=\cos\alpha\cos\beta-\sin\alpha\sin\beta$입니다.
왜 되나? (증명 스케치)

드무아브르 공식. 오일러 공식이 있으면 한 줄입니다: $(\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$가 실수이므로 실수부는 실수부끼리, 허수부는 허수부끼리 같다고 놓을 수 있습니다.

예제 3-1 $\cos3\theta$와 $\sin3\theta$를 $\cos\theta$, $\sin\theta$로 $$\begin{aligned}(c+is)^3&=c^3+3c^2(is)+3c(is)^2+(is)^3\\&=c^3+3ic^2s-3cs^2-is^3.\end{aligned}$$ $$\begin{aligned}\cos3\theta&=4\cos^3\theta-3\cos\theta,\\ \sin3\theta&=3\sin\theta-4\sin^3\theta.\end{aligned}$$

4. $\sin^n\theta$, $\cos^n\theta$를 배각의 합으로

레시피 (3절의 거꾸로)
  1. $w=e^{i\theta}$로 두고 $\cos\theta=\dfrac{w+w^{-1}}2$, $\sin\theta=\dfrac{w-w^{-1}}{2i}$를 씁니다.
  2. $n$제곱을 이항정리로 전개합니다.
  3. 양 끝에서부터 짝을 지어 $w^k+w^{-k}=2\cos k\theta$, $w^k-w^{-k}=2i\sin k\theta$로 묶습니다.
  4. 앞에 붙은 $2^n$ 또는 $(2i)^n$으로 나눕니다. $(2i)^2=-4$, $(2i)^3=-8i$, $(2i)^4=16$.
  5. 결과: $\cos^n\theta$와 짝수 $n$의 $\sin^n\theta$는 $\cos k\theta$의 합이 되고, 홀수 $n$의 $\sin^n\theta$는 $\sin k\theta$의 합이 됩니다.
  6. 쓰임새: 한 주기 적분에서는 $\cos k\theta$ ($k\ge1$) 항이 모두 0이 되어 상수항만 남습니다.
예제 4-1 $\sin^4\theta$를 배각의 합으로 쓰고 $\displaystyle\int_0^{2\pi}\sin^4\theta\,d\theta$ 구하기 $$\begin{aligned}\sin^4\theta&=\frac{(w-w^{-1})^4}{(2i)^4}\\&=\frac{w^4-4w^2+6-4w^{-2}+w^{-4}}{16}.\end{aligned}$$

짝짓기: $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$를 거꾸로 푼 것과 같습니다.

5. $n$제곱근과 복소근을 갖는 방정식

레시피
  1. $z^n=w$에서 $w$를 극형식 $\rho e^{i\varphi}$로 씁니다.
  2. $z_k=\rho^{1/n}e^{i(\varphi+2\pi k)/n}$, $k=0,1,\dots,n-1$. 근은 정확히 $n$개입니다.
  3. 그림으로 보면 반지름 $\rho^{1/n}$인 원 위에 각 간격 $\frac{2\pi}n$으로 놓인 정$n$각형의 꼭짓점입니다. 첫 꼭짓점의 각은 $\varphi/n$입니다. $n\ge2$이면 근의 합은 0입니다.
  4. 단위근(roots of unity): $z^n=1$의 근 $e^{2\pi ik/n}$. $z^n=w$의 근은 근 하나에 단위근을 차례로 곱해서 모두 얻습니다.
  5. 2차방정식은 근의 공식을 그대로 씁니다. 판별식(discriminant) $D$가 복소수이면 $(a+bi)^2=D$를 풀어 $\sqrt D$를 구합니다: $a^2-b^2=\mathrm{Re}\,D$, $\;2ab=\mathrm{Im}\,D$.
  6. 계수가 모두 실수인 다항식의 복소근은 켤레 쌍으로 나옵니다. 한 쌍을 묶으면 실수 2차 인수가 됩니다: $(z-z_0)(z-z_0^*)=z^2-2(\mathrm{Re}\,z_0)z+|z_0|^2$.
왜 되나? (증명 스케치)

정말 근인가. $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$입니다.

예제 5-1 $z^3=8i$의 세 근

$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$.

예제 5-2 (a) $z^4+1=0$을 풀고 실수 2차식으로 인수분해 (b) $z^2+2z+(1-2i)=0$

(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$). 계수가 복소수라서 두 근은 켤레가 아닙니다.

6. 복소 로그와 복소 거듭제곱

레시피
  1. $z=re^{i\theta}$로 씁니다. $\ln z=\ln r+i(\theta+2\pi k)$, $k$는 모든 정수입니다. 값이 무한히 많은 다가함수(multivalued function)입니다.
  2. 주값(principal value): $\operatorname{Ln}z=\ln r+i\operatorname{Arg}z$. 1절 규칙으로 구한 $(-\pi,\pi]$ 범위의 각을 넣습니다.
  3. 복소 거듭제곱: $z^w=e^{w\ln z}$. 모든 값은 $k$를 남겨 두고, 주값은 $k=0$입니다.
  4. 결과는 $e^{u+iv}=e^u(\cos v+i\sin v)$로 정리합니다.
  5. 값의 개수: 지수가 정수면 1개, 기약분수 $p/q$면 $q$개($q$제곱근과 같음), 무리수나 허수면 무한개입니다.
왜 되나? (증명 스케치)

로그가 다가인 이유. $\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$를 빼서 되돌리기 때문입니다.

예제 6-1 (a) $\operatorname{Ln}(-1-i)$와 모든 값 (b) $i^i$ (c) $(1+i)^i$

(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}$를 곱한 것입니다.

7. 쌍곡함수와 삼각함수

레시피
  1. 기본 관계: $\cos(ix)=\cosh x$, $\;\sin(ix)=i\sinh x$, $\;\cosh(ix)=\cos x$, $\;\sinh(ix)=i\sin x$. 0절의 지수 표현에 $\theta=ix$를 넣으면 나옵니다.
  2. $z=x+iy$이면 덧셈정리로 쪼갭니다. $$\begin{aligned}\sin(x+iy)&=\sin x\cosh y+i\cos x\sinh y,\\ \cos(x+iy)&=\cos x\cosh y-i\sin x\sinh y.\end{aligned}$$
  3. 절댓값: $|\sin z|^2=\sin^2x+\sinh^2y$, $\;|\cos z|^2=\cos^2x+\sinh^2y$. $y\ne0$이면 1보다 커질 수 있습니다.
  4. $\sin z=c$ 꼴의 방정식은 (A) 2번 식의 실수부·허수부를 비교하거나, (B) $w=e^{iz}$로 두고 $w$의 2차방정식을 풉니다.
  5. $\cosh y=c$ ($c\ge1$)의 해는 $y=\pm\ln\big(c+\sqrt{c^2-1}\big)$입니다.
  6. 영점(zero): 삼각함수의 영점은 복소평면에서도 실수축 위의 것뿐입니다. $$\begin{aligned}\sin z=0:&\ \ z=n\pi\\ \cos z=0:&\ \ z=\tfrac\pi2+n\pi\end{aligned}$$ 쌍곡함수는 $\cosh z=\cos(iz)$, $\;\sinh z=-i\sin(iz)$로 바꿔 읽습니다. 영점이 허수축 위로 옮겨 갑니다: $\sinh z=0$이면 $z=in\pi$, $\ \cosh z=0$이면 $z=i\big(\frac\pi2+n\pi\big)$입니다($n$은 모든 정수).
  7. 주기(period): $e^z$는 $2\pi i$, $\sin z$와 $\cos z$는 $2\pi$, $\sinh z$와 $\cosh z$는 $2\pi i$, $\tan z$는 $\pi$, $\tanh z$는 $\pi i$입니다. $\tan z$의 극(분모 $\cos z$의 영점)은 $\frac\pi2+n\pi$, $\tanh z$의 극은 $i\big(\frac\pi2+n\pi\big)$입니다. L11–L13의 유수 계산에서 이 위치를 그대로 씁니다. (원·쌍곡 함수의 이런 관계는 Arfken 1.8절에 있다고 기억합니다. 기억 기반, 미검증)
왜 되나? (증명 스케치)

$\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$로 같습니다.

예제 7-1 $\sin z=2$ 풀기

(A) 실수부·허수부 비교. $\sin x\cosh y=2$, $\;\cos x\sinh y=0$.

$$\begin{aligned}z&=\frac\pi2+2\pi k\pm i\ln(2+\sqrt3)\\&\approx\frac\pi2+2\pi k\pm1.317i.\end{aligned}$$

(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)와 같습니다.

예제 7-2 (영점과 쌍곡함수 방정식) (a) $\cosh z=0$의 모든 해를 두 방법으로 (b) $\sinh z=i$

(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$를 더해도 됩니다.

8. 복소 지수로 적분과 테일러 전개

레시피
  1. $\cos bx=\mathrm{Re}\,e^{ibx}$, $\sin bx=\mathrm{Im}\,e^{ibx}$이므로 $e^{ax}\cos bx=\mathrm{Re}\,e^{(a+ib)x}$, $\;e^{ax}\sin bx=\mathrm{Im}\,e^{(a+ib)x}$.
  2. 복소 지수인 채로 적분·미분·급수 전개를 합니다. 지수함수 공식이 그대로 통합니다: $\int e^{cx}dx=\frac{e^{cx}}c$, $\;e^{cx}=\sum\frac{c^nx^n}{n!}$.
  3. 마지막에 분모를 실수로 만들고(켤레 곱), 실수부나 허수부를 고릅니다.
  4. $\mathrm{Re}$는 덧셈·실수배·적분과는 순서를 바꿔도 되지만 곱과는 안 됩니다: $\mathrm{Re}(fg)\ne\mathrm{Re}\,f\cdot\mathrm{Re}\,g$.
예제 8-1 (a) $\displaystyle\int e^{ax}\cos bx\,dx$ (b) L01 C2 다시 보기: $e^x\cos x$를 $x^4$까지

(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$
$$e^x\cos x=1+x-\frac{x^3}3-\frac{x^4}6+\cdots$$

L01 C2의 답과 같습니다. 급수 두 개를 곱하지 않고 일반항을 바로 얻습니다.

9. 삼각급수의 합

레시피
  1. $\sum\cos n\theta=\mathrm{Re}\sum(e^{i\theta})^n$, $\;\sum r^n\cos n\theta=\mathrm{Re}\sum(re^{i\theta})^n$. 공비 $q$인 기하급수로 바꿉니다. $\sin$이면 $\mathrm{Im}$입니다.
  2. 유한합 $\displaystyle\sum_{n=0}^{N}q^n=\frac{q^{N+1}-1}{q-1}$, 무한합 $\displaystyle\sum_{n=0}^\infty q^n=\frac1{1-q}$ ($|q|<1$).
  3. 유한합의 분모는 반각 묶기로 정리합니다: $e^{i\varphi}-1=e^{i\varphi/2}\big(e^{i\varphi/2}-e^{-i\varphi/2}\big)=2i\sin\frac\varphi2\,e^{i\varphi/2}$.
  4. 무한합은 켤레 곱으로 정리합니다: $(1-re^{i\theta})(1-re^{-i\theta})=1-2r\cos\theta+r^2$.
왜 되나? (증명 스케치)

유한 기하급수. $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}$ 부분)이 갈라져 실수부·허수부를 바로 읽을 수 있습니다.

예제 9-1 (a) $\displaystyle\sum_{n=0}^N\cos n\theta$ (b) $\displaystyle\sum_{n=0}^\infty r^n\cos n\theta$ ($|r|<1$)

(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$부터 써도 같습니다.)

10. 자주 하는 실수

11. 연습문제

종이에 먼저 풀고 답을 여세요. 모든 답은 SymPy로 검산했습니다. 각은 주값 범위 $(-\pi,\pi]$로 답합니다.

A. 직교형 ↔ 극형식

A1. $-3+3i$를 극형식으로

답$3\sqrt2\,e^{3\pi i/4}$ — 2사분면: $\arctan(-1)=-\frac\pi4$에 $\pi$를 더합니다.

A2. $-2-2\sqrt3\,i$를 극형식으로

답$4e^{-2\pi i/3}$ — 3사분면: $\arctan\sqrt3=\frac\pi3$에서 $\pi$를 뺍니다.

A3. $-3-4i$를 극형식으로 (계산기 사용, 라디안 소수 넷째 자리까지)

답$5e^{-2.2143i}$ — $\arctan\frac43=0.9273$, 3사분면이라 $0.9273-\pi=-2.2143$.

A4. $2e^{5\pi i/6}$를 직교형으로

답$-\sqrt3+i$ — $2\cos\frac{5\pi}6=-\sqrt3$, $2\sin\frac{5\pi}6=1$.

B. 극형식 계산

B1. $(\sqrt3+i)^6$

답$-64$ — $(2e^{i\pi/6})^6=64e^{i\pi}$.

B2. $z=2-i$일 때 $\dfrac1z$, $\dfrac{z}{z^*}$, $|z^2|$

답$\dfrac{2+i}5$, $\;\dfrac{3-4i}5$, $\;5$ — $\frac z{z^*}=\frac{z^2}{zz^*}=\frac{z^2}{|z|^2}$이고 $z^2=3-4i$. $|z^2|=|z|^2$.

B3. $\left(\dfrac{1+i\sqrt3}{1+i}\right)^{12}$

답$-64$ — 괄호 안 $=\frac{2e^{i\pi/3}}{\sqrt2e^{i\pi/4}}=\sqrt2\,e^{i\pi/12}$, 12제곱하면 $64e^{i\pi}$.

C. 배각과 거듭제곱

C1. $\cos4\theta$와 $\sin4\theta$를 $c=\cos\theta$, $s=\sin\theta$로

답$\cos4\theta=c^4-6c^2s^2+s^4=8c^4-8c^2+1$, $\;\sin4\theta=4c^3s-4cs^3$ — $(c+is)^4$를 1 4 6 4 1로 전개.

C2. $\sin^3\theta$를 배각의 합으로

답$\dfrac{3\sin\theta-\sin3\theta}{4}$ — $\frac{(w-w^{-1})^3}{(2i)^3}=\frac{(w^3-w^{-3})-3(w-w^{-1})}{-8i}$.

C3. $\displaystyle\int_0^{2\pi}\cos^6\theta\,d\theta$

답$\dfrac{5\pi}8$ — $\cos^6\theta=\frac{10+15\cos2\theta+6\cos4\theta+\cos6\theta}{32}$. 상수항 $\frac{10}{32}$에 $2\pi$를 곱합니다.

D. 근과 방정식

D1. $-5+12i$의 제곱근

답$\pm(2+3i)$ — $a^2-b^2=-5$, $2ab=12$. $a^2+b^2=|{-5+12i}|=13$을 같이 쓰면 $a^2=4$, $b^2=9$.

D2. $z^6=-64$의 여섯 근

답$z=2e^{i(\pi/6+k\pi/3)}$: $\pm\sqrt3\pm i$ (네 개), $\pm2i$ — 반지름 2인 정육각형.

D3. $z^4+4=0$을 풀고 실수 2차식으로 인수분해

답$z=\pm1\pm i$, $\;z^4+4=(z^2-2z+2)(z^2+2z+2)$ — $-4=4e^{i\pi}$이므로 근은 $\sqrt2\,e^{i(\pi/4+k\pi/2)}$.

D4. $z^2-(2+i)z+(1+i)=0$

답$z=1$, $z=1+i$ — $D=(2+i)^2-4(1+i)=-1$, $\sqrt D=\pm i$.

E. 로그, 복소 거듭제곱, 쌍곡함수

E1. $\ln(1-i\sqrt3)$의 주값과 모든 값

답주값 $\ln2-\dfrac{\pi}3i$, 모든 값 $\ln2+i\left(-\dfrac\pi3+2\pi k\right)$ — 4사분면, $r=2$.

E2. $2^i$의 주값

답$\cos(\ln2)+i\sin(\ln2)\approx0.7692+0.6390i$ — $2^i=e^{i\ln2}$. 크기가 1입니다.

E3. $1^i$의 모든 값

답$e^{-2\pi k}$ ($k$는 정수), 주값은 $1$ — $\ln1=2\pi ik$이므로 $i\ln1=-2\pi k$.

E4. $e^z=-2$의 모든 해

답$z=\ln2+i(2k+1)\pi$ — $z=\ln(-2)$, $-2=2e^{i\pi}$.

E5. $\cos\left(\frac\pi2+i\ln2\right)$

답$-\dfrac34i$ — $\cos x\cosh y-i\sin x\sinh y$에서 $\cos\frac\pi2=0$, $\sinh(\ln2)=\frac{2-1/2}2=\frac34$.

E6. $\cos z=3$의 모든 해

답$z=2\pi k\pm i\ln(3+2\sqrt2)\approx2\pi k\pm1.7627i$ — 허수부 비교로 $\sin x=0$, 실수부에서 $\cos x=1$, $\cosh y=3$.

E7. $|\cos z|^2=\cos^2x+\sinh^2y$를 써서 $\cos z=0$의 해를 모두 구하기

답$z=\dfrac\pi2+n\pi$ (실수축 위뿐) — 두 항이 0 이상이므로 $\sinh y=0$, 곧 $y=0$이고 $\cos x=0$.

E8. $\sinh z=0$의 모든 해와 $\tanh z$의 극

답$\sinh z=0\iff z=in\pi$, $\;\tanh z$의 극은 $i\big(\frac\pi2+n\pi\big)$ — $\sinh z=-i\sin(iz)=0$에서 $iz=n\pi$. 극은 분모 $\cosh z$의 영점(예제 7-2).

E9. $\cosh z=\frac12$의 모든 해

답$z=i\Big(\pm\dfrac\pi3+2\pi k\Big)$ — $\cos(iz)=\frac12$에서 $iz=\pm\frac\pi3+2\pi k$. 실수에서는 $\cosh x\ge1$이라 해가 없지만 허수축 위에는 있습니다.

F. 복소 지수로 적분과 급수

F1. $\displaystyle\int_0^\infty e^{-2x}\cos3x\,dx$

답$\dfrac2{13}$ — $\mathrm{Re}\int_0^\infty e^{(-2+3i)x}dx=\mathrm{Re}\frac1{2-3i}=\mathrm{Re}\frac{2+3i}{13}$.

F2. $e^x\sin x$를 $x^5$까지

답$x+x^2+\dfrac{x^3}3-\dfrac{x^5}{30}$ — 계수 $\frac{2^{n/2}\sin(n\pi/4)}{n!}$. $n=4$에서 0, $n=5$에서 $\frac{4\sqrt2\cdot(-\sqrt2/2)}{120}$.

F3. $\displaystyle\sum_{n=1}^N\cos(2n-1)\theta$

답$\dfrac{\sin2N\theta}{2\sin\theta}$ — $e^{i\theta}\sum_{m=0}^{N-1}e^{2im\theta}=\frac{\sin N\theta}{\sin\theta}e^{iN\theta}$, 실수부 $\frac{\sin N\theta\cos N\theta}{\sin\theta}$.

F4. $\displaystyle\sum_{n=0}^\infty\frac{\cos n\theta}{2^n}$

답$\dfrac{4-2\cos\theta}{5-4\cos\theta}$ — 예제 9-1(b)에 $r=\frac12$를 넣고 위아래에 4를 곱합니다.

F5. $\displaystyle\sum_{n=0}^\infty\frac{\cos n\theta}{n!}$

답$e^{\cos\theta}\cos(\sin\theta)$ — $\mathrm{Re}\sum\frac{(e^{i\theta})^n}{n!}=\mathrm{Re}\,e^{e^{i\theta}}=\mathrm{Re}\,e^{\cos\theta}e^{i\sin\theta}$.

12. 다음

← 로드맵 · ← 이전 L01 · 다음 L03 →