on
Cube Root of Unity
The root of unity is a number which is complex in nature and gives 1 if raised to the power of a positive integer n.
본 포스트에는 수식이 포함되어 있습니다. 분수 등의 수식이 정상적으로 보이지 않는 경우에는 수식을 마우스 오른쪽 버튼으로 클릭한 후 “Math Renderer”를 SVG로 바꿔주세요. (➔How-To)
$x^3 = 1$의 허근에 대해서 살펴보겠습니다.
이 식은 다음과 같이 인수분해할 수 있습니다.
$x^3 - 1 = (x-1)(x^2 + x + 1) = 0$
따라서 $x^3 = 1$의 한 허근을 $\omega$라고 하면 다음과 같은 두 개의 등식을 얻을 수 있습니다.
$\omega^3 = 1$
$\omega^2 + \omega + 1 = 0$
이 성질을 이용하면 0이상인 임의의 정수 $n$에 대해 $\omega^n$을 1차 또는 0차(상수)로 줄일 수 있습니다.
몇 가지 예를 들어보겠습니다.
$\omega^0 = 1$
$\omega^1 = \omega$
$\omega^2 = -\omega - 1$
$\omega^3 = 1$
$\omega^4 = \omega^3 \cdot \omega = \omega $
$\omega^5 = \omega^3 \cdot \omega^2 = \omega^2 = -\omega - 1$
$\omega^6 = (\omega^3)^2 = 1^2 = 1$
$\vdots$
위의 패턴을 살펴보면 $n$이 3의 배수일 때 마다 1이 반복적으로 나타나는 3주기 성질을 가지는 것을 알 수 있습니다.
이러한 $\omega$의 3주기 성질을 이용하면 다음과 같은 문제를 쉽게 풀 수 있습니다.
$1 + \omega + \omega^2 + \omega^3 + \cdots + \omega^{98} = ?$
$1 + \omega + \omega^2 + \omega^3 + \cdots + \omega^{98}$
$= (1 + \omega + \omega^2) + \omega^3(1 + \omega + \omega^2) + \omega^6(1 + \omega + \omega^2) + \cdots + \omega^{3 \times 32}(1 + \omega + \omega^2)$
$= 0 \times 33$
$= 0$
정리하면 다음과 같은 조건 중 하나가 주어지면 $\omega$의 3주기 성질을 사용하여 문제를 풀 수 있다는 사실을 알아야 합니다.
1) $x^3 = 1$
2) $x^2 + x + 1 = 0$
3) $x + \frac{1}{x} = -1$
4) $x = \frac{-1 \pm \sqrt{3}i}{2}$
2번식과 3번식의 양변에 각각 $(x-1)$과 $x$를 곱하면 1번식으로 변형할 수 있고, 4번식은 2번식의 두 해이므로 위의 네 가지 등식은 모두 같은 의미를 가지기 때문입니다.
이러한 개념을 조금 더 확장해보겠습니다.
$x^n - 1$은 다음과 같이 인수분해할 수 있습니다.
$x^n - 1 = (x-1)(x^{n-1} + x^{n-2} + \cdots + x + 1)$
이 식은 복잡해 보이지만 어렵지 않게 이해할 수 있습니다.
$(x-1)(x^{n-1} + x^{n-2} + \cdots + x + 1)$ 에서
1) 최고차항인 $x^n$은 $x \times x^{n-1}$로 만들어집니다.
2) 그 다음 최고차항인 $x^{n-1}$은
$x \times x^{n-2}$과 $-1 \times x^{n-1}$
로 만들어지는데 두 결과가 상쇄되기 때문에 사라집니다.
3) 그 다음 고차항인 $x^{n-2}$은
$x \times x^{n-3}$과 $-1 \times x^{n-2}$
로 만들어지는데 두 결과가 상쇄되기 때문에 사라집니다.
$\vdots$
이런식으로 모든 항이 사라지고 최고차항과 상수항만 남게 되는데, 상수항은 $-1$이기 때문에 전개한 결과는 $x^n - 1$이 됩니다.
따라서 임의의 자연수 $n$에 대해 $x^{n-1} + x^{n-2} + \cdots + x + 1 = 0$라는 조건이 주어지면 $x^n = 1$이 성립함을 알 수 있습니다. 그리고 이것은 $x^n$의 $n$주기 성질을 가지고 차수줄이기를 할 수 있다는 것을 의미합니다.
예를 들어 $x^3 + x^2 + x + 1 = 0$이라는 조건이 주어졌다면 $x^4 = 1$이 되기 때문에 다음과 같은 식의 정리가 가능합니다.
-
$x^{100} = (x^4)^{25} = 1$
-
$1 + x + x^2 + x^3 + \cdots + x^{98} = 14 \times (1 + x + x^2 + x^3) + (1 + x) = 1 + x$