문제 은행 · 미적분 · 대학 미적분 · 다변수 미분

다변수함수의 극한과 연속

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

CLP-3 · 2.1절 · 7번대학 수준우리말 번역

(a) 극한을 구하세요: lim⁡(x,y)→(0,0)x8+y8x4+y4\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}. (b) 다음 극한이 존재하지 않음을 증명하세요: lim⁡(x,y)→(0,0)xy5x8+y10\displaystyle \lim_{(x,y)\to(0,0)}\frac{xy^5}{x^8+y^{10}}.

영어 원문 보기

(a) Find the limit: lim⁡(x,y)→(0,0)x8+y8x4+y4\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}. (b) Prove that the following limit does not exist: lim⁡(x,y)→(0,0)xy5x8+y10\displaystyle \lim_{(x,y)\to(0,0)}\frac{xy^5}{x^8+y^{10}}.

정답·풀이 보기

(a) 극좌표에서 x=rcos⁡θx=r\cos\theta, y=rsin⁡θy=r\sin\theta 이므로

x8+y8x4+y4=r8cos⁡8θ+r8sin⁡8θr4cos⁡4θ+r4sin⁡4θ=r4cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ\begin{aligned} \frac{x^8+y^8}{x^4+y^4} &=\frac{r^8\cos^8\theta+r^8\sin^8\theta}{r^4\cos^4\theta+r^4\sin^4\theta} =r^4\frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} \end{aligned}

이때

cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ≤cos⁡8θ+2cos⁡4θsin⁡4θ+sin⁡8θcos⁡4θ+sin⁡4θ=(cos⁡4θ+sin⁡4θ)2cos⁡4θ+sin⁡4θ=cos⁡4θ+sin⁡4θ≤2\begin{aligned} \frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} &\le \frac{\cos^8\theta+2\cos^4\theta\sin^4\theta+\sin^8\theta} {\cos^4\theta+\sin^4\theta} =\frac{\big(\cos^4\theta+\sin^4\theta\big)^2}{\cos^4\theta+\sin^4\theta} \\ &=\cos^4\theta+\sin^4\theta \le 2 \end{aligned}

이므로

0≤x8+y8x4+y4≤2r40\le \frac{x^8+y^8}{x^4+y^4}\le 2r^4

이다. lim⁡(x,y)→(0,0)2r4=0\displaystyle \lim_{(x,y)\to (0,0)}2r^4=0 이므로 조임 정리에 의해 lim⁡(x,y)→(0,0)x8+y8x4+y4=0\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}=0 이다.

(b) 극좌표에서

xy5x8+y10=r6cos⁡θ sin⁡5θr8cos⁡8θ+r10sin⁡10θ=1r2cos⁡θ sin⁡5θcos⁡8θ+r2sin⁡10θ\begin{aligned} \frac{xy^5}{x^8+y^{10}} &=\frac{r^6\cos\theta\,\sin^5\theta}{r^8\cos^8\theta+r^{10}\sin^{10}\theta} =\frac{1}{r^2}\frac{\cos\theta\,\sin^5\theta}{\cos^8\theta+r^2\sin^{10}\theta} \end{aligned}

이다. (x,y)→(0,0)(x,y)\to (0,0) 일 때 첫째 분수 1r2→∞\frac{1}{r^2}\to\infty 이지만, 둘째 인수는 여러 가지 다른 값을 가질 수 있다. 예를 들어 (x,y)(x,y) 를 yy축을 따라, 즉 θ=±π2\theta=\pm\frac{\pi}{2} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)x=0xy5x8+y10=lim⁡y→00y10=0\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{x=0}}\frac{xy^5}{x^8+y^{10}} =\lim_{y\to 0} \frac{0}{y^{10}}=0 \end{aligned}

이다. 그러나 (x,y)(x,y) 를 직선 y=xy=x 를 따라, 즉 θ=π4,5π4\theta=\frac{\pi}{4},\frac{5\pi}{4} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)y=xxy5x8+y10=lim⁡x→0x6x8+x10=lim⁡x→01x211+x2=+∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{x^6}{x^8+x^{10}} =\lim_{x\to 0} \frac{1}{x^2}\frac{1}{1+x^2} =+\infty \end{aligned}

