복소수에서 켤레복소수는 매우 중요한 역할을 합니다. 특히 복소수 연산에서 켤레복소수가 갖는 성질은 수학적 계산을 단순화시키고, 다양한 이론을 증명하는 데에 기본 도구로 사용됩니다. 이번 글에서는 켤레복소수의 대표적인 성질들을 수학적으로 하나씩 증명해 보겠습니다.
켤레복소수의 정의 복습
복소수 \( z = a + bi \)가 있을 때, 이 복소수의 켤레복소수는 다음과 같이 정의됩니다:
$$ \bar{z} = a – bi $$
이 정의를 바탕으로 켤레복소수의 다양한 성질을 증명해보겠습니다.
1. 켤레의 켤레는 자기 자신
성질: \( \overline{\bar{z}} = z \)
증명:
주어진 \( z = a + bi \)에 대해,
$$ \bar{z} = a – bi $$
따라서,
$$ \overline{\bar{z}} = \overline{a – bi} = a + bi = z $$
결론: 켤레를 두 번 취하면 원래 복소수가 됩니다.
2. 켤레의 덧셈과 뺄셈 성질
성질: \( \overline{z_1 \pm z_2} = \bar{z_1} \pm \bar{z_2} \)
증명: \( z_1 = a + bi, \ z_2 = c + di \) 라고 하자.
그러면,
$$ z_1 \pm z_2 = (a \pm c) + (b \pm d)i $$
이에 대한 켤레는,
$$ \overline{z_1 \pm z_2} = (a \pm c) – (b \pm d)i $$
한편,
$$ \bar{z_1} \pm \bar{z_2} = (a – bi) \pm (c – di) = (a \pm c) – (b \pm d)i $$
결론: 두 복소수의 합/차의 켤레는 각각의 켤레의 합/차와 같다.
3. 켤레의 곱셈 성질
성질: \( \overline{z_1 z_2} = \bar{z_1} \cdot \bar{z_2} \)
증명: \( z_1 = a + bi, \ z_2 = c + di \)
우선 곱을 계산하면:
$$ z_1 z_2 = (a + bi)(c + di) = (ac – bd) + (ad + bc)i $$
그 켤레는:
$$ \overline{z_1 z_2} = (ac – bd) – (ad + bc)i $$
각각의 켤레는:
$$ \bar{z_1} = a – bi, \ \bar{z_2} = c – di $$
곱하면:
$$ \bar{z_1} \cdot \bar{z_2} = (a – bi)(c – di) = (ac – bd) – (ad + bc)i $$
결론: 복소수의 곱의 켤레는 각 수의 켤레의 곱과 같다.
4. 켤레의 나눗셈 성질
성질: \( \overline{\left( \frac{z_1}{z_2} \right)} = \frac{\bar{z_1}}{\bar{z_2}} \) (단, \( z_2 \neq 0 \))
증명: 우선, 켤레의 분수는 다음과 같습니다:
$$ \frac{z_1}{z_2} = w \Rightarrow \bar{w} = \overline{\left( \frac{z_1}{z_2} \right)} $$
분자는 \( \bar{z_1} \), 분모는 \( \bar{z_2} \) 이므로,
$$ \bar{w} = \frac{\bar{z_1}}{\bar{z_2}} $$
결론: 복소수의 나눗셈의 켤레는 각각의 켤레의 나눗셈과 같다.
5. 절댓값은 켤레에 대해 동일
성질: \( |z| = |\bar{z}| \)
증명: \( z = a + bi, \ \bar{z} = a – bi \)
$$ |z| = \sqrt{a^2 + b^2}, \quad |\bar{z}| = \sqrt{a^2 + (-b)^2} = \sqrt{a^2 + b^2} $$
결론: 복소수와 켤레복소수의 절댓값은 항상 같다.
6. 실수는 자기 자신이 켤레
성질: \( z \in \mathbb{R} \Rightarrow \bar{z} = z \)
증명: \( z = a + 0i \) 이므로,
$$ \bar{z} = a – 0i = a = z $$
결론: 실수는 켤레를 취해도 변하지 않습니다.
결론
켤레의 반복은 자기 자신: 켤레를 두 번 취하면 원래 수로 돌아옵니다.
연산과의 결합 성질: 덧셈, 뺄셈, 곱셈, 나눗셈 모두 켤레 연산과 교환 가능합니다.
절댓값은 동일: 복소수와 켤레복소수는 절댓값이 같습니다.
실수는 불변: 실수는 켤레복소수를 취해도 변화하지 않습니다.
이처럼 켤레복소수는 수학적으로 많은 성질을 가지며, 복소수 연산을 더 효율적으로 만들고 다양한 수학 이론의 기초를 구성합니다.