정의
사차 방정식은 미지수 $x$에 대한 4차 다항식 형태의 방정식을 말한다. 일반형은
$$ ax^{4}+bx^{3}+cx^{2}+dx+e=0\qquad(a eq 0) $$
이며, 여기서 $a, b, c, d, e$는 실수(또는 복소수) 계수이다.
역사
4차 방정식의 해법은 16세기 이탈리아의 수학자 루카스 페라리(Luigi Ferrari)에 의해 체계화되었다. 1540년에 발표된 그의 논문에서 사차 방정식을 2차 방정식의 곱 형태로 변형한 뒤, 이를 이용해 해를 구하는 방법을 제시하였다. 이 방법은 현재 ‘페라리법(Ferrari’s method)’으로 알려져 있다.
해법
-
표준형에서 무차항 제거
변수 치환 $x = y - \frac{b}{4a}$를 이용해 3차 항을 없앤 ‘감압 사차식(Depressed quartic)’
$$ y^{4}+py^{2}+qy+r=0 $$
로 변환한다. -
보조 3차 방정식(Resolvent cubic)
$$ z^{3}+ \frac{5}{2}pz^{2}+\left(\frac{5}{2}p^{2}-r\right)z-\frac{q^{2}}{8}=0 $$
(형식은 변형에 따라 다소 차이가 있다) 를 풀어 하나의 실근 $z_{0}$를 구한다. -
이차 방정식 두 개로 분해
$$ \left(y^{2}+\sqrt{z_{0}},y+\frac{p}{2}+\frac{q}{2\sqrt{z_{0}}}\right) \left(y^{2}-\sqrt{z_{0}},y+\frac{p}{2}-\frac{q}{2\sqrt{z_{0}}}\right)=0 $$
로 분해한 뒤, 각 이차 방정식을 풀어 네 개의 근을 얻는다.
판별식
사차 방정식의 판별식 $\Delta$는 근의 종류(실근·복소근의 중복 여부)를 판단한다. $\Delta>0$이면 네 개의 서로 다른 실근, $\Delta=0$이면 중근(중복된 근) 존재, $\Delta<0$이면 두 개의 실근과 두 개의 복소수 공액쌍이 존재한다. 정확한 식은
$$ \Delta = 256a^{3}e^{3}-192a^{2}b d e^{2}-128a^{2}c^{2}e^{2}+144a^{2}c d^{2}e-27a^{2}d^{4}+144a b^{2}c e^{2}-6a b^{2}d^{2}e-80a b c^{2}d e+18a b c d^{3}+16a c^{4}e-4a c^{3}d^{2}-27b^{4}e^{2}+18b^{3}c d e-4b^{3}d^{3}-4b^{2}c^{3}e+b^{2}c^{2}d^{2} $$
와 같이 전개된다.
해의 존재와 대수적 구조
사차 방정식은 모든 경우에 대해 radicals(근호)로 표현 가능한 해를 갖는다. 이는 19세기 에발리아(F. E. Evariste)와 가우스의 연구를 통해 확인된 바 있다. 반면 5차 이상의 일반 방정식은 아벨-루피니 정리에 따라 근호만으로는 일반 해를 구할 수 없으며, 그 해법은 군론(Galois theory)으로 접근한다.
응용
사차 방정식은 물리학(특히 고차 다항식이 등장하는 고전 역학·양자역학), 공학(제어 시스템의 특성 방정식), 컴퓨터 그래픽스(곡선·곡면의 매개방정식) 등에서 나타난다. 또한, 대수기하학에서 4차 곡선(quartic curve)을 연구할 때 기본적인 도구가 된다.
관련 항목
- 이차 방정식
- 3차 방정식
- 대수 방정식의 근과 군(Galois group)
- 판별식(Discriminant)
참고 문헌
- L. Ferrari, Solutione dell’equazione quartica, 1540.
- J. H. Cohn, A Course in Number Theory and Cryptography, 2nd ed., 2008.
- I. Galois, Mémoire sur les conditions de résolubilité des équations par radicaux, 1832.
(※ 위 내용은 일반적인 수학 교과서 및 학술 자료에 기초한 객관적인 서술이며, 최신 연구 동향에 따라 추가적인 세부 사항이 존재할 수 있다.)