이고, (x,y)(x,y) 를 직선 y=−xy=-x 를 따라, 즉 θ=−π4,3π4\theta=-\frac{\pi}{4},\frac{3\pi}{4} 로 원점에 가까이 보내면

lim⁡(x,y)→(0,0)y=−xxy5x8+y10=lim⁡x→0−x6x8+x10=lim⁡x→0−1x211+x2=−∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=-x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{-x^6}{x^8+x^{10}} =\lim_{x\to 0}- \frac{1}{x^2}\frac{1}{1+x^2} =-\infty \end{aligned}

이다. 따라서 (x,y)→(0,0)(x,y)\to(0,0) 일 때 xy5x8+y10\frac{xy^5}{x^8+y^{10}} 은 하나의 값에 가까워지지 않으므로 극한은 존재하지 않는다.

원본 교재 풀이(영어)

(a) In polar coordinates, x=rcos⁡θx=r\cos\theta, y=rsin⁡θy=r\sin\theta, so that

x8+y8x4+y4=r8cos⁡8θ+r8sin⁡8θr4cos⁡4θ+r4sin⁡4θ=r4cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ\begin{aligned} \frac{x^8+y^8}{x^4+y^4} &=\frac{r^8\cos^8\theta+r^8\sin^8\theta}{r^4\cos^4\theta+r^4\sin^4\theta} =r^4\frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} \end{aligned}

As

cos⁡8θ+sin⁡8θcos⁡4θ+sin⁡4θ≤cos⁡8θ+2cos⁡4θsin⁡4θ+sin⁡8θcos⁡4θ+sin⁡4θ=(cos⁡4θ+sin⁡4θ)2cos⁡4θ+sin⁡4θ=cos⁡4θ+sin⁡4θ≤2\begin{aligned} \frac{\cos^8\theta+\sin^8\theta}{\cos^4\theta+\sin^4\theta} &\le \frac{\cos^8\theta+2\cos^4\theta\sin^4\theta+\sin^8\theta} {\cos^4\theta+\sin^4\theta} =\frac{\big(\cos^4\theta+\sin^4\theta\big)^2}{\cos^4\theta+\sin^4\theta} \\ &=\cos^4\theta+\sin^4\theta \le 2 \end{aligned}

we have

0≤x8+y8x4+y4≤2r40\le \frac{x^8+y^8}{x^4+y^4}\le 2r^4

As lim⁡(x,y)→(0,0)2r4=0\displaystyle \lim_{(x,y)\to (0,0)}2r^4=0, the squeeze theorem yields lim⁡(x,y)→(0,0)x8+y8x4+y4=0\displaystyle \lim_{(x,y)\to(0,0)}\frac{x^8+y^8}{x^4+y^4}=0.

(b) In polar coordinates

xy5x8+y10=r6cos⁡θ sin⁡5θr8cos⁡8θ+r10sin⁡10θ=1r2cos⁡θ sin⁡5θcos⁡8θ+r2sin⁡10θ\begin{aligned} \frac{xy^5}{x^8+y^{10}} &=\frac{r^6\cos\theta\,\sin^5\theta}{r^8\cos^8\theta+r^{10}\sin^{10}\theta} =\frac{1}{r^2}\frac{\cos\theta\,\sin^5\theta}{\cos^8\theta+r^2\sin^{10}\theta} \end{aligned}

As (x,y)→(0,0)(x,y)\to (0,0) the first fraction 1r2→∞\frac{1}{r^2}\to\infty but the second factor can take many different values. For example, if we send (x,y)(x,y) towards the origin along the yy–axis, i.e. with θ=±π2\theta=\pm\frac{\pi}{2},

lim⁡(x,y)→(0,0)x=0xy5x8+y10=lim⁡y→00y10=0\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{x=0}}\frac{xy^5}{x^8+y^{10}} =\lim_{y\to 0} \frac{0}{y^{10}}=0 \end{aligned}

