테이블 적분법의 원리 및 부분적분법의 귀납적 관계

이 글에서는 테이블 적분법의 원리를 설명합니다. 테이블 적분의 원리는 부분적분의 귀납적 관계를 이용한 것입니다.

\(f(x)\)를 n번 미분한 함수를 $$ f^{(n)}(x) : f^{(0)}(x),\ f^{(1)}(x),\ f^{(2)}(x),\ f^{(3)}(x),…,\ f^{(n)}(x),…$$ \(g(x)\)를 n번 부정적분(적분상수=0)한 함수를 $$g^{(-n)}(x) : g^{(0)}(x),\ g^{(-1)}(x),\ g^{(-2)}(x),\ g^{(-3)}(x),…,\ g^{(-n)}(x),…$$라 하면, $$\begin{align}\int f(x)g(x)dx&=f(x)g^{(-1)}(x)-\int f^{(1)}(x)g^{(-1)}(x)dx\\
&=f(x)g^{(-1)}(x)-\left(f^{(1)}(x)g^{(-2)}(x)-\int f^{(2)}(x)g^{(-2)}(x)dx\right)\\
&=f(x)g^{(-1)}(x)-f^{(1)}(x)g^{(-2)}(x)+\int f^{(2)}(x)g^{(-2)}(x)dx\\
&=…\end{align}$$ 입니다. 혹시 이 등식의 패턴이 보이시나요? (more…)

부분적분을 빠르게 – 삼각함수×지수함수의 테이블 적분법

이 글에서는 삼각함수×지수함수의 테이블 적분법에 대해 설명합니다. 예를 들어, $$\int \sin x\cdot e^x dx$$의 테이블 적분은 다음과 같습니다. $$\begin{array}{ccc} D && I\\
\hline
\sin x&{}&e^x\\
{}&\searrow{+}&{}\\
\cos x&{}&e^x\\
{}&\searrow{-}&{}\\
-\sin x&\bbox[yellow]{\rightarrow{+}}&e^x\\
\end{array}$$$$\int \sin x\cdot e^xdx=+(\sin x\cdot e^x)-(\cos x\cdot e^x)+\bbox[yellow]{\int(-\sin x)\cdot e^x dx}$$

(more…)

부분적분을 빠르게 – 다항함수×지수함수 또는 다항함수×삼각함수의 테이블 적분법

도표적분법 또는 표적분법이라고도 알려져 있는 테이블 적분법(tabular integration by parts)은 부분적분법을 빠르게 계산할 수 있는 방법입니다.  예를 들어 \(x^2\cdot e^x\) 의 부정적분 $$\int x^2\cdot e^x dx$$는 다음과 같은 표를 만들어 빠르게 계산할 수 있습니다.

$$\begin{array}{ccc} D && I\\
\hline
x^2&{}&e^x\\
{}&\searrow{+}&{}\\
2x&{}&e^x\\
{}&\searrow{-}&{}\\
2&{}&e^x\\
{}&\searrow{+}{}\\
0&{}&e^x\end{array}$$

$$\int x^2e^xdx=+(x^2\cdot e^x)-(2x\cdot e^x)+(2\cdot e^x) +C$$ 테이블 적분법은 크게 2가지로 나눌 수 있는데 이 글에서는 첫번째로 다항함수×지수함수나 다항함수×삼각함수 모양을 가진 함수의 테이블 적분법을 예를 들어 설명합니다.

(more…)

정답을 부르는 개념 – 부등식을 만족하는 어떤 값

부등식을 만족하는 “어떤 값이 존재한다”라는 조건을 가진 문제는 다음과 같이 최솟값이나 최댓값에 관한 조건을 가진 문제로 바꾸어 풀 수 있습니다. 구체적으로, 다음과 같은 변형이 가능합니다.

\(f(x)\leq a\) 인 어떤 \(x\) 의 값이 존재한다\(\iff f(x)\)의 최솟값\(\leq a\) 이다.
\(f(x)\geq a\) 인 어떤 \(x\) 의 값이 존재한다\(\iff f(x)\)의 최댓값\(\geq a\) 이다.

이렇게 조건을 변형하는 것은 수학 논리에서 매우 중요한 개념 중 하나이기 때문에 이 개념을 이용해서 만들어진 고난도의 문제들이 종종 출제됩니다. 이 글에서는 이러한 변형의 배경과 원리를 알아보고 이를 이용해 문제를 풀어보겠습니다. (more…)

소소하지만 확실한 테크닉 – 양변적분과 e^(x)sin(x), e^(x)cos(x) 의 부정적분

