환원 불능의 경우(라틴어: casus irreducibilis, 영어: irreducible case)는 대수학에서 서로 다른 세 실근을 갖는 유리수 계수 3차 기약 다항식의 실근을 거듭제곱근과 사칙연산만으로 나타낼 때, 실수가 아닌 복소수에 거듭제곱근을 씌우는 것을 피할 수 없는 현상을 가리킨다.
정의
유리수 계수 다항식 $ f \in \mathbb{Q}[x] $가 다음 세 조건을 만족시킨다고 가정한다.
- 기약 다항식(irreducible polynomial)이다. 즉, 더 낮은 차수의 유리수 계수 다항식들의 곱으로 나타낼 수 없다.
- 모든 근이 실수이다.
- 하나 이상의 근을 실수 및 거듭제곱근 및 사칙연산만을 사용하여 나타낼 수 있다.
이 경우 $ f $의 모든 근은 작도 가능한 수(constructible number)이며, 유리수 및 제곱근 및 사칙연산만으로 나타낼 수 있다. 특히 $ f $의 분해체의 갈루아 군(Galois group)은 2-군(2-group)이며, $ f $의 차수는 2의 거듭제곱이다.
3차 방정식에서의 환원 불능의 경우
유리수 계수 3차 기약 다항식 $ f \in \mathbb{Q}[x] $가 서로 다른 세 실근을 가질 때(즉, 판별식이 양의 유리수일 때), 어떤 실근도 실수의 거듭제곱근만을 사용하여 나타낼 수 없다. 즉, 반드시 실수가 아닌 복소수의 거듭제곱근(예: 허수 $ i $가 포함된 제곱근)을 사용하여야 한다. 이것이 바로 환원 불능의 경우이다.
예를 들어, 3차 방정식 $ x^3 - 3x + 1 = 0 $은 세 실근을 가지지만, 카르다노의 공식을 적용하면 근호 안에 음수가 등장하여 실수 범위에서 표현할 수 없게 된다. 이때 실제 근은 모두 실수임에도 불구하고, 이를 실수와 실수의 거듭제곱근만으로는 표현할 수 없으며 복소수의 거듭제곱근이 필수적으로 요구된다.
의의
환원 불능의 경우는 16세기 카르다노(Cardano)가 삼차방정식의 일반해법을 발표하면서 처음 인식되었다. 이후 갈루아 이론(Galois theory)의 발달로 이 현상이 대수적으로 완전히 설명되었다. 이 개념은 실수만을 다루는 방정식에서도 복소수가 해를 표현하는 데 본질적으로 필요함을 보여주는 대표적인 예시이다.
