삼차 방정식

삼차 함수 f(x)=\frac14(x^3+3x^2-6x-8)의 그래프 대수학에서, **삼차 방정식**(三次方程式, cubic equation)은 최고차항의 차수가 3인 다항 방정식이다. 즉, 다음과 같은 형태의 방정식이다. :ax^3+bx^2+cx+d=0 :a\ne0 복소수 계수 삼차 방정식의 해는 계수의 사칙연산과 제곱근 및 세제곱근을 통해 나타낼 수 있다. 이를 **카르다노 공식**(Cardano’s formula)이라고 한다. 이는 표수가 2나 3이 아닌 모든 체에서도 유효하다. 표수 2나 3의 경우, 사칙연산이나 거듭제곱근 밖에도, 아르틴-슈라이어 거듭제곱근을 추가적으로 사용한다. 근의 일부 성질은 근을 구하지 않고도 알아낼 수 있다. 3차 다항식에 대한 비에트 정리는 세 근에 대한 기본 대칭 다항식을 방정식의 계수를 통해 나타낸다. 삼차 방정식의 근이 겹치는지 여부는 판별식이 0인지 여부와 동치이다. 실수 계수 삼차 방정식은 세 실근을 가지거나 하나의 실근과 두 허근을 가지며, 전자의 경우 세 실근이 겹칠 수 있다. 어떤 경우에 속하는지는 판별식의 부호를 알면 알 수 있다. 3차 다항식의 갈루아 군은 3차 대칭군이거나 3차 교대군이며, 이는 판별식이 제곱인지 여부 또는 어떤 특별한 2차 다항식의 성질에 따라 다르다. 고대 바빌로니아에서 이미 대수적으로 풀려 있었다고 생각되는 2차 방정식과 달리, 삼차 방정식이 대수적으로 풀린 것은 16세기가 되고 나서이다. 11세기 무렵 원추 곡선에 의한 작도에 의해서 삼차 방정식의 근을 기하학적으로 나타냈다 오마르 하이얌도, 삼차 방정식을 대수적으로 풀 수 없다고 생각하고 있었다. 삼차 방정식의 대수적 해법은 갈루아 이론으로 도달하는 대수방정식론의 시작이며 카르다노의 저서 「아르스 마그나」에 의해서 삼차 방정식과 4차 방정식의 대수적 해법을 공표했다. 1545년은 이 공표로 인하여 현대 수학자들에게 수학 시작의 해로 여겨지고 있다. 아직 음수가 수학자들에게 별로 받아 들여지지 않았던 시대이며 모든 계수가 정수이다고 하여 다루어졌기 때문에 예를 들면, : x^3 = a_1x + a_0 : x^3 + a_1x = a_0 의 2개의 삼차 방정식은, 모두 2차항이 없는 삼차 방정식이지만, 다른 형태의 방정식으로 여겨졌다. 이와 같이, 음수조차 기피되던 시대에, 삼차 방정식의 대수적 해법은 허수를 가져왔다. 삼차 방정식의 근이 모두 실수인 경우에 한해서도, 대수적 해법을 고집하는 한 허수를 피하고는 통과할 수 없는 것이다. 허수에 대한 불안은 19세기에 오귀스탱 루이 코시 나 카를 프리드리히 가우스가 활약하게 될 때까지 계속되었다. 또, 삼차 방정식과 4차 방정식의 대수적 해법의 발견을 바탕으로 수학자들은 5차 이상의 일반의 대수방정식의 대수적 해법을 추구했다. 최종적으로, 이 대수적 해법의 존재는 아벨-루피니 정리에 의해서 부정되지만, 갈루아 이론으로서 결과로 군이나 체 등의, 기본적인 대수적 구조의 개념을 낳았다.
# 정의
체 K 계수 **삼차 방정식**은 차수 3의 다항식의 근을 찾는 방정식이다. :ax^3+bx^2+cx+d=0 :a,b,c,d\in K :a\ne0 3차항의 계수가 0이 아니므로, 양변을 a로 나누어 일계수 방정식의 꼴로 적을 수 있다. :x^3+\frac bax^2+\frac cax+\frac da=0 이 경우, 계수 b/a,c/a,d/a\in K들은 여전히 체의 원소들이다. 삼차 방정식을 만족하는, K의 확대체의 원소를 삼차 방정식의 **근**이라고 한다. 만약 \alpha가 근이라면, 삼차 방정식의 좌변은 1차 다항식 x-\alpha와 어떤 2차 다항식의 곱으로 인수 분해할 수 있다. 다시 2차 다항식의 근을 찾아 인수 분해하면, 삼차 방정식은 결국 a(x-\alpha)(x-\beta)(x-\gamma)=0의 꼴로 인수 분해된다. 이 경우, 삼차 방정식의 모든 근은 \alpha, \beta, \gamma이며, 세 근은 서로 겹칠 수 있다. 즉, 세 근은 중복집합을 이룬다. 근의 중복집합 \\{\alpha,\beta,\gamma\\}은 K의 어떤 대수적 폐포 \bar K의 부분 집합이며, K의 부분 집합일 필요는 없다. 예를 들어, \bar\mathbb R=\mathbb C이므로, 실수 계수 다항식의 근은 일반적으로 복소수이다. **압축 삼차 방정식**(depressed cubic equation)은 2차항 계수가 0인 (일계수) 삼차 방정식이다. :x^3+px+q=0 :p,q\in K 체 K 계수 3차 다항식 :f(x)=ax^3+bx^2+cx+d\in K[x] 의 **이차 분해식**(二次分解式, quadratic resolvent)은 다음과 같은 2차 다항식 r(f)\in K[x]이다. :r(f)(x)=a^4x^2+a^2(bc-3ad)x+(b^3d+ac^3+9a^2d^2-6abcd) 특히, :f(x)=x^3+px+q 가 압축 3차 다항식인 경우, :r(f)(x)=x^2-3qx+(p^3+9q^2) 이다.
# 성질

