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

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

\(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…)

적분 , , , Leave a Comment

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

이 글에서는 삼각함수×지수함수의 테이블 적분법에 대해 설명합니다. 예를 들어, $$\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…)

적분 , , , , 12 Comments

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

도표적분법 또는 표적분법이라고도 알려져 있는 테이블 적분법(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…)

적분 , , , 11 Comments

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

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

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

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

논리, 부등식 , , , 6 Comments

소소하지만 확실한 테크닉 – 양변적분과 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…)

적분 7 Comments

사차 함수와 이중접선으로 둘러싸인 부분의 넓이의 고속적분 – 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…)

적분 , , , 2 Comments

베타함수와 고속적분

실수 부분이 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…)

적분 , 4 Comments

그래프의 확대 및 축소 변환

\(y=f(x)\)의 그래프를 \(y\)축 방향으로 \(p\)배 \((p>0)\) 확대 변환한 그래프의 방정식은 $$y=pf(x)$$

\(y=f(x)\)의 그래프를 \(x\)축 방향으로 \(\dfrac{1}{q}\)배 \((q>0)\) 확대 변환한 그래프의 방정식은 $$y=f(qx)$$

그래프의 확대 변환은 교과서에서 그 이름을 찾을 수 없는 개념이지만 많은 문제에서 사용하고 있는 개념입니다. 이 글에서는 그래프의 확대 변환의 개념과 확대 변환이 사용되는 예를 설명합니다.

(more…)

함수 , 5 Comments

소소하지만 확실한 테크닉 – 삼각함수 근사를 이용한 극한의 계산

  \(\frac{0}{0}\) 형태를 가진 삼각함수의 극한은 다음과 같은 근사를 사용하여 간단하면서도 빠르게 그 값을 계산할 수 있습니다.

\(x\rightarrow 0\) 일 때, $$\begin{aligned}\sin{x}&\approx x\\\tan{x}&\approx x\\1-\cos{x}&\approx \frac{x^2}{2}\end{aligned}$$

이 글에서는 삼각함수의 근사를 이용해 삼각함수의 극한을 계산하는 법과 주의할 점에 대해서 알아보겠습니다.

(more…)

극한, 삼각함수 , , , , 10 Comments

사차함수의 이중접선과 변곡점의 관계

이중접선을 갖는 사차함수의 그래프는 어떤 특징을 갖고 있을까요? 놀랍게도 변곡점을 갖는 모든 사차함수는 이중접선을 갖고 있습니다. 반대로 이중접선을 갖는 사차함수는 변곡점을 갖고 있습니다. 즉, 사차함수 \(f(x)=ax^4+bx^3+cx^2+dx+e\) \((a\ne 0)\)의 그래프가 이중접선을 가질 조건은 함수 \(f(x)\)의 그래프가 변곡점을 가질 조건과 같습니다. 즉, 

$$\begin{align}&\text{변곡점을 갖는 사차함수}\\
&\Leftrightarrow\text{이중접선을 갖는 사차함수}\end{align}$$

이고, \(f(x)\)의 그래프가 이중접선을 갖기 위한 조건은

$$3b^2-8ac>0$$

입니다. 그리고 이 때, 이중접선의 방정식은

$$y=\left(\frac{b(b^2-4ac)}{8a^2}+d\right)x-\frac{(b^2-4ac)^2}{64a^3}+e$$

입니다. 이 글에서는 이 조건을 증명하고, 이중접선의 방정식을 유도합니다.

(more…)

함수 , , , 21 Comments

삼차함수의 접선의 개수

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

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

(more…)

함수 , , , 5 Comments

삼차함수의 그래프와 접선으로 둘러싸인 넓이의 고속 적분 -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…)

적분 , , , 11 Comments

가중 무게 중심 위치와 넓이비 (비법공식)

$$a\overrightarrow{PA}+b\overrightarrow{PB}+c\overrightarrow{PC}=\overrightarrow{0}$$ 가 성립할 때 점 \(P\)를 \(\triangle{ABC}\)의 가중 무게 중심이라고 합니다.  또한  $$\triangle PBC:\triangle PCA:\triangle PAB=a:b:c$$가 됩니다. 이 글에서는 선분과 삼각형의 가중 무게 중심의 위치를 찾는 법과 가중 무게 중심의 위치 벡터, 삼각형의 넓이비에 대해서 알아보겠습니다.

(more…)

벡터 , , 6 Comments

조립제법의 원리 – 나눗셈의 귀납적 관계

조립제법이란 다항식을 일차식으로 나눈 몫과 나머지를 곱셈과 덧셈만을 반복하여  빠르게 구하는 방법입니다. 다항식을 일차식으로 나누면 특별한 귀납적 관계를 발견할 수 있습니다. 이 귀납적 관계를 핵심원리로 삼아 만들어진 방법이 바로 조립제법입니다. 이 글에서는 일차식의 나눗셈이 가지고 있는 귀납적 관계를 살펴보고 조립제법이 어떻게 이 원리를 사용하고 있는지 알아보겠습니다.

(more…)

식의계산 , 18 Comments