미적분 문제에서 등식의 양변을 미분하면 새로운 조건을 찾을 수 있을 때가 많습니다. 하지만 등식의 양변을 같이 적분하는 것도 새로운 조건을 찾을 수 있는 방법입니다. 양변을 미분하는 것보다 많이 쓰이지는 않지만 종종 이러한 테크닉을 사용하는 문제들이 있습니다.

$$f(x)=g(x)\implies\int f(x)dx=\int g(x)dx$$

이 글에서는 이 테크닉의 원리를 설명하고 이 테크닉을 활용해 \(e^x\sin{x}\) 와 \(e^x\cos{x}\) 의 부정적분을 간단히 구하는 법을 설명하겠습니다.
$$\begin{align}
\int{e^x\sin{x}}dx&=\frac{1}{2}\left(e^x\sin{x}-e^x\cos{x}\right)+C\\
\int{e^x\cos{x}}dx&=\frac{1}{2}\left(e^x\sin{x}+e^x\cos{x}\right)+C\end{align}$$ (more…)

사차 함수와 이중접선으로 둘러싸인 부분의 넓이의 고속적분 – 1/30 공식

4차 함수 \(y=ax^4+bx^3+cx^2+dx+e\) 의 그래프가 직선 \(y=mx+n\)의 그래프와 x좌표가 각각 α, β (단, β > α) 인 두 점에서 이중으로 접할 때 4차 함수의 그래프와 이중 접선으로 둘러싸인 부분의 넓이는 $$\begin{align}&\int_{\alpha}^{\beta}|ax^4+bx^3+cx^2+dx+e-(mx+n)|dx\\
&=\int_{\alpha}^{\beta}|a(x-\alpha)^2(x-\beta)^2|dx\\
&=\frac{|a|}{30}(\beta-\alpha)^5\end{align}$$

이 글에서는 이 식의 증명을 소개합니다. (more…)

베타함수와 고속적분

실수 부분이 0보다 큰 복소수 p, q에 대하여 베타함수는 다음과 같이 정의된 함수입니다. .

$$\mathrm B(p,q)=\int_0^{1}x^{p-1}(1-x)^{q-1}dx$$특히, 음이 아닌 정수 m, n 에 대하여 다음과 같은 적분식이 성립합니다.
[1] 제1종 오일러 함수 $$\int_{\alpha}^{\beta}(x-\alpha)^m(\beta-x)^ndx=\frac{m!n!}{(m+n+1)!}(\beta-\alpha)^{m+n+1}$$[2] \(\alpha=0\) 이고 \(\beta=1\) 일 때, $$\int_0^{1}x^m(1-x)^ndx=\frac{m!n!}{(m+n+1)!}$$

이 식은 여러 형태의 넓이를 고속적분하는데 사용합니다. 이 글에서는 이 식의 증명과 활용을 소개합니다. (more…)

베타함수와 고속적분

실수 부분이 0보다 큰 복소수 p, q에 대하여 베타함수는 다음과 같이 정의된 함수입니다. .

$$\mathrm B(p,q)=\int_0^{1}x^{p-1}(1-x)^{q-1}dx$$특히, 음이 아닌 정수 m, n 에 대하여 다음과 같은 적분식이 성립합니다.
[1] 제1종 오일러 함수 $$\int_{\alpha}^{\beta}(x-\alpha)^m(\beta-x)^ndx=\frac{m!n!}{(m+n+1)!}(\beta-\alpha)^{m+n+1}$$[2] \(\alpha=0\) 이고 \(\beta=1\) 일 때, $$\int_0^{1}x^m(1-x)^ndx=\frac{m!n!}{(m+n+1)!}$$

이 식은 여러 형태의 넓이를 고속적분하는데 사용합니다. 이 글에서는 이 식의 증명과 활용을 소개합니다. (more…)

삼차함수의 그래프와 접선으로 둘러싸인 넓이의 고속 적분 -1/12 공식

3차 함수 \(y=ax^3+bx^2+cx+d\) 의 그래프가 직선 \(y=mx+n\) 의 그래프와 x좌표가 α인 점에서 접하고,  x좌표가 β인 점에서 만날 때, 3차 함수의 그래프와 직선으로 둘러싸인 부분의 넓이는

$$\begin{equation}\begin{aligned}&\int_{\alpha}^{\beta}\left|ax^3+bx^2+cx+d-(mx+n)\right|dx\\
&=\int_{\alpha}^{\beta}\left|a(x-\alpha)^2(x-\beta)\right|dx\\
&=\frac{|a|}{12}(\beta-\alpha)^4\end{aligned}\end{equation}$$