but if we send (x,y)(x,y) towards the origin along the line y=xy=x, i.e. with θ=π4,5π4\theta=\frac{\pi}{4},\frac{5\pi}{4},

lim⁡(x,y)→(0,0)y=xxy5x8+y10=lim⁡x→0x6x8+x10=lim⁡x→01x211+x2=+∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{x^6}{x^8+x^{10}} =\lim_{x\to 0} \frac{1}{x^2}\frac{1}{1+x^2} =+\infty \end{aligned}

and if we send (x,y)(x,y) towards the origin along the line y=−xy=-x, i.e. with θ=−π4,3π4\theta=-\frac{\pi}{4},\frac{3\pi}{4},

lim⁡(x,y)→(0,0)y=−xxy5x8+y10=lim⁡x→0−x6x8+x10=lim⁡x→0−1x211+x2=−∞\begin{aligned} \lim_{\genfrac{}{}{0pt}{}{(x,y)\to(0,0)}{y=-x} }\frac{xy^5}{x^8+y^{10}} =\lim_{x\to 0} \frac{-x^6}{x^8+x^{10}} =\lim_{x\to 0}- \frac{1}{x^2}\frac{1}{1+x^2} =-\infty \end{aligned}

So xy5x8+y10\frac{xy^5}{x^8+y^{10}} does not approach a single value as (x,y)→(0,0)(x,y)\to(0,0) and the limit does not exist.

한 번 더 — 비슷한 문제CLP-3 · 2.1절 · 6번우리말 번역

가능하다면 다음 극한값을 구하세요.

(a) lim⁡(x,y)→(2,−1) (xy+x2)\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big) (b) lim⁡(x,y)→(0,0) xx2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} (c) lim⁡(x,y)→(0,0) x2x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} (d) lim⁡(x,y)→(0,0) x3x2+y2\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} (e) lim⁡(x,y)→(0,0) x2y2x2+y4\displaystyle \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} (f) lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy\displaystyle \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy}

다 풀었으면 정답 확인

(a) lim⁡(x,y)→(2,−1) (xy+x2)=2(−1)+22=2\displaystyle \lim_{(x,y)\rightarrow(2,-1)}\ \big(xy+x^2\big)=2(-1)+2^2=2

(b) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) xx2+y2=lim⁡r→0+0≤θ<2π rcos⁡θr2=lim⁡r→0+0≤θ<2π cos⁡θr\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r\cos\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{\cos\theta}{r} \end{aligned}

이 극한은 존재하지 않는다. 예를 들어,

  • θ=0\theta=0 이면,

lim⁡r→0+θ=0 cos⁡θr=lim⁡r→0+ 1r=+∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{1}{r} =+\infty

  • 반면 θ=π\theta=\pi 이면,

lim⁡r→0+θ=π cos⁡θr=lim⁡r→0+ −1r=−∞\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi}}\ \frac{\cos\theta}{r} =\lim_{r\rightarrow0^+}\ \frac{-1}{r} =-\infty

이기 때문이다.

(c) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x2x2+y2=lim⁡r→0+0≤θ<2π r2cos⁡2θr2=lim⁡r→0+0≤θ<2π cos⁡2θ\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \cos^2\theta \end{aligned}

이 극한은 존재하지 않는다. 예를 들어,

  • θ=0\theta=0 이면,

lim⁡r→0+θ=0 cos⁡2θ=lim⁡r→0+ 1=1\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=0}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 1 = 1

  • 반면 θ=π2\theta=\frac{\pi}{2} 이면,

lim⁡r→0+θ=π/2 cos⁡2θ=lim⁡r→0+ 0=0\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{\theta=\pi/2}}\ \cos^2\theta =\lim_{r\rightarrow0^+}\ 0 =0

이기 때문이다.

(d) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x3x2+y2=lim⁡r→0+0≤θ<2π r3cos⁡3θr2=lim⁡r→0+0≤θ<2π rcos⁡3θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^3}{x^2+y^2} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^3\cos^3\theta}{r^2} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r\cos^3\theta =0 \end{aligned}

