1.4
복소수
Complex Numbers
정의 · 공식과 증명
복소수 z = a+bi (i는 허수단위, i²=−1)의 연산과 극형식을 정리합니다. 덧셈·뺄셈·켤레(49,52,53번)는 1.3의 실수 사칙연산을 그대로 이용해 약속하는 정의이고, 곱셈·나눗셈(50,51번)과 극형식·드무아브르·오일러 공식 등은 실제 증명(유도)이 있는 정리입니다. 46~53번(허수단위, 사칙연산, 켤레)까지는 고1 수학의 복소수 단원과 겹치는 수능 관련 내용이지만, 54번(극형식)부터 64번(오일러 공식)까지는 현행 고교 교육과정·수능 범위 밖의 대학 미적분학·복소해석학 내용입니다(각 항목에 대학 표시). 수능 준비생은 그 범위까지 공부할 필요가 없습니다. 일부 증명(드무아브르 공식 등)은 아직 이 사이트에서 증명하지 않은 4장 삼각함수의 덧셈정리를 미리 가져다 씁니다 — 이런 "선행 인용"은 각 증명의 "사용 :" 줄에 반드시 표시해 두었고, 4장을 완성하면 그때 링크로 연결할 예정입니다.
46-48정리허수단위의 거듭제곱 주기성i¹=i, i²=−1, i³=−i, i⁴=1 (이후 4마다 반복)
i²=−1은 허수단위의 정의 그 자체입니다. 여기서부터 i³ = i²·i = (−1)·i = −i, i⁴ = i²·i² = (−1)·(−1) = 1이 곧바로 나옵니다.
i⁵ = i⁴·i = 1·i = i 이므로 다시 i¹과 같아지고, 이후 지수가 4씩 늘 때마다 값이 반복됩니다. 일반화하면 음이 아닌 정수 n(1.2의 N₀)에 대해 :
i⁴ⁿ⁺¹ = i, i⁴ⁿ⁺² = −1, i⁴ⁿ⁺³ = −i, i⁴ⁿ = 1(증명 : 지수법칙에 의해 i⁴ⁿ⁺ᵏ = (i⁴)ⁿ·iᵏ = 1ⁿ·iᵏ = iᵏ 이므로, i의 거듭제곱은 iᵏ(k=1,2,3,4)의 값으로 완전히 결정됩니다.)
사용 : 허수단위 i의 정의(i²=−1) · 1.3의 곱셈 결합법칙(43번)·지수법칙
증명 끝
i를 곱할 때마다 복소평면에서 반시계 방향으로 90°씩 회전 — 4번이면 제자리(1)
49정의복소수의 뺄셈(a+bi) − (c+di) = (a−c) + (b−d)i
정의이므로 별도 증명은 없지만, 성립 근거는 명확합니다 : 실수부와 허수부를 각각 1.3의 실수 뺄셈(38번)으로 계산한 결과입니다.
복소평면에서 두 점의 실수부·허수부를 각각 빼서 얻는 새 점
50정리복소수의 곱셈(a+bi)(c+di) = (ac−bd) + (ad+bc)i
51정리복소수의 나눗셈a+bic+di = ac+bdc²+d² + bc−adc²+d²·i
분모의 켤레(53번)를 분모·분자에 곱합니다 :
a+bic+di = (a+bi)(c−di)(c+di)(c−di)| 분모 : (c+di)(c−di) = c²−d²i² = c²+d² | 50번(곱셈 공식) · i²=−1 |
| 분자 : (a+bi)(c−di) = (ac+bd)+(bc−ad)i | 50번과 같은 방식 |
따라서 :
a+bic+di = (ac+bd)+(bc−ad)ic²+d² = ac+bdc²+d² + bc−adc²+d²·i사용 : 53번(켤레복소수) · 50번(복소수의 곱셈) · i²=−1(46-48번)
증명 끝
나눗셈도 두 점 사이의 연산 — 분모를 켤레로 실수화해서 계산
52정의복소수의 덧셈(a+bi) + (c+di) = (a+c) + (b+d)i
정의이므로 별도 증명은 없지만, 실수부·허수부를 각각 1.3의 실수 덧셈(34~37번)으로 계산한 결과입니다.
평행사변형 법칙 — 두 복소수를 벡터로 보고 더한 대각선이 합
53정의켤레복소수a+bi = a − bi
정의이므로 증명 대상이 아닙니다. 허수부의 부호만 바꾼 짝을 "켤레복소수"라 약속합니다.
켤레복소수는 실수축(가로축)을 기준으로 대칭인 점
54-56정의대학극형식, 절댓값과 편각a+bi = r(cosφ+isinφ)
복소수를 원점으로부터의 거리 r(절댓값·모듈러스)과 각도 φ(편각)의 극좌표로 나타내는 방식의 정의입니다.
a = r cosφ, b = r sinφ ⟹ a+bi = r(cosφ + i sinφ) r = a²+b², φ = arctanbar=a²+b²라는 표현 자체는 아래(모듈러스 공식)에서 실제로 증명합니다.
※ 주의 : φ=arctanba는 arctan의 치역이 (−π2, π2)라서 a>0(제1·4사분면)일 때만 그대로 성립합니다. a<0이면 π를 더하거나 빼서 점이 놓인 사분면에 맞게 보정해야 하고, a=0이면 b의 부호에 따라 φ=±π2로 정합니다.
복소평면 위의 점 a+bi를 원점으로부터 거리 r, 각도 φ로 표현
·정리대학모듈러스 공식 (54-56번의 근거)r = a²+b²
54번의 정의에 의해 a=r cosφ, b=r sinφ이므로 :
| a² + b² = r²cos²φ + r²sin²φ = r²(cos²φ+sin²φ) | 대입 후 r² 묶기 |
| = r² | 4.5의 f425번(sin²θ+cos²θ=1) |
양변에 제곱근을 취하면(r≥0이므로) :
r = a²+b²이는 복소수의 절댓값이 복소평면에서 원점까지의 유클리드 거리, 즉 3.1의 163번(피타고라스 정리, a²+b²=c²)과 같은 형태임을 보여줍니다.
사용 : 54번(극형식의 정의) · 4.5의 f425번(삼각함수의 기본 항등식, sin²+cos²=1) · 3.1의 피타고라스 정리와 동일한 구조
증명 끝
직각삼각형에서 빗변 r이 곧 원점까지의 거리(모듈러스)
57정리대학극형식의 곱셈z₁z₂ = r₁r₂[cos(φ₁+φ₂) + i sin(φ₁+φ₂)]
z₁=r₁(cosφ₁+isinφ₁), z₂=r₂(cosφ₂+isinφ₂)라 하면(54번의 정의),
| z₁z₂ = r₁r₂(cosφ₁+isinφ₁)(cosφ₂+isinφ₂) | 50번(복소수의 곱셈) |
| = r₁r₂[(cosφ₁cosφ₂−sinφ₁sinφ₂) + i(sinφ₁cosφ₂+cosφ₁sinφ₂)] | 전개 후 실수부·허수부 정리 |
| = r₁r₂[cos(φ₁+φ₂) + i sin(φ₁+φ₂)] | 4.9의 f451번(코사인의 덧셈정리)·f452번(사인의 덧셈정리) |
사용 : 54번(극형식의 정의) · 50번(복소수의 곱셈) · 4.9의 f451번·f452번(덧셈정리)
증명 끝
극형식의 곱셈은 각도끼리 더하고 길이(반지름)끼리 곱하는 회전+확대
58-59정리대학극형식의 켤레·역수z = r[cos(−φ)+isin(−φ)], 1z = 1r[cos(−φ)+isin(−φ)]
켤레 : z = r(cosφ+isinφ)라 하면, 53번의 정의(a+bi=a−bi)에 의해 :
| z = r cosφ − i(r sinφ) = r(cosφ − i sinφ) | 53번(허수부 부호 반전) · a=rcosφ, b=rsinφ |
| = r[cos(−φ) + i sin(−φ)] | 4.6 f432번(음각공식 cos(−φ)=cosφ, sin(−φ)=−sinφ) |
역수 : 51번(나눗셈)에서 분자를 1로 두면 :
| 1z = z|z|² | 51번(분모의 켤레를 곱하는 계산) |
| = r[cos(−φ)+isin(−φ)]r² | 위의 켤레 결과 · 모듈러스 공식(|z|=r) |
| = 1r[cos(−φ)+isin(−φ)] | r 약분 |
사용 : 53번(켤레복소수) · 51번(복소수의 나눗셈) · 모듈러스 공식 · 4장의 4.6 f432번(cos/sin의 우함수·기함수 성질)
증명 끝
켤레는 각도 −φ로 실수축 대칭 반사(길이 r은 그대로) — 역수는 여기에 길이만 1r로 축소
60정리대학극형식의 나눗셈z₁z₂ = r₁r₂[cos(φ₁−φ₂) + i sin(φ₁−φ₂)]
| z₁z₂ = z₁ · 1z₂ = r₁(cosφ₁+isinφ₁) · 1r₂[cos(−φ₂)+isin(−φ₂)] | 59번(극형식의 역수) |
| = r₁r₂[cos(φ₁+(−φ₂)) + i sin(φ₁+(−φ₂))] | 57번(극형식의 곱셈)을 φ₂ 대신 −φ₂로 적용 |
| = r₁r₂[cos(φ₁−φ₂) + i sin(φ₁−φ₂)] | 각의 정리 |
사용 : 59번(극형식의 역수) · 57번(극형식의 곱셈)
증명 끝
극형식의 나눗셈은 각도끼리 빼고 길이(반지름)끼리 나누는 회전+축소
61-62정리대학거듭제곱과 드무아브르 공식zⁿ = rⁿ[cos(nφ)+isin(nφ)]; (cosφ+isinφ)ⁿ = cos(nφ)+isin(nφ)
수학적 귀납법으로 증명합니다. (r=1인 경우가 드무아브르 공식이고, 일반 r은 57번을 반복 적용하면 곧바로 확장됩니다.)
① n=1일 때 : (cosφ+isinφ)¹ = cosφ+isinφ = cos(1·φ)+isin(1·φ). 성립.
② n=k일 때 성립 가정 : (cosφ+isinφ)ᵏ = cos(kφ)+isin(kφ)
③ n=k+1일 때 :
| (cosφ+isinφ)k+1 = (cosφ+isinφ)ᵏ·(cosφ+isinφ) = [cos(kφ)+isin(kφ)]·[cosφ+isinφ] | 귀납 가정 |
| = cos(kφ+φ) + i sin(kφ+φ) | 57번(극형식의 곱셈, r₁=r₂=1) |
| = cos((k+1)φ) + i sin((k+1)φ) | 각의 정리 |
①~③에 의해 모든 자연수 n에 대해 성립합니다. r≠1인 일반 zⁿ의 경우는 57번을 n번 반복 적용하면 rⁿ이 곱해져 그대로 확장됩니다.
사용 : 57번(극형식의 곱셈) · 수학적 귀납법
증명 끝 (수학적 귀납법)
한 번 곱할 때마다 φ만큼 더 회전 — n번 곱하면 각도가 nφ로 누적
63정리대학복소수의 n제곱근z1n = ⁿr [cos(φ+2πkn)+isin(φ+2πkn)], k=0,…,n−1
아래의 w가 z=r(cosφ+isinφ)의 n제곱근임을 확인하려면 wⁿ=z를 보이면 됩니다.
w = ⁿr [cos(φ+2πkn) + i sin(φ+2πkn)]| wⁿ = (ⁿr)ⁿ[cos(n·φ+2πkn) + i sin(n·φ+2πkn)] | 61-62번(드무아브르 공식) |
| = r[cos(φ+2πk) + i sin(φ+2πk)] | 지수·분수 약분 |
| = r[cosφ + i sinφ] = z | 4.7의 f437번(삼각함수의 주기성, 주기 2π) |
k=0,1,…,n−1로 서로 다른 각을 주면 서로 다른 n개의 근이 나오고, k=n이면 각이 2π만큼 늘어 k=0과 같은 값으로 되돌아오므로 근은 정확히 n개입니다.
사용 : 61-62번(드무아브르 공식) · 4.7의 f437번(삼각함수의 주기성)
증명 끝
n제곱근의 n개 값은 반지름 ⁿr인 원 위에서 각도 2πn씩 균등하게 배치(그림은 n=6 예시)
64정리대학오일러 공식eix = cos x + i sin x
엄밀한 증명은 지수함수 ex과 삼각함수 sin x, cos x의 매클로린 급수(거듭제곱 급수) 전개를 비교하는 방식으로 합니다. 그 전개가 11장에서 확립되었으므로 증명이 완성되었습니다 — 11.10의 1047번을 보십시오. 다만 좌변 eix는 실수 지수함수의 정의로는 뜻을 갖지 않으므로, 그 절에서는 먼저 복소수 급수의 수렴과 복소 지수함수 ez:=∞Σk=0zkk!를 정의한 뒤 실수부·허수부를 계산하는 순서를 밟습니다.
사용 : 11.10의 1047번(오일러 공식의 증명) · 1045번(지수함수의 매클로린 전개) · 1046번(사인·코사인의 매클로린 전개)
단위원(반지름 1) 위에서 각 x에 대응하는 점이 곧 eix