문제 은행 · 미적분 · 대학 미적분 · 적분 기법

이상적분

먼저 혼자 풀어 보고, 풀이로 확인한 다음, 아래 「한 번 더」 문제로 이어서 연습하세요.

CLP-2 · 1.12절 · 17번대학 수준우리말 번역

직선 y=1x12y = \dfrac{1}{x\vphantom{\frac{1}{2}}} 의 x=ax=a 부터 x=1x=1 까지의 부분을 yy축을 중심으로 회전시켜 부부젤라 모양의 키 큰 입체를 만든다. 여기서 aa 는 0과 1 사이의 어떤 상수이다.

그림

참 또는 거짓: 상수 MM 이 아무리 크더라도, 부피가 MM 보다 큰 입체를 만드는 aa 의 값이 존재한다.

영어 원문 보기

We craft a tall, vuvuzela-shaped solid by rotating the line y=1x12y = \dfrac{1}{x\vphantom{\frac{1}{2}}} from x=ax=a to x=1x=1 about the yy-axis, where aa is some constant between 0 and 1.

figure

True or false: No matter how large a constant MM is, there is some value of aa that makes a solid with volume larger than MM.

답 쓰고 채점
정답·풀이 보기

입체의 부피를 구하기 위해, 입체를 얇은 원판 모양의 가로 단면으로 자른다. 높이 yy 에서 원판의 반지름은 x=1yx=\frac{1}{y} 이고 두께는 dy\mathrm{d}y 이므로, 그 부피는 πy2dy\frac{\pi}{y^2}\mathrm{d}y 이다. 입체의 밑면은 높이 y=1y=1 에 있고, 꼭대기는 높이 y=1ay=\frac{1}{a} 에 있다. 따라서 입체 전체의 부피는 다음과 같다.

∫11/aπy2dy=[−πy]11/a=π(1−a)\begin{aligned} \int_1^{1/a} \frac{\pi}{y^2}\mathrm{d}y = \left[-\frac{\pi}{y}\right]_1^{1/a} = \pi (1-a) \end{aligned}

aa 를 0에 점점 더 가깝게 하면 부피는 커져서 π\pi 단위에 점점 가까워지지만, 결코 π\pi 에 이르지는 못한다.

따라서 주어진 명제는 거짓이다. 예를 들어 M=4M=4 로 두면, 어떤 aa 를 택하더라도 이 입체의 부피는 MM 보다 확실히 작다.

참고: 앞에서 ∫011x dx\int_0^1 \frac{1}{x}\,\mathrm{d}x 가 발산함을 보았다. a=0a=0 으로 택했을 때 만들어질 입체를 생각하면, 그 부피는 겨우 π\pi 세제곱 단위에 불과하지만, 그 실루엣(옆에서 본 모양)의 넓이는 무한하다.

원본 교재 풀이(영어)

To find the volume of the solid, we cut it into horizontal slices, which are thin circular disks. At height yy, the disk has radius x=1yx=\frac{1}{y} and thickness dy\mathrm{d}y, so its volume is πy2dy\frac{\pi}{y^2}\mathrm{d}y. The base of the solid is at height y=1y=1, and its top is at height y=1ay=\frac{1}{a}. So, the volume of the entire solid is:

∫11/aπy2dy=[−πy]11/a=π(1−a)\begin{aligned} \int_1^{1/a} \frac{\pi}{y^2}\mathrm{d}y = \left[-\frac{\pi}{y}\right]_1^{1/a} = \pi (1-a) \end{aligned}

If we imagine sliding aa closer and closer to 0, the volume increases, getting closer and closer to π\pi units, but never quite reaching it.

So, the statement is false. For example, if we set M=4M=4, no matter which aa we choose our solid has volume strictly less than MM.

Remark: we've seen before that ∫011x dx\int_0^1 \frac{1}{x}\,\mathrm{d}x diverges. If we imagine the solid that would result from choosing a=0a=0, it would have a scant volume of π\pi cubic units, but a silhouette (side view) of infinite area.

한 번 더 — 비슷한 문제Active Calculus · 6.5절 · 11번우리말 번역

