์ผ์ฐจ๋ฐฉ์ ์ ๊ณ์ฐ๊ธฐ๋?
์ด ๊ณ์ฐ๊ธฐ๋ \(ax^3 + bx^2 + cx + d = 0\) ํํ์ ์ผ์ฐจ๋ฐฉ์ ์์ ํ์ด ์ธ ๊ฐ์ ๊ทผ์ ๋ชจ๋ ๊ตฌํด ์ค๋๋ค. ๊ทผ์ด ์ค์๋ ๋ณต์์๋ ์๊ด์์ต๋๋ค. ์นด๋ฅด๋ค๋ ธ(Cardano) ๋ฐฉ๋ฒ๊ณผ ์ผ๊ฐํจ์ ํ์ด(casus irreducibilis)๋ฅผ ํจ๊ป ์ฌ์ฉํด ์์น์ ์ผ๋ก ์์ ์ ์ธ ๊ฒฐ๊ณผ๋ฅผ ๋ณด์ฅํฉ๋๋ค.
์ฌ์ฉ ๋ฐฉ๋ฒ
๋ค ๊ฐ์ ๊ณ์ \(a\), \(b\), \(c\), \(d\)๋ฅผ ์ ๋ ฅํ์ธ์. ๋ฐฉ์ ์์ด ์ผ์ฐจ์์ด ๋๋ ค๋ฉด ๊ณ์ \(a\)๋ ๋ฐ๋์ 0์ด ์๋์ด์ผ ํฉ๋๋ค. ๊ณ์ฐ๊ธฐ๋ ํ๋ณ์, ์ค๊ทผ์ ๊ฐ์, ๊ทธ๋ฆฌ๊ณ ๊ฐ ๊ทผ์ ์ค์๋ถ์ ํ์๋ถ๋ฅผ ์๋ ค ์ค๋๋ค.
๊ณต์ ํ์ด
๋จผ์ \(x = t - b/(3a)\)๋ฅผ ๋์ ํด ์ด์ฐจํญ์ ์์ ๋ฉด, ์ถ์๋ ์ผ์ฐจ๋ฐฉ์ ์ \(t^3 + pt + q = 0\)์ ์ป์ต๋๋ค. ์ด๋ \(p = (3ac - b^2)/(3a^2)\), \(q = (2b^3 - 9abc + 27a^2 d)/(27a^3)\)์ ๋๋ค. ํ๋ณ์ $$\Delta = -4p^3 - 27q^2$$ ์ด ๊ทผ์ ์ฑ์ง์ ๊ฒฐ์ ํฉ๋๋ค. \(\Delta > 0\)์ด๋ฉด ์๋ก ๋ค๋ฅธ ์ธ ๊ฐ์ ์ค๊ทผ, \(\Delta = 0\)์ด๋ฉด ์ค๊ทผ์ ํฌํจํ ์ค๊ทผ, \(\Delta < 0\)์ด๋ฉด ํ๋์ ์ค๊ทผ๊ณผ ์ผค๋ ๋ณต์๊ทผ ํ ์์ด ๋์ต๋๋ค. ๋ชจ๋ ๊ทผ์ด ์ค์์ผ ๋๋ $$t_k = 2\sqrt{-p/3}\cdot\cos\!\left(\tfrac{1}{3}\cdot\operatorname{acos}\!\left(\frac{3q}{p\cdot 2\sqrt{-p/3}}\right) - \frac{2\pi k}{3}\right)$$ ๊ณต์์ ์ฌ์ฉํฉ๋๋ค.
์์ ํ์ด
\(x^3 - 6x^2 + 11x - 6 = 0\)์ ๊ฒฝ์ฐ \(a=1\), \(b=-6\), \(c=11\), \(d=-6\)์ ๋๋ค. ์ถ์๋ ์ผ์ฐจ๋ฐฉ์ ์์์ \(p = -\tfrac{1}{3}\), \(q = -0.0741\)์ด ๋์ต๋๋ค. ํ๋ณ์์ด ์์์ด๋ฏ๋ก ์ธ ๊ฐ์ ์ค๊ทผ์ด ์กด์ฌํ๋ฉฐ, ๊ณ์ฐ๊ธฐ๋ ์ด๋ฅผ 1, 2, 3์ผ๋ก ์ ๋ ฌํด ๋ณด์ฌ ์ค๋๋ค. ์ด๋ ์ ํํ \((x-1)(x-2)(x-3)\)์ ์ธ์๋ถํด ๊ฒฐ๊ณผ์ ์ผ์นํฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
\(a = 0\)์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? ๊ทธ๋ฌ๋ฉด ์ผ์ฐจ๋ฐฉ์ ์์ด ์๋๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ \(a \neq 0\) ์กฐ๊ฑด์ ํ์๋ก ํฉ๋๋ค.
์ ์ด๋ค ๊ทผ์ ๋ณต์์๋ก ๋์ค๋์? ์ผ์ฐจ๋ฐฉ์ ์์ ๋ณต์์ ๋ฒ์์์ ํญ์ ์ธ ๊ฐ์ ๊ทผ์ ๊ฐ์ง๋๋ค. ํ๋ณ์์ด ์์์ผ ๋๋ ๊ทธ์ค ๋ ๊ทผ์ด ์ผค๋ ๋ณต์๊ทผ ์์ ์ด๋ฃน๋๋ค.
๊ทผ์ ์ด๋ค ์์๋ก ํ์๋๋์? ์ผ๊ด์ฑ์ ์ํด ์ค๊ทผ์ ์ค๋ฆ์ฐจ์์ผ๋ก ์ ๋ ฌ๋์ด ๋ํ๋ฉ๋๋ค.