모든 θ\theta 에 대해 ∣cos⁡θ∣≤1|\cos\theta|\le 1 이기 때문이다.

(e) 극좌표로 바꾸면,

lim⁡(x,y)→(0,0) x2y2x2+y4=lim⁡r→0+0≤θ<2π r2cos⁡2θ r2sin⁡2θr2cos⁡2θ+r4sin⁡4θ=lim⁡r→0+0≤θ<2π r2sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ=0\begin{aligned} \lim_{(x,y)\rightarrow(0,0)}\ \frac{x^2y^2}{x^2+y^4} &=\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ \frac{r^2\cos^2\theta\ r^2\sin^2\theta} {r^2\cos^2\theta+r^4\sin^4\theta} =\lim_{\genfrac{}{}{0pt}{}{r\rightarrow0^+}{0\le\theta<2\pi}}\ r^2\sin^2\theta \frac{\cos^2\theta}{\cos^2\theta+r^2\sin^4\theta} \\ &= 0 \end{aligned}

여기서 모든 r>0r>0 에 대해 다음이 성립함을 이용하였다.

∣sin⁡2θcos⁡2θcos⁡2θ+r2sin⁡4θ∣≤cos⁡2θcos⁡2θ+r2sin⁡4θ≤{cos⁡2θcos⁡2θ(cos⁡θ≠0 일 때)0(cos⁡θ=0 일 때)}≤1\left|\sin^2\theta\frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta}\right| \le \frac{\cos^2\theta} {\cos^2\theta+r^2\sin^4\theta} \le \left.\begin{cases} \frac{\cos^2\theta} {\cos^2\theta}&\text{(}\cos\theta\ne 0\text{ 일 때)}\\ 0 &\text{(}\cos\theta =0\text{ 일 때)}\end{cases} \right\} \le 1

(f) 먼저 다음을 관찰하자.

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] \end{aligned}

[lim⁡x→0 sin⁡xx]\displaystyle \left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] 은 로피탈 법칙 또는 미분계수의 정의를 이용하여 구할 수 있으며, 다음과 같다.

lim⁡x→0 sin⁡xx=lim⁡x→0 sin⁡x−sin⁡0x−0=ddxsin⁡x∣x=0=cos⁡x∣x=0=1\lim_{x\rightarrow 0}\ \frac{\sin x}{x} =\lim_{x\rightarrow 0}\ \frac{\sin x-\sin 0}{x-0} =\frac{\mathrm{d}}{\mathrm{d}x}\sin x\bigg|_{x=0} =\cos x\Big|_{x=0}=1

마찬가지로 [lim⁡y→0 ey−1y]\displaystyle \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] 도 로피탈 법칙 또는 미분계수의 정의를 이용하여 구할 수 있으며, 다음과 같다.

lim⁡y→0 ey−1y=lim⁡y→0 ey−e0y−0=ddyey∣y=0=ey∣y=0=1\lim_{y\rightarrow 0}\ \frac{e^y-1}{y} =\lim_{y\rightarrow 0}\ \frac{e^y-e^0}{y-0} =\frac{\mathrm{d}}{\mathrm{d}y}e^y\bigg|_{y=0} =e^y\Big|_{y=0}=1

따라서 모두 합하면

lim⁡(x,y)→(0,0) (sin⁡x)(ey−1)xy=[lim⁡x→0 sin⁡xx][lim⁡y→0 ey−1y]=[1] [1]=1\begin{aligned} \lim_{(x,y)\rightarrow (0,0)}\ \frac{(\sin x)\left(e^y-1\right)}{xy} =\left[\lim_{x\rightarrow 0}\ \frac{\sin x}{x}\right] \left[\lim_{y\rightarrow 0}\ \frac{e^y-1}{y}\right] =[1]\ [1]=1 \end{aligned}

이다.

이 문제로 이어서 풀기
# 다변수함수의 극한과 연속증명·논술보통자동 분류

「다변수함수의 극한과 연속」 문제 목록으로