다음 각 이상적분이 수렴하는지 발산하는지 근거와 함께 판단하세요.

(a) ∫e∞ln⁡(x)x dx\int_e^{\infty} \frac{\ln(x)}{x} \, dx (b) ∫e∞1xln⁡(x) dx\int_e^{\infty} \frac{1}{x\ln(x)} \, dx (c) ∫e∞1x(ln⁡(x))2 dx\int_e^{\infty} \frac{1}{x(\ln(x))^2} \, dx (d) ∫e∞1x(ln⁡(x))p dx\int_e^{\infty} \frac{1}{x(\ln(x))^p} \, dx, 단 pp 는 양의 실수이다. (e) ∫01ln⁡(x)x dx\int_0^1 \frac{\ln(x)}{x} \, dx (f) ∫01ln⁡(x) dx\int_0^1 \ln(x) \, dx

다 풀었으면 정답 확인

(a) 이상적분을 극한으로 나타내고, 치환 u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \ dx 를 이용하여 정적분을 계산한 다음 극한을 취한다. ∫e∞ln⁡(x)x dx=lim⁡b→∞∫ebln⁡(x)x dx=lim⁡b→∞∫1ln⁡(b)u du=lim⁡b→∞(u22)∣1ln⁡(b)=lim⁡b→∞((ln⁡(b))22−12)=∞ .\begin{aligned}\int_e^{\infty} \frac{\ln(x)}{x} \, dx &= \lim_{b \to \infty} \int_e^{b} \frac{\ln(x)}{x} \, dx \\ &= \lim_{b \to \infty} \int_1^{\ln(b)} u \, du \\ &= \lim_{b \to \infty} \left( \frac{u^2}{2} \right)\biggm|_1^{\ln(b)} \\ &= \lim_{b \to \infty} \left( \frac{(\ln(b))^2}{2} - \frac{1}{2} \right) \\ &= \infty\end{aligned}\,. 따라서 이상적분 ∫e∞ln⁡(x)x dx\int_e^{\infty} \frac{\ln(x)}{x} \, dx 는 발산한다. (b) 이상적분을 극한으로 나타내고, 치환 u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \ dx 를 이용하여 정적분을 다시 계산한 다음 극한을 취한다. ∫e∞1xln⁡(x) dx=lim⁡b→∞∫eb1xln⁡(x) dx=lim⁡b→∞∫1ln⁡(b)1u du=lim⁡b→∞(ln⁡(∣u∣))∣1ln⁡(b)=lim⁡b→∞(ln⁡(∣ln⁡(b)∣)−ln⁡(1))=∞ .\begin{aligned}\int_e^{\infty} \frac{1}{x\ln(x)} \, dx &= \lim_{b \to \infty} \int_e^{b} \frac{1}{x\ln(x)} \, dx \\ &= \lim_{b \to \infty} \int_1^{\ln(b)} \frac{1}{u} \, du \\ &= \lim_{b \to \infty} \left( \ln(|u|) \right)\biggm|_1^{\ln(b)} \\ &= \lim_{b \to \infty} \left( \ln(|\ln(b)|) - \ln(1) \right) \\ &= \infty\end{aligned}\,. 따라서 이상적분 ∫e∞1xln⁡(x) dx\int_e^{\infty} \frac{1}{x\ln(x)} \, dx 는 발산한다. (c) 이번에도 이상적분을 극한으로 나타내고, 치환 u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \ dx 를 이용하여 정적분을 계산한 다음 극한을 취한다. ∫e∞1x(ln⁡(x))2 dx=lim⁡b→∞∫eb1x(ln⁡(x))2 dx=lim⁡b→∞∫1ln⁡(b)1u2 du=lim⁡b→∞(−u−1)∣1ln⁡(b)=lim⁡b→∞(−1ln⁡(b)−(−1))=1 .\begin{aligned}\int_e^{\infty} \frac{1}{x(\ln(x))^2} \, dx &= \lim_{b \to \infty} \int_e^{b} \frac{1}{x(\ln(x))^2} \, dx \\ &= \lim_{b \to \infty} \int_1^{\ln(b)} \frac{1}{u^2} \, du \\ &= \lim_{b \to \infty} \left( -u^{-1} \right)\biggm|_1^{\ln(b)} \\ &= \lim_{b \to \infty} \left( -\frac{1}{\ln(b)} - (-1) \right) \\ &= 1\end{aligned}\,. 따라서 이상적분 ∫e∞1x(ln⁡(x))2 dx\int_e^{\infty} \frac{1}{x(\ln(x))^2} \, dx 는 11 로 수렴한다. (d) 이번에도 이상적분을 극한으로 나타내고, 치환 u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \ dx 를 이용하여 정적분을 다시 나타낸다. p=1p=1 이면 (b)에 의해 이 적분은 발산한다. p≠1p \neq 1 이면 다음과 같다. ∫e∞1x(ln⁡(x))p dx=lim⁡b→∞∫eb1x(ln⁡(x))p dx=lim⁡b→∞∫1ln⁡(b)1up du=lim⁡b→∞∫1ln⁡(b)u−p du=lim⁡b→∞(u−p+1−p+1)∣1ln⁡(b)=11−plim⁡b→∞((ln⁡(b))1−p−1)=1 .\begin{aligned}\int_e^{\infty} \frac{1}{x(\ln(x))^p} \, dx &= \lim_{b \to \infty} \int_e^{b} \frac{1}{x(\ln(x))^p} \, dx \\ &= \lim_{b \to \infty} \int_1^{\ln(b)} \frac{1}{u^p} \, du \\ &= \lim_{b \to \infty} \int_1^{\ln(b)} u^{-p} \, du \\ &= \lim_{b \to \infty} \left( \frac{u^{-p+1}}{-p+1} \right)\biggm|_1^{\ln(b)} \\ &= \frac{1}{1-p} \lim_{b \to \infty} \left( (\ln(b))^{1-p} - 1 \right) \\ &= 1\end{aligned}\,. p<1p < 1 이면 1−p>01-p > 0 이고 11−plim⁡b→∞((ln⁡(b))1−p−1)=(11−p)∞=∞ .\frac{1}{1-p} \lim_{b \to \infty} \left( (\ln(b))^{1-p} - 1 \right) = \left(\frac{1}{1-p}\right)\infty = \infty\,. 이 경우 이상적분 ∫e∞1x(ln⁡(x))p dx\int_e^{\infty} \frac{1}{x(\ln(x))^p} \, dx 는 발산한다. p>1p > 1 이면 1−p<01-p < 0 이고 11−plim⁡b→∞((ln⁡(b))1−p−1)=11−plim⁡b→∞(1(ln⁡(b))p−1−1)=(11−p)(0−1)=1p−1\frac{1}{1-p}\lim_{b \to \infty} \left( (\ln(b))^{1-p} - 1 \right) = \frac{1}{1-p}\lim_{b \to \infty} \left( \frac{1}{(\ln(b))^{p-1}} - 1 \right) = \left(\frac{1}{1-p}\right)(0-1) = \frac{1}{p-1} 이 경우 이상적분 ∫e∞1x(ln⁡(x))p dx\int_e^{\infty} \frac{1}{x(\ln(x))^p} \, dx 는 1p−1\frac{1}{p-1} 로 수렴한다. 따라서 이상적분 ∫e∞1x(ln⁡(x))p dx\int_e^{\infty} \frac{1}{x(\ln(x))^p} \, dx 는 p≤1p \leq 1 이면 발산하고, p>1p > 1 이면 1p−1\frac{1}{p-1} 로 수렴한다. (e) 이 적분은 피적분함수가 x=0x = 0 에서 정의되지 않으므로 이상적분이다. 따라서 이상적분을 극한으로 나타내고, 치환 u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \ dx 를 이용하여 정적분을 계산한 다음 극한을 취한다. ∫01ln⁡(x)x dx=lim⁡a→0+∫a1ln⁡(x)x dx=lim⁡a→0+∫ln⁡(a)0u du=lim⁡a→0+(u22)∣ln⁡(a)0=lim⁡a→0+(−(ln⁡(a))22)=−∞ .\begin{aligned}\int_0^1 \frac{\ln(x)}{x} \, dx &= \lim_{a \to 0^+} \int_a^1 \frac{\ln(x)}{x} \, dx \\ &= \lim_{a \to 0^+} \int_{\ln(a)}^{0} u \, du \\ &= \lim_{a \to 0^+} \left( \frac{u^2}{2} \right)\biggm|_{\ln(a)}^{0} \\ &= \lim_{a \to 0^+} \left( -\frac{(\ln(a))^2}{2} \right) \\ &= -\infty\end{aligned}\,. 따라서 이상적분 ∫01ln⁡(x)x dx\int_0^1 \frac{\ln(x)}{x} \, dx 는 발산한다. (f) 이 적분은 피적분함수가 x=0x=0 에서 정의되지 않으므로 이상적분이다. 따라서 이상적분을 극한으로 나타낸 다음, u=ln⁡(x)u = \ln(x), du=1x dxdu = \frac{1}{x} \, dx, dv=dxdv = dx, v=xv = x 로 두고 부분적분을 이용하여 정적분을 계산한 후 극한을 취한다. ∫01ln⁡(x) dx=lim⁡a→0+∫a1ln⁡(x) dx=lim⁡a→0+(xln⁡(x)∣a1−∫a1 dx)=lim⁡a→0+(−aln⁡(a)−x∣ln⁡(a)0)=lim⁡a→0+(−aln⁡(a)−(1−a))=lim⁡a→0+(−aln⁡(a))−1 .\begin{aligned}\int_0^1 \ln(x) \, dx &= \lim_{a \to 0^+} \int_a^1 \ln(x) \, dx \\ &= \lim_{a \to 0^+} \left( x\ln(x)\biggm|_a^1 - \int_{a}^{1} \ dx \right) \\ &= \lim_{a \to 0^+} \left( -a\ln(a) - x\biggm|_{\ln(a)}^{0} \right) \\ &= \lim_{a \to 0^+} \left( -a\ln(a) - (1-a) \right) \\ &= \lim_{a \to 0^+} \left( -a\ln(a) \right) - 1\end{aligned}\,. 극한 lim⁡a→0+(−aln⁡(a))\lim_{a \to 0^+} \left( -a\ln(a) \right) 은 0×∞0 \times \infty 꼴로 부정형이므로, 로피탈의 정리를 적용할 수 있는 꼴로 고쳐 써야 한다. 이제 lim⁡a→0+(−aln⁡(a))=lim⁡a→0+(−ln⁡(a)1a) ,\lim_{a \to 0^+} \left( -a\ln(a) \right) = \lim_{a \to 0^+} \left( \frac{-\ln(a)}{\frac{1}{a}} \right)\,, 이고, 이 뒤의 극한은 ∞∞\frac{\infty}{\infty} 꼴이다. 로피탈의 정리를 적용하면 lim⁡a→0+(−ln⁡(a)1a)=lim⁡a→0+(−1a−1a2)=lim⁡a→0+a=0\begin{aligned}\lim_{a \to 0^+} \left( \frac{-\ln(a)}{\frac{1}{a}} \right) &= \lim_{a \to 0^+} \left( \frac{-\frac{1}{a}}{-\frac{1}{a^2}} \right) \\ &= \lim_{a \to 0^+} a \\ &= 0\end{aligned} 앞에서 얻은 등식 ∫01ln⁡(x) dx=lim⁡a→0+(−aln⁡(a))−1 ,\int_0^1 \ln(x) \, dx = \lim_{a \to 0^+} \left( -a\ln(a) \right) - 1\,, 으로 돌아가면, 방금 구한 극한에 의해 이상적분 ∫01ln⁡(x) dx\int_0^1 \ln(x) \, dx 는 −1-1 로 수렴한다.

이 문제로 이어서 풀기
# 이상적분개념 확인도전자동 분류
CLP-2 Integral Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)

「이상적분」 문제 목록으로