## 압축
체 K 계수 삼차 방정식 :ax^3+bx^2+cx+d=0 이 주어졌다고 하자. 만약 K의 표수 \operatorname{char}K가 3이 아니라면, 치른하우스 변형 x=y-b/3a를 통해 압축 삼차 방정식 :y^3+py+q=0 으로 만들 수 있다. 압축 방정식의 계수는 다음과 같다. :p=\frac{3ac-b^2}{3a^2} :q=\frac{2b^3-9abc+27a^2d}{27a^3} 만약 y^3+py+q=0의 근의 중복집합이 \\{\alpha',\beta',\gamma'\\}이라면, ax^3+bx^2+cx+d=0의 근들의 중복집합은 \alpha=\alpha'-b/3a, \beta=\beta'-b/3a, \gamma=\gamma'-b/3a로 이루어진다. 만약 \operatorname{char}K=3이라면, K에서 1/3이 정의되지 않으므로, 치른하우스 변형을 사용할 수 없다. 그러나 만약 추가로 :b\ne0 :ac^3+2b^2c^2+b^3d\ne0 이라면, 치환 x=1/y+c/b를 가하면 압축 삼차 방정식 :y^3+py+q=0 을 얻으며, 그 계수는 다음과 같다. :p=\frac{b^4}{ac^3+2b^2c^2+b^3d} :q=\frac{ab^3}{ac^3+2b^2c^2+b^3d} 만약 y^3+py+q=0의 근의 중복집합이 \\{\alpha',\beta',\gamma'\\}이라면, ax^3+bx^2+cx+d=0의 근들의 중복집합은 \\{1/\alpha'+c/b,1/\beta'+c/b,1/\gamma'+c/b\\}이다. 만약 b=0이라면, 이미 압축 방정식의 꼴이다. 만약 b\ne0이며 ac^3+2b^2c^2+b^3d=0이라면, 치환 x=t+c/b를 가하면 1차항 및 상수항이 0인 삼차 방정식 at^3+bt^2=0을 얻으며, 그 풀이는 자명하다. 따라서, 삼차 방정식의 풀이는 압축 삼차 방정식의 풀이로 귀결된다. 카르다노의 방법은 삼차 방정식의 풀이를 압축 삼차 방정식의 풀이로 귀결시킨다. 라그랑주 분해식을 통한 풀이에서 압축은 필수적이지 않으나, 계산을 더 단순하게 만든다. 표수 3에서 압축은 계산을 단순화하는 데 그리 도움이 되지 않는다.
## 비에트 정리
체 K 계수의 3차 다항식 :f(x)=ax^3+bx^2+cx+d\in K[x] 이 주어졌으며, \\{\alpha,\beta,\gamma\\}가 f(x)=0의 근의 중복집합이라고 하자. 그렇다면, f(x)는 세 근에 대응하는 세 1차 다항식들로 인수 분해되며, 이를 다시 전개하여 계수를 구하면 다음과 같다. :\begin{align} f(x) &=a(x-\alpha)(x-\beta)(x-\gamma)\\\ &=a(x^3-(\alpha+\beta+\gamma)x^2+(\alpha\beta+\beta\gamma+\alpha\gamma)x-\alpha\beta\gamma) \end{align} 이를 원래 계수들과 비교하면 근과 계수 사이의 관계를 얻는다. :\alpha+\beta+\gamma=-\frac ba :\alpha\beta+\beta\gamma+\alpha\gamma=\frac ca :\alpha\beta\gamma=-\frac da 이는 삼차 방정식에 대한 비에트 정리이다. 좌변은 세 근에 대한 기본 대칭 다항식이다. 모든 대칭 다항식은 기본 대칭 다항식들에 대한 다항식이므로, 세 근에 대한 임의의 대칭 다항식은 b/a, c/a, d/a에 대한 다항식으로 나타낼 수 있다. 예를 들어, 다음과 같은 등식들은 삼차 방정식의 라그랑주 분해식을 통한 풀이에서 사용된다. :\begin{align} \alpha^3+\beta^3+\gamma^3 &=(\alpha+\beta+\gamma)^3-3(\alpha+\beta+\gamma)(\alpha\beta+\beta\gamma+\alpha\gamma)+3\alpha\beta\gamma\\\ &=\frac{3abc-b^3-3a^2d}{a^3} \end{align} :\begin{align} (\alpha^2\beta+\beta^2\gamma+\alpha\gamma^2)+(\alpha\beta^2+\beta\gamma^2+\alpha^2\gamma) &=(\alpha+\beta+\gamma)(\alpha\beta+\beta\gamma+\alpha\gamma)-3\alpha\beta\gamma\\\ &=\frac{3ad-bc}{a^2} \end{align} 다음 등식들은 이차 분해식의 성질의 증명 및 3차 다항식의 갈루아 군의 묘사의 증명에서 사용된다. :\begin{align} \alpha^3\beta^3+\beta^3\gamma^3+\alpha^3\gamma^3 &=(\alpha\beta+\beta\gamma+\alpha\gamma)^3\\\ &\qquad\qquad-3\alpha\beta\gamma(\alpha+\beta+\gamma)(\alpha\beta+\beta\gamma+\alpha\gamma)+3(\alpha\beta\gamma)^2\\\ &=\frac{c^3+3ad^2-3bcd}{a^3} \end{align} :\begin{align} (\alpha^2\beta+\beta^2\gamma+\alpha\gamma^2)(\alpha\beta^2+\beta\gamma^2+\alpha^2\gamma) &=\alpha\beta\gamma(\alpha^3+\beta^3+\gamma^3)\\\ &\qquad\qquad+(\alpha^3\beta^3+\beta^3\gamma^3+\alpha^3\gamma^3)+3\alpha^2\beta^2\gamma^2\\\ &=\frac{b^3d+ac^3+9a^2d^2-6abcd}{a^4} \end{align} 압축 다항식 :f(x)=x^3+px+q 의 경우, 다음과 같다. :\alpha+\beta+\gamma=0 :\alpha\beta+\beta\gamma+\alpha\gamma=p :\alpha\beta\gamma=-q :\alpha^3+\beta^3+\gamma^3=-3q :(\alpha^2\beta+\beta^2\gamma+\alpha\gamma^2)+(\alpha\beta^2+\beta\gamma^2+\alpha^2\gamma)=3q :\alpha^3\beta^3+\beta^3\gamma^3+\alpha^3\gamma^3=p^3+3q^2 :(\alpha^2\beta+\beta^2\gamma+\alpha\gamma^2)(\alpha\beta^2+\beta\gamma^2+\alpha^2\gamma)=p^3+9q^2
## 판별식
체 K 계수의 3차 다항식 :f(x)=ax^3+bx^2+cx+d\in K[x] 의 판별식은 다음과 같다. :D(f)=b^2c^2-4ac^3-4b^3d-27a^2d^2+18abcd\in K 만약 :f(x)=x^3+px+q 가 압축 3차 다항식인 경우, 판별식은 다음과 같이 단순해진다. :D(f)=-4p^3-27q^2 \\{\alpha,\beta,\gamma\\}가 f(x)의 근의 중복집합이라고 하자. 그렇다면, 판별식의 한 제곱근은 다음과 같다. :\begin{align} \sqrt{D(f)} &=a^2(\alpha-\beta)(\alpha-\gamma)(\beta-\gamma)\\\ &=a^2(\alpha^2\beta+\beta^2\gamma+\alpha\gamma^2)-(\alpha\beta^2+\beta\gamma^2+\alpha^2\gamma)\\\ &\in\bar K \end{align} (즉, 제곱하면 판별식이 된다. 다만, 실수 계수 다항식의 경우, 이는 음이 아닌 제곱근이 아닐 수 있다.) 이는 K에 속할 수도, 속하지 않을 수도 있다. 특히, 만약 D(f)\ne0이라면, f(x)의 세 근은 서로 겹치지 않는다. 만약 D(f)=0이라면, 둘 또는 셋이 겹친다. 표수가 3이 아닌 체 K 계수의 3차 다항식 :f(x)=ax^3+bx^2+cx+d\in K[x] 의 압축 형태 :g(x)=x^3+px+q\in K[x] :p=\frac{3ac-b^2}{3a^2} :q=\frac{2b^3-9abc+27a^2d}{27a^3} 의 판별식은 다음과 같다. :D(g)=D(f)/a^4 즉, 최고차항의 계수의 배수의 차이를 무시하면, 압축 전후의 판별식은 같다. 이는 압축은 세 근을 같은 양만큼 평행 이동시키므로, 두 근의 차를 변화시키지 않기 때문이다. 또한, K=\mathbb R인 경우, a^4는 양의 실수이므로, 두 판별식의 부호는 일치한다.
## 실수 계수
K=\mathbb R가 실수체인 경우, 실수 계수 3차 다항식 :f(x)=ax^3+bx^2+cx+d\in\mathbb R[x] :a,b,c,d\in\mathbb R :a\ne0 은 세 실근을 가지거나, 하나의 실근과 두 허근을 가진다. 실근은 서로 겹칠 수 있으며, 허근은 서로 겹칠 수 없다. (실근과 허근은 물론 겹칠 수 없다.) 이는 판별식 D(f)\in\mathbb R의 부호에 따라 결정된다.633, Chapter 10 ex 10.14.4 and 10.17.4, pp. 154–156 * 만약 D(f)>0이라면, f(x)=0은 서로 다른 세 실근을 가진다. * 만약 D(f)=0이라면, f(x)=0은 서로 같은 세 실근을 가지거나, 하나의 실근과 서로 같은 두 실근을 가진다. ** 만약 D(f)=0이며 9abc\ne2b^3+27a^2d라면, 하나의 실근과 서로 같은 두 실근을 가진다. ** 만약 D(f)=0이며 9abc=2b^3+27a^2d라면, 서로 같은 세 실근을 가진다. * 만약 D(f)0인 경우, f'(x)=0의 두 서로 다른 실근을 \alpha,\beta라 하자. ** f(\alpha)f(\beta)>0인 경우 하나의 실근과 서로 다른 두 허근이 존재한다. ** f(\alpha)f(\beta)=0인 경우 하나의 실근과 서로 같은 두 실근이 존재한다. ** f(\alpha)f(\beta)0이라고 가정하자. 그렇다면, f는 서로 다른 세 실근을 갖지만, 카르다노 공식은 이를 허수의 세제곱근을 사용하여 나타낸다. (-3D(f)0. 즉, 서로 다른 세 실근을 갖는다. * 어떤 근을 실수의 거듭제곱근만으로 나타낼 수 있다. 그렇다면, \textstyle\mathbb Q(\sqrt{D(f)})/\mathbb Q는 1차 또는 2차 확대이므로, f는 \textstyle\mathbb Q(\sqrt{D(f)})[x]에서도 기약 다항식이다. 또한, f의 \textstyle\mathbb Q(\sqrt{D(f)})에 대한 분해체의 갈루아 군은 3차 순환군이다 (#갈루아 군 참고). 따라서, 다음 조건들을 만족시키는 체의 확대의 열 :\mathbb Q\left(\sqrt{D(f)}\right)=K_0\subseteq K_1\subseteq\cdots\subseteq K_n 이 존재한다. * K_n\subseteq\mathbb R * 모든 i=1,\dots,n에 대하여, K_i=K_{i-1}(\sqrt[p_i]{a_i})인 a_i\in K_{i-1} 및 소수 p_i가 존재한다. * K_{n-1}은 f의 근을 포함하지 않는다. * K_n은 f의 모든 근을 포함한다. 이제, [K_i:K_{i-1}]=d_i라고 하자. 그렇다면, K_{i-1}\subseteq\mathbb R이므로, \sqrt[p_i]{a_i}의 K_{i-1}에 대한 최소 다항식의 상수항은 \pm(\sqrt[p_i]{a_i})^{d_i}이다. 따라서 (\sqrt[p_i]{a_i})^{d_i}\in K_{i-1}이다. 그런데 (\sqrt[p_i]{a_i})^{p_i}=a_i\in K_{i-1}이므로, d_i=p_i이거나 아니면 d_i=1이다. f의 근이 K_n\setminus K_{n-1}에 속하므로, 3\mid d_n이다. d_n은 1이거나 소수이므로, d_n=3이다. 즉, K_n은 f의 K_{n-1}에 대한 분해체이며, 따라서 K_n/K_{n-1}은 갈루아 확대이다. \sqrt[3]{a_n}\in K_n이므로, K_n은 a_n의 다른 세제곱근들도 포함해야 한다. 이는 \omega\sqrt[3]{a_n}과 \omega^2\sqrt[3]{a_n}이므로, K_n은 1의 원시 세제곱근 \omega를 포함한다. 이는 K_n\subseteq\mathbb R과 모순이다.
# 역사
고대 바빌로니아에서는, 수표를 이용하여 삼차 방정식의 근을 어느 정도의 근사치로서 구할 수 있었다. 또한 고대 그리스에서는 키오스의 히포크라테스에 의해서 p, q 로부터 :*p* : *x* = *x* : *y* = *y* : *q* 되는 수 *x*, *y* 을 요구한다고 하는 비의 문제인 입방 배적 문제로 알려져 있다. 입방 배적 문제는 3대 작도 문제중 1개이다. 메나이크모스는 히포크라테스의 아이디어로부터 원추 곡선을 생각해 내어 입방 배적 문제를 원추곡선에 의한 작도에 의해서 풀어내었다. 메나이크모스는 이 업적으로 인하여 원추 곡선의 발견자라고 알려져 있다. 입방 배적 문제는 *x*3 = 2 *p*3 (*p* > 0) 의 형태의 삼차 방정식을 푸는 것과 같고 메나이크모스에 의한 방법은, 삼차 방정식의 기하학적 해법 중 1개로 생각 할 수 있어서 원추 곡선의 표를 계산해 두면 삼차 방정식의 근의 근사치도 알 수 있게 된다. 그러나 일반적으로 원추 곡선은 플라톤의 작도 아래에서도 작도할 수 있다. 곡선은 아니기 때문에 원추 곡선에 의한 기하학적 해법은 입방 배적 문제의 해법으로 보이지는 않는다. 이러한 원추 곡선의 연구는 아르키메데스나 이븐 알 하이탐 등을 거쳐, 셀주크 제국 시대 페르시아의 오마르 하이얌에 의해 확장되어 여러 가지 형태를 취한 3차방정식의 근이 원추 곡선끼리의 교점으로서 삼차 방정식의 대수적 해법은 16세기 무렵에 볼로냐 대학의 시피오 델페로가 발견한 것으로 여겨지고 있다.날짜=2010-4-8 :*x*3 \+ *a*1 *x* = *a*0 (*a*1 및 *a*0 은 음수) 이런 형태의 공식이다. 당시에는 음수는 인정되지 않았기 때문에 계수는 아주 한정되어 있었다. 이 방정식 자체는 특수한 형태이지만, 일반적인 삼차 방정식은 이 형태로 변형할 수 있기 때문에, 본질적으로는 삼차 방정식은 델페로가 풀었다고 해도 과언은 아니다. 또한 이 방정식의 경우는 계수의 부호의 제약으로부터 환원 불능이 되지 않는다. 델페로는 이 해법을 공개하지 않고, 제자 몇 명에게만 알려준 뒤 1526년에 죽었다. 그리고 그 제자 중의 한 명인 안토니아 마리아 피올(Antonio Maria Fior)은 이 방법을 이용하여 당시에 성행했던 금전을 건 계산 승부에서 계속 이겼다. 삼차 방정식의 해답이 있다고 하는 소문을 바탕으로 타르탈리아(Tartaglia)는 독자적인 힘인지는 몰라도 :*x*3 \+ *a*2 *x*2 = *a*0 (*a*2 및 *a*0는 정수） 의 형태의 삼차 방정식을 푸는 것에 성공한 뒤 델·페로의 삼차 방정식의 해법도 알아냈다. 타르탈리아가 삼차 방정식을 풀었다는 소문을 들은 피올은 소문을 믿지 않고 타르탈리아에게 계산 승부에서 패배시켜 자신의 명성을 올리려고 하였지만, 델·페로의 삼차 방정식의 해법 밖에 몰랐기 때문에 피올은 타르탈리아와의 승부에서 지게 된다. 타르탈리아가 삼차 방정식의 대수적 해법을 알고 있다고 듣게 된 카르다노는 타르탈리아에게 간절히 부탁을 하여 삼차 방정식의 해법을 알아냈다. 카르다노는 제자인 로도비코 페라리와 얻은, 일반적인 사차 방정식의 대수적 해법과 아울러, 삼차 방정식의 대수적 해법을 출판하고 싶다고 생각했지만, 타르탈리아에게 해법을 비밀에 붙인다고 맹세했기 때문에 출판할 수는 없었다. 거기서, 일찍이 델페로가 3차방정식의 대수적 해법을 얻었다고 하는 소문을 믿고 페라리와 볼로냐에 가서, 델페로의 양자인 안니바레 델라 나베를 만나 델페로의 유고를 보고 그것을 읽은 카르다노는 타르탈리아가 3차방정식을 푼 최초의 사람이 아닌 것을 알았으므로, 타르탈리아와의 약속을 무효화 시켜 1545년에 수학,철학,의학의 내용을 담는 《아르스 마그나url-status=dead》(Ars Magna)를 출판해,책의 제4부에서 여러 가지 형태의 삼차 방정식의 해법을 공표했다. 이에, 삼차 방정식의 해법은 “카르다노의 방법”으로도 불리게 되었다. 이 일은 타르탈리아를 격노시켜 논쟁으로 발전했지만, 카르다노는 《아르스 마그나》에서 델페로와 타르탈리아의 공적에 대해 칭찬하고 있어, 삼차 방정식의 해법이 카르다노 자신의 독자적인 방법이라고 속인 것은 아니다. 또한 타르탈리아로부터 해의 도출 방법까지는 묻지 않고 다양한 형태의 삼차 방정식에 대한 해를 나타낸 일은 카르다노 자신의 업적이다. 카르다노의 공식에서 : x^3 + px + q = 0 이런 최고차항이 사라진 삼차 방정식은 : x =u+v 로 정리할 수 있고, : \left({q \over 2}\right)^2 + \left({p \over 3}\right)^3 < 0 이 때의 음수의 제곱근이 나타난다. 이것은 이 방정식의 판별식 : D = 4 p^3 + 27 q^2 과 같은 조건이다. 즉 D<0 일 때, 3개가 다른 실근을 가지게 되는 조건이다. 실근 밖에 없는 데도 여기에 관련 되지 않고서는 카르다노의 공식에서는 음수의 제곱근을 경유할 필요가 있었다. 카르다노는 음수의 제곱근을 계산에 이용하는 것은 있었지만 그러한 경우는 불가능하고 도움이 되지 않는 것이라고 생각하고 있었다 라파엘 봄벨리(*Rafael Bombelli*)는 이 경우를 자세하게 연구해 1572년에 출판한 「대수학」(Algebra)에 적었다. 형식적인 계산이긴 하지만 당시에는 아직 알려지지 않았다 이 계산은 허수의 계산과 같았다. 본베리는 :x^3 = 15 x + 4 이런 공식에 *x* = 4를 해로 가지는 방정식에 예를 주었다 이 방정식을 카르다노의 공식에서 계산해 보면 : x = \sqrt[3]{2+\sqrt{-121 + \sqrt[3]{2-\sqrt{-121 이 되지만 본베리는 이 우변은 오늘날의 공역의 복소수화 라고 생각해 음수의 제곱근 연산 규칙을 준 다음 : \left(2 \pm b \sqrt{-1}\right)^3 = 2 \pm \sqrt{-121} 로부터 *b* = 1 을 요구하여 원 방정식이 *x* = 4를 해로 가지는 것을 설명했다. 일반적으로는 : \left(a \pm b \sqrt{-1}\right)^3 = 2 \pm \sqrt{-121} 로부터 *a*, *b* 의 두개의 값을 요구하지 않으면 안되지만 이것을 요구하기 위해서는 다른 3차방정식이 나타나기 때문에 카르다노는 이 경우를 환원 불능의 경우라고 불렀다. 이 환원 불능의 경우를 회피하기 위해서 여러 가지 노력이 이루어졌지만 실은 허수를 피해서 실수의 거듭제곱근과 사칙연산을 유한하게 사용하는 것으로는 해를 찾아내는 것은 불가능 하기 때문에 모두 헛수고로 끝났다.