이 글에서는 이 식의 간단한 증명을 소개합니다.

(more…)

역삼각함수 arcsin(x), arccos(x), arctan(x)의 미분

\(\sin x,\ \cos x,\ \tan x\) 의 역함수(역삼각함수)를 각각 $$\begin{align}\arcsin x&=\sin^{-1}x,\\
\arccos x&=\cos^{-1}x,\\
\arctan x&=\tan^{-1}x\end{align}$$라고 정의할 때,

$$\begin{align}
\frac{d}{dx}\sin^{-1}x&=\frac{1}{\sqrt{1-x^2}}\\
\frac{d}{dx}\cos^{-1}x&=-\frac{1}{\sqrt{1-x^2}}\\
\frac{d}{dx}\tan^{-1}x&=\frac{1}{1+x^2}
\end{align}$$

입니다. 이 글에서는 역삼각함수의 도함수를 구하는 방법과 그 원리를 설명합니다.

(more…)

역삼각함수 arcsin(x), arccos(x), arctan(x)의 적분

\(\sin x,\ \cos x,\ \tan x\) 의 역함수(역삼각함수)를 각각 $$\begin{align}\arcsin x&=\sin^{-1}x\\
\arccos x&=\cos^{-1}x,\\
\arctan x&=\tan^{-1}x\end{align}$$라고 정의할 때,

$$\begin{align}\int \sin^{-1}xdx&= x\sin^{-1}x+\sqrt{1-x^2}+C\\
\int \cos^{-1}xdx&=x\cos^{-1}x-\sqrt{1-x^2}+C\\
\int \tan^{-1}xdx&=x\tan^{-1}x-\frac{1}{2}\ln(x^2+1)+C
\end{align}$$

입니다. 이 글에서는 역함수 치환적분의 원리를 설명하고, 이를 이용해서 역삼각함수의 적분을 증명해 보겠습니다.

(more…)

삼차함수의 접선의 개수

좌표평면 위의 점 \((a,b)\)에서 삼차함수 \(f(x)\)의 그래프에 그을 수 있는 접선의 개수는 \(1\)개에서 \(3\)개로 점 \((a,b)\)의 위치에 따라 달라집니다.

이 글에서는 점 \((a,b)\)에서 그을 수 있는 접선의 개수가 점 \((a,b)\)에 따라 어떻게 달라지는지 그 이유는 무엇인지를 구체적으로 알아봅니다.

(more…)

주제별 글 목록

주제별로 글을 정리한 목록입니다. 아직 완전히 정리된 것은 아닙니다, 앞으로 글을 올리면서 목록이 길어지면 교과별로 나눌 예정입니다. 글 제목을 클릭하면 해당 글로 이동합니다.

(more…)

역함수의 함정 Ⅱ, 함수와 역함수의 교점

함수 \(f(x)\)와 \(f(x)\)의 역함수 \(g(x)\)의 그래프가 모두 \((a,b)\)를 지날 때, 다음 문장은 참일까요? 거짓일까요?

[진실?/거짓?] 함수 \(f(x)\)와 역함수 \(g(x)\)의 모든 교점 \((a,b)\)는 직선 \(y=x\)위에 있다.

이 글에서는 함수와 역함수의 교점에 대해 흔히 빠질 수 있는 논리 함정에 대해 이야기 하고, 함수와 역함수의 교점에 대한 중요한 몇가지 성질들에 대해 이야기 합니다. (more…)

베이즈 정리와 조건부 확률의 관계

베이즈 정리란 사후 확률 (posterior probability) 을 사전 확률 (prior probability) 를 이용하여 표현하는 방법으로 수학적으로 다음과 같이 표현합니다.

사건 B가 먼저 일어난 후 사건 A가 일어날 때, $$P(B|A)=\frac{P(A|B)\cdot P(B)}{P(A)}$$$$\begin{aligned}P(B|A)&\text{ : 사후 확률, 나중에 일어나는 사건 A를 전제로 하는 조건부 확률}\\
P(B)&\text{ : 사전 확률,  사건 A가 일어나기전 사건 B가 일어날 확률}\\
P(A|B)&\text{ : 사건 B가 일어난 후에 사건 A가 일어날 확률}\end{aligned}$$

이 글에서는 베이즈 정리를 직접 유도해보면서 사후 확률과 베이즈 정리의 의미와 목적에 대해 설명하고, 이 정리를 어떻게 활용할 수 있는지에 대해 이야기 해보겠습니다. (more…)