문제 은행 · 미적분 · 대학 미적분 · 벡터 미적분

그린 정리

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

CLP-4 · 4.3절 · 1번대학 수준우리말 번역

RR 을 정사각형

R={ (x,y) ∣ 0≤x≤1, 0≤y≤1 }\begin{aligned} R=\big\{ \ (x,y)\ \big|\ 0\le x\le 1,\ 0\le y\le 1\ \big\} \end{aligned}

이라 하고, f(x,y)f(x,y) 는 연속인 일계 편도함수를 가진다고 하자.

(a) 미적분의 기본정리를 이용하여 다음이 성립함을 보이세요.

∬R∂f∂y(x,y) dx dy=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y =\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned} (b) 그린 정리를 이용하여 다음이 성립함을 보이세요.

∬R∂f∂y(x,y) dx dy=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y =\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

영어 원문 보기

Let RR be the square

R={ (x,y) ∣ 0≤x≤1, 0≤y≤1 }\begin{aligned} R=\big\{ \ (x,y)\ \big|\ 0\le x\le 1,\ 0\le y\le 1\ \big\} \end{aligned}

and let f(x,y)f(x,y) have continuous first partial derivatives.

(a) Use the fundamental theorem of calculus to show that

∬R∂f∂y(x,y) dx dy=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y =\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned} (b) Use Green's theorem to show that

∬R∂f∂y(x,y) dx dy=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y =\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

정답·풀이 보기

(a) 좌변을 yy 를 안쪽 적분변수로 하는 반복적분으로 나타내면

∬R∂f∂y(x,y) dx dy=∫01dx[∫01dy ∂f∂y(x,y)]=∫01dx [f(x,1)−f(x,0)]미적분의 기본정리에 의해=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=\int_0^1\mathrm{d}x\left[\int_0^1\mathrm{d}y\ \frac{\partial f}{\partial y}(x,y)\right] \\ &=\int_0^1\mathrm{d}x\ \big[f(x,1)-f(x,0)\big] \\ &\text{미적분의 기본정리에 의해} \\ &=\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

(b) F1(x,y)=f(x,y)F_1(x,y)=f(x,y), F2(x,y)=0F_2(x,y)=0 이라 하자. 그러면 그린 정리에 의해

∬R∂f∂y(x,y) dx dy=−∬R[∂F2∂x(x,y)−∂F1∂y(x,y)] dx dy=−∫∂R[F1(x,y) dx+F2(x,y) dy]=−∫∂Rf(x,y) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=-\iint _R\Big[\frac{\partial F_2}{\partial x}(x,y) -\frac{\partial F_1}{\partial y}(x,y)\Big]\ \mathrm{d}x\,\mathrm{d}y \\ &=-\int_{\partial R}\big[F_1(x,y)\,\mathrm{d}x +F_2(x,y)\,\mathrm{d}y\big] \\ &=-\int_{\partial R}f(x,y)\,\mathrm{d}x \end{aligned}

반시계 방향으로 향을 정한 RR 의 경계는 네 선분의 합집합이다.

C1: (0,0) 에서 (1,0) 까지![그림](clp/clp4−domainSquare.png)C2: (1,0) 에서 (1,1) 까지C3: (1,1) 에서 (0,1) 까지C4: (0,1) 에서 (0,0) 까지\begin{aligned} \\[-0.1in] &\text{$C_1$: $(0,0)$ 에서 $(1,0)$ 까지} \qquad\smash{ ![그림](clp/clp4-domainSquare.png) }\\ &\text{$C_2$: $(1,0)$ 에서 $(1,1)$ 까지} \\ &\text{$C_3$: $(1,1)$ 에서 $(0,1)$ 까지} \\ &\text{$C_4$: $(0,1)$ 에서 $(0,0)$ 까지} \\[-0.1in] \end{aligned}

이제 C2C_2 와 C4C_4 위에서 xx 는 상수이므로

∫C2f(x,y) dx=∫C4f(x,y) dx=0\int_{C_2}f(x,y)\,\mathrm{d}x = \int_{C_4}f(x,y)\,\mathrm{d}x =0

따라서 −C3-C_3 을 (0,1)(0,1) 에서 (1,1)(1,1) 까지의 선분이라 하면

∬R∂f∂y(x,y) dx dy=−[∫C1f(x,y) dx+∫C3f(x,y) dx]=∫−C3f(x,y) dx−∫C1f(x,y) dx=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=-\left[\int_{C_1}f(x,y)\,\mathrm{d}x+\int_{C_3}f(x,y)\,\mathrm{d}x\right]\\ &=\int_{-C_3}f(x,y)\,\mathrm{d}x-\int_{C_1}f(x,y)\,\mathrm{d}x \\ &=\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

원본 교재 풀이(영어)

(a) Expressing the left hand side as an iterated integral, with yy as the inner integration variable, we have

