# 허수(Imaginary Numbers) 개요

허수는 복소수(complex number)의 한 축을 구성하는 중요한 수학적 개념이다. 실수(real numbers)가 현실 세계에서 측정 가능한 양을 나타내는 반면, 허수는 순수한 이론적 개념으로 수학적 구조 내에서 중요한 역할을 한다. 허수는 $ i $라는 기호로 표현되며, 이는 $ i^2 = -1 $이라는 관계를 만족한다. 허수의 개념은 다항식의 해를 구하는 과정에서 자연스럽게 등장하게 되며, 복소수 체계를 통해 완전히 정립된다.

#### 허수의 정의와 기초적 성질

허수는 $ i $로 정의되며, $ i $는 다음의 관계를 가진다:

$$
i^2 = -1
$$

이때, $ i $의 기본적인 성질을 몇 가지 도출할 수 있다:

* $ i^3 = i^2 \times i = -i $
* $ i^4 = i^3 \times i = 1 $

이를 통해 $ i $의 거듭제곱이 반복되는 주기성을 가진다는 것을 알 수 있다. 즉, $ i^n $의 값은 $ n \mod 4 $에 따라 주기적으로 변한다.

#### 복소수 체계에서의 허수

허수는 실수와 함께 복소수의 일부로 간주된다. 복소수는 다음과 같은 형태로 표현된다:

$$
z = a + bi
$$

여기서 $ a $와 $ b $는 실수이며, $ a $는 실수 부분, $ b $는 허수 부분이라고 한다. 복소수 $ z $에서 $ a $와 $ b $를 각각 실수부(real part)와 허수부(imaginary part)라고 한다. 복소수의 덧셈, 뺄셈, 곱셈, 나눗셈은 실수부와 허수부를 독립적으로 계산함으로써 이루어진다.

예를 들어, 두 복소수 $ z\_1 = a + bi $와 $ z\_2 = c + di $의 곱은 다음과 같이 계산된다:

$$
z\_1 \times z\_2 = (a + bi)(c + di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i
$$

여기서 $ i^2 = -1 $이므로, 실수부와 허수부를 각각 구할 수 있다.

#### 허수의 대수적 구조

허수와 관련된 가장 기본적인 대수적 구조는 복소수체(complex field)다. 복소수체는 실수체(real field)에 허수 단위 $ i $를 추가하여 확장한 것이다. 이는 실수체의 확장을 통해 만들어진 가장 간단한 예로, 모든 다항식이 복소수체 내에서 해를 갖는다는 점에서 중요하다.

복소수체는 다음과 같은 성질을 가진다:

1. **닫힘성(Closure):** 복소수의 덧셈, 뺄셈, 곱셈, 나눗셈은 다시 복소수가 된다.
2. **교환법칙(Commutativity):** 덧셈과 곱셈이 교환법칙을 따른다.
3. **결합법칙(Associativity):** 덧셈과 곱셈이 결합법칙을 따른다.
4. **분배법칙(Distributivity):** 곱셈이 덧셈에 대해 분배법칙을 따른다.

#### 허수의 기하학적 해석

허수는 실수축과 직교하는 허수축(imaginary axis)으로 해석될 수 있다. 복소수 $ z = a + bi $는 2차원 평면상의 점 $ (a, b) $에 대응되며, 이 평면을 복소평면(complex plane) 또는 아르간 평면(Argand plane)이라고 한다. 이 평면에서 실수부는 x축에, 허수부는 y축에 대응된다.

복소수의 절댓값(absolute value) 또는 크기(magnitude)는 다음과 같이 정의된다:

$$
|z| = \sqrt{a^2 + b^2}
$$

이는 원점에서 해당 복소수에 대응되는 점까지의 거리로 해석될 수 있다.

또한, 복소수는 극좌표(polar coordinates)로도 표현할 수 있는데, 이는 복소수의 기하학적 해석을 더욱 명확하게 해준다. 복소수 $ z = a + bi $는 극좌표계에서 다음과 같이 표현된다:

$$
z = r(\cos \theta + i\sin \theta)
$$

여기서 $ r = |z| $는 복소수의 크기, $ \theta $는 복소수의 각(argument)이다. 오일러 공식(Euler's formula)을 사용하면 이를 다음과 같이 간단히 쓸 수 있다:

$$
z = re^{i\theta}
$$

#### 허수의 확장과 이차원 벡터로서의 해석

허수는 2차원 벡터로 해석될 수 있다. 복소수 $ z = a + bi $는 벡터 $ (a, b) $로 해석할 수 있으며, 이 벡터는 실수축과 허수축에서의 성분을 나타낸다. 이러한 해석은 복소수의 연산을 벡터 연산으로 이해할 수 있게 해주며, 특히 회전(rotation)과 같은 변환을 다룰 때 유용하다.

예를 들어, 복소수의 곱셈은 복소평면에서의 회전과 스케일링(scaling)을 나타낸다. 두 복소수 $ z\_1 = r\_1 e^{i\theta\_1} $과 $ z\_2 = r\_2 e^{i\theta\_2} $를 곱하면:

$$
z\_1 z\_2 = r\_1 r\_2 e^{i(\theta\_1 + \theta\_2)}
$$

이는 크기 $ r\_1 r\_2 $로의 스케일링과 각도 $ \theta\_1 + \theta\_2 $만큼의 회전을 의미한다.

***

관련 자료:

* Ahlfors, Lars V. *Complex Analysis*. McGraw-Hill Education, 1979.
* Lang, Serge. *Complex Analysis*. Springer, 1999.
* Stein, Elias M., and Rami Shakarchi. *Complex Analysis*. Princeton University Press, 2003.
* Needham, Tristan. *Visual Complex Analysis*. Clarendon Press, 1997.