{"id":9495,"date":"2025-10-20T18:59:43","date_gmt":"2025-10-20T09:59:43","guid":{"rendered":"https:\/\/sasamath.com\/blog\/?page_id=9495"},"modified":"2026-09-27T16:14:33","modified_gmt":"2026-09-27T07:14:33","slug":"ch09-differentiation-of-functions-of-several-variables","status":"publish","type":"page","link":"https:\/\/sasamath.com\/blog\/invitation-to-mathematical-analysis\/ch09-differentiation-of-functions-of-several-variables\/","title":{"rendered":"\ub2e4\ubcc0\uc218 \ud568\uc218\uc758 \ubbf8\ubd84"},"content":{"rendered":"<div class=\"analysis2025\"><!-- ################## --><\/p>\n<p><!-- \n\n<h2>\ub2e4\ubcc0\uc218 \ud568\uc218\uc758 \ubbf8\ubd84<\/h2>\n\n --><\/p>\n<p>\uc774 \uc7a5\uc5d0\uc11c\ub294 \uc720\ud074\ub9ac\ub4dc \uacf5\uac04 \\(\\mathbb{R}^n\\)\uc5d0\uc11c \\(\\mathbb{R}^m\\)\uc73c\ub85c\uc758 \ud568\uc218\uc758 \ubbf8\ubd84\uc744 \ub2e4\ub8ec\ub2e4. \ud3b8\ubbf8\ubd84\uacfc \uc804\ubbf8\ubd84\uc758 \uac1c\ub150\uc744 \uc815\uc758\ud558\uace0, \uc5f0\uc1c4\ubc95\uce59, \ud3c9\uade0\uac12 \uc815\ub9ac, \uc74c\ud568\uc218 \uc815\ub9ac \ub4f1 \uc911\uc694\ud55c \uacb0\uacfc\ub4e4\uc744 \uc0b4\ud3b4\ubcf8\ub2e4.<\/p>\n<h3>\ud3b8\ubbf8\ubd84\uacfc \uc804\ubbf8\ubd84<\/h3>\n<p>\uc810 \\(a=(a_1,\\ldots,a_n)\\)\uc774 \ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc758 \uc815\uc758\uc5ed\uc758 \ub0b4\uc810\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c \uc810 \\(a\\)\uc5d0\uc11c \ud568\uc218 \\(f\\)\uc758 \\(x_i\\)\uc5d0 \ub300\ud55c <span class=\"defined\">\ud3b8\ubbf8\ubd84<\/span>(partial derivative)\uc744<br \/>\n\\[<br \/>\n\\frac{\\partial f}{\\partial x_i}(a)<br \/>\n=<br \/>\n\\lim_{h\\to0}<br \/>\n\\frac{f(a_1,\\ldots,a_i+h,\\ldots,a_n)-f(a)}{h}<br \/>\n\\]<br \/>\n\ub85c \uc815\uc758\ud55c\ub2e4. \uc704 \ud3b8\ubbf8\ubd84\uc744 \\(f_{x_i}(a)\\)\ub85c \ub098\ud0c0\ub0b4\uae30\ub3c4 \ud55c\ub2e4.<\/p>\n<p>\ubaa8\ub4e0 \ubcc0\uc218\uc5d0 \ub300\ud55c \ud3b8\ubbf8\ubd84\uc774 \uc874\uc7ac\ud574\ub3c4 \ud568\uc218\uac00 \uc5f0\uc18d\uc77c \ud544\uc694\ub294 \uc5c6\ub2e4. \uc608\ub97c \ub4e4\uc5b4,<br \/>\n\\[<br \/>\nf(x,y)=<br \/>\n\\begin{cases}<br \/>\n\\dfrac{xy}{x^2+y^2} &#038; \\text{if }\\;(x,y)\\ne(0,0),\\\\[8pt]<br \/>\n0 &#038; \\text{if }\\;(x,y)=(0,0)<br \/>\n\\end{cases}<br \/>\n\\]<br \/>\n\uc774\ub77c\uace0 \uc815\uc758\ub41c \ud568\uc218 \\(f\\)\ub294 \\((0,0)\\)\uc5d0\uc11c \ub450 \ud3b8\ubbf8\ubd84\uacc4\uc218\uac00 \ubaa8\ub450 \\(0\\)\uc774\uc9c0\ub9cc, \\(f(t,t)=1\/2\\)\uc774\ubbc0\ub85c \uc6d0\uc810\uc5d0\uc11c \uc5f0\uc18d\uc774 \uc544\ub2c8\ub2e4.<\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc774 \uc810 \\(a\\)\uc5d0\uc11c <span class=\"defined\">\uc804\ubbf8\ubd84<\/span> \uac00\ub2a5\ud558\ub2e4(differentiable), \ub610\ub294 <span class=\"defined\">\ud504\ub808\uc170 \ubbf8\ubd84<\/span> \uac00\ub2a5\ud558\ub2e4\ub294 \uac83\uc740 \uc120\ud615\ubcc0\ud658 \\(L\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc774 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n\\lim_{h\\to0}<br \/>\n\\frac{\\|f(a+h)-f(a)-L(h)\\|}{\\|h\\|}<br \/>\n=0<br \/>\n\\]<br \/>\n\uc778 \uac83\uc744 \uc758\ubbf8\ud55c\ub2e4. \uc774\ub7ec\ud55c \\(L\\)\uc740 \uc720\uc77c\ud558\ub2e4. \uc2e4\uc81c\ub85c \\(L_1,L_2\\)\uac00 \ubaa8\ub450 \uc704 \uc870\uac74\uc744 \ub9cc\uc871\uc2dc\ud0a4\uace0 \\(v\\in\\mathbb{R}^n\\)\uc774\uba74 \\(h=tv\\)\ub97c \ub300\uc785\ud558\uc5ec \\(t\\to0\\)\uc73c\ub85c \ubcf4\ub0bc \ub54c<br \/>\n\\[<br \/>\n\\|(L_1-L_2)v\\|<br \/>\n\\le<br \/>\n\\frac{\\|f(a+tv)-f(a)-L_1(tv)\\|}{|t|}<br \/>\n+<br \/>\n\\frac{\\|f(a+tv)-f(a)-L_2(tv)\\|}{|t|}<br \/>\n\\to0<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(L_1v=L_2v\\)\uc774\ub2e4. \uc774 \uc720\uc77c\ud55c \uc120\ud615\ubcc0\ud658\uc744 \\(a\\)\uc5d0\uc11c \\(f\\)\uc758 <span class=\"defined\">\ubbf8\ubd84<\/span>(differential) \ub610\ub294 <span class=\"defined\">\ub3c4\ud568\uc218<\/span>\ub77c\uace0 \ubd80\ub974\uace0 \\(Df(a)\\) \ub610\ub294 \\(f'(a)\\)\ub85c \ub098\ud0c0\ub0b8\ub2e4.<\/p>\n<p>\ud568\uc218 \\(f\\)\uac00 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\ub2e4\ub294 \uc870\uac74\uc740<br \/>\n\\[<br \/>\nf(a+h)=f(a)+Df(a)(h)+r(h),<br \/>\n\\qquad<br \/>\n\\frac{\\|r(h)\\|}{\\|h\\|}\\to0<br \/>\n\\]<br \/>\n\uc73c\ub85c \uc4f8 \uc218\ub3c4 \uc788\ub2e4. \ub9c8\uc9c0\ub9c9 \ud56d\uc744 \uac04\ub2e8\ud788 \\(o(\\|h\\|)\\)\ub85c \ub098\ud0c0\ub0b8\ub2e4.<\/p>\n<p>\uc120\ud615\ubcc0\ud658 \\(T\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\|T\\|=\\sup_{\\|v\\|=1}\\|T(v)\\|<br \/>\n\\]<br \/>\n\ub97c \\(T\\)\uc758 <span class=\"defined\">\uc5f0\uc0b0\uc790 \ub178\ub984<\/span>(operator norm)\uc774\ub77c\uace0 \ud55c\ub2e4. \uc720\ud55c\ucc28\uc6d0\uc5d0\uc11c\ub294 \uc774 \uc0c1\ud55c\uc774 \uc720\ud55c\ud558\uba70, \ubaa8\ub4e0 \\(v\\)\uc5d0 \ub300\ud558\uc5ec \\(\\|T(v)\\|\\le\\|T\\|\\|v\\|\\)\uac00 \uc131\ub9bd\ud55c\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.1. (\ubbf8\ubd84 \uac00\ub2a5\uc131\uacfc \uc5f0\uc18d\uc131\uc758 \uad00\uacc4)<\/span><\/p>\n<p>\uc804\ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218\ub294 \uc5f0\uc18d\uc774\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(f(a+h)=f(a)+Df(a)(h)+r(h)\\)\uc774\uace0 \\(\\|r(h)\\|\/\\|h\\|\\to0\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\n\\|f(a+h)-f(a)\\|<br \/>\n\\le<br \/>\n\\|Df(a)\\|\\,\\|h\\|+\\|r(h)\\|<br \/>\n\\to0.<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uc5f0\uc18d\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc774 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uba74 \\(a\\)\uc5d0\uc11c \\(f\\)\uc758 \ubaa8\ub4e0 \ud3b8\ubbf8\ubd84\uc774 \uc874\uc7ac\ud558\uace0, \\(Df(a)\\)\uc758 \ud589\ub82c \ud45c\ud604\uc740 \ud3b8\ubbf8\ubd84\ub4e4\ub85c \uc774\ub8e8\uc5b4\uc9c4\ub2e4. \uc2e4\uc81c\ub85c \\(e_i\\)\ub97c \\(i\\)\ubc88\uc9f8 \ud45c\uc900\uae30\uc800\ubca1\ud130\ub77c\uace0 \ud558\uba74<br \/>\n\\[<br \/>\nDf(a)e_i<br \/>\n=<br \/>\n\\lim_{t\\to0}\\frac{f(a+te_i)-f(a)}{t},<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(Df(a)e_i\\)\ub294 \uac01 \uc131\ubd84\uc758 \\(x_i\\)\uc5d0 \ub300\ud55c \ud3b8\ubbf8\ubd84\uc744 \ubaa8\uc740 \uc5f4\ubca1\ud130\uc774\ub2e4. \ub530\ub77c\uc11c \\(f=(f_1,\\ldots,f_m)\\)\uc77c \ub54c<br \/>\n\\[<br \/>\nDf(a)=<br \/>\n\\begin{pmatrix}<br \/>\n\\dfrac{\\partial f_1}{\\partial x_1}(a) &#038; \\cdots &#038; \\dfrac{\\partial f_1}{\\partial x_n}(a)\\\\<br \/>\n\\vdots &#038; \\ddots &#038; \\vdots\\\\<br \/>\n\\dfrac{\\partial f_m}{\\partial x_1}(a) &#038; \\cdots &#038; \\dfrac{\\partial f_m}{\\partial x_n}(a)<br \/>\n\\end{pmatrix}.<br \/>\n\\]<br \/>\n\\(a\\)\uc5d0\uc11c \ubaa8\ub4e0 \uc77c\uacc4\ud3b8\ubbf8\ubd84\uacc4\uc218\uac00 \uc874\uc7ac\ud560 \ub54c \uc704 \ud589\ub82c\uc744 <span class=\"defined\">\uc57c\ucf54\ube44 \ud589\ub82c<\/span>(Jacobian matrix)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. \ud2b9\ud788 \\(a\\)\uc5d0\uc11c \\(f\\)\uac00 \uc804\ubbf8\ubd84 \uac00\ub2a5\ud560 \ub54c \uc774 \ud589\ub82c\uc774 \uc120\ud615\ubcc0\ud658 \\(Df(a)\\)\ub97c \ub098\ud0c0\ub0b8\ub2e4.<\/p>\n<p>\ubaa8\ub4e0 \ud3b8\ubbf8\ubd84\uc774 \uc874\uc7ac\ud574\ub3c4 \uc804\ubbf8\ubd84 \uac00\ub2a5\ud560 \ud544\uc694\ub294 \uc5c6\ub2e4. \uc608\ub97c \ub4e4\uc5b4<br \/>\n\\[<br \/>\nf(x,y)=<br \/>\n\\begin{cases}<br \/>\n\\dfrac{x^3-xy^2}{x^2+y^2} &#038; \\text{if }\\;(x,y)\\ne(0,0),\\\\[6pt]<br \/>\n0 &#038; \\text{if }\\;(x,y)=(0,0)<br \/>\n\\end{cases}<br \/>\n\\]<br \/>\n\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c \\(f_x(0,0)=1\\), \\(f_y(0,0)=0\\)\uc774\ubbc0\ub85c \ubbf8\ubd84 \uac00\ub2a5\ud558\ub2e4\uba74 \\(Df(0,0)(h_1,h_2)=h_1\\)\uc774\uc5b4\uc57c \ud55c\ub2e4. \uadf8\ub7ec\ub098 \\(f(t,t)=0\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\n\\frac{|f(t,t)-Df(0,0)(t,t)|}{\\sqrt2|t|}<br \/>\n=<br \/>\n\\frac1{\\sqrt2}<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ub530\ub77c\uc11c \\(f\\)\ub294 \\((0,0)\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uc9c0 \uc54a\ub2e4.<\/p>\n<p>\ub2e4\ubcc0\uc218\ud568\uc218 \\(f\\)\uac00 \uc810 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uae30 \uc704\ud55c \ucda9\ubd84\uc870\uac74\uc740 \ub2e4\uc74c\uacfc \uac19\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.2. (\uc804\ubbf8\ubd84 \uac00\ub2a5 \uc870\uac74)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc758 \ubaa8\ub4e0 \ud3b8\ubbf8\ubd84\uc774 \uc810 \\(a\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \uc874\uc7ac\ud558\uace0 \\(a\\)\uc5d0\uc11c \uc5f0\uc18d\uc774\uba74, \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(f=(f_1,\\ldots,f_m)\\)\uc774\ub77c\uace0 \ud558\uace0 \\(h=(h_1,\\ldots,h_n)\\)\uc774\ub77c \ud558\uc790. \\(j=0,1,\\ldots,n\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\nx^{(j)}=a+h_1e_1+\\cdots+h_je_j<br \/>\n\\]<br \/>\n\ub85c \ub450\uba74 \\(x^{(0)}=a\\), \\(x^{(n)}=a+h\\)\uc774\ub2e4. \\(h\\)\uac00 \ucda9\ubd84\ud788 \uc791\uc73c\uba74 \uc774 \uc810\ub4e4\uc744 \uc787\ub294 \ubaa8\ub4e0 \uc88c\ud45c\ubc29\ud5a5 \uc120\ubd84\uc774 \uc8fc\uc5b4\uc9c4 \uadfc\ubc29 \uc548\uc5d0 \ub193\uc778\ub2e4.<\/p>\n<p>\uac01 \uc131\ubd84 \\(f_\\ell\\)\uc5d0 \ub300\ud558\uc5ec \uc77c\ubcc0\uc218 \ud3c9\uade0\uac12 \uc815\ub9ac\ub97c \uc88c\ud45c\ubcc4\ub85c \uc801\uc6a9\ud558\uba74, \\(h_j\\ne0\\)\uc77c \ub54c \\(x^{(j-1)}\\)\uc640 \\(x^{(j)}\\) \uc0ac\uc774\uc758 \uc5b4\ub5a4 \uc810 \\(\\xi_{\\ell j}\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\nf_\\ell(x^{(j)})-f_\\ell(x^{(j-1)})<br \/>\n=<br \/>\n\\frac{\\partial f_\\ell}{\\partial x_j}(\\xi_{\\ell j})h_j<br \/>\n\\]<br \/>\n\uac00 \ub41c\ub2e4. \\(h_j=0\\)\uc778 \ud56d\uc740 \\(0\\)\uc774\ubbc0\ub85c \ub530\ub85c \uace0\ub824\ud560 \ud544\uc694\uac00 \uc5c6\ub2e4. \ub530\ub77c\uc11c<br \/>\n\\[<br \/>\n\\begin{aligned}<br \/>\n&#038;f_\\ell(a+h)-f_\\ell(a)<br \/>\n-\\sum_{j=1}^n<br \/>\n\\frac{\\partial f_\\ell}{\\partial x_j}(a)h_j\\\\<br \/>\n&#038;\\quad=<br \/>\n\\sum_{j=1}^n<br \/>\n\\left(<br \/>\n\\frac{\\partial f_\\ell}{\\partial x_j}(\\xi_{\\ell j})<br \/>\n&#8211;<br \/>\n\\frac{\\partial f_\\ell}{\\partial x_j}(a)<br \/>\n\\right)h_j.<br \/>\n\\end{aligned}<br \/>\n\\]<br \/>\n\ubaa8\ub4e0 \\(\\xi_{\\ell j}\\to a\\)\uc774\uace0 \ud3b8\ubbf8\ubd84\ub4e4\uc774 \\(a\\)\uc5d0\uc11c \uc5f0\uc18d\uc774\ubbc0\ub85c, \uc784\uc758\uc758 \\(\\varepsilon&gt;0\\)\uc5d0 \ub300\ud558\uc5ec \\(h\\)\uac00 \ucda9\ubd84\ud788 \uc791\uc73c\uba74 \uc6b0\ubcc0\uc758 \uc808\ub313\uac12\uc740<br \/>\n\\[<br \/>\n\\varepsilon\\sum_{j=1}^n|h_j|<br \/>\n\\le<br \/>\n\\varepsilon\\sqrt n\\,\\|h\\|<br \/>\n\\]<br \/>\n\ubcf4\ub2e4 \uc791\ub2e4. \uc131\ubd84\uc758 \uc218\uac00 \uc720\ud55c\ud558\ubbc0\ub85c \ubca1\ud130 \uc804\uccb4\uc758 \ub098\uba38\uc9c0\ub3c4 \\(o(\\|h\\|)\\)\uc774\ub2e4. \ub530\ub77c\uc11c \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \uadf8 \ubbf8\ubd84\uc740 \uc57c\ucf54\ube44 \ud589\ub82c\ub85c \uc8fc\uc5b4\uc9c4\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.1.<\/span><br \/>\n\ud568\uc218 \\(f\\colon\\mathbb{R}^2\\to\\mathbb{R}^3\\)\uac00 \ub2e4\uc74c\uacfc \uac19\uc774 \uc8fc\uc5b4\uc84c\uc744 \ub54c, \\(f\\)\uc758 \uc804\ubbf8\ubd84 \ud589\ub82c\uc744 \uad6c\ud558\uc2dc\uc624.<br \/>\n\\[<br \/>\nf(x,y)=<br \/>\n(a_{11}x+a_{12}y,\\,<br \/>\na_{21}x+a_{22}y,\\,<br \/>\na_{31}x+a_{32}y).<br \/>\n\\]<\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.2.<\/span><br \/>\n\ub2e4\uc74c \ubb3c\uc74c\uc5d0 \ub2f5\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\ud568\uc218 \\(f(x,y)=(\\cos xy,\\,e^y-\\ln y)\\)\uac00 \uc810 \\((1,1)\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c\uc9c0 \ud310\ubcc4\ud558\uc2dc\uc624.<\/li>\n<li>\ub2e4\uc74c \ud568\uc218\uac00 \\((0,0)\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c\uc9c0 \ud310\ubcc4\ud558\uc2dc\uc624.<br \/>\n\\[<br \/>\nf(x,y)=<br \/>\n\\begin{cases}<br \/>\n\\dfrac{y^2}{x^2+y^2} &#038; \\text{if }\\;(x,y)\\ne(0,0),\\\\[8pt]<br \/>\n0 &#038; \\text{if }\\;(x,y)=(0,0).<br \/>\n\\end{cases}<br \/>\n\\]<\/li>\n<\/ol>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.3.<\/span><br \/>\n\\(k\\in\\mathbb{R}\\), \\(D\\subseteq\\mathbb{R}^n\\), \\(a\\in D^o\\)\uc774\uace0 \ub450 \ud568\uc218 \\(f\\colon D\\to\\mathbb{R}^m\\)\uacfc \\(g\\colon D\\to\\mathbb{R}^m\\)\uc774 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\ub2e4\uace0 \ud558\uc790. \ub2e4\uc74c\uc744 \uc99d\uba85\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\ub450 \ud568\uc218\uc758 \ud569 \\(f+g\\)\ub294 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(D(f+g)(a)=Df(a)+Dg(a)\\)\uc774\ub2e4.<\/li>\n<li>\ud568\uc218\uc758 \uc2e4\uc218\ubc30 \\(kf\\)\ub294 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(D(kf)(a)=kDf(a)\\)\uc774\ub2e4.<\/li>\n<li>\ub450 \ud568\uc218\uc758 \ub0b4\uc801 \\(f\\cdot g\\)\ub294 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0<br \/>\n\\[<br \/>\nD(f\\cdot g)(a)<br \/>\n=<br \/>\ng(a)^{\\top}Df(a)+f(a)^{\\top}Dg(a)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<\/li>\n<\/ol>\n<\/div>\n<h3>\ubbf8\ubd84\uc758 \uacc4\uc0b0<\/h3>\n<p>\uc2e4\ud568\uc218\uc5d0\uc11c \ud569\uc131\ud568\uc218\uc758 \ubbf8\ubd84 \uacf5\uc2dd\uc774 \uc874\uc7ac\ud558\ub4ef \ub2e4\ubcc0\uc218\ud568\uc218\uc5d0\uc11c\ub3c4 \ud569\uc131\ud568\uc218\uc758 \ubbf8\ubd84 \uacf5\uc2dd\uc774 \uc874\uc7ac\ud55c\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.3. (\uc5f0\uc1c4\ubc95\uce59)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^m\\)\uc774 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(g\\colon\\mathbb{R}^m\\to\\mathbb{R}^p\\)\uac00 \\(f(a)\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uba74, \\(g\\circ f\\)\ub294 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \ub2e4\uc74c\uc774 \uc131\ub9bd\ud55c\ub2e4.<br \/>\n\\[<br \/>\nD(g\\circ f)(a)=Dg(f(a))Df(a).<br \/>\n\\]<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(u(h)=f(a+h)-f(a)\\)\ub77c\uace0 \ud558\uc790. \\(f\\)\uac00 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\ubbc0\ub85c<br \/>\n\\[<br \/>\nu(h)=Df(a)h+r_f(h),<br \/>\n\\qquad<br \/>\nr_f(h)=o(\\|h\\|),<br \/>\n\\]<br \/>\n\uc774\uace0 \ud2b9\ud788 \\(\\|u(h)\\|=O(\\|h\\|)\\)\uc774\ub2e4. \ub610\ud55c \\(g\\)\uc758 \ubbf8\ubd84 \uac00\ub2a5\uc131\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\ng(f(a)+u)-g(f(a))<br \/>\n=<br \/>\nDg(f(a))u+r_g(u),<br \/>\n\\qquad<br \/>\nr_g(u)=o(\\|u\\|).<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c<br \/>\n\\[<br \/>\n\\begin{aligned}<br \/>\ng(f(a+h))-g(f(a))<br \/>\n&#038;=Dg(f(a))Df(a)h<br \/>\n+Dg(f(a))r_f(h)<br \/>\n+r_g(u(h))\\\\<br \/>\n&#038;=Dg(f(a))Df(a)h+o(\\|h\\|).<br \/>\n\\end{aligned}<br \/>\n\\]<br \/>\n\ub9c8\uc9c0\ub9c9 \ub4f1\uc2dd\uc5d0\uc11c\ub294 \\(r_g(u(h))=o(\\|u(h)\\|)=o(\\|h\\|)\\)\uc744 \uc0ac\uc6a9\ud588\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.4.<\/span><br \/>\n\\(w=f(x,y,z)\\), \\(x=x(r,s)\\), \\(y=y(r,s)\\), \\(z=z(r,s)\\)\uac00 \ubaa8\ub450 \ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218\uc77c \ub54c, \uc815\ub9ac 9.3\uc744 \uc0ac\uc6a9\ud558\uc5ec \ub2e4\uc74c \uacf5\uc2dd\uc744 \uc720\ub3c4\ud558\uc2dc\uc624.<br \/>\n\\[<br \/>\n\\frac{\\partial w}{\\partial r}<br \/>\n=<br \/>\n\\frac{\\partial w}{\\partial x}\\frac{\\partial x}{\\partial r}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial y}\\frac{\\partial y}{\\partial r}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial z}\\frac{\\partial z}{\\partial r},<br \/>\n\\quad<br \/>\n\\frac{\\partial w}{\\partial s}<br \/>\n=<br \/>\n\\frac{\\partial w}{\\partial x}\\frac{\\partial x}{\\partial s}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial y}\\frac{\\partial y}{\\partial s}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial z}\\frac{\\partial z}{\\partial s}.<br \/>\n\\]<\/p>\n<\/div>\n<p>\uc810 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c \uc2e4\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\ub97c \uc0dd\uac01\ud558\uc790. \uc774\ub54c \\(Df(a)\\)\uc758 \ud589\ub82c\uc740 \ud55c \ud589\uc73c\ub85c \uc774\ub8e8\uc5b4\uc9c0\uba70, \uadf8 \uc804\uce58\ubca1\ud130<br \/>\n\\[<br \/>\n\\nabla f(a)<br \/>\n=<br \/>\n\\left(<br \/>\n\\frac{\\partial f}{\\partial x_1}(a),<br \/>\n\\ldots,<br \/>\n\\frac{\\partial f}{\\partial x_n}(a)<br \/>\n\\right)<br \/>\n\\]<br \/>\n\ub97c \\(a\\)\uc5d0\uc11c \\(f\\)\uc758 <span class=\"defined\">\uae30\uc6b8\uae30 \ubca1\ud130<\/span>(gradient vector)\ub77c\uace0 \ubd80\ub978\ub2e4.<\/p>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.5.<\/span><br \/>\n\\(f\\)\uc640 \\(g\\)\uac00 \\(D\\subseteq\\mathbb{R}^n\\)\uc73c\ub85c\ubd80\ud130 \\(\\mathbb{R}\\)\ub85c\uc758 \ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218\uc77c \ub54c \ub2e4\uc74c\uc744 \ubcf4\uc774\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(\\nabla(f+g)=\\nabla f+\\nabla g\\).<\/li>\n<li>\\(\\nabla(f-g)=\\nabla f-\\nabla g\\).<\/li>\n<li>\\(k\\)\uac00 \uc2e4\uc218\uc778 \uc0c1\uc218\uc77c \ub54c \\(\\nabla(kf)=k\\nabla f\\).<\/li>\n<li>\\(\\nabla(fg)=f\\nabla g+g\\nabla f\\).<\/li>\n<li>\\(g\\ne0\\)\uc778 \uc810\uc5d0\uc11c<br \/>\n\\[<br \/>\n\\nabla(f\/g)<br \/>\n=<br \/>\n\\frac{g\\nabla f-f\\nabla g}{g^2}.<br \/>\n\\]<\/li>\n<\/ol>\n<\/div>\n<p>\\(v\\)\uac00 \ub2e8\uc704\ubca1\ud130\uc77c \ub54c, \\(v\\) \ubc29\ud5a5\uc73c\ub85c\uc758 \\(f\\)\uc758 <span class=\"defined\">\ubc29\ud5a5\ub3c4\ud568\uc218<\/span>(directional derivative)\ub97c<br \/>\n\\[<br \/>\nD_vf(a)<br \/>\n=<br \/>\n\\lim_{t\\to0}<br \/>\n\\frac{f(a+tv)-f(a)}{t}<br \/>\n\\]<br \/>\n\ub85c \uc815\uc758\ud55c\ub2e4. \ubaa8\ub4e0 \ubc29\ud5a5\ub3c4\ud568\uc218\uac00 \uc874\uc7ac\ud558\ub354\ub77c\ub3c4 \uc804\ubbf8\ubd84 \uac00\ub2a5\ud560 \ud544\uc694\ub294 \uc5c6\uc9c0\ub9cc, \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uba74 \ubc29\ud5a5\ub3c4\ud568\uc218\ub294 \uae30\uc6b8\uae30\ub85c \uacc4\uc0b0\ub41c\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.4. (\ubc29\ud5a5\ub3c4\ud568\uc218\uc640 \uae30\uc6b8\uae30)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uac00 \\(a\\)\uc5d0\uc11c \uc804\ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(v\\)\uac00 \ub2e8\uc704\ubca1\ud130\uc774\uba74<br \/>\n\\[<br \/>\nD_vf(a)=\\nabla f(a)\\cdot v.\\tag{9.1}<br \/>\n\\]<br \/>\n\ud2b9\ud788 \\(\\nabla f(a)\\ne0\\)\uc774\uba74 \ub2e8\uc704\ubca1\ud130 \uac00\uc6b4\ub370 \ubc29\ud5a5\ub3c4\ud568\uc218\uac00 \uac00\uc7a5 \ud070 \ubc29\ud5a5\uc740<br \/>\n\\[<br \/>\nv=\\frac{\\nabla f(a)}{\\|\\nabla f(a)\\|}<br \/>\n\\]<br \/>\n\uc774\uace0, \uac00\uc7a5 \uc791\uc740 \ubc29\ud5a5\uc740 \uadf8 \ubc18\ub300\ubc29\ud5a5\uc774\ub2e4. \ucd5c\ub313\uac12\uacfc \ucd5c\uc19f\uac12\uc740 \uac01\uac01 \\(\\|\\nabla f(a)\\|\\)\uc640 \\(-\\|\\nabla f(a)\\|\\)\uc774\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(h=tv\\)\ub97c \uc804\ubbf8\ubd84\uc758 \uc815\uc758\uc5d0 \ub300\uc785\ud558\uba74<br \/>\n\\[<br \/>\nf(a+tv)-f(a)<br \/>\n=<br \/>\nt\\,Df(a)v+o(|t|).<br \/>\n\\]<br \/>\n\uc591\ubcc0\uc744 \\(t\\)\ub85c \ub098\ub204\uace0 \\(t\\to0\\)\uc73c\ub85c \ubcf4\ub0b4\uba74<br \/>\n\\[<br \/>\nD_vf(a)<br \/>\n=<br \/>\nDf(a)v<br \/>\n=<br \/>\n\\nabla f(a)\\cdot v<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ub098\uba38\uc9c0\ub294 \ucf54\uc2dc\u2013\uc288\ubc14\ub974\uce20 \ubd80\ub4f1\uc2dd<br \/>\n\\[<br \/>\n|\\nabla f(a)\\cdot v|<br \/>\n\\le<br \/>\n\\|\\nabla f(a)\\|\\|v\\|<br \/>\n\\]<br \/>\n\uacfc \ub4f1\ud638 \uc870\uac74\uc5d0\uc11c \ub530\ub978\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.6.<\/span><br \/>\n\\(f(x,y)=x^2y+e^{xy}\\), \\(a=(1,0)\\), \\(v=(3\/5,4\/5)\\)\ub77c\uace0 \ud558\uc790. \\(D_vf(a)\\)\ub97c \uad6c\ud558\uace0, \\(a\\)\uc5d0\uc11c \ubc29\ud5a5\ub3c4\ud568\uc218\uac00 \uac00\uc7a5 \ud070 \ub2e8\uc704\ubc29\ud5a5\uacfc \uac00\uc7a5 \uc791\uc740 \ub2e8\uc704\ubc29\ud5a5 \ubc0f \uadf8 \uac12\uc744 \uac01\uac01 \uad6c\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<p>\\(x\\), \\(y\\), \\(z\\)\uac00 \uad6c\uac04 \\(I\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c \uc2e4\ud568\uc218\uc774\uace0 \uace1\uc120 \\(C\\)\uac00<br \/>\n\\[<br \/>\nr(t)=(x(t),y(t),z(t)),<br \/>\n\\qquad<br \/>\nt\\in I<br \/>\n\\]<br \/>\n\uc640 \uac19\uc740 \ud568\uc218\ub85c \ud45c\ud604\ub41c\ub2e4\uace0 \ud558\uc790. \uc774\ub54c \uc810 \\(t_0\\)\uc5d0\uc11c \\(r\\)\uc758 \ubbf8\ubd84\uacc4\uc218\ub97c<br \/>\n\\[<br \/>\nr'(t_0)<br \/>\n=<br \/>\n\\left(<br \/>\n\\frac{d}{dt}x(t_0),<br \/>\n\\frac{d}{dt}y(t_0),<br \/>\n\\frac{d}{dt}z(t_0)<br \/>\n\\right)<br \/>\n\\]<br \/>\n\ub85c \uc815\uc758\ud55c\ub2e4. \uace1\uc120 \\(C\\) \uc704\uc758 \uc810\uc5d0\uc11c \uc815\uc758\ub41c \ud568\uc218 \\(w=f(r(t))\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\frac{dw}{dt}<br \/>\n=<br \/>\n\\frac{\\partial w}{\\partial x}\\frac{dx}{dt}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial y}\\frac{dy}{dt}<br \/>\n+<br \/>\n\\frac{\\partial w}{\\partial z}\\frac{dz}{dt}<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud55c\ub2e4. \uc774\uac83\uc744 \uae30\uc6b8\uae30 \uc5f0\uc0b0\uc790\ub97c \uc0ac\uc6a9\ud558\uc5ec \ub098\ud0c0\ub0b4\uba74<br \/>\n\\[<br \/>\n\\frac{d}{dt}f(r(t))<br \/>\n=<br \/>\n\\nabla f(r(t))\\cdot r'(t)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<\/p>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.7.<\/span><br \/>\n\ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218 \\(F\\colon\\mathbb{R}^2\\to\\mathbb{R}\\)\uacfc \uc0c1\uc218 \\(c\\)\uc5d0 \ub300\ud558\uc5ec <span class=\"defined\">\ub4f1\uc704\uace1\uc120<\/span> \\(F(x,y)=c\\)\ub97c \uc0dd\uac01\ud558\uc790.<\/p>\n<ol class=\"parenthesis\">\n<li>\uc774 \ub4f1\uc704\uace1\uc120\uc758 \uc77c\ubd80\uac00 \ubbf8\ubd84 \uac00\ub2a5\ud55c \ub9e4\uac1c\ud654 \\(r(t)=(u(t),v(t))\\)\ub85c \uc8fc\uc5b4\uc9c0\uace0 \\(r'(t_0)\\ne0\\)\uc774\ub77c\uace0 \ud558\uc790. \\(\\nabla F(r(t_0))\\)\uc640 \\(r'(t_0)\\)\uac00 \uc11c\ub85c \uc218\uc9c1\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/li>\n<li>\\((a,b)\\)\uac00 \ub4f1\uc704\uace1\uc120 \uc704\uc758 \uc810\uc774\uace0 \\(\\nabla F(a,b)\\ne0\\)\uc774\uba70, \uc774 \uc810\uc744 \uc9c0\ub098\ub294 \uc704\uc640 \uac19\uc740 \uc815\uce59 \ub9e4\uac1c\ud654\uac00 \uc874\uc7ac\ud55c\ub2e4\uace0 \ud558\uc790. \uc774\ub54c \uc811\uc120\uc758 \ubc29\uc815\uc2dd\uc774<br \/>\n\\[<br \/>\n\\frac{\\partial F}{\\partial x}(a,b)(x-a)<br \/>\n+<br \/>\n\\frac{\\partial F}{\\partial y}(a,b)(y-b)<br \/>\n=<br \/>\n0<br \/>\n\\]<br \/>\n\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/li>\n<\/ol>\n<\/div>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc744 \ubcc0\uc218 \\(x_i\\)\uc5d0 \ub300\ud558\uc5ec \ubbf8\ubd84\ud55c \ub4a4 \ub2e4\uc2dc \ubcc0\uc218 \\(x_j\\)\uc5d0 \ub300\ud558\uc5ec \ubbf8\ubd84\ud55c \uc774\uacc4 \ud3b8\ub3c4\ud568\uc218\ub97c<br \/>\n\\[<br \/>\nf_{x_ix_j}<br \/>\n\\quad\\text{\ub610\ub294}\\quad<br \/>\n\\frac{\\partial^2}{\\partial x_j\\,\\partial x_i}f<br \/>\n\\]<br \/>\n\ub85c \ub098\ud0c0\ub0b8\ub2e4. \ud568\uc218 \\(f\\)\uac00 \uc801\uc808\ud55c \uc870\uac74\uc744 \ub9cc\uc871\uc2dc\ud0a4\uba74 \\(f\\)\uc758 \uc774\uacc4\ud3b8\ubbf8\ubd84\uc758 \ubbf8\ubd84 \uc21c\uc11c\ub97c \ubc14\uafb8\uc5b4\ub3c4 \ub3d9\uc77c\ud55c \ub3c4\ud568\uc218\ub97c \uc5bb\ub294\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.5. (\ud074\ub808\ub85c \uc815\ub9ac)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc758 \ub450 \ud63c\ud569 \uc774\uacc4\ud3b8\ubbf8\ubd84<br \/>\n\\[<br \/>\n\\frac{\\partial^2f}{\\partial x_i\\partial x_j},<br \/>\n\\qquad<br \/>\n\\frac{\\partial^2f}{\\partial x_j\\partial x_i}<br \/>\n\\]<br \/>\n\uac00 \uc810 \\(c\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \uc874\uc7ac\ud558\uace0 \\(c\\)\uc5d0\uc11c \uc5f0\uc18d\uc774\uba74<br \/>\n\\[<br \/>\n\\frac{\\partial^2f}{\\partial x_i\\,\\partial x_j}(c)<br \/>\n=<br \/>\n\\frac{\\partial^2f}{\\partial x_j\\,\\partial x_i}(c)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\ub2e4\ub978 \uc88c\ud45c\ub97c \uace0\uc815\ud558\uba74 \ub418\ubbc0\ub85c \\(n=2\\)\uc778 \uacbd\uc6b0\ub9cc \uc99d\uba85\ud558\uba74 \ucda9\ubd84\ud558\ub2e4. \\(c=(a,b)\\)\ub77c\uace0 \ud558\uc790. \ucda9\ubd84\ud788 \uc791\uc740 \\(0\\ne h,k\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\Delta(h,k)<br \/>\n=<br \/>\nf(a+h,b+k)-f(a+h,b)-f(a,b+k)+f(a,b)<br \/>\n\\]<br \/>\n\ub85c \ub454\ub2e4.<\/p>\n<p>\uba3c\uc800 \\(g(x)=f(x,b+k)-f(x,b)\\)\ub77c\uace0 \ud558\uba74 \uc77c\ubcc0\uc218 \ud3c9\uade0\uac12 \uc815\ub9ac\uc5d0 \uc758\ud574 \\(a\\)\uc640 \\(a+h\\) \uc0ac\uc774\uc758 \uc5b4\ub5a4 \\(\\xi\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n\\Delta(h,k)<br \/>\n=<br \/>\nh\\bigl[f_x(\\xi,b+k)-f_x(\\xi,b)\\bigr].<br \/>\n\\]<br \/>\n\ub2e4\uc2dc \\(y\\)\uc5d0 \ub300\ud55c \ud3c9\uade0\uac12 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74 \\(b\\)\uc640 \\(b+k\\) \uc0ac\uc774\uc758 \uc5b4\ub5a4 \\(\\eta_1\\)\uc774 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n\\Delta(h,k)<br \/>\n=<br \/>\nhk\\,f_{xy}(\\xi,\\eta_1)<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uac19\uc740 \ubc29\uc2dd\uc73c\ub85c \\(\\phi(y)=f(a+h,y)-f(a,y)\\)\uc5d0 \uba3c\uc800 \\(y\\)\uc5d0 \ub300\ud55c \ud3c9\uade0\uac12 \uc815\ub9ac\ub97c \uc801\uc6a9\ud55c \ub4a4 \\(x\\)\uc5d0 \ub300\ud55c \ud3c9\uade0\uac12 \uc815\ub9ac\ub97c \uc801\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\n\\Delta(h,k)<br \/>\n=<br \/>\nhk\\,f_{yx}(\\xi_1,\\eta)<br \/>\n\\]<br \/>\n\uc778 \\(\\xi_1,\\eta\\)\ub97c \uc5bb\ub294\ub2e4. \ub530\ub77c\uc11c<br \/>\n\\[<br \/>\nf_{xy}(\\xi,\\eta_1)<br \/>\n=<br \/>\nf_{yx}(\\xi_1,\\eta).<br \/>\n\\]<br \/>\n\\(h,k\\to0\\)\uc774\uba74 \\(\\xi,\\xi_1\\to a\\), \\(\\eta,\\eta_1\\to b\\)\uc774\ubbc0\ub85c \ub450 \ud63c\ud569 \ud3b8\ubbf8\ubd84\uc758 \\(c\\)\uc5d0\uc11c\uc758 \uc5f0\uc18d\uc131\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\nf_{xy}(a,b)<br \/>\n=<br \/>\nf_{yx}(a,b)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.8.<\/span><br \/>\n\ud568\uc218 \\(f\\)\uac00 \ub2e4\uc74c\uacfc \uac19\uc744 \ub54c, \\(f\\)\uc758 \uc774\uacc4\ud3b8\ub3c4\ud568\uc218\ub97c \ubaa8\ub450 \uad6c\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f(x,y)=xe^y\\)<\/li>\n<li>\\(f(x,y)=\\cos xy\\)<\/li>\n<li>\\(f(x,y)=\\dfrac{x+y}{x^2+1}\\)<\/li>\n<\/ol>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.9.<\/span><br \/>\n\\(H=[a,b]\\times[c,d]\\)\uc774\uace0 \\(f\\colon H\\to\\mathbb{R}\\)\uc774 \uc5f0\uc18d\ud568\uc218\ub77c\uace0 \ud558\uc790. \uc774\ub54c<br \/>\n\\[<br \/>\nF(y)=\\int_a^b f(x,y)\\,dx<br \/>\n\\]<br \/>\n\ub77c\uace0 \uc815\uc758\ub41c \ud568\uc218 \\(F\\)\uac00 \\([c,d]\\)\uc5d0\uc11c \uc5f0\uc18d\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.10.<\/span><br \/>\n\\(H=[a,b]\\times[c,d]\\)\uc774\uace0 \ud568\uc218 \\(f\\colon H\\to\\mathbb{R}\\)\uc774 \uc8fc\uc5b4\uc84c\ub2e4\uace0 \ud558\uc790. \uac01 \\(y\\in[c,d]\\)\uc5d0 \ub300\ud558\uc5ec \\(x\\mapsto f(x,y)\\)\uac00 \\([a,b]\\)\uc5d0\uc11c \uc801\ubd84 \uac00\ub2a5\ud558\uace0, \uac01 \\(x\\in[a,b]\\)\uc5d0 \ub300\ud558\uc5ec \\(y\\mapsto f(x,y)\\)\uac00 \\((c,d)\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uba70, \ud3b8\ub3c4\ud568\uc218 \\(f_y\\)\uac00 \\(H\\)\uc5d0\uc11c \uc5f0\uc18d\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c \\(y\\in(c,d)\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\frac{d}{dy}\\int_a^b f(x,y)\\,dx<br \/>\n=<br \/>\n\\int_a^b\\frac{\\partial f}{\\partial y}(x,y)\\,dx<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud568\uc744 \ubcf4\uc774\uc2dc\uc624. \ub05d\uc810\uc5d0\uc11c\ub294 \ud574\ub2f9\ud558\ub294 \ud55c\ubc29\ud5a5 \ubbf8\ubd84\uc73c\ub85c \uac19\uc740 \uc2dd\uc774 \uc131\ub9bd\ud55c\ub2e4. \uc774 \uacf5\uc2dd\uc744 \ud3b8\uc801\ubd84\uc758 \ubbf8\ubd84\uc5d0 \ub300\ud55c <span class=\"defined\">\ub77c\uc774\ud504\ub2c8\uce20 \uacf5\uc2dd<\/span>\uc774\ub77c\uace0 \ubd80\ub978\ub2e4.<\/p>\n<\/div>\n<h3>\ud3c9\uade0\uac12 \uc815\ub9ac\uc640 \ud14c\uc77c\ub7ec \uc815\ub9ac<\/h3>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.6. (\ud3c9\uade0\uac12 \uc815\ub9ac)<\/span><\/p>\n<p>\\(f\\colon U\\to\\mathbb{R}\\)\uac00 \uc5f4\ub9b0 \ubcfc\ub85d\uc9d1\ud569 \\(U\\subseteq\\mathbb{R}^n\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\ub2e4\uace0 \ud558\uc790. \uc11c\ub85c \ub2e4\ub978 \\(a,b\\in U\\)\uc5d0 \ub300\ud558\uc5ec \ub450 \uc810\uc744 \uc787\ub294 \uc5f4\ub9b0 \uc120\ubd84 \uc704\uc758 \uc5b4\ub5a4 \\(c\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\nf(b)-f(a)<br \/>\n=<br \/>\n\\nabla f(c)\\cdot(b-a)<br \/>\n\\]<br \/>\n\ub97c \ub9cc\uc871\uc2dc\ud0a8\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\[<br \/>\n\\phi(t)=f(a+t(b-a)),<br \/>\n\\qquad<br \/>\n0\\le t\\le1<br \/>\n\\]<br \/>\n\ub85c \ub450\uba74 \uc5f0\uc1c4\ubc95\uce59\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\n\\phi'(t)<br \/>\n=<br \/>\n\\nabla f(a+t(b-a))\\cdot(b-a).<br \/>\n\\]<br \/>\n\uc77c\ubcc0\uc218 \ud3c9\uade0\uac12 \uc815\ub9ac\ub97c \\(\\phi\\)\uc5d0 \uc801\uc6a9\ud558\uba74 \uc5b4\ub5a4 \\(\\theta\\in(0,1)\\)\uc5d0 \ub300\ud558\uc5ec \\(\\phi(1)-\\phi(0)=\\phi'(\\theta)\\)\uc774\ub2e4. \\(c=a+\\theta(b-a)\\)\ub85c \ub450\uba74 \uacb0\ub860\uc744 \uc5bb\ub294\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\uc774\ub85c\ubd80\ud130 \ub2e4\uc74c\uacfc \uac19\uc740 \uc911\uc694\ud55c \uacb0\uacfc\ub97c \uc5bb\ub294\ub2e4.<\/p>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.11.<\/span><br \/>\n\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc5d0 \ub300\ud558\uc5ec \uc0c1\uc218 \\(M\\)\uc774 \uc874\uc7ac\ud558\uc5ec \\(\\|\\nabla f\\|\\le M\\)\uc774\uba74 \\(f\\)\uac00 \ub9bd\uc2dc\uce20 \uc5f0\uc18d\uc784\uc744 \ubcf4\uc774\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.12.<\/span><br \/>\n\uc5f0\uacb0\ub41c \uc5f4\ub9b0\uc9d1\ud569 \\(U\\subseteq\\mathbb{R}^n\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218 \\(f\\colon U\\to\\mathbb{R}\\)\uac00 \\(\\nabla f=0\\)\uc744 \ub9cc\uc871\uc2dc\ud0a4\uba74 \\(f\\)\uac00 \uc0c1\uc218\ud568\uc218\uc784\uc744 \ubcf4\uc774\uc2dc\uc624. \uc5f4\ub9b0 \uc5f0\uacb0\uc9d1\ud569\uc5d0\uc11c \uc784\uc758\uc758 \ub450 \uc810\uc744 \uc720\ud55c \uac1c\uc758 \uc120\ubd84\uc73c\ub85c \uc774\ub8e8\uc5b4\uc9c4 \uacbd\ub85c\ub85c \uc774\uc744 \uc218 \uc788\uc74c\uc744 \uba3c\uc800 \ubcf4\uc5ec\ub3c4 \uc88b\ub2e4.<\/p>\n<\/div>\n<p>\uace0\uacc4\ubbf8\ubd84\uacfc \uad00\ub828\ub41c \ub0b4\uc6a9\uc744 \uae30\uc220\ud560 \ub54c <span class=\"defined\">\ub2e4\uc911\uc9c0\ud45c \ud45c\uae30\ubc95<\/span>(multi-index notation)\uc744 \uc0ac\uc6a9\ud558\uba74 \ud3b8\ub9ac\ud558\ub2e4.<\/p>\n<p>\\(\\alpha_1,\\alpha_2,\\ldots,\\alpha_n\\)\uc774 \\(0\\) \uc774\uc0c1\uc778 \uc815\uc218\uc77c \ub54c,<br \/>\n\\[<br \/>\n\\alpha=(\\alpha_1,\\alpha_2,\\ldots,\\alpha_n)<br \/>\n\\]<br \/>\n\uc5d0 \ub300\ud558\uc5ec \ub2e4\uc74c\uacfc \uac19\uc774 \uc815\uc758\ud55c\ub2e4.<\/p>\n<ul>\n<li>\\(|\\alpha|=\\alpha_1+\\cdots+\\alpha_n\\)<\/li>\n<li>\\(\\alpha!=\\alpha_1!\\cdots\\alpha_n!\\)<\/li>\n<li>\\(x^\\alpha=x_1^{\\alpha_1}\\cdots x_n^{\\alpha_n}\\)<\/li>\n<li>\\(\\displaystyle D^\\alpha=<br \/>\n\\frac{\\partial^{|\\alpha|}}<br \/>\n{\\partial x_1^{\\alpha_1}\\cdots\\partial x_n^{\\alpha_n}}\\)<\/li>\n<\/ul>\n<p>\uc5f4\ub9b0\uc9d1\ud569 \\(U\\subseteq\\mathbb{R}^n\\)\uc5d0\uc11c \uc815\uc758\ub41c \ud568\uc218 \\(f\\)\uc758 \ubaa8\ub4e0 \\(|\\alpha|\\le k\\)\uc778 \ud3b8\ub3c4\ud568\uc218 \\(D^\\alpha f\\)\uac00 \uc874\uc7ac\ud558\uace0 \uc5f0\uc18d\uc77c \ub54c \\(f\\in C^k(U)\\)\ub77c\uace0 \uc4f4\ub2e4. \ubaa8\ub4e0 \ucc28\uc218\uc5d0 \ub300\ud558\uc5ec \uc774 \uc870\uac74\uc744 \ub9cc\uc871\uc2dc\ud0a4\ub294 \ud568\uc218\ub97c <span class=\"defined\">\ub9e4\ub044\ub7ec\uc6b4 \ud568\uc218<\/span>(smooth function)\ub77c\uace0 \ud558\uace0 \\(f\\in C^\\infty(U)\\)\ub77c\uace0 \uc4f4\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.7. (\ud14c\uc77c\ub7ec \uc815\ub9ac)<\/span><\/p>\n<p>\uc5f4\ub9b0\uc9d1\ud569 \\(U\\subseteq\\mathbb{R}^n\\)\uc5d0\uc11c \\(f\\in C^{k+1}(U)\\)\uc774\uace0 \uc120\ubd84 \\([a,a+h]\\)\uac00 \\(U\\)\uc5d0 \ud3ec\ud568\ub41c\ub2e4\uace0 \ud558\uc790. \uadf8\ub7ec\uba74 \uc5b4\ub5a4 \\(\\theta\\in(0,1)\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\nf(a+h)<br \/>\n=<br \/>\n\\sum_{|\\alpha|\\le k}<br \/>\n\\frac{D^\\alpha f(a)}{\\alpha!}h^\\alpha<br \/>\n+<br \/>\nR_k(h),<br \/>\n\\]<br \/>\n\\[<br \/>\nR_k(h)<br \/>\n=<br \/>\n\\sum_{|\\alpha|=k+1}<br \/>\n\\frac{D^\\alpha f(a+\\theta h)}{\\alpha!}h^\\alpha<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud55c\ub2e4. \ud2b9\ud788 \\(h\\to0\\)\uc77c \ub54c \\(R_k(h)=O(\\|h\\|^{k+1})\\)\uc774\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\[<br \/>\n\\phi(t)=f(a+th),<br \/>\n\\qquad<br \/>\n0\\le t\\le1<br \/>\n\\]<br \/>\n\ub85c \ub450\uc790. \uc5f0\uc1c4\ubc95\uce59\uacfc \ub2e4\ud56d\uc815\ub9ac\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\n\\phi^{(m)}(t)<br \/>\n=<br \/>\n\\sum_{|\\alpha|=m}<br \/>\n\\frac{m!}{\\alpha!}<br \/>\nD^\\alpha f(a+th)h^\\alpha.<br \/>\n\\]<br \/>\n\\(\\phi\\)\uc5d0 <a href=\"\/blog\/invitation-to-mathematical-analysis\/ch05-differentiation-of-functions-of-one-variable\">\uc815\ub9ac 5.9\uc758 \ud14c\uc77c\ub7ec \uc815\ub9ac<\/a>\ub97c \uc801\uc6a9\ud558\uba74 \uc5b4\ub5a4 \\(\\theta\\in(0,1)\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\phi(1)<br \/>\n=<br \/>\n\\sum_{m=0}^{k}\\frac{\\phi^{(m)}(0)}{m!}<br \/>\n+<br \/>\n\\frac{\\phi^{(k+1)}(\\theta)}{(k+1)!}<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud55c\ub2e4. \uc704\uc758 \\(\\phi^{(m)}\\) \uacf5\uc2dd\uc744 \ub300\uc785\ud558\uba74 \ub450 \uc2dd\uc758 \uba85\uc2dc\ub41c \uc804\uac1c\uc640 \ub098\uba38\uc9c0 \uacf5\uc2dd\uc744 \uc5bb\ub294\ub2e4.<\/p>\n<p>\uc774\uc81c \\(h\\to0\\)\uc73c\ub85c \ubcf4\uc790. \\(|\\alpha|=k+1\\)\uc778 \ub2e4\uc911\uc9c0\ud45c\ub294 \uc720\ud55c \uac1c\uc774\uace0 \uac01 \\(D^\\alpha f\\)\ub294 \\(a\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \uc720\uacc4\uc774\ub2e4. \ub610\ud55c \\(|h^\\alpha|\\le\\|h\\|^{k+1}\\)\uc774\ubbc0\ub85c \uc5b4\ub5a4 \uc0c1\uc218 \\(C&gt;0\\)\uac00 \uc874\uc7ac\ud558\uc5ec \ucda9\ubd84\ud788 \uc791\uc740 \\(h\\)\uc5d0 \ub300\ud574<br \/>\n\\[<br \/>\n|R_k(h)|<br \/>\n\\le<br \/>\nC\\|h\\|^{k+1}.<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c \\(R_k(h)=O(\\|h\\|^{k+1})\\)\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.13.<\/span><br \/>\n\uc810 \\(a\\)\uc640 \ud568\uc218 \\(f\\)\uac00 \ub2e4\uc74c\uacfc \uac19\uc744 \ub54c, \\(a\\)\ub97c \uc911\uc2ec\uc73c\ub85c \ud558\ub294 \\(f\\)\uc758 \\(3\\)\ucc28 \ud14c\uc77c\ub7ec \ub2e4\ud56d\uc2dd\uc744 \uad6c\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f(x,y)=\\sqrt{x}+\\sqrt{y}\\), \\(a=(1,4)\\).<\/li>\n<li>\\(f(x,y)=e^{xy}\\), \\(a=(0,0)\\).<\/li>\n<\/ol>\n<\/div>\n<p>\uc810 \\(a\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \\(f\\in C^2\\)\uc774\uba74 2\ucc28 \ud14c\uc77c\ub7ec \uc804\uac1c\ub294<br \/>\n\\[<br \/>\nf(a+h)<br \/>\n=<br \/>\nf(a)<br \/>\n+<br \/>\n\\nabla f(a)\\cdot h<br \/>\n+<br \/>\n\\frac12h^{\\top}H_f(a)h<br \/>\n+<br \/>\no(\\|h\\|^2)<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uc5ec\uae30\uc11c<br \/>\n\\[<br \/>\nH_f(a)<br \/>\n=<br \/>\n\\left(<br \/>\n\\frac{\\partial^2f}{\\partial x_i\\partial x_j}(a)<br \/>\n\\right)_{i,j}\\tag{9.2}<br \/>\n\\]<br \/>\n\ub97c <span class=\"defined\">\ud5e4\uc138 \ud589\ub82c<\/span>(Hessian matrix)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. \ud074\ub808\ub85c \uc815\ub9ac(\uc815\ub9ac 9.5)\uc5d0 \uc758\ud574 \\(H_f(a)\\)\ub294 \ub300\uce6d\ud589\ub82c\uc774\ub2e4.<\/p>\n<p>\uc2e4\ub300\uce6d\ud589\ub82c \\(H\\)\uc5d0 \ub300\ud558\uc5ec \ubaa8\ub4e0 \\(0\\ne v\\in\\mathbb{R}^n\\)\uc5d0\uc11c \\(v^{\\top}Hv&gt;0\\)\uc774\uba74 <span class=\"defined\">\uc591\uc758 \uc815\ubd80\ud638<\/span>(positive definite), \ud56d\uc0c1 \\(v^{\\top}Hv&lt;0\\)\uc774\uba74 <span class=\"defined\">\uc74c\uc758 \uc815\ubd80\ud638<\/span>(negative definite)\ub77c\uace0 \ud55c\ub2e4. \uc591\uc218\uc640 \uc74c\uc218 \uac12\uc744 \ubaa8\ub450 \ucde8\ud558\uba74 <span class=\"defined\">\ubd80\uc815\ubd80\ud638<\/span>(indefinite)\ub77c\uace0 \ud55c\ub2e4.<\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uac00 \\(a\\)\uc5d0\uc11c \uad6d\uc18c\uadf9\uac12\uc744 \uac00\uc9c0\uace0 \ubbf8\ubd84 \uac00\ub2a5\ud558\uba74 \ubaa8\ub4e0 \ubc29\ud5a5\ub3c4\ud568\uc218\uac00 \\(0\\)\uc774\ubbc0\ub85c \\(\\nabla f(a)=0\\)\uc774\ub2e4. \ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218\uc5d0\uc11c \\(\\nabla f(a)=0\\)\uc778 \uc810\uc744 <span class=\"defined\">\uc784\uacc4\uc810<\/span>(critical point)\uc774\ub77c\uace0 \ubd80\ub978\ub2e4. 2\ucc28 \ud14c\uc77c\ub7ec \uc804\uac1c\ub294 \uc784\uacc4\uc810\uc758 \uc131\uc9c8\uc744 \ud310\uc815\ud558\ub294 \ub2e4\uc74c \uacb0\uacfc\ub97c \uc900\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p class=\"marginbottomhalf\"><span class=\"definition\">\uc815\ub9ac 9.8. (\uc774\uacc4\ub3c4\ud568\uc218 \ud310\uc815\ubc95)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\)\uac00 \\(a\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \\(C^2\\)\uc774\uace0 \\(\\nabla f(a)=0\\)\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c \ub2e4\uc74c\uc774 \uc131\ub9bd\ud55c\ub2e4.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(H_f(a)\\)\uac00 \uc591\uc758 \uc815\ubd80\ud638\uc774\uba74 \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uadf9\uc19f\uac12\uc744 \uac00\uc9c4\ub2e4.<\/li>\n<li>\\(H_f(a)\\)\uac00 \uc74c\uc758 \uc815\ubd80\ud638\uc774\uba74 \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uadf9\ub313\uac12\uc744 \uac00\uc9c4\ub2e4.<\/li>\n<li>\\(H_f(a)\\)\uac00 \ubd80\uc815\ubd80\ud638\uc774\uba74 \\(f\\)\ub294 \\(a\\)\uc5d0\uc11c \uc548\uc7a5\uc810\uc744 \uac00\uc9c4\ub2e4.<\/li>\n<\/ol>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(q(v)=v^{\\top}H_f(a)v\\)\ub77c\uace0 \ud558\uc790. \\(\\nabla f(a)=0\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\nf(a+h)-f(a)<br \/>\n=<br \/>\n\\frac12q(h)+o(\\|h\\|^2).<br \/>\n\\]<\/p>\n<p>\uba3c\uc800 \\(H_f(a)\\)\uac00 \uc591\uc758 \uc815\ubd80\ud638\ub77c\uace0 \ud558\uc790. \ub2e8\uc704\uad6c\uba74<br \/>\n\\[<br \/>\nS^{n-1}=\\{v:\\|v\\|=1\\}<br \/>\n\\]<br \/>\n\uc740 \ucef4\ud329\ud2b8\ud558\uace0 \\(q\\)\ub294 \uc5f0\uc18d\uc774\ubbc0\ub85c \\(q\\)\ub294 \\(S^{n-1}\\)\uc5d0\uc11c \ucd5c\uc19f\uac12 \\(\\mu\\)\ub97c \uac00\uc9c4\ub2e4. \uc591\uc758 \uc815\ubd80\ud638\uc131\uc5d0 \uc758\ud574 \\(\\mu&gt;0\\)\uc774\ub2e4. \\(h\\ne0\\)\uc774\uba74<br \/>\n\\[<br \/>\nq(h)<br \/>\n=<br \/>\n\\|h\\|^2<br \/>\nq\\left(\\frac{h}{\\|h\\|}\\right)<br \/>\n\\ge<br \/>\n\\mu\\|h\\|^2.<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c \ucda9\ubd84\ud788 \uc791\uc740 \\(h\\ne0\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\nf(a+h)-f(a)<br \/>\n\\ge<br \/>\n\\frac{\\mu}{2}\\|h\\|^2<br \/>\n&#8211;<br \/>\n\\frac{\\mu}{4}\\|h\\|^2<br \/>\n&gt;0,<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \\(a\\)\ub294 \uad6d\uc18c\uadf9\uc19f\uac12\uc774\ub2e4. \uc74c\uc758 \uc815\ubd80\ud638\uc778 \uacbd\uc6b0\uc5d0\ub294 \\(-f\\)\uc5d0 \uac19\uc740 \ub17c\uc99d\uc744 \uc801\uc6a9\ud558\uba74 \uad6d\uc18c\uadf9\ub313\uac12\uc744 \uc5bb\ub294\ub2e4.<\/p>\n<p>\ub9c8\uc9c0\ub9c9\uc73c\ub85c \\(H_f(a)\\)\uac00 \ubd80\uc815\ubd80\ud638\uc774\uba74 \\(q(u)&gt;0\\), \\(q(v)&lt;0\\)\uc778 \ub2e8\uc704\ubca1\ud130 \\(u,v\\)\uac00 \uc874\uc7ac\ud55c\ub2e4. \ub530\ub77c\uc11c \ucda9\ubd84\ud788 \uc791\uc740 \\(t\\ne0\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\nf(a+tu)-f(a)&gt;0,<br \/>\n\\qquad<br \/>\nf(a+tv)-f(a)&lt;0.<br \/>\n\\]<br \/>\n\uadf8\ub7ec\ubbc0\ub85c \\(a\\)\uc758 \uc784\uc758\uc758 \uadfc\ubc29\uc5d0\ub294 \\(f(a)\\)\ubcf4\ub2e4 \ud070 \uac12\uacfc \uc791\uc740 \uac12\uc744 \ubaa8\ub450 \uc8fc\ub294 \uc810\uc774 \uc874\uc7ac\ud558\uba70, \\(a\\)\ub294 \uc548\uc7a5\uc810\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.14.<\/span><br \/>\n\ub2e4\uc74c\uacfc \uac19\uc740 \ud568\uc218 \\(f\\)\uc758 \uadf9\uac12\uc744 \ubaa8\ub450 \uad6c\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f(x,y)=x^2-xy^3-y\\)<\/li>\n<li>\\(f(x,y,z)=e^{x+y}\\cos z\\)<\/li>\n<\/ol>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.15.<\/span><br \/>\n\ud568\uc218 \\(f\\)\uc640 \uc9d1\ud569 \\(H\\)\uac00 \ub2e4\uc74c\uacfc \uac19\uc774 \uc8fc\uc5b4\uc84c\uc744 \ub54c, \\(H\\) \uc704\uc5d0\uc11c \\(f\\)\uc758 \ucd5c\ub313\uac12\uacfc \ucd5c\uc19f\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f(x,y)=x^2+2x-y^2\\), \\(H=\\{(x,y)\\mid x^2+4y^2\\le4\\}\\).<\/li>\n<li>\\(f(x,y)=x^2+2xy+3y^2\\), \\(H\\)\ub294 \uc138 \uc810 \\((1,0)\\), \\((1,2)\\), \\((3,0)\\)\uc744 \uc787\ub294 \uc0bc\uac01\ud615\uc758 \uacbd\uacc4\uc640 \ub0b4\ubd80.<\/li>\n<li>\\(f(x,y)=x^3+3xy-y^3\\), \\(H=[-1,1]^2\\).<\/li>\n<\/ol>\n<\/div>\n<p>\uc774\uacc4\ub3c4\ud568\uc218 \ud310\uc815\ubc95\uc5d0\uc11c \ud5e4\uc138 \ud589\ub82c\uc774 \uc591\uc758 \uc900\uc815\ubd80\ud638(positive semidefinite) \ub610\ub294 \uc74c\uc758 \uc900\uc815\ubd80\ud638(negative semidefinite)\uc778 \uacbd\uc6b0\uc5d0\ub294 \uc774 \ud310\uc815\ubc95\ub9cc\uc73c\ub85c \uacb0\ub860\uc744 \ub0b4\ub9b4 \uc218 \uc5c6\ub2e4. \ub2e4\uc74c \uc608\ub97c \uc0b4\ud3b4\ubcf4\uc790.<\/p>\n<ul>\n<li>\\(f(x,y)=x^4+y^4\\)\ub294 \uc6d0\uc810\uc5d0\uc11c \\(H_f(0,0)=0\\)\uc774\uc9c0\ub9cc \uadf9\uc19f\uac12\uc744 \uac00\uc9c4\ub2e4.<\/li>\n<li>\\(f(x,y)=x^4-y^4\\)\ub294 \uc6d0\uc810\uc5d0\uc11c \\(H_f(0,0)=0\\)\uc774\uace0, \uc6d0\uc810\uc740 \uace1\uba74 \\(z=f(x,y)\\)\uc758 \uc548\uc7a5\uc810\uc774\ub2e4.<\/li>\n<li>\\(f(x,y)=x^3+y^3\\)\uc740 \uc6d0\uc810\uc5d0\uc11c \\(H_f(0,0)=0\\)\uc774\uace0, \uc6d0\uc810\uc740 \uace1\uba74 \\(z=f(x,y)\\)\uc758 \uc548\uc7a5\uc810\uc774\ub2e4.<\/li>\n<\/ul>\n<h3>\uc74c\ud568\uc218 \uc815\ub9ac\uc640 \uc5ed\ud568\uc218 \uc815\ub9ac<\/h3>\n<p>\\(F(x,y)=x^2+y^2-25\\)\ub77c\uace0 \ud558\uba74 \uc6d0\uc758 \ubc29\uc815\uc2dd \\(F(x,y)=0\\)\uc5d0\uc11c \\(y\\)\ub294 \\(x\\)\uc758 \ud568\uc218\uac00 \uc544\ub2c8\ub2e4. \uadf8\ub7ec\ub098 \uc6d0 \uc704\uc758 \uc810 \\((3,-4)\\)\ub97c \ud3ec\ud568\ud558\ub294 \\(y&lt;0\\)\uc778 \ubc94\uc704\ub97c \ucde8\ud558\uba74, \\(F(x,y)=0\\)\ub294<br \/>\n\\[<br \/>\ny=-\\sqrt{25-x^2}<br \/>\n\\]<br \/>\n\uc73c\ub85c \ub098\ud0c0\ub0bc \uc218 \uc788\uc73c\uba70, \\(y\\)\ub294 \\(x\\)\uc5d0 \ub300\ud558\uc5ec \ubbf8\ubd84 \uac00\ub2a5\ud55c \ud568\uc218\uac00 \ub41c\ub2e4.<\/p>\n<p>\uc774\ub7ec\ud55c \uacb0\uacfc\ub97c \ub354 \ub192\uc740 \ucc28\uc6d0\uc73c\ub85c \uc77c\ubc18\ud654\ud558\uba74 \ub2e4\uc74c\uacfc \uac19\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.9. (\uc74c\ud568\uc218 \uc815\ub9ac)<\/span><\/p>\n<p>\ud568\uc218 \\(F\\colon\\mathbb{R}^{n+m}\\to\\mathbb{R}^m\\)\uc774 \uc810 \\((a,b)\\in\\mathbb{R}^n\\times\\mathbb{R}^m\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \\(C^1\\)\uc774\uace0 \\(F(a,b)=0\\)\uc774\ub77c\uace0 \ud558\uc790. \\(y\\)\uc5d0 \ub300\ud55c \uc57c\ucf54\ube44 \ud589\ub82c<br \/>\n\\[<br \/>\nF_y(a,b)<br \/>\n=<br \/>\n\\left(<br \/>\n\\frac{\\partial F_i}{\\partial y_j}(a,b)<br \/>\n\\right)<br \/>\n\\]<br \/>\n\uac00 \uac00\uc5ed\uc774\uba74, \\(a\\)\uc758 \uadfc\ubc29 \\(U\\)\uc640 \\(b\\)\uc758 \uadfc\ubc29 \\(V\\), \uadf8\ub9ac\uace0 \uc720\uc77c\ud55c \\(C^1\\) \ud568\uc218 \\(g\\colon U\\to V\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n(x,y)\\in U\\times V<br \/>\n\\quad\\Longrightarrow\\quad<br \/>\nF(x,y)=0<br \/>\n\\ \\Longleftrightarrow\\<br \/>\ny=g(x)<br \/>\n\\]<br \/>\n\uac00 \uc131\ub9bd\ud55c\ub2e4. \ub610\ud55c<br \/>\n\\[<br \/>\nDg(x)<br \/>\n=<br \/>\n-\\bigl[F_y(x,g(x))\\bigr]^{-1}F_x(x,g(x)).<br \/>\n\\]<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\(A=F_y(a,b)\\)\ub77c\uace0 \ud558\uace0<br \/>\n\\[<br \/>\n\\Phi(x,y)<br \/>\n=<br \/>\ny-A^{-1}F(x,y)<br \/>\n\\]<br \/>\n\ub85c \ub450\uc790. \uadf8\ub7ec\uba74 \\(F(x,y)=0\\)\uc774\uae30 \uc704\ud55c \ud544\uc694\ucda9\ubd84\uc870\uac74\uc740 \\(y=\\Phi(x,y)\\)\uc774\ub2e4. \ub610\ud55c<br \/>\n\\[<br \/>\nD_y\\Phi(a,b)<br \/>\n=<br \/>\nI-A^{-1}F_y(a,b)<br \/>\n=<br \/>\n0.<br \/>\n\\]<br \/>\n\\(D_y\\Phi\\)\uc758 \uc5f0\uc18d\uc131\uc5d0 \uc758\ud574 \ucda9\ubd84\ud788 \uc791\uc740 \ub2eb\ud78c \uacf5\ub4e4\uc758 \uacf1<br \/>\n\\[<br \/>\nQ<br \/>\n=<br \/>\n\\overline B(a,\\delta)<br \/>\n\\times<br \/>\n\\overline B(b,\\varepsilon)<br \/>\n\\]<br \/>\n\uc5d0\uc11c<br \/>\n\\[<br \/>\n\\|D_y\\Phi(x,y)\\|<br \/>\n\\le\\frac12<br \/>\n\\]<br \/>\n\uac00 \ub418\uac8c \ud560 \uc218 \uc788\ub2e4. \\(\\delta\\)\ub97c \ub354 \uc791\uac8c \uc7a1\uc73c\uba74<br \/>\n\\[<br \/>\n\\|\\Phi(x,b)-b\\|<br \/>\n&lt;<br \/>\n\\frac{\\varepsilon}{2}<br \/>\n\\qquad<br \/>\n(\\|x-a\\|\\le\\delta)<br \/>\n\\]<br \/>\n\ub3c4 \uc131\ub9bd\ud55c\ub2e4.<\/p>\n<p>\\(x\\)\ub97c \uace0\uc815\ud558\uc790. \uc120\ubd84\uc744 \ub530\ub77c \ubbf8\uc801\ubd84\uc758 \uae30\ubcf8\uc815\ub9ac\ub97c \uc131\ubd84\ubcc4\ub85c \uc801\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\n\\|\\Phi(x,y_1)-\\Phi(x,y_2)\\|<br \/>\n\\le<br \/>\n\\frac12\\|y_1-y_2\\|<br \/>\n\\]<br \/>\n\uc774\uace0, \\(\\|y-b\\|\\le\\varepsilon\\)\uc774\uba74<br \/>\n\\[<br \/>\n\\|\\Phi(x,y)-b\\|<br \/>\n\\le<br \/>\n\\frac12\\|y-b\\|<br \/>\n+<br \/>\n\\frac{\\varepsilon}{2}<br \/>\n\\le<br \/>\n\\varepsilon.<br \/>\n\\]<br \/>\n<a href=\"\/blog\/invitation-to-mathematical-analysis\/ch03-limit-of-sequences\">\uc815\ub9ac 3.2\uc758 \uc720\ud074\ub9ac\ub4dc \uacf5\uac04\uc758 \uc644\ube44\uc131<\/a>\uc5d0 \uc758\ud574 \\(\\mathbb{R}^m\\)\uc740 \uc644\ube44\uc774\uace0, \uadf8 \ub2eb\ud78c\ubd80\ubd84\uc9d1\ud569 \\(\\overline B(b,\\varepsilon)\\)\ub3c4 \uc644\ube44\uc774\ub2e4. \ub530\ub77c\uc11c \\(\\Phi_x(y)=\\Phi(x,y)\\)\ub294 \uc644\ube44\uac70\ub9ac\uacf5\uac04 \\(\\overline B(b,\\varepsilon)\\)\uc744 \uc790\uae30 \uc790\uc2e0\uc73c\ub85c \ubcf4\ub0b4\ub294 \ucd95\uc18c\uc0ac\uc0c1\uc774\ub2e4. <a href=\"\/blog\/invitation-to-mathematical-analysis\/ch04-limit-of-functions-and-continuity\">\ubb38\uc81c 4.23\uc758 \ubc14\ub098\ud750 \uace0\uc815\uc810 \uc815\ub9ac<\/a>\uc5d0 \uc758\ud574 \uac01 \\(x\\in B(a,\\delta)\\)\uc5d0 \ub300\ud558\uc5ec \uc720\uc77c\ud55c \uace0\uc815\uc810 \\(g(x)\\in\\overline B(b,\\varepsilon)\\)\uc774 \uc874\uc7ac\ud55c\ub2e4. \uace7<br \/>\n\\[<br \/>\nF(x,g(x))=0<br \/>\n\\]<br \/>\n\uc774\uace0, \uac19\uc740 \uacf5 \uc548\uc758 \ub2e4\ub978 \\(y\\)\uac00 \\(F(x,y)=0\\)\uc744 \ub9cc\uc871\uc2dc\ud0a4\uba74 \uace0\uc815\uc810\uc758 \uc720\uc77c\uc131\uc5d0 \uc758\ud574 \\(y=g(x)\\)\uc774\ub2e4.<\/p>\n<p>\uc774\uc81c \\(g\\)\uc758 \uc815\uce59\uc131\uc744 \ubcf4\uc774\uc790. \\(Q\\)\uc5d0\uc11c \\(D_x\\Phi\\)\ub294 \uc720\uacc4\uc774\ubbc0\ub85c \uc5b4\ub5a4 \\(M&gt;0\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\|\\Phi(x_1,y)-\\Phi(x_2,y)\\|<br \/>\n\\le<br \/>\nM\\|x_1-x_2\\|<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uace0\uc815\uc810 \ubc29\uc815\uc2dd\uc744 \uc774\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\n\\|g(x_1)-g(x_2)\\|<br \/>\n\\le<br \/>\nM\\|x_1-x_2\\|<br \/>\n+<br \/>\n\\frac12\\|g(x_1)-g(x_2)\\|,<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c<br \/>\n\\[<br \/>\n\\|g(x_1)-g(x_2)\\|<br \/>\n\\le<br \/>\n2M\\|x_1-x_2\\|.<br \/>\n\\]<br \/>\n\uc989 \\(g\\)\ub294 \uad6d\uc18c\uc801\uc73c\ub85c \ub9bd\uc2dc\uce20 \uc5f0\uc18d\uc774\ub2e4. \ud2b9\ud788 \\(g(a)=b\\)\uc774\ubbc0\ub85c \\(a\\)\uc758 \uadfc\ubc29\uc744 \ub354 \uc791\uac8c \uc7a1\uc73c\uba74 \\(g(U)\\subseteq B(b,\\varepsilon)\\)\uc774 \ub418\uac8c \ud560 \uc218 \uc788\ub2e4. \uc774\uc81c \\(V=B(b,\\varepsilon)\\)\ub85c \ub450\uba74 \\(U\\times V\\)\uc5d0\uc11c \\(F(x,y)=0\\)\uc774\uae30 \uc704\ud55c \ud544\uc694\ucda9\ubd84\uc870\uac74\uc740 \\(y=g(x)\\)\uc774\ub2e4.<\/p>\n<p>\uace0\uc815\ub41c \\(x\\in U\\)\uc5d0\uc11c \\(y=g(x)\\)\ub77c \ud558\uace0,<br \/>\n\\[<br \/>\nk=g(x+h)-g(x)<br \/>\n\\]<br \/>\n\ub85c \ub450\uc790. \uc704 \ucd94\uc815\uc5d0 \uc758\ud574 \\(\\|k\\|=O(\\|h\\|)\\)\uc774\ub2e4. \\(F\\)\uc758 \uc804\ubbf8\ubd84 \uac00\ub2a5\uc131\uc744 \\((x,y)\\)\uc5d0\uc11c \uc0ac\uc6a9\ud558\uba74<br \/>\n\\[<br \/>\n0<br \/>\n=<br \/>\nF(x+h,y+k)-F(x,y)<br \/>\n=<br \/>\nF_x(x,y)h+F_y(x,y)k+r(h,k),<br \/>\n\\]<br \/>\n\uc5ec\uae30\uc11c<br \/>\n\\[<br \/>\n\\|r(h,k)\\|<br \/>\n=<br \/>\no\\left(\\sqrt{\\|h\\|^2+\\|k\\|^2}\\right)<br \/>\n=<br \/>\no(\\|h\\|)<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ud55c\ud3b8 \\(Q\\)\ub97c \ucda9\ubd84\ud788 \uc791\uac8c \uc7a1\uc558\uc73c\ubbc0\ub85c<br \/>\n\\[<br \/>\n\\|I-A^{-1}F_y(x,y)\\|&lt;1.<br \/>\n\\]<br \/>\n\ub9cc\uc57d \\(F_y(x,y)v=0\\)\uc774\uba74<br \/>\n\\[<br \/>\n\\|v\\|<br \/>\n=<br \/>\n\\|(I-A^{-1}F_y(x,y))v\\|<br \/>\n&lt;<br \/>\n\\|v\\|<br \/>\n\\]<br \/>\n\uac00 \ub418\uc5b4 \ubaa8\uc21c\uc774\ubbc0\ub85c, \\(F_y(x,y)\\)\ub294 \uc77c\ub300\uc77c\uc774\uace0 \ub530\ub77c\uc11c \uac00\uc5ed\uc774\ub2e4. \uadf8\ub7ec\ubbc0\ub85c<br \/>\n\\[<br \/>\nk<br \/>\n=<br \/>\n-F_y(x,y)^{-1}F_x(x,y)h<br \/>\n+<br \/>\no(\\|h\\|).<br \/>\n\\]<br \/>\n\uc989 \\(g\\)\ub294 \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0<br \/>\n\\[<br \/>\nDg(x)<br \/>\n=<br \/>\n-F_y(x,g(x))^{-1}F_x(x,g(x)).<br \/>\n\\]<br \/>\n\uac00\uc5ed\ud589\ub82c \\(B\\)\uc5d0 \ub300\ud55c \uacf5\uc2dd<br \/>\n\\[<br \/>\nB^{-1}<br \/>\n=<br \/>\n\\frac{\\operatorname{adj}(B)}{\\det B}<br \/>\n\\]<br \/>\n\uc5d0\uc11c \ud589\ub82c\uc758 \uc5ed\uc5f0\uc0b0\uc740 \uac00\uc5ed\ud589\ub82c\ub4e4\uc758 \uc9d1\ud569\uc5d0\uc11c \uc5f0\uc18d\uc784\uc744 \uc54c \uc218 \uc788\ub2e4. \ub530\ub77c\uc11c \uc6b0\ubcc0\uc740 \\(x\\)\uc5d0 \ub300\ud558\uc5ec \uc5f0\uc18d\uc774\uace0 \\(g\\in C^1\\)\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\uc74c\ud568\uc218 \uc815\ub9ac\ub97c \uc0ac\uc6a9\ud560 \ub54c \uc5fc\ub450\uc5d0 \ub458 \uc810\uc740 \ub2e4\uc74c\uacfc \uac19\ub2e4.<\/p>\n<ol class=\"parenthesis\">\n<li>\uc74c\ud568\uc218 \uc815\ub9ac\ub294 \uad6d\uc18c\uc801 \uacb0\uacfc\uc774\ub2e4. \uc989 \uc804\uc5ed\uc801\uc73c\ub85c\ub294 \uc5ec\ub7ec \uac1c\uc758 \ud574\uac00 \uc874\uc7ac\ud560 \uc218 \uc788\ub2e4. \uc608\ub97c \ub4e4\uc5b4, \\(x^2+y^2=25\\)\uc5d0\uc11c \\(y\\)\ub97c \\(x\\)\uc758 \ud568\uc218\ub85c \ub098\ud0c0\ub0b4\uba74 \uad6d\uc18c\uc801\uc73c\ub85c\ub9cc \uac00\ub2a5\ud558\ub2e4.<\/li>\n<li>\\(F_y\\)\uac00 \uac00\uc5ed\uc774 \uc544\ub2c8\uba74 \uc74c\ud568\uc218\uac00 \uc874\uc7ac\ud558\uc9c0 \uc54a\uac70\ub098 \uc720\uc77c\ud558\uc9c0 \uc54a\uc744 \uc218 \uc788\ub2e4. \uc608\ub97c \ub4e4\uc5b4 \\(F(x,y)=x^2-y^2\\)\uc5d0\uc11c\ub294 \\((0,0)\\)\uc5d0\uc11c \\(F_y=0\\)\uc774\uace0, \ud574\uac00 \\(y=x\\)\uc640 \\(y=-x\\) \ub450 \uac00\uc9c0 \uac00\uc9c0\ub97c \uac00\uc9c0\ubbc0\ub85c \uc6d0\uc810 \uadfc\ucc98\uc5d0\uc11c \\(y\\)\ub97c \\(x\\)\uc758 \ud568\uc218\ub85c \uc720\uc77c\ud558\uac8c \ub098\ud0c0\ub0bc \uc218 \uc5c6\ub2e4.<\/li>\n<li>\ub354 \uc77c\ubc18\uc801\uc73c\ub85c \\(k\\ge1\\)\uc774\uace0 \\(F\\)\uac00 \\(C^k\\)\uc774\uba74 \\(g\\)\ub3c4 \\(C^k\\)\uc774\ub2e4. \uc774\ub294 \uc704 \ubbf8\ubd84 \uacf5\uc2dd\uc744 \ubc18\ubcf5\ud558\uc5ec \uc801\uc6a9\ud558\uba74 \uc5bb\uc744 \uc218 \uc788\uc73c\uba70, \uc5ec\uae30\uc11c\ub294 \ubcc4\ub3c4\ub85c \uc99d\uba85\ud558\uc9c0 \uc54a\ub294\ub2e4.<\/li>\n<\/ol>\n<div class=\"example\">\n<p><span class=\"example\">\ubcf4\uae30 9.10.<\/span><\/p>\n<p>\ubc29\uc815\uc2dd<br \/>\n\\[<br \/>\nx^3+y^3+xy-3=0<br \/>\n\\]<br \/>\n\uc774 \uc810 \\((1,1)\\) \uadfc\ucc98\uc5d0\uc11c \\(y=g(x)\\) \ud615\ud0dc\ub85c \uc720\uc77c\ud558\uac8c \ud480 \uc218 \uc788\ub294\uc9c0 \ud655\uc778\ud574\ubcf4\uc790.<\/p>\n<p>\\(F(x,y)=x^3+y^3+xy-3\\)\uc774\ub77c \ud558\uba74<br \/>\n\\[<br \/>\n\\begin{aligned}<br \/>\nF(1,1)&#038;=1+1+1-3=0,\\\\<br \/>\n\\frac{\\partial F}{\\partial y}(x,y)&#038;=3y^2+x,<br \/>\n&#038;<br \/>\n\\frac{\\partial F}{\\partial x}(x,y)&#038;=3x^2+y,\\\\<br \/>\n\\frac{\\partial F}{\\partial y}(1,1)&#038;=4\\ne0,<br \/>\n&#038;<br \/>\n\\frac{\\partial F}{\\partial x}(1,1)&#038;=4<br \/>\n\\end{aligned}<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ub530\ub77c\uc11c \uc74c\ud568\uc218 \uc815\ub9ac\uc5d0 \uc758\ud574 \\((1,1)\\) \uadfc\ucc98\uc5d0\uc11c \uc8fc\uc5b4\uc9c4 \ubc29\uc815\uc2dd\uc744 \\(y=g(x)\\)\ub85c \uc720\uc77c\ud558\uac8c \ub098\ud0c0\ub0bc \uc218 \uc788\uc73c\uba70,<br \/>\n\\[<br \/>\ng'(1)<br \/>\n=<br \/>\n-\\frac{\\partial F\/\\partial x(1,1)}<br \/>\n{\\partial F\/\\partial y(1,1)}<br \/>\n=<br \/>\n-\\frac44<br \/>\n=<br \/>\n-1.<br \/>\n\\]<\/p>\n<\/div>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.11. (\uc5ed\ud568\uc218 \uc815\ub9ac)<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^n\\)\uc774 \uc810 \\(a\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \\(C^1\\)\uc774\uace0 \\(Df(a)\\)\uac00 \uac00\uc5ed\uc774\uba74, \\(a\\)\uc758 \uadfc\ubc29 \\(U\\)\uc640 \\(f(a)\\)\uc758 \uadfc\ubc29 \\(V\\)\uac00 \uc874\uc7ac\ud558\uc5ec \\(f\\colon U\\to V\\)\ub294 \uc77c\ub300\uc77c\ub300\uc751\uc774\ub2e4. \uc5ed\ud568\uc218 \\(f^{-1}\\colon V\\to U\\)\ub3c4 \\(C^1\\)\uc774\uace0<br \/>\n\\[<br \/>\nD(f^{-1})(y)<br \/>\n=<br \/>\n\\bigl[Df(f^{-1}(y))\\bigr]^{-1}<br \/>\n\\]<br \/>\n\uc744 \ub9cc\uc871\uc2dc\ud0a8\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\ub3c5\ub9bd\ubcc0\uc218\ub97c \\(y\\), \ud480\uc5b4\uc57c \ud560 \ubcc0\uc218\ub97c \\(x\\)\ub85c \ubcf4\uace0<br \/>\n\\[<br \/>\nF(y,x)=f(x)-y<br \/>\n\\]<br \/>\n\ub77c\uace0 \ud558\uc790. \uadf8\ub7ec\uba74 \\(F(f(a),a)=0\\)\uc774\uace0<br \/>\n\\[<br \/>\nF_x(f(a),a)=Df(a)<br \/>\n\\]<br \/>\n\uac00 \uac00\uc5ed\uc774\ub2e4. \uc74c\ud568\uc218 \uc815\ub9ac\uc5d0 \uc758\ud574 \\(f(a)\\)\uc758 \uadfc\ubc29 \\(V_0\\), \\(a\\)\uc758 \uadfc\ubc29 \\(U_0\\), \uadf8\ub9ac\uace0 \\(C^1\\) \ud568\uc218 \\(g\\colon V_0\\to U_0\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\nf(g(y))=y<br \/>\n\\qquad<br \/>\n(y\\in V_0)<br \/>\n\\]<br \/>\n\uc774\uace0, \\(x\\in U_0\\)\uc5d0\uc11c \\(f(x)=y\\)\uc778 \ud574\ub294 \\(x=g(y)\\)\ub85c \uc720\uc77c\ud558\ub2e4.<\/p>\n<p>\\(f\\)\uc758 \uc5f0\uc18d\uc131\uc5d0 \uc758\ud574 \\(a\\)\uc758 \uc5f4\ub9b0\uadfc\ubc29 \\(W\\subseteq U_0\\)\ub97c \ucda9\ubd84\ud788 \uc791\uac8c \uc7a1\uc544 \\(f(W)\\subseteq V_0\\)\uc774 \ub418\uac8c \ud560 \uc218 \uc788\ub2e4. \uadf8\ub7ec\uba74 \\(x\\in W\\)\uc5d0 \ub300\ud558\uc5ec \\(x\\)\uc640 \\(g(f(x))\\)\ub294 \ubaa8\ub450 \\(U_0\\) \uc548\uc5d0\uc11c \ubc29\uc815\uc2dd \\(f(z)=f(x)\\)\uc758 \ud574\uc774\ubbc0\ub85c \uad6d\uc18c \uc720\uc77c\uc131\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\ng(f(x))=x.<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c \\(f\\)\ub294 \\(W\\)\uc5d0\uc11c \uc77c\ub300\uc77c\uc774\ub2e4.<\/p>\n<p>\uc774\uc81c \\(g\\)\uc758 \uc5f0\uc18d\uc131\uc744 \uc774\uc6a9\ud558\uc5ec \\(f(a)\\)\uc758 \ub354 \uc791\uc740 \uc5f4\ub9b0\uadfc\ubc29 \\(V\\subseteq V_0\\)\ub97c \uc7a1\uc544 \\(g(V)\\subseteq W\\)\uac00 \ub418\uac8c \ud558\uace0<br \/>\n\\[<br \/>\nU=W\\cap f^{-1}(V)<br \/>\n\\]<br \/>\n\ub85c \ub454\ub2e4. \uadf8\ub7ec\uba74 \\(U\\)\ub294 \\(a\\)\uc758 \uc5f4\ub9b0\uadfc\ubc29\uc774\uace0, \\(f\\colon U\\to V\\)\ub294 \uc77c\ub300\uc77c\ub300\uc751\uc774\uba70 \uc5ed\ud568\uc218\ub294 \\(g|_V\\)\uc774\ub2e4. \uc74c\ud568\uc218 \uc815\ub9ac\uc758 \ubbf8\ubd84 \uacf5\uc2dd\uc5d0\uc11c<br \/>\n\\[<br \/>\n\\begin{aligned}<br \/>\nDg(y)<br \/>\n&#038;=<br \/>\n-[F_x(y,g(y))]^{-1}F_y(y,g(y))\\\\<br \/>\n&#038;=<br \/>\n[Df(g(y))]^{-1}<br \/>\n\\end{aligned}<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \uc6d0\ud558\ub294 \uacf5\uc2dd\uc744 \uc5bb\ub294\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\ud568\uc218 \\(f\\colon U\\to V\\)\uac00 \uc77c\ub300\uc77c\ub300\uc751\uc774\uace0 \\(f\\)\uc640 \\(f^{-1}\\)\uac00 \ubaa8\ub450 \\(C^1\\)\uc774\uba74 \\(f\\)\ub97c <span class=\"defined\">\ubbf8\ubd84\ub3d9\ud615\uc0ac\uc0c1<\/span>(diffeomorphism)\uc774\ub77c\uace0 \ud55c\ub2e4. \ubaa8\ub4e0 \uc810\uc774 \uc5b4\ub5a4 \uadfc\ubc29\uc5d0\uc11c \uc774\ub7ec\ud55c \uc131\uc9c8\uc744 \uac00\uc9c0\uba74 <span class=\"defined\">\uad6d\uc18c \ubbf8\ubd84\ub3d9\ud615\uc0ac\uc0c1<\/span>(local diffeomorphism)\uc774\ub77c\uace0 \ud55c\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p class=\"marginbottomhalf\"><span class=\"definition\">\ub530\ub984\uc815\ub9ac 9.12.<\/span><\/p>\n<p>\ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}^n\\)\uc774 \uc5f4\ub9b0\uc9d1\ud569 \\(\\Omega\\)\uc5d0\uc11c \\(C^1\\)\uc774\uace0 \ubaa8\ub4e0 \uc810\uc5d0\uc11c \\(Df(x)\\)\uac00 \uac00\uc5ed\uc774\uba74 \ub2e4\uc74c\uc774 \uc131\ub9bd\ud55c\ub2e4.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f\\)\ub294 \uad6d\uc18c \ubbf8\ubd84\ub3d9\ud615\uc0ac\uc0c1\uc774\ub2e4.<\/li>\n<li>\\(f(\\Omega)\\)\ub294 \uc5f4\ub9b0\uc9d1\ud569\uc774\ub2e4.<\/li>\n<li>\\(f\\)\uac00 \uc77c\ub300\uc77c\uc774\uba74 \\(f\\colon\\Omega\\to f(\\Omega)\\)\ub294 \ubbf8\ubd84\ub3d9\ud615\uc0ac\uc0c1\uc774\ub2e4.<\/li>\n<\/ol>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\uccab \ubc88\uc9f8 \uba85\uc81c\ub294 \uc5ed\ud568\uc218 \uc815\ub9ac\uc5d0\uc11c \ubc14\ub85c \ub530\ub978\ub2e4. \uac01 \\(x\\in\\Omega\\)\uc5d0 \ub300\ud558\uc5ec \\(f(x)\\)\ub294 \uc5b4\ub5a4 \uc5f4\ub9b0\uadfc\ubc29 \\(V_x\\subseteq f(\\Omega)\\)\ub97c \uac00\uc9c0\ubbc0\ub85c<br \/>\n\\[<br \/>\nf(\\Omega)<br \/>\n=<br \/>\n\\bigcup_{x\\in\\Omega}V_x<br \/>\n\\]<br \/>\n\ub294 \uc5f4\ub9b0\uc9d1\ud569\uc774\ub2e4. \ub9c8\uc9c0\ub9c9\uc73c\ub85c \\(f\\)\uac00 \uc77c\ub300\uc77c\uc774\uba74 \uad6d\uc18c\uc5ed\ud568\uc218\ub4e4\uc740 \uc804\uc5ed\uc801\uc778 \uc5ed\ud568\uc218 \\(f^{-1}\\)\uc758 \uc81c\ud55c\uc774\uba70, \uac01 \uc810\uc5d0\uc11c \\(C^1\\)\uc774\ubbc0\ub85c \\(f^{-1}\\)\ub3c4 \\(C^1\\)\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\uc5ed\ud568\uc218 \uc815\ub9ac\ub294 \ube44\uc120\ud615 \ud568\uc218\uac00 \uad6d\uc18c\uc801\uc73c\ub85c \uc120\ud615\ubcc0\ud658\ucc98\ub7fc \ud589\ub3d9\ud568\uc744 \ubcf4\uc5ec\uc900\ub2e4. \uc810 \\(a\\) \uadfc\ucc98\uc5d0\uc11c \\(f\\)\ub294 \uadfc\uc0ac\uc801\uc73c\ub85c<br \/>\n\\[<br \/>\nf(x)<br \/>\n\\approx<br \/>\nf(a)+Df(a)(x-a)<br \/>\n\\]<br \/>\n\uc774\uace0, \\(Df(a)\\)\uac00 \uac00\uc5ed\uc774\uba74 \uc774 \uc120\ud615\uadfc\uc0ac\uac00 \uad6d\uc18c\uc801\uc73c\ub85c \uc77c\ub300\uc77c\ub300\uc751\uc774 \ub41c\ub2e4.<\/p>\n<div class=\"example\">\n<p><span class=\"example\">\ubcf4\uae30 9.13.<\/span><\/p>\n<p>\uadf9\uc88c\ud45c \ubcc0\ud658<br \/>\n\\[<br \/>\nf(r,\\theta)<br \/>\n=<br \/>\n(r\\cos\\theta,r\\sin\\theta)<br \/>\n\\]<br \/>\n\ub97c \uc0dd\uac01\ud558\uc790. \\(f\\)\uc758 \uc57c\ucf54\ube44 \ud589\ub82c\uc740<br \/>\n\\[<br \/>\nDf(r,\\theta)<br \/>\n=<br \/>\n\\begin{pmatrix}<br \/>\n\\cos\\theta &#038; -r\\sin\\theta\\\\<br \/>\n\\sin\\theta &#038; r\\cos\\theta<br \/>\n\\end{pmatrix}<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uc774 \ud589\ub82c\uc758 \ud589\ub82c\uc2dd\uc774 \\(\\det(Df)=r\\)\uc774\ubbc0\ub85c \\(r\\ne0\\)\uc778 \ubaa8\ub4e0 \uc810\uc5d0\uc11c \uc5ed\ud568\uc218 \uc815\ub9ac\uac00 \uc801\uc6a9\ub41c\ub2e4. \uc2e4\uc81c\ub85c \\(r&gt;0\\)\uc778 \uc601\uc5ed\uc5d0\uc11c \uadf9\uc88c\ud45c \ubcc0\ud658\uc740 \uad6d\uc18c\uc801\uc73c\ub85c \uac00\uc5ed\uc774\ub2e4.<\/p>\n<p>\\(r=0\\)\uc778 \uc810\ub4e4\uc5d0\uc11c\ub294 \uc5ed\ud568\uc218 \uc815\ub9ac\ub97c \uc801\uc6a9\ud560 \uc218 \uc5c6\uace0, \uc2e4\uc81c\ub85c \ubaa8\ub4e0 \\((0,\\theta)\\)\uac00 \uc6d0\uc810\uc73c\ub85c \ubcf4\ub0b4\uc9c0\ubbc0\ub85c \uadf8 \uc810\ub4e4\uc5d0\uc11c \uad6d\uc18c\uc801\uc73c\ub85c \uac00\uc5ed\uc774 \uc544\ub2c8\ub2e4.<\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.16.<\/span><br \/>\n\ub2e4\uc74c \uac01 \ud568\uc218\uc640 \uc810 \\(p\\)\uc5d0 \ub300\ud558\uc5ec \\(Df(p)\\)\uac00 \uac00\uc5ed\uc784\uc744 \ud655\uc778\ud558\uace0, \\(f(p)\\)\uc758 \uc801\ub2f9\ud55c \uc5f4\ub9b0\uadfc\ubc29\uc5d0\uc11c \\(p\\)\uc5d0 \ub300\uc751\ud558\ub294 \uad6d\uc18c\uc5ed\ud568\uc218\uc758 \ubbf8\ubd84 \\(D(f^{-1})(f(p))\\)\uc744 \uad6c\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(f(u,v)=(3u-v,\\,2u+5v)\\), \\(p\\in\\mathbb{R}^2\\)\ub294 \uc784\uc758\uc758 \uc810.<\/li>\n<li>\\(f(u,v)=(u+v,\\,\\sin u+\\cos v)\\), \\(p=(0,0)\\).<\/li>\n<li>\\(f(u,v)=(uv,\\,u^2+v^2)\\), \\(p=(1,2)\\).<\/li>\n<li>\\(f(u,v)=(u^3-v^2,\\,\\sin u-\\ln v)\\), \\(p=(0,1)\\).<\/li>\n<\/ol>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.17.<\/span><br \/>\n\ub2e4\uc74c \uac01 \ub4f1\uc2dd\uc5d0 \ub300\ud558\uc5ec \uc810 \\((0,0,0)\\)\uc758 \uc5f4\ub9b0\uadfc\ubc29 \\(V\\)\uac00 \uc874\uc7ac\ud558\uc5ec \uc8fc\uc5b4\uc9c4 \ub4f1\uc2dd\uc744 \\(V\\)\uc5d0\uc11c \\(z\\)\uc5d0 \ub300\ud558\uc5ec \ud480 \uc218 \uc788\ub294\uc9c0 \ud310\ubcc4\ud558\uc2dc\uc624. \ub610\ud55c \\(z\\)\uc5d0 \ub300\ud558\uc5ec \ud47c \uc2dd\uc774 \\((0,0)\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud55c\uc9c0 \ud310\ubcc4\ud558\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\\(xyz+\\sin(x+y+z)=0\\)<\/li>\n<li>\\(x^2+y^2+z^2+\\sqrt{\\sin(x^2+y^2)+3z+4}=2\\)<\/li>\n<li>\\(xyz(2\\cos y-\\cos z)+(z\\cos x-x\\cos y)=0\\)<\/li>\n<\/ol>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.18.<\/span><br \/>\n\ud568\uc218 \\(F\\colon\\mathbb{R}^2\\to\\mathbb{R}\\)\uac00 \\((a,b)\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(F_y(a,b)\\ne0\\)\uc774\uba70 \\(I\\)\uac00 \\(a\\)\uc758 \uc5f4\ub9b0\uadfc\ubc29\uc774\ub77c\uace0 \ud558\uc790. \ub610\ud55c \ud568\uc218 \\(f\\colon I\\to\\mathbb{R}\\)\uc774 \\(a\\)\uc5d0\uc11c \ubbf8\ubd84 \uac00\ub2a5\ud558\uace0 \\(f(a)=b\\)\uc774\uba70 \uc784\uc758\uc758 \\(x\\in I\\)\uc5d0 \ub300\ud558\uc5ec \\(F(x,f(x))=0\\)\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c<br \/>\n\\[<br \/>\n\\frac{d}{dx}f(a)<br \/>\n=<br \/>\n-\\frac{\\dfrac{\\partial F}{\\partial x}(a,b)}<br \/>\n{\\dfrac{\\partial F}{\\partial y}(a,b)}<br \/>\n\\]<br \/>\n\uc784\uc744 \uc99d\uba85\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<h3>\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95<\/h3>\n<p>\ud604\uc2e4\uc758 \ubb38\uc81c\ub97c \ubaa8\ub378\ub9c1\ud55c \ucd5c\uc801\ud654 \ubb38\uc81c\ub294 \uc81c\uc57d\uc870\uac74\uc744 \ub3d9\ubc18\ud558\ub294 \uacbd\uc6b0\uac00 \ub9ce\ub2e4. \uc608\ub97c \ub4e4\uc5b4, \ub458\ub808\uc758 \uae38\uc774\uac00 \uace0\uc815\ub418\uc5b4 \uc788\uc744 \ub54c \ub113\uc774\uac00 \ucd5c\ub300\uc778 \uc9c1\uc0ac\uac01\ud615\uc744 \uad6c\ud558\uac70\ub098, \uac89\ub113\uc774\uac00 \uace0\uc815\ub418\uc5b4 \uc788\uc744 \ub54c \ubd80\ud53c\uac00 \ucd5c\ub300\uc778 \uc6d0\uae30\ub465\uc744 \uad6c\ud558\ub294 \ubb38\uc81c \ub4f1\uc744 \uc0dd\uac01\ud560 \uc218 \uc788\ub2e4. \uc774\ucc98\ub7fc \uc81c\uc57d\uc870\uac74 \uc544\ub798\uc5d0\uc11c \uadf9\uac12\uc744 \uad6c\ud558\ub294 \ubc29\ubc95 \uc911 \ud558\ub098\uac00 <span class=\"defined\">\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95<\/span>(Lagrange multiplier method)\uc774\ub2e4.<\/p>\n<p>\uba3c\uc800 \uae30\ud558\ud559\uc801 \uad00\uc810\uc5d0\uc11c \ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc744 \uc0b4\ud3b4\ubcf4\uc790. \uc81c\uc57d\uc870\uac74 \\(g(x)=c\\) \uc544\ub798\uc5d0\uc11c \ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc758 \uadf9\uac12\uc744 \uad6c\ud558\ub294 \uc0c1\ud669\uc744 \uc0dd\uac01\ud558\uc790. \\(g\\)\uac00 \\(C^1\\)\uc774\uace0 \uc81c\uc57d\uc9d1\ud569\uc758 \uc810 \\(a\\)\uc5d0\uc11c \\(\\nabla g(a)\\ne0\\)\uc774\uba74, \uc74c\ud568\uc218 \uc815\ub9ac\uc5d0 \uc758\ud574 \\(a\\) \uadfc\ucc98\uc758 \uc81c\uc57d\uc9d1\ud569\uc740 \\((n-1)\\)\ucc28\uc6d0 \uace1\uba74\uc73c\ub85c \ub098\ud0c0\ub09c\ub2e4. \ub9cc\uc57d \\(a\\)\uac00 \uc774 \uace1\uba74 \uc704\uc5d0\uc11c \\(f\\)\uc758 \uadf9\uac12\uc774\ub77c\uba74, \\(f\\)\uc758 \ub4f1\uc704\uba74 \\(f(x)=f(a)\\)\uc640 \uc81c\uc57d\uace1\uba74 \\(g(x)=c\\)\uc758 \uc811\ubc29\ud5a5\uc774 \\(a\\)\uc5d0\uc11c \uc77c\uce58\ud558\ubbc0\ub85c \ub450 \ubc95\ubca1\ud130 \\(\\nabla f(a)\\)\uc640 \\(\\nabla g(a)\\)\uac00 \ud3c9\ud589\ud574\uc57c \ud55c\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.14. (\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\u2014\uc81c\uc57d\uc870\uac74\uc774 \ud558\ub098\uc778 \uacbd\uc6b0)<\/span><\/p>\n<p>\ud568\uc218 \\(f,g\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc774 \\(C^1\\)\uc774\uace0, \\(a\\)\uac00 \uc81c\uc57d\uc870\uac74 \\(g(x)=c\\) \uc544\ub798\uc5d0\uc11c \\(f\\)\uc758 \uad6d\uc18c\uadf9\uac12\uc774\uba70 \\(\\nabla g(a)\\ne0\\)\uc774\ub77c\uace0 \ud558\uc790. \uadf8\ub7ec\uba74 \uc5b4\ub5a4 \uc2e4\uc218 \\(\\lambda\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n\\nabla f(a)<br \/>\n=<br \/>\n\\lambda\\nabla g(a)<br \/>\n\\]<br \/>\n\ub97c \ub9cc\uc871\uc2dc\ud0a8\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\uc88c\ud45c\uc758 \uc21c\uc11c\ub97c \ubc14\uafb8\uc5b4 \\(g_{x_n}(a)\\ne0\\)\uc774\ub77c\uace0 \ud574\ub3c4 \ub41c\ub2e4. \\(a=(a&#8217;,a_n)\\)\uc73c\ub85c \uc4f0\uc790. \uc74c\ud568\uc218 \uc815\ub9ac\uc5d0 \uc758\ud574 \\(a&#8217;\\)\uc758 \uadfc\ubc29\uc5d0\uc11c \\(C^1\\) \ud568\uc218 \\(\\varphi\\)\uac00 \uc874\uc7ac\ud558\uc5ec \\(a\\) \uadfc\ucc98\uc758 \uc81c\uc57d\uc9d1\ud569\uc740<br \/>\n\\[<br \/>\nx_n<br \/>\n=<br \/>\n\\varphi(x_1,\\ldots,x_{n-1})<br \/>\n\\]<br \/>\n\ub85c \ub098\ud0c0\ub09c\ub2e4. \ud568\uc218<br \/>\n\\[<br \/>\n\\psi(u)<br \/>\n=<br \/>\nf(u,\\varphi(u))<br \/>\n\\]<br \/>\n\ub294 \\(u=a&#8217;\\)\uc5d0\uc11c \uad6d\uc18c\uadf9\uac12\uc744 \uac00\uc9c0\ubbc0\ub85c<br \/>\n\\[<br \/>\n\\frac{\\partial\\psi}{\\partial u_j}(a&#8217;)=0.<br \/>\n\\]<br \/>\n\uc5f0\uc1c4\ubc95\uce59\uc5d0 \uc758\ud574<br \/>\n\\[<br \/>\nf_{x_j}(a)<br \/>\n+<br \/>\nf_{x_n}(a)\\varphi_{x_j}(a&#8217;)<br \/>\n=<br \/>\n0.<br \/>\n\\]<br \/>\n\ud55c\ud3b8 \\(g(u,\\varphi(u))=c\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\ng_{x_j}(a)<br \/>\n+<br \/>\ng_{x_n}(a)\\varphi_{x_j}(a&#8217;)<br \/>\n=<br \/>\n0.<br \/>\n\\]<br \/>\n\ub530\ub77c\uc11c<br \/>\n\\[<br \/>\n\\lambda<br \/>\n=<br \/>\n\\frac{f_{x_n}(a)}{g_{x_n}(a)}<br \/>\n\\]<br \/>\n\ub85c \ub450\uba74 \\(j&lt;n\\)\uc5d0 \ub300\ud558\uc5ec \\(f_{x_j}(a)=\\lambda g_{x_j}(a)\\)\uc774\uace0, \\(j=n\\)\uc5d0\uc11c\ub3c4 \uc815\uc758\uc5d0 \uc758\ud574 \uac19\uc740 \uc2dd\uc774 \uc131\ub9bd\ud55c\ub2e4. \uc989<br \/>\n\\[<br \/>\n\\nabla f(a)<br \/>\n=<br \/>\n\\lambda\\nabla g(a)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\uc774 \uc815\ub9ac\uc5d0\uc11c \\(\\lambda\\)\ub97c <span class=\"defined\">\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218<\/span>(Lagrange multiplier)\ub77c\uace0 \ubd80\ub978\ub2e4. \uc2e4\uc81c \uacc4\uc0b0\uc5d0\uc11c\ub294 \ub2e4\uc74c \uc5f0\ub9bd\ubc29\uc815\uc2dd\uc744 \ud47c\ub2e4.<br \/>\n\\[<br \/>\n\\begin{cases}<br \/>\n\\nabla f(x)=\\lambda\\nabla g(x),\\\\<br \/>\ng(x)=c.<br \/>\n\\end{cases}<br \/>\n\\]<br \/>\n\uc774\uac83\uc740 \\(n+1\\)\uac1c\uc758 \ubc29\uc815\uc2dd\uacfc \\(n+1\\)\uac1c\uc758 \ubbf8\uc9c0\uc218 \\((x_1,\\ldots,x_n,\\lambda)\\)\ub97c \uac00\uc9c4 \uc5f0\ub9bd\ubc29\uc815\uc2dd\uc774\ub2e4.<\/p>\n<p>\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc744 \uc81c\uc57d\uc870\uac74\uc774 \uc5ec\ub7ec \uac1c \uc788\ub294 \uacbd\uc6b0\ub85c \ud655\uc7a5\ud558\uba74 \ub2e4\uc74c\uacfc \uac19\ub2e4.<\/p>\n<div class=\"box theorem\">\n<p><span class=\"definition\">\uc815\ub9ac 9.15. (\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95: \uc81c\uc57d\uc870\uac74\uc774 \uc5ec\ub7ec \uac1c\uc778 \uacbd\uc6b0)<\/span><\/p>\n<p>\ud568\uc218 \\(f,g_1,\\ldots,g_k\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc774 \\(C^1\\)\uc774\uace0, \\(a\\)\uac00 \uc81c\uc57d\uc870\uac74 \\(g_i(x)=c_i\\) \\((i=1,\\ldots,k)\\) \uc544\ub798\uc5d0\uc11c \\(f\\)\uc758 \uad6d\uc18c\uadf9\uac12\uc774\ub77c\uace0 \ud558\uc790. \ubca1\ud130 \\(\\nabla g_1(a),\\ldots,\\nabla g_k(a)\\)\uac00 \uc77c\ucc28\ub3c5\ub9bd\uc774\uba74, \uc2e4\uc218 \\(\\lambda_1,\\ldots,\\lambda_k\\)\uac00 \uc874\uc7ac\ud558\uc5ec<br \/>\n\\[<br \/>\n\\nabla f(a)<br \/>\n=<br \/>\n\\sum_{i=1}^k\\lambda_i\\nabla g_i(a)<br \/>\n\\]<br \/>\n\ub97c \ub9cc\uc871\uc2dc\ud0a8\ub2e4.<\/p>\n<\/div>\n<div class=\"proof\">\n<p class=\"proofbegin\"><span class=\"proof\">\uc99d\uba85<\/span><br \/>\n\\[<br \/>\nG=(g_1,\\ldots,g_k)<br \/>\n\\colon<br \/>\n\\mathbb{R}^n\\to\\mathbb{R}^k<br \/>\n\\]<br \/>\n\ub77c\uace0 \ud558\uc790. \uac00\uc815\uc5d0 \uc758\ud574 \\(DG(a)\\)\uc758 \uacc4\uc218\ub294 \\(k\\)\uc774\ub2e4. \uc88c\ud45c\ub97c \uc7ac\ubc30\uc5f4\ud558\uc5ec<br \/>\n\\[<br \/>\nx=(u,v)<br \/>\n\\in<br \/>\n\\mathbb{R}^{n-k}\\times\\mathbb{R}^k<br \/>\n\\]<br \/>\n\ub85c \uc4f8 \ub54c<br \/>\n\\[<br \/>\nB=G_v(a)<br \/>\n\\]<br \/>\n\uac00 \uac00\uc5ed\uc774 \ub418\uac8c \ud560 \uc218 \uc788\ub2e4. \uc74c\ud568\uc218 \uc815\ub9ac\uc5d0 \uc758\ud574 \uc81c\uc57d\uc9d1\ud569\uc740 \\(a\\) \uadfc\ucc98\uc5d0\uc11c \\(v=\\varphi(u)\\)\ub85c \ub098\ud0c0\ub09c\ub2e4. \\(A=G_u(a)\\)\ub77c\uace0 \ud558\uba74<br \/>\n\\[<br \/>\nA+B\\,D\\varphi(a_u)=0,<br \/>\n\\qquad<br \/>\nD\\varphi(a_u)=-B^{-1}A.<br \/>\n\\]<\/p>\n<p>\\(Df(a)=(p\\ q)\\)\ub85c \uc4f0\uc790. \uc81c\uc57d\uc9d1\ud569\uc5d0 \uc81c\ud55c\ud55c \ud568\uc218 \\(u\\mapsto f(u,\\varphi(u))\\)\uac00 \\(a_u\\)\uc5d0\uc11c \uad6d\uc18c\uadf9\uac12\uc744 \uac00\uc9c0\ubbc0\ub85c<br \/>\n\\[<br \/>\n0<br \/>\n=<br \/>\np+qD\\varphi(a_u)<br \/>\n=<br \/>\np-qB^{-1}A.<br \/>\n\\]<br \/>\n\\[<br \/>\n\\lambda^{\\top}<br \/>\n=<br \/>\nqB^{-1}<br \/>\n\\]<br \/>\n\ub85c \ub450\uba74 \\(p=\\lambda^{\\top}A\\), \\(q=\\lambda^{\\top}B\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\nDf(a)<br \/>\n=<br \/>\n\\lambda^{\\top}DG(a).<br \/>\n\\]<br \/>\n\uc774\ub97c \uc804\uce58\ud558\uba74<br \/>\n\\[<br \/>\n\\nabla f(a)<br \/>\n=<br \/>\n\\sum_{i=1}^k\\lambda_i\\nabla g_i(a)<br \/>\n\\]<br \/>\n\uc774\ub2e4.<span class=\"qed\"><\/span><\/p>\n<\/div>\n<p>\uc2e4\uc81c\ub85c \uacc4\uc0b0\ud560 \ub54c\ub294 \ub2e4\uc74c\uacfc \uac19\uc740 <span class=\"defined\">\ub77c\uadf8\ub791\uc8fc \ud568\uc218<\/span>(Lagrangian)\ub97c \uc815\uc758\ud558\ub294 \uac83\uc774 \ud3b8\ub9ac\ud558\ub2e4.<br \/>\n\\[<br \/>\nL(x,\\lambda)<br \/>\n=<br \/>\nf(x)<br \/>\n&#8211;<br \/>\n\\sum_{i=1}^k\\lambda_i(g_i(x)-c_i).<br \/>\n\\]<br \/>\n\uc815\ub9ac\uc758 \uc815\uce59\uc131 \uac00\uc815 \uc544\ub798 \uc81c\uc57d\ub41c \uadf9\uac12 \\(a\\)\uac00 \uc874\uc7ac\ud558\uba74 \uc801\ub2f9\ud55c \\(\\lambda=(\\lambda_1,\\ldots,\\lambda_k)\\)\uac00 \uc874\uc7ac\ud558\uc5ec \\((a,\\lambda)\\)\uc5d0\uc11c \\(L\\)\uc758 \ubaa8\ub4e0 \ud3b8\ubbf8\ubd84\uc774 \\(0\\)\uc774\ub2e4.<br \/>\n\\[<br \/>\n\\frac{\\partial L}{\\partial x_j}=0<br \/>\n\\quad<br \/>\n(j=1,\\ldots,n),<br \/>\n\\qquad<br \/>\n\\frac{\\partial L}{\\partial\\lambda_i}=0<br \/>\n\\quad<br \/>\n(i=1,\\ldots,k).<br \/>\n\\]<\/p>\n<div class=\"example\">\n<p><span class=\"example\">\ubcf4\uae30 9.16.<\/span><\/p>\n<p>\\(a&gt;b&gt;0\\)\uc77c \ub54c, \ud0c0\uc6d0<br \/>\n\\[<br \/>\n\\frac{x^2}{a^2}<br \/>\n+<br \/>\n\\frac{y^2}{b^2}<br \/>\n=<br \/>\n1<br \/>\n\\]<br \/>\n\uc704\uc758 \uc810 \uc911 \uc6d0\uc810\uc5d0\uc11c \uac00\uc7a5 \uba3c \uc810\uacfc \uac00\uc7a5 \uac00\uae4c\uc6b4 \uc810\uc744 \uad6c\ud574\ubcf4\uc790.<\/p>\n<p>\ubaa9\uc801\ud568\uc218\ub294 \\(f(x,y)=x^2+y^2\\)\uc774\uace0, \uc81c\uc57d\uc870\uac74\uc740<br \/>\n\\[<br \/>\ng(x,y)<br \/>\n=<br \/>\n\\frac{x^2}{a^2}<br \/>\n+<br \/>\n\\frac{y^2}{b^2}<br \/>\n&#8211;<br \/>\n1<br \/>\n=<br \/>\n0<br \/>\n\\]<br \/>\n\uc774\ub2e4.<\/p>\n<p>\ub77c\uadf8\ub791\uc8fc \uc870\uac74 \\(\\nabla f=\\lambda\\nabla g\\)\ub294<br \/>\n\\[<br \/>\n(2x,2y)<br \/>\n=<br \/>\n\\lambda<br \/>\n\\left(<br \/>\n\\frac{2x}{a^2},<br \/>\n\\frac{2y}{b^2}<br \/>\n\\right)<br \/>\n\\]<br \/>\n\uc774\ub2e4. \uc774 \uc2dd\uc73c\ub85c\ubd80\ud130<br \/>\n\\[<br \/>\nx\\left(1-\\frac{\\lambda}{a^2}\\right)=0,<br \/>\n\\qquad<br \/>\ny\\left(1-\\frac{\\lambda}{b^2}\\right)=0<br \/>\n\\]<br \/>\n\uc744 \uc5bb\ub294\ub2e4.<\/p>\n<p>\\(x=0\\) \ub610\ub294 \\(y=0\\)\uc778 \uacbd\uc6b0\ub97c \uac80\ud1a0\ud558\uba74, \ud568\uc218 \\(f\\)\ub294 \\((\\pm a,0)\\)\uc5d0\uc11c \ucd5c\ub313\uac12 \\(a^2\\)\uc744 \uac00\uc9c0\uba70, \\((0,\\pm b)\\)\uc5d0\uc11c \ucd5c\uc19f\uac12 \\(b^2\\)\uc744 \uac00\uc9c4\ub2e4.<\/p>\n<\/div>\n<p>\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc744 \ud65c\uc6a9\ud558\uc5ec \uc798 \uc54c\ub824\uc9c4 \ubd80\ub4f1\uc2dd\uc744 \uc99d\uba85\ud574 \ubcf4\uc790.<\/p>\n<div class=\"example\">\n<p><span class=\"example\">\ubcf4\uae30 9.17. (\uc0b0\uc220-\uae30\ud558 \ud3c9\uade0 \ubd80\ub4f1\uc2dd)<\/span><\/p>\n<p>\uc591\uc218 \\(x_1,\\ldots,x_n\\)\uc5d0 \ub300\ud558\uc5ec<br \/>\n\\[<br \/>\n\\frac{x_1+\\cdots+x_n}{n}<br \/>\n\\ge<br \/>\n\\sqrt[n]{x_1\\cdots x_n}<br \/>\n\\]<br \/>\n\uc784\uc744 \ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc73c\ub85c \ubcf4\uc774\uc790. \\(c=(x_1\\cdots x_n)^{1\/n}\\)\uc744 \uace0\uc815\ud558\uace0 \uc81c\uc57d\uc870\uac74 \\(x_1\\cdots x_n=c^n\\) \uc544\ub798\uc5d0\uc11c<br \/>\n\\[<br \/>\nf(x_1,\\ldots,x_n)<br \/>\n=<br \/>\nx_1+\\cdots+x_n<br \/>\n\\]<br \/>\n\uc758 \ucd5c\uc19f\uac12\uc744 \uc0dd\uac01\ud55c\ub2e4. \uc810 \\((c,\\ldots,c)\\)\uc5d0\uc11c \\(f=nc\\)\uc774\ubbc0\ub85c \ucd5c\uc19f\uac12\uc744 \ucc3e\uc744 \ub54c \\(f\\le nc\\)\uc778 \ubd80\ubd84\ub9cc \ubcf4\uba74 \ucda9\ubd84\ud558\ub2e4. \uc774 \ubd80\ubd84\uc5d0\uc11c\ub294 \uac01 \\(x_i\\le nc\\)\uc774\uace0<br \/>\n\\[<br \/>\nx_i<br \/>\n=<br \/>\n\\frac{c^n}{\\prod_{j\\ne i}x_j}<br \/>\n\\ge<br \/>\n\\frac{c^n}{(nc)^{n-1}},<br \/>\n\\]<br \/>\n\uc774\ubbc0\ub85c \ud574\ub2f9 \uc81c\uc57d\uc9d1\ud569\uc740 \ucef4\ud329\ud2b8\ud558\ub2e4. \ub530\ub77c\uc11c \ucd5c\uc19f\uac12\uc774 \uc874\uc7ac\ud55c\ub2e4.<\/p>\n<p>\uc81c\uc57d\ud568\uc218 \\(g=x_1\\cdots x_n\\)\uc758 \uae30\uc6b8\uae30\ub294 \uc591\uc758 \uc601\uc5ed\uc5d0\uc11c \\(0\\)\uc774 \uc544\ub2c8\ubbc0\ub85c \ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc744 \uc801\uc6a9\ud560 \uc218 \uc788\ub2e4. \uc870\uac74<br \/>\n\\[<br \/>\n1<br \/>\n=<br \/>\n\\lambda\\frac{c^n}{x_i}<br \/>\n\\qquad<br \/>\n(i=1,\\ldots,n)<br \/>\n\\]<br \/>\n\uc5d0\uc11c \ubaa8\ub4e0 \\(x_i\\)\uac00 \uac19\uace0, \uacf1\uc774 \\(c^n\\)\uc774\ubbc0\ub85c<br \/>\n\\[<br \/>\nx_1=\\cdots=x_n=c<br \/>\n\\]<br \/>\n\uc774\ub2e4. \ub530\ub77c\uc11c \ucd5c\uc19f\uac12\uc740 \\(nc\\)\uc774\uace0 \uc6d0\ud558\ub294 \ubd80\ub4f1\uc2dd\uc744 \uc5bb\ub294\ub2e4.<\/p>\n<\/div>\n<p>\ub77c\uadf8\ub791\uc8fc \uc2b9\uc218\ubc95\uc740 \uadf9\uac12\uc758 \ud544\uc694\uc870\uac74\ub9cc\uc744 \uc81c\uacf5\ud55c\ub2e4\ub294 \uc810\uc744 \uc720\ub150\ud574\uc57c \ud55c\ub2e4. \uad6c\ud55c \uc810\uc5d0\uc11c \ud568\uc218\uac00 \uc2e4\uc81c\ub85c \uadf9\uac12\uc744 \uac16\ub294\uc9c0 \uc5ec\ubd80\ub294 \uc9c1\uc811 \ud655\uc778\ud574\uc57c \ud55c\ub2e4.<\/p>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.19.<\/span><br \/>\n\uc81c\uc57d\uc870\uac74 \\(x^2+y^2+z^2=1\\) \uc544\ub798\uc5d0\uc11c \\(f(x,y,z)=x+2y+3z\\)\uc758 \ucd5c\ub313\uac12\uacfc \ucd5c\uc19f\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.20.<\/span><br \/>\n\uad6c \\(x^2+y^2+z^2=1\\) \uc704\uc5d0\uc11c \ud568\uc218 \\(f(x,y,z)=xyz\\)\uc758 \uadf9\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.21.<\/span><br \/>\n\\(S&gt;0\\)\uc77c \ub54c \ud45c\uba74\uc801\uc774 \\(S\\)\uc778 \uc9c1\uc721\uba74\uccb4 \uc911 \ubd80\ud53c\uac00 \ucd5c\ub300\uc778 \uac83\uc758 \uc138 \ubaa8\uc11c\ub9ac\uc758 \uae38\uc774\ub97c \uad6c\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p><span class=\"problem\">\ubb38\uc81c 9.22.<\/span><br \/>\n\\(a,b,c&gt;0\\)\uc77c \ub54c \ud0c0\uc6d0\uccb4<br \/>\n\\[<br \/>\n\\frac{x^2}{a^2}<br \/>\n+<br \/>\n\\frac{y^2}{b^2}<br \/>\n+<br \/>\n\\frac{z^2}{c^2}<br \/>\n=<br \/>\n1<br \/>\n\\]<br \/>\n\uc5d0 \ub0b4\uc811\ud558\uace0 \uc911\uc2ec\uc774 \uc6d0\uc810\uc774\uba70 \ubaa8\uc11c\ub9ac\uac00 \uc88c\ud45c\ucd95\uc5d0 \ud3c9\ud589\ud55c \uc9c1\uc721\uba74\uccb4\uc758 \ucd5c\ub300 \ubd80\ud53c\ub97c \uad6c\ud558\uc2dc\uc624.<\/p>\n<\/div>\n<div class=\"problem\">\n<p class=\"marginbottomhalf\"><span class=\"problem\">\ubb38\uc81c 9.23.<\/span><br \/>\n\ub2e4\uc74c \ubb3c\uc74c\uc5d0 \ub2f5\ud558\uc2dc\uc624. \uc81c\uc57d\uc870\uac74 \uc544\ub798 \uadf9\uac12\uc774 \uc874\uc7ac\ud558\uc9c0 \uc54a\uc73c\uba74 \uadf8 \uc0ac\uc2e4\ub3c4 \ubcf4\uc774\uc2dc\uc624.<\/p>\n<ol class=\"parenthesis\">\n<li>\uc6d0 \\(x^2+y^2=4\\) \uc704\uc5d0\uc11c \ud568\uc218 \\(f(x,y)=x+y^2\\)\uc758 \uadf9\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/li>\n<li>\\(x^2+y^2+z^2=1\\)\uacfc \\(x+y+z=0\\)\uc744 \ubaa8\ub450 \ub9cc\uc871\uc2dc\ud0a4\ub294 \ubc94\uc704\uc5d0\uc11c \ud568\uc218 \\(f(x,y,z)=xy\\)\uc758 \uadf9\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/li>\n<li>\\(3x^2+y+4z^3=1\\)\uacfc \\(-x^3+3z^4+w=0\\)\uc744 \ubaa8\ub450 \ub9cc\uc871\uc2dc\ud0a4\ub294 \ubc94\uc704\uc5d0\uc11c \ud568\uc218 \\(f(x,y,z,w)=3x+y+w\\)\uc758 \uadf9\uac12\uc744 \uad6c\ud558\uc2dc\uc624.<\/li>\n<\/ol>\n<\/div>\n<div class=\"contentbottombox\">\n<p class=\"contentbottomboxtitle\"><a href=\"\/blog\/invitation-to-mathematical-analysis\/\">\ud574\uc11d\ud559 \uac15\uc758\ub178\ud2b8<\/a><\/p>\n<ol class=\"contentboxorderedlist\">\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch01-real-number-system\">\uc2e4\uc218\uacc4\uc758 \uc131\uc9c8<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch02-metric-spaces\">\uac70\ub9ac\uacf5\uac04<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch03-limit-of-sequences\">\uc218\uc5f4\uc758 \uadf9\ud55c\uacfc \uc704\uc0c1\uc801 \uc131\uc9c8<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch04-limit-of-functions-and-continuity\">\ud568\uc218\uc758 \uadf9\ud55c\uacfc \uc5f0\uc18d\uc131<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch05-differentiation-of-functions-of-one-variable\">\uc77c\ubcc0\uc218 \ud568\uc218\uc758 \ubbf8\ubd84<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch06-the-riemann-integral\">\uc77c\ubcc0\uc218 \ud568\uc218\uc758 \uc801\ubd84<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch07-infinite-series\">\ubb34\ud55c\uae09\uc218<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch08-real-analytic-functions\">\uc2e4\ud574\uc11d\uc801 \ud568\uc218<\/a><\/li>\n<li class=\"contentboxthis\"><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch09-differentiation-of-functions-of-several-variables\">\ub2e4\ubcc0\uc218 \ud568\uc218\uc758 \ubbf8\ubd84<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch10-multiple-integral\">\uc911\uc801\ubd84<\/a><\/li>\n<li><a href=\"\/blog\/invitation-to-mathematical-analysis\/ch11-vector-field-and-fundamental-theorems\">\ubca1\ud130\uc7a5\uacfc \uc801\ubd84 \uc815\ub9ac<\/a><\/li>\n<\/ol>\n<\/div>\n<\/div>\n<p><!-- ################## --><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\uc774 \uc7a5\uc5d0\uc11c\ub294 \uc720\ud074\ub9ac\ub4dc \uacf5\uac04 \\(\\mathbb{R}^n\\)\uc5d0\uc11c \\(\\mathbb{R}^m\\)\uc73c\ub85c\uc758 \ud568\uc218\uc758 \ubbf8\ubd84\uc744 \ub2e4\ub8ec\ub2e4. \ud3b8\ubbf8\ubd84\uacfc \uc804\ubbf8\ubd84\uc758 \uac1c\ub150\uc744 \uc815\uc758\ud558\uace0, \uc5f0\uc1c4\ubc95\uce59, \ud3c9\uade0\uac12 \uc815\ub9ac, \uc74c\ud568\uc218 \uc815\ub9ac \ub4f1 \uc911\uc694\ud55c \uacb0\uacfc\ub4e4\uc744 \uc0b4\ud3b4\ubcf8\ub2e4. \ud3b8\ubbf8\ubd84\uacfc \uc804\ubbf8\ubd84 \uc810 \\(a=(a_1,\\ldots,a_n)\\)\uc774 \ud568\uc218 \\(f\\colon\\mathbb{R}^n\\to\\mathbb{R}\\)\uc758 \uc815\uc758\uc5ed\uc758 \ub0b4\uc810\uc774\ub77c\uace0 \ud558\uc790. \uc774\ub54c \uc810 \\(a\\)\uc5d0\uc11c \ud568\uc218 \\(f\\)\uc758 \\(x_i\\)\uc5d0 \ub300\ud55c \ud3b8\ubbf8\ubd84(partial derivative)\uc744 \\( \\frac{\\partial f}{\\partial x_i}(a) = \\lim_{h\\to0} \\frac{f(a_1,\\ldots,a_i+h,\\ldots,a_n)-f(a)}{h} \\) \ub85c \uc815\uc758\ud55c\ub2e4. \uc704 \ud3b8\ubbf8\ubd84\uc744 \\(f_{x_i}(a)\\)\ub85c \ub098\ud0c0\ub0b4\uae30\ub3c4 \ud55c\ub2e4. \ubaa8\ub4e0 \ubcc0\uc218\uc5d0 \ub300\ud55c \ud3b8\ubbf8\ubd84\uc774 \uc874\uc7ac\ud574\ub3c4 \ud568\uc218\uac00 \uc5f0\uc18d\uc77c \ud544\uc694\ub294 \uc5c6\ub2e4.&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":9470,"menu_order":109,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_lmt_disableupdate":"no","_lmt_disable":"","footnotes":""},"class_list":["post-9495","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9495","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/comments?post=9495"}],"version-history":[{"count":13,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9495\/revisions"}],"predecessor-version":[{"id":10114,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9495\/revisions\/10114"}],"up":[{"embeddable":true,"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/pages\/9470"}],"wp:attachment":[{"href":"https:\/\/sasamath.com\/blog\/wp-json\/wp\/v2\/media?parent=9495"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}