∬R∂f∂y(x,y) dx dy=∫01dx[∫01dy ∂f∂y(x,y)]=∫01dx [f(x,1)−f(x,0)]by the fundamental theorem of calculus=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=\int_0^1\mathrm{d}x\left[\int_0^1\mathrm{d}y\ \frac{\partial f}{\partial y}(x,y)\right] \\ &=\int_0^1\mathrm{d}x\ \big[f(x,1)-f(x,0)\big] \\ &\text{by the fundamental theorem of calculus} \\ &=\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

(b) Define F1(x,y)=f(x,y)F_1(x,y)=f(x,y) and F2(x,y)=0F_2(x,y)=0. Then. by Green's theorem

∬R∂f∂y(x,y) dx dy=−∬R[∂F2∂x(x,y)−∂F1∂y(x,y)] dx dy=−∫∂R[F1(x,y) dx+F2(x,y) dy]=−∫∂Rf(x,y) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=-\iint _R\Big[\frac{\partial F_2}{\partial x}(x,y) -\frac{\partial F_1}{\partial y}(x,y)\Big]\ \mathrm{d}x\,\mathrm{d}y \\ &=-\int_{\partial R}\big[F_1(x,y)\,\mathrm{d}x +F_2(x,y)\,\mathrm{d}y\big] \\ &=-\int_{\partial R}f(x,y)\,\mathrm{d}x \end{aligned}

The boundary of RR, oriented counterclockwise, is the union of four line segments.

C1 from (0,0) to (1,0)![figure](clp/clp4−domainSquare.png)C2 from (1,0) to (1,1)C3 from (1,1) to (0,1)C4 from (0,1) to (0,0)\begin{aligned} \\[-0.1in] &\text{$C_1$ from $(0,0)$ to $(1,0)$} \qquad\smash{ ![figure](clp/clp4-domainSquare.png) }\\ &\text{$C_2$ from $(1,0)$ to $(1,1)$} \\ &\text{$C_3$ from $(1,1)$ to $(0,1)$} \\ &\text{$C_4$ from $(0,1)$ to $(0,0)$} \\[-0.1in] \end{aligned}

Now xx is constant on C2C_2 and C4C_4 so that

∫C2f(x,y) dx=∫C4f(x,y) dx=0\int_{C_2}f(x,y)\,\mathrm{d}x = \int_{C_4}f(x,y)\,\mathrm{d}x =0

So, using −C3-C_3 to denote the line segment from (0,1)(0,1) to (1,1)(1,1)

∬R∂f∂y(x,y) dx dy=−[∫C1f(x,y) dx+∫C3f(x,y) dx]=∫−C3f(x,y) dx−∫C1f(x,y) dx=∫01f(x,1) dx−∫01f(x,0) dx\begin{aligned} \iint _R\frac{\partial f}{\partial y}(x,y)\ \mathrm{d}x\,\mathrm{d}y &=-\left[\int_{C_1}f(x,y)\,\mathrm{d}x+\int_{C_3}f(x,y)\,\mathrm{d}x\right]\\ &=\int_{-C_3}f(x,y)\,\mathrm{d}x-\int_{C_1}f(x,y)\,\mathrm{d}x \\ &=\int_0^1 f(x,1)\ \mathrm{d}x - \int_0^1 f(x,0)\ \mathrm{d}x \end{aligned}

한 번 더 — 비슷한 문제OpenStax 3권 · 6.4절 · 14번우리말 번역

적분 ∫C(x2+y2)dx+2xydy{\int }_{C}({x}^{2}+{y}^{2})dx+2xydy 의 값을 구하세요. 여기서 C는 포물선 y=x2 을 (0,0) 에서 (2,4)y={x}^{2}\,\text{을}\,(0,0)\text{ 에서 }(2,4) 까지 따라가고, 그다음 (2, 4)에서 (2, 0)까지 직선을 따라가며, 마지막으로 (2, 0)에서 (0, 0)까지 직선을 따라가는 곡선입니다.

1사분면에 그려진 벡터장이다. 화살표는 원점에 가까울수록 훨씬 작다. 화살표는 원점에서 멀어지는 위쪽 방향을 향하며, 오른쪽으로 갈수록 기울기가 커진다. 곡선은 원점에서 (2,4)까지 포물선 y=x^2을 따라가고, (2,4)에서 (2,0)까지 직선을 따라가며, (2,0)에서 (0,0)까지 직선을 따라간다. y=x^2의 아래쪽이면서 포물선 아래에 있는 영역이 색칠되어 있다.

다 풀었으면 정답 확인

∫C(x2+y2)dx+2xydy=0{\int }_{C}({x}^{2}+{y}^{2})dx+2xydy=0

이 문제로 이어서 풀기
# 그린 정리증명·논술기본자동 분류
CLP-4 Vector Calculus CC BY-NC-SA 4.0우리말 번역: 빌드라인 스쿨 — AI 번역·자동 검토(원문과 같은 조건)

「그린 정리」 문제 목록으로