๊ฐ์์น๋ฒ์ด๋?
๊ฐ์์น๋ฒ(๋ผํด์ด regula falsi, ์ฐ๋ฆฌ๋ง๋ก๋ '๊ฐ์์น๋ฒ' ๋๋ '์ํ ๋ฒ')์ f(x) = 0์ ํธ๋ ๊ตฌ๊ฐ ๊ธฐ๋ฐ ๊ทผ ์ฐพ๊ธฐ ๊ธฐ๋ฒ์ ๋๋ค. ์ด๋ถ๋ฒ๊ณผ ๋ง์ฐฌ๊ฐ์ง๋ก ํจ์์ ๋ถํธ๊ฐ ๋ฐ๋๋ ์์ ๊ตฌ๊ฐ [a, b]๊ฐ ํ์ํฉ๋๋ค. ์ฆ \(f(a)\cdot f(b) \le 0\)์ด๋ฉด a์ b ์ฌ์ด์ ๋ฐ๋์ ๊ทผ์ด ์กด์ฌํฉ๋๋ค. ๋จ, ๊ตฌ๊ฐ์ ๋ ์ ๋ฐ์ผ๋ก ๋๋๋ ์ด๋ถ๋ฒ๊ณผ ๋ฌ๋ฆฌ ๊ฐ์์น๋ฒ์ ๋ ๋์ ์ ์๋ ์ง์ ์ ๊ทธ์ด ๊ทธ ์ง์ ์ด x์ถ๊ณผ ๋ง๋๋ ์ ์ ๋ค์ ์ถ์ ๊ฐ์ผ๋ก ์ผ์ต๋๋ค. ๊ทธ๋์ ๋ณดํต ์ด๋ถ๋ฒ๋ณด๋ค ๋น ๋ฅด๊ฒ ์๋ ดํฉ๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
ํจ์๋ f(x) ํํ๋ก ํ์ค ํ๊ธฐ๋ฒ์ ๋ฐ๋ผ ์ ๋ ฅํ์ธ์. + - * / ^, ๊ดํธ, ๊ทธ๋ฆฌ๊ณ sin, cos, tan, exp, log, ln, sqrt, abs, cbrt ๊ฐ์ ํจ์๋ฅผ ์ฌ์ฉํ ์ ์์ต๋๋ค. ์๋ ๋์ a์ ์ ๋์ b๋ f(a)์ f(b)์ ๋ถํธ๊ฐ ์๋ก ๋ฐ๋๊ฐ ๋๋๋ก ์ค์ ํฉ๋๋ค. ์ต๋ ๋ฐ๋ณต ํ์์ ํ์ํ ์ ํจ์ซ์ ์๋ฆฟ์๋ฅผ ์ ํํ์ธ์. ๊ฒฐ๊ณผ๋ก๋ ๊ทผ์ ๊ทผ์ฟ๊ฐ x, ์ค์ ์ํํ ๋ฐ๋ณต ํ์, ๊ทธ๋ฆฌ๊ณ 0์ ๋งค์ฐ ๊ฐ๊น์์ผ ํ ์์ฐจ f(x)๊ฐ ํ์๋ฉ๋๋ค.
๊ณต์ ํ์ด
๋งค ๋จ๊ณ์์ ๋ค์ ์ถ์ ๊ฐ์ ๊ตฌ๊ฐ ๋์ ์ ์ง๋๋ ํ ์ (secant line)์ด x์ถ๊ณผ ๋ง๋๋ ์ ์ ๋๋ค.
$$x_n = \frac{a_n\cdot f(b_n) - b_n\cdot f(a_n)}{f(b_n) - f(a_n)}$$
๋ง์ฝ \(f(x_n)\)์ ๋ถํธ๊ฐ \(f(a_n)\)๊ณผ ๊ฐ๋ค๋ฉด a๋ฅผ \(x_n\)์ผ๋ก ๋ฐ๊พธ๊ณ , ๊ทธ๋ ์ง ์์ผ๋ฉด b๋ฅผ ๋ฐ๊ฟ๋๋ค. ์ด๋ ๊ฒ ํ๋ฉด ๋ถํธ ๋ณํ, ๋ค์ ๋งํด ๊ตฌ๊ฐ ์์ ๊ทผ์ด ๊ฐํ ์๋ ์ํ๊ฐ ๊ทธ๋๋ก ์ ์ง๋ฉ๋๋ค. ๋ฐ๋ณต์ \(|f(x_n)|\)์ด ํ์ฉ ์ค์ฐจ(์ฝ 1e-12) ์๋๋ก ๋จ์ด์ง๊ฑฐ๋ ์ต๋ ๋ฐ๋ณต ํ์์ ๋๋ฌํ๋ฉด ๋ฉ์ถฅ๋๋ค.
์์ ๋ก ์ดํด๋ณด๊ธฐ
๊ตฌ๊ฐ [-10, 10]์์ \(f(x) = x - \cos(x)\)๋ฅผ ์๊ฐํด ๋ด ์๋ค. \(f(-10) \approx -10.839\)(์์), \(f(10) \approx 10.839\)(์์)์ด๋ฏ๋ก ์ด ๊ตฌ๊ฐ์ ๊ทผ์ ๊ฐ์ธ๊ณ ์์ต๋๋ค. ๊ฐ์์น๋ฒ์ \(f(x) \approx 0\)์ด ๋๋ \(x \approx 0.7390851332\)๋ก ์๋ ดํฉ๋๋ค. ์ด ๊ฐ์ ์ฝ์ฌ์ธ ํจ์์ ์ ์๋ ค์ง ๊ณ ์ ์ (fixed point)์ ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ \(f(a)\cdot f(b)\)๊ฐ \(\le 0\)์ด์ด์ผ ํ๋์? ๋ถํธ๊ฐ ๋ฐ๋๋ค๋ ๊ฒ์ ์ฐ์ ํจ์๊ฐ ๊ตฌ๊ฐ ์์์ 0์ ๊ฐ๋ก์ง๋ฅธ๋ค๋ ๋ป์ ๋๋ค. ๋ถํธ ๋ณํ๊ฐ ์์ผ๋ฉด ์ฐพ์ ๊ทผ์ด ์์ ์ ์์ผ๋ฉฐ, ์ด ๊ฒฝ์ฐ ๊ณ์ฐ๊ธฐ๊ฐ ๊ฒฝ๊ณ ๋ฅผ ํ์ํฉ๋๋ค.
์๋ ด์ด ๋๋ ค์ง ์๋ ์๋์? ๊ณก๋ฅ ์ด ํฐ ํจ์์์๋ ํ์ชฝ ๋์ ์ด ๊ณ ์ ๋ ์ฑ ์์ง์ด์ง ์์ ์ ํ ์๋ ด์ด ๋๋ฆฌ๊ฒ ์งํ๋ ์ ์์ต๋๋ค. ์ด๋ ๊ฐ์์น๋ฒ์ ์์ฐ์ค๋ฌ์ด ํน์ฑ์ด๋ฉฐ, ๊ทธ๋์ ๋ฐ๋ณต ํ์์ ์ํ์ ๋๋ ๊ฒ์ ๋๋ค.
๋ถ๋ชจ๊ฐ 0์ด๋ฉด ์ด๋ป๊ฒ ๋๋์? f(b)๊ฐ f(a)์ ๊ฐ์ผ๋ฉด ํ ์ ์ด ์ํ์ด ๋์ด ์ ์ผํ ๊ต์ ์ด ์กด์ฌํ์ง ์์ต๋๋ค. ์ด๋ ๊ณ์ฐ๊ธฐ๋ 0์ผ๋ก ๋๋๋ ๋์ ์ค๋ฅ๋ฅผ ํ์ํฉ๋๋ค.