4์ฐจ๋ฐฉ์ ์ ํ์ด ๊ณ์ฐ๊ธฐ๋?
์ด ๊ณ์ฐ๊ธฐ๋ \(ax^{4} + bx^{3} + cx^{2} + dx + e = 0\) ํํ์ 4์ฐจ(์ฌ์ฐจ) ๋คํญ์ ๋ฐฉ์ ์์ด ๊ฐ๋ ๋ค ๊ทผ์ ๋ชจ๋ ์ฐพ์ ์ค๋๋ค. ์์น ๋ฐ๋ณต๋ฒ์ด ์๋๋ผ ์ ํํ ๋์์ ๊ธฐ๋ฒ์ธ ํ๋ผ๋ฆฌ(Ferrari)์ ํด๋ฒ์ ์ฌ์ฉํ๋ฏ๋ก ์ค๊ทผ๊ณผ ํ๊ทผ์ ์ค์ฐจ ์์ด ์ ๋ฐํ๊ฒ ๊ตฌํ ์ ์์ต๋๋ค. ์ค์ ๊ณ์๋ฅผ ๊ฐ๋ 4์ฐจ๋ฐฉ์ ์์ ๋ณต์ํ๋ฉด์์ ํญ์ ์ ํํ ๋ค ๊ฐ์ ๊ทผ์ ๊ฐ์ง๋ฉฐ, ํ๊ทผ์ด ๋ํ๋ ๊ฒฝ์ฐ ๋ฐ๋์ ์ผค๋ ๋ณต์์ ์์ผ๋ก ๋ฑ์ฅํฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋ค์ฏ ๊ฐ์ ๊ณ์ \(a\), \(b\), \(c\), \(d\), \(e\)๋ฅผ ์ ๋ ฅํ์ธ์. ์ต๊ณ ์ฐจํญ ๊ณ์ \(a\)๋ 0์ด ์๋์ด์ผ ํฉ๋๋ค. ๊ทธ๋ ์ง ์์ผ๋ฉด 4์ฐจ๋ฐฉ์ ์์ด ์ฑ๋ฆฝํ์ง ์์ต๋๋ค. ๋น ์ง ํญ์ด ์๋ค๋ฉด ํด๋น ๊ณ์๋ฅผ 0์ผ๋ก ๋๋ฉด ๋ฉ๋๋ค. ๊ณ์ฐํ๊ธฐ๋ฅผ ๋๋ฅด๋ฉด \(x_1\)๋ถํฐ \(x_4\)๊น์ง์ ๊ทผ์ด ํ์๋ฉ๋๋ค. ์ค๊ทผ์ ํ์๋ถ ์์ด ๋ํ๋๊ณ , ํ๊ทผ์ \(p + qi\) ํํ๋ก ํ์๋ฉ๋๋ค.
๊ณต์ ํ์ด ๊ณผ์
๋จผ์ ์๋ณ์ \(a\)๋ก ๋๋์ด ๋ฐฉ์ ์์ ๋ชจ๋(์ต๊ณ ์ฐจํญ ๊ณ์๊ฐ 1)์ผ๋ก ๋ง๋ญ๋๋ค. ์ด์ด์ \(x = y - b/(4a)\)๋ก ์นํํ๋ฉด 3์ฐจํญ์ด ์ฌ๋ผ์ง ์ฝํ 4์ฐจ๋ฐฉ์ ์(depressed quartic) $$y^{4} + p\,y^{2} + q\,y + r = 0$$ ์ด ์ป์ด์ง๋๋ค. ๊ทธ๋ค์ ํ๋ผ๋ฆฌ์ ํด๋ฒ์ผ๋ก ๋ถํด 3์ฐจ๋ฐฉ์ ์(resolvent cubic)์ ์ค๊ทผ \(m\)์ ๊ตฌํ๋ฉด, ์ฝํ 4์ฐจ๋ฐฉ์ ์์ ๋ ๊ฐ์ 2์ฐจ์ ๊ณฑ์ผ๋ก ํํํ ์ ์์ต๋๋ค. ๊ฐ 2์ฐจ์์ ๋ณต์์ ๊ทผ์ ๊ณต์์ผ๋ก ํ๋ฉด ๋ค ๊ฐ์ \(y\) ๊ฐ์ด ๋์ค๊ณ , ์ด๋ฅผ \(x = y - b/(4a)\)๋ก ๋๋๋ฆฌ๋ฉด ์ต์ข ๊ทผ์ ์ป์ต๋๋ค.
์์ ํ์ด
$$x^{4} - 7x^{3} + 5x^{2} + 31x - 30 = 0$$ (\(a=1\), \(b=-7\), \(c=5\), \(d=31\), \(e=-30\))์ ๊ฒฝ์ฐ, ์ด ๋คํญ์์ \((x-1)(x+2)(x-3)(x-5)\)๋ก ์ธ์๋ถํด๋ฉ๋๋ค. ๊ณ์ฐ๊ธฐ๋ \(x_1 = -2\), \(x_2 = 1\), \(x_3 = 3\), \(x_4 = 5\)๋ฅผ ๋ฐํํ๋ฉฐ ๋ค ๊ทผ ๋ชจ๋ ์ค๊ทผ์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
ํ๊ทผ๋ ๊ตฌํ ์ ์๋์? ๋ค, ๊ฐ๋ฅํฉ๋๋ค. ์๋ฅผ ๋ค์ด \(x^{4} + 1 = 0\)์ \(-1\)์ ๋ค ๋ณต์์ ๋ค์ ๊ณฑ๊ทผ, ์ฆ ์ฝ \(\pm 0.7071 \pm 0.7071i\)๋ฅผ ๋ฐํํฉ๋๋ค.
a๊ฐ 0์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? ์ด ๊ฒฝ์ฐ ๋ ์ด์ 4์ฐจ๋ฐฉ์ ์์ด ์๋๋ฏ๋ก ๊ณ์ฐ๊ธฐ๊ฐ ์ค๋ฅ๋ฅผ ํ์ํฉ๋๋ค. ๋์ 3์ฐจ๋ฐฉ์ ์ ๋๋ 2์ฐจ๋ฐฉ์ ์ ๊ณ์ฐ๊ธฐ๋ฅผ ์ฌ์ฉํ์ธ์.
์ค๊ทผ๋ ์ฒ๋ฆฌํ ์ ์๋์? ๋ค. ์๋ฅผ ๋ค์ด \((x-2)^{4} = 0\)์ \(x = 2\)๋ฅผ ๋ค ๋ฒ ๋ฐํํฉ๋๋ค.