๋ ๊ณก์ ์ฌ์ด์ ๋์ด๋?
๊ตฌ๊ฐ [a, b]์์ ๋ ๊ณก์ f(x)์ g(x) ์ฌ์ด์ ๋์ด๋ ๋ ๊ทธ๋ํ ์ฌ์ด์ ๋๋ฌ์ธ์ธ ์ ์ฒด ์์ญ์ ๋ปํฉ๋๋ค. ์ํ์ ์ผ๋ก๋ ๋ ํจ์ ์ฐจ์ ์ ๋๊ฐ์ ์ ์ ๋ถํ ๊ฐ๊ณผ ๊ฐ์ผ๋ฉฐ, $$A = \int_{a}^{b} \left|\,f(x) - g(x)\,\right|\,dx$$ ๋ก ๋ํ๋ ๋๋ค. ์ ๋๊ฐ์ ์ฌ์ฉํ๋ฉด ๊ตฌ๊ฐ ์์์ ๊ณก์ ์ด ์๋ก ๊ต์ฐจํ๊ฑฐ๋ '์์ชฝ' ๊ณก์ ๊ณผ '์๋์ชฝ' ๊ณก์ ์ด ๋์ค์ ๋ฐ๋๋๋ผ๋ ํญ์ ์์์ธ ๋์ด๋ฅผ ์ป์ ์ ์์ต๋๋ค.
๊ณ์ฐ๊ธฐ ์ฌ์ฉ๋ฒ
๊ฐ ํจ์๋ฅผ x์ ๋ํ ์์ผ๋ก ์
๋ ฅํ์ธ์. ์๋ฅผ ๋ค์ด x^2, 2*x+1, sin(x), 4-x^2 ์ฒ๋ผ ์ฐ๋ฉด ๋ฉ๋๋ค. ์๋๋ a์ ์๋ b๋ฅผ ์
๋ ฅํ๋ฉด ๋์ด๊ฐ ๊ณง๋ฐ๋ก ํ์๋ฉ๋๋ค. ์ด ๋๊ตฌ๋ + โ * / ^ ์ฐ์ฐ์์ ๊ดํธ, ์์ pi์ e, ๊ทธ๋ฆฌ๊ณ sin, cos, tan, exp, ln, log, sqrt, abs ํจ์๋ฅผ ์ง์ํฉ๋๋ค. ์ด๋ ๊ณก์ ์ด ์์ ์๋์ง ๋ฏธ๋ฆฌ ์ ํ์๋ ์์ต๋๋ค. ์ฐจ์ ์ ๋๊ฐ์ ์์์ ์ฒ๋ฆฌํด ์ฃผ๊ธฐ ๋๋ฌธ์
๋๋ค.
๊ณต์ ํ์ด
๊ตฌ๊ฐ [a, b] ์ ์ฒด์์ \(f(x) \ge g(x)\) ๋ผ๋ฉด, ๋์ด๋ ๋จ์ํ \(\int_{a}^{b} (f - g)\,dx\) ์ ๋๋ค. ํ์ง๋ง ๊ณก์ ์ด ๊ต์ฐจํ๋ฉด ์ฐจ์ ๋ถํธ๊ฐ ๋ฐ๋๋ฏ๋ก, ์์์ ์์๊ฐ ์๋ก ์์๋์ง ์๋๋ก ์ ๋๊ฐ์ ์ ๋ถํฉ๋๋ค. ์ด ๊ณ์ฐ๊ธฐ๋ ์ ๋ถํ ํจ์๋ฅผ ์์ฒ ๊ฐ์ ์ ์์ ๊ณ์ฐํ ๋ค ํฉ์ฑ ์ฌํ์จ ๊ณต์(\(n = 2000\))์ ์ ์ฉํ๋ฏ๋ก, ๋งค๋๋ฌ์ด ํจ์์ ๋ํด ๋งค์ฐ ๋์ ์ ํ๋๋ฅผ ๋ณด์ ๋๋ค.
์์ ํ์ด
์ง์ \(y = x\) ์ ํฌ๋ฌผ์ \(y = x^2\) ์ฌ์ด์ ๋์ด๋ฅผ ๊ตฌ๊ฐ [0, 1]์์ ๊ตฌํด ๋ด ์๋ค. ์ด ๊ตฌ๊ฐ์์๋ \(x \ge x^2\) ์ด๋ฏ๋ก, $$A = \int_{0}^{1} (x - x^2)\,dx = \left[\frac{x^2}{2} - \frac{x^3}{3}\right]_{0}^{1} = \frac{1}{2} - \frac{1}{3} = \frac{1}{6} \approx 0.1667$$ (์ ๊ณฑ ๋จ์) ์ ๋๋ค.
๋ ๊ณก์ ์ฌ์ด์ ๋์ด๋ฅผ ์์ผ๋ก ๊ณ์ฐํ๋ ๋ฐฉ๋ฒ
๊ตฌ๊ฐ \([a,b]\) ์์์ ๋ ๊ณก์ \(f(x)\)์ \(g(x)\) ์ฌ์ด์ ๋์ด๋ ๊ทธ๋ค ์ฌ์ด์ ์ ๋๊ฐ ์์ง ๊ฑฐ๋ฆฌ์ ์ ๋ถ์ ๋๋ค. ๊ณก์ ์ด ๊ต์ฐจํ๋ ๊ณณ์์ ์์๋ ์์๊ฐ ๋ฐ๋ ์ ์๊ธฐ ๋๋ฌธ์, ๋จ์ํ \(f-g\)๋ฅผ ์ ๋ถํ๋ฉด ์ ๋ฉ๋๋ค. ๊ทธ๋ ๊ฒ ํ๋ฉด ๋ถํธ๊ฐ ์์๋ฉ๋๋ค. ๋ค์ ์ ์ฐจ๋ฅผ ๋ฐ๋ฅด์ธ์:
- ๊ต์ ์ ์ฐพ์ผ์ธ์. \(f(x)=g(x)\)๋ฅผ ํ์ด์ \(x\)๋ฅผ ๊ตฌํ๊ณ \([a,b]\) ๋ฒ์ ๋ด์ ํด๋ง ์ ์งํ์ธ์. ์ด๋ค์ด ์์ชฝ ๊ณก์ ๊ณผ ์๋์ชฝ ๊ณก์ ์ด ์ญํ ์ ๋ฐ๊พธ๋ ์ ๋ค์ ๋๋ค.
- ๊ฐ ๋ถ๋ถ ๊ตฌ๊ฐ์์ ์์ชฝ ๊ณก์ ์ ๊ฒฐ์ ํ์ธ์. ์ฐ์๋ ๊ต์ ์ฌ์ด์์ \(f-g\) ์ฐจ์ด๋ ํ ๊ฐ์ง ๋ถํธ๋ฅผ ์ ์งํฉ๋๋ค. ๊ฐ ๋ถ๋ถ์์ ์ํ์ ์ ์ ํํ์ฌ \(f-g\)๋ฅผ ๊ณ์ฐํ์ธ์: ์์์ด๋ฉด \(f\)๊ฐ ์์ชฝ์ด๊ณ , ์์์ด๋ฉด \(g\)๊ฐ ์์ชฝ์ ๋๋ค.
- ๊ต์ ์์ ์ ๋ถ์ ๋๋์ธ์. ๊ณก์ ์ด \(a
- ๊ฐ ๋ถ๋ถ์์ (์์ชฝ โ ์๋์ชฝ)์ ์ ๋ถํ์ธ์. ๊ฐ ๋ถ๋ถ ๊ตฌ๊ฐ์์ ๋ ํฐ ํจ์๋ฅผ ๋จผ์ ๋์์ ํผ์ ๋ถํจ์๊ฐ ์์ด ์๋๋๋ก ํ์ธ์:
$$A_i = \int_{x_{i}}^{x_{i+1}}\big(\text{์์ชฝ}(x)-\text{์๋์ชฝ}(x)\big)\,dx.$$ - ์ ๋๊ฐ ๋์ด๋ค์ ํฉํ์ธ์. ๋ถ๋ถ๋ค์ ๋ํ์ธ์: \(A = \sum_i A_i\). ๊ฐ \(A_i\ge 0\)์ด๋ฏ๋ก ์์๊ฐ ์์ต๋๋ค.
๋ถํธ ์ฒ๋ฆฌ ์ธ๋ถ์ฌํญ: ๊ฐ๋จํ ๊ณต์ \(A=\int_a^b |f(x)-g(x)|\,dx\)๋ ์ ํํ์ง๋ง, ๊ณก์ ์ด ๊ต์ฐจํ ๋ \(\int_a^b (f-g)\,dx\)๋ ๋์ด๊ฐ ์๋๋๋ค. ์๋ฅผ ๋ค์ด, \(f-g\)๊ฐ ํญ 1์ธ ๊ตฌ๊ฐ์์ \(+2\)์ด๊ณ ๋ค์ ํญ 1์ธ ๊ตฌ๊ฐ์์ \(-2\)๋ผ๋ฉด, ์์ํ๊ฒ ๋ถํธ๋ฅผ ๊ณ ๋ คํ ์ ๋ถ์ \(2+(-2)=0\)์ ์ฃผ์ง๋ง, ์ฐธ ๋์ด๋ \(|2|+|-2|=4\)์ ๋๋ค. ๊ต์ ์์ ๋๋๊ณ ๊ฐ ๋ถ๋ถ์ ์์๋ก ์ทจํ๋ ๊ฒ์ด ์ ํํ ์ ๋๊ฐ์ด ํ๋ ์ผ์ ๋๋ค.
์ฃผ์ ์ฉ์ด
- ์ ์ ๋ถ(Definite integral)
- ๊ฐ \(\int_a^b h(x)\,dx\)๋ \(x=a\)์์ \(x=b\)๊น์ง \(h\)์ ๊ทธ๋ํ์ \(x\)์ถ ์ฌ์ด์ ์๋ถํธ ์๋ ๋์ด๋ฅผ ๋ํ๋ ๋๋ค.
- ํผ์ ๋ถํจ์(Integrand)
- ์ ๋ถ๋๋ ํจ์์ ๋๋ค. ๊ณก์ ์ฌ์ด์ ๋์ด์ ๊ฒฝ์ฐ ํผ์ ๋ถํจ์๋ ์ฐจ์ด \(f(x)-g(x)\) (๋๋ ๊ทธ ์ ๋๊ฐ)์ ๋๋ค.
- |f โ g| (์ ๋๊ฐ ์ฐจ์ด)
- ๊ฐ \(x\)์์ ๊ณก์ ์ฌ์ด์ ์์ด ์๋ ์์ง ๊ฐ๊ฒฉ์ ๋๋ค. ์ ๋๊ฐ์ ์ฌ์ฉํ๋ฉด ์์์ ์์ ์์ญ์ด ์์๋์ง ์๊ณ ๊ธฐํํ์ ๋์ด๋ฅผ ์ธก์ ํจ์ ๋ณด์ฅํฉ๋๋ค.
- ๊ต์ / ๊ต์ฐจ์ (Intersection / crossing point)
- \(f(x)=g(x)\)์ธ \(x\) ๊ฐ์ ๋๋ค. ๊ณก์ ์ด ๋ง๋๊ฑฐ๋ ์์ชฝ์ ์ด๋ ๊ฒ์ด ์๋์ง ๋ฐ๋๋๋ค. \([a,b]\) ๋ด์ ๋ชจ๋ ๊ต์ฐจ์ ์์ ์ ๋ถ์ ๋๋์ด์ผ ํฉ๋๋ค.
- ๊ฒฝ๊ณ a์ b(Bounds a and b)
- ๋์ด๋ฅผ ์ธก์ ํ๋ ์ํ ๊ตฌ๊ฐ์ ์ ์ํ๋ ์ ๋ถ์ ํํ๊ณผ ์ํ์ ๋๋ค.
- ์์ชฝ / ์๋์ชฝ ๊ณก์ (Upper / lower curve)
- ์ฃผ์ด์ง ๋ถ๋ถ ๊ตฌ๊ฐ์์ ์์ชฝ ๊ณก์ ์ ๋ ํฐ \(y\) ๊ฐ์ ๊ฐ์ง๋๋ค. ๋์ด ํผ์ ๋ถํจ์๋ (์์ชฝ โ ์๋์ชฝ)์ด๋ฏ๋ก ์์ด ์๋ ์ํ๋ก ์ ์ง๋ฉ๋๋ค.
- ํฉ์ฑ ์ฌํ์จ์ ๋ฒ์น(Composite Simpson's rule)
- ๋ถ๋ถ ๊ตฌ๊ฐ์ ์์ ๋ํด ํฌ๋ฌผ์ ์ ๋ง์ถฐ์ \(\int_a^b h\,dx\)๋ฅผ ๊ทผ์ฌํ๋ ์์น์ ๋ถ ๋ฐฉ๋ฒ์ ๋๋ค. ํผ์ ๋ถํจ์๊ฐ ๊ฐ๋จํ ๋ถ์ ์ ๋ถ์ ๊ฐ์ง ์์ ๋ ์ฌ์ฉ๋ฉ๋๋ค.
- ์ ๊ณฑ ๋จ์(Square units)
- ๋์ด ๊ฒฐ๊ณผ์ ์ฐจ์ ๋จ์์ ๋๋ค. ๋์ด๋ ์ํ ๊ธธ์ด์ ์์ง ๊ธธ์ด๋ฅผ ๊ฒฐํฉํ๋ฏ๋ก ๋ต์ ์ ๊ณฑ ๋จ์๋ก ํํ๋ฉ๋๋ค.
์์ฃผ ๋ฌป๋ ์ง๋ฌธ
์ด๋ ํจ์๋ฅผ f๋ก ๋๊ณ ์ด๋ ํจ์๋ฅผ g๋ก ๋ฌ๋ ์๊ด์๋์? ๋ค, ์๊ด์์ต๋๋ค. ์ ๋ถ ๋์์ด \(|f - g|\) ์ด๊ธฐ ๋๋ฌธ์ ๋์ ๋ฐ๊ฟ ๋ฃ์ด๋ ๋์ด๋ ๋๊ฐ์ต๋๋ค.
๊ตฌ๊ฐ [a, b] ์์์ ๊ณก์ ์ด ๊ต์ฐจํ๋ฉด ์ด๋ป๊ฒ ๋๋์? ์ ๋๊ฐ์ด ๊ต์ฐจ ์ง์ ์ ์๋์ผ๋ก ๋ฐ์ํ๋ฏ๋ก, ๊ฒฐ๊ณผ๋ ๋ถํธ๊ฐ ์์ธ ์ฐจ๊ฐ ์๋๋ผ ๋๋ฌ์ธ์ธ ์ ์ฒด ๋์ด๊ฐ ๋ฉ๋๋ค.
๊ฒฐ๊ณผ๋ ์ผ๋ง๋ ์ ํํ๊ฐ์? 2000๊ฐ์ ์๊ตฌ๊ฐ์ ์ฌ์ฉํ๋ ์ฌํ์จ ๊ณต์์ ์ฐ์ ํจ์์ ๋ํด ๊ทน๋๋ก ์ ํํ๋ฉฐ, ๋ณดํต ์์์ ์๋ ์ฌ๋ฌ ์๋ฆฌ๊น์ง ์ ํํ ๊ฐ๊ณผ ์ผ์นํฉ๋๋ค.