1、隱函數的微分(Implicit Differentiation)雖然方程式 中的x和y並沒有函數關係,但若我們將y限制為大於等於0,則x和y有函數關係 且(如下圖的圖(b)所示)。222ryx22xry圖1由此函數關係,我們可求y對於x,|x|r的微分為所以對於圓(r0 )上的一點 我們可得其切線為222222121xrxdxxrdxrdxdy222ryx0),(000yyx00202000yxxrxxxyy)()(0000 xxxyyy2202000ryxyyxx但是並不是所有的方程式都如此容易地利用限制變數的範圍以獲得明確的函數關係,進而求取方程式所代表之曲線上某一點的切線。但不管如何我們
2、都可限制變數的範圍而使得兩變數具有一種函數關係,此種利用限制方程式中的變數範圍所獲得的函數關係我們稱之為隱函數。如下所示,圖2(a)為曲線f(x,y)=0,若我們取點 附近的一段如虛線框框所示的曲線,則如圖2(b)所示y和x將有函數關係y=y(x),利用微分法則我們可求得其微分。),(00yx圖2(a)(b)例如上例中y對x,|x|r的微分,利用微分法則可得022)(222dxdyyxdxdrdxyxd22xrxyxdxdy例1:(a)求 (folium of Descartes)中的 。(b)求曲線 在點(3,3)的切線。(c)在曲線 上的何點,其切線為水平。解:(a)利用隱微分(隱函數微分
3、),可得xyyx633yxyyx633xyyx633yxyyyx663322yxyyyx22222222xyyxyy222)2(xyxyyxyxyy2222(b)當x=y=3,曲線 在點(3,3)的切線為y-3=-1(x-3)或 x+y=6xyyx6331)3(233)3(222 y(c)當切線為水平時,故得代入 ,可得 將上式化簡成 ,可解得x=0或 。經由上述的計算,我們可知在曲線 上的點(0,0)和 ,其切線為水平。0 y2022222xyxyxyyxyyx6332622323xxxx3616xx 3/42xxyyx633)2,2(3/53/4例2:求 中y對x的微分 。解:將 兩邊同對
4、x微分。13432xyyxdxdy13432xyyx223348xdxdydxdyxxyxyxdxdyx83)34(22348322xxyxdxdy例3:求 的隱微分 。解:10432 yxydxdy0833dxdyydxdyxydxddxyxyd10)43(2yxydxdyydxdyyx8333)83(例4:求 的隱微分 。解:9532xyxdxdy11522dxdyyxdxxddxyxd)9()5(3221521yxdxdy例5:求 的隱微分 。解:010423yyttdtdy0)10(423dtyyttd04023322dtdyydtdyttyttytytdtdy23)40(232322
5、4023yttytdtdy例6:求曲線 上通過點(0,1)的切線。解:123xyxyy0)(23dxxyxyyd0)(2322dxdyxydxdyxyydxdyyyyxxyydxdy22)23(xxyyyydxdy2322將(0,1)代入上式,得曲線上通過點(0,1)的切線斜率為 ,故切線為123xyxyy0m1)(01yxy例7:方程式xy=c,c0代表一組雙曲線。方程式 ,k0 代表另一組雙曲線,其漸進線為y=x。驗證這兩組雙曲線互相垂直,亦即其交點的切線互相垂直。解:將方程式xy=c做隱微分,可得kyx22xydxdyydxdyx0將方程式 做隱微分,可得由於 故兩組雙曲線交點的切線互相
6、垂直。kyx22yxdxdydxdyyx0221yxxy例8:利用隱微分驗證橢圓在點 的切線為12222byax),(00yx12020byyaxx解:02222byyax)1(2222byax02222yyaxbyaxby22),(00yx將點 代入上式,可得橢圓過點 的切線斜率為切線則為0202),(00|yaxbymyx),(00yx)(002020 xxyaxbyy20220202022020220202yaxbxxbyyaxbxxbyayya2202202020byaxbyyaxx將上式兩邊同除以 ,可得22ba12020byyaxx例9:求雙曲線在點 的切線方程式。解:利用隱微分1
7、2222byax),(00yx)1(2222byax02222byyax02222yyaxbyaxby22將點 代入上式,可得雙曲線過點 的切線斜率為),(00yx12222byax),(00yx0202),(00|yaxbymyx切線則為將上式兩邊同除以 ,可得)(002020 xxyaxbyy20220202022020220202yaxbxxbyyaxbxxbyayya22ba2202202020byaxbyyaxx12020byyaxx例10:求橢圓 過點(1,1)的切線。解:利用隱微分,可得322yxyxyxyxyyxyyxyyyxyx222)2(022將點(1,1)代入上式,可得橢
8、圓 過點(1,1)的切線斜率為切線則為133)1(211)1(2|)1,1(ym2)1(11yxxy322yxyx例11:求拋物線 過點(1,2)的切線。解:利用隱微分,可得2222xyxyxyxyxyyxyyxyyyxyx22122122)22(012222將點(1,2)代入上式,可得拋物線 過點(1,2)的切線斜率為切線則為2727)2(2)1(21)2(2)1(2|)2,1(ym2222xyxyx327)1(272yxxy例12:若 ,且f(1)=2,求 。解:利用隱微分,可得0)()(132xfxxf)1(f 223322223)(31)(2)()(2)()(31(0)()(3)(2)
9、(xfxxfxxfxfxxfxfxxfxfxxfxxf將f(1)=2代入上式,可得223)1()1(31)1()1(2)1(fff223)2()1(31)2)(1(21316例13:求 的隱微分 。解:04223yyxxdtdyyxxyxyxyxyyxyyyxxyx82323)8(0823222222例14:驗證曲線 上任一點的切線,其x-截距和y-截距之和等於c。解:設 為曲線 上的一點。cyxxyyyyx0221),(00yxcyx將點 代入上式,可得曲線 過點 的切線斜率為切線則為),(00yxcyx),(00yx0000),(|xyyxym)(0000 xxyyxyx-截距為y-截距為
10、 00000000)0(yxyxyyxyxy00000000)(0 xyxxxyyxxyccyxyyxxyxxyxyyx220000000000)()(20000 x-截距+y-截距等於例15:利用隱微分驗證以O為原點的圓,此圓上的任一點P,其切線垂直半徑OP。解:設O對應直角座標的原點(0,0),而此圓的半徑為r,其所對應的方程式為 。由於幾何性質不受座標選取的影響,故我們可設P點的座標為(x,y),且x0,y0。利用隱函數微分,可得222ryxyxdxdydxdyyxdxdrdxyxd022)(222線段OP的斜率為 ,而切線斜率為 ,兩者的乘積為故得証。xyyxdxdy1xyyx例16:
11、求 的隱微分 。解:221yxyxdtdy)41(141)2(2)2(21 212221222122222222yxyxyxxyxyyxyyxyxyxxyyyxyxyyxxyyxy例17:利用隱微分求曲線 上點 的切線。解:22222)22(xyxyx),0(212232222222488)144)(22(222)22()(xxyxyyxyyxxyxyyxdxxyxddxyxdxyxyxyxy222222)22(4xyyyxyyxxyxyyxxyxyxyyyxy48826882688)488(322223222332將點 代入上式可得切線斜率為故切線為),0(211)(8)(2|3212122
12、1),0(21ym012021yxxy例18:利用隱微分求曲線 上點 的切線。解:)(25)(222222yxyx)1,3()22(25)22)(4)(25)(22222222yyxyyxyxdxyxddxyxd322323323223442544254425)4425(2525)44(44yxyyxyxxyxyxxyyxyyyyxyyyxxyx將點(3,1)代入上式可得切線斜率為4135)1(4)1)(3(4)1(25)1)(3(4)3(4)3(25|3223)1,3(ym)(25)(222222yxyx曲線 過點(3,1)的切線為1464135)3(41351yxxy例19:利用隱微分求曲
13、線 上點 的切線。解:將點 代入上式,可得曲線 過點 的切線斜率為 43/23/2 yx)1,33(33/13/103232xyyyyx)1,33(43/23/2 yx 切線則為2131|32/33331)1,33(ym3322)33(211yxxy例20:求 的隱微分 。解:yxyxy43251dxdy4223423424224322343254254)3(4325xyxxyxyxyxyxyxyxyxyxyxyyxxyx例21:求 的隱微分 。解:yxxy21dxdy)2(4)2(2)(2222222222xyxxyxyxyyxyxyyxxyxxyyxyyxxyxyxxyxyyxy例22:利
14、用隱微分求曲線 上點 的切線。解:)5()4(2222xxyy)2,0(yyxxyxxyyyxxyyyydxxxddxyyd425252)42(10484)5()4(3333332222將點(0,-2)代入上式可得切線斜率為切線則為0)2(4)2(20|3)2,0(ym20)0(2)(yxy例23:求 的隱微分 。解:xxyyx322dxdyxyxyxyyyxyyxyxyxyyyxxy22323)2(322222222)(25)(222222yxyx例24:求曲線 上的點,其切線為水平。解:yyyxxyxxyxyxxyyyyxyyxyyyyxxyxyyxyyxyxdxyxddxyxd25222
15、2252225)2522(252522225050)22)(2)(25)(3223233232232222222切線為水平,則切線的斜率為0,故所以x=0或圓 上的點滿足 。0)2225(025222225223223yxxyyyxxyxxy22522 yx0)2225(22yxx將x=0代入 ,得)(25)(222222yxyx025224yyy但是x=0,y=0這一點必須排除,因為將(0,0)代入 ,分母將為0,故不合。y)(25)(222222yxyx將 代入方程式可得22522 yx22222225)(252252yxyx22522 yx將 代入上式,可得所以點 和點 的切線為水平。2
16、5,02222xyyxyx)0,(25)0,(25例25:求 的隱微分 。解:cyxyx322dxdyxyxyyxyyxyyyyxyx232222)23(03222222例26:求 的隱微分 。解:64223yyxxdxdyyxxyxyxyxyyxyyyxxyx82323)8(0823222222反函數微分反函數微分定理1(反函數微分定理)設函數f在區間I為嚴格遞增(或遞減)且可微分。若f在區間I內的一點x,其微分值 則f的反函數 在x的對應點y=f(x)為可微分,且0)(xf1fdxdydxxdfxfdyydfdydx1)(1)(1)(1證明:函數f在區間I為嚴格遞增(或遞減),則函數f為1
17、對1函數,故其反函數 存在。根據微分的定義 令 ,但是由於 ,所以再根據反函數的定義hyfhyfdyydfh)()()(1101lim)()(11yfhyfh)(1yfxhxhyf)(11f)()()()()()(1xfhxfhyhxfhhxfhyhxfhyff將上述結果帶入hyfhyfdyydfh)()()(1101lim可得 由於y=f(x)為可微分,故y=f(x)為連續,亦即)()()(lim01xfhxfhdyydfhhxfhxfh)()(1lim00)()(0 xfhxfhhhxfhxfhxfhxfhh)()(1)()(1limlim00所以 將之帶入前面的式子,可得hxfhxfdy
18、ydfh)()(1)(lim01hxfhxfh)()(1lim0hxfhxfdyydfdydxh)()(1)(lim01利用極限定理,可得dxdydxxdfxfhxfhxfh1)(1)(1)()(1lim0定理得證。在第一單元裡我們已定義過指數函數和對數函數,以下我們將探討其微分。對於指數函數 的微分函數,根據定義:xaxf)(haaxfxhxhlim0)(haahxh1lim0haxhha1lim0由上式可知若 在x=0可微分,則 為可微分。以下我們接受在的事實,其中的一個無理數滿足 故得 。xaxf)(xaxfx)(,Rhafhh1)0(lim071828.2ehehh11lim0 xxe
19、dxde因為 ,所以利用微分法則中的Chain Rule可得axaxeeaxfxlnln)(dxdedxdaxfaxxln)(aadxadxexaxlnlnln我們利用前面的反函數微分定理求 的反函數 的微分。令y=ln x,則 。由於所以xaxf)(xxgln)(xeyxedydedydxyyxdydxdxdydxxd11ln由於 ,所以axxalnlnlogdxaxddxxdalnlnlogaxxaln11ln1dxxdalnln1例27:求 對x的微分。解:利用Chain Rule,令 ,則)1ln(3xy)1(3 xudxxdduuddxdududydxdy)1(ln313)3(132
20、2xxxu例28:求 對x的微分。解:雖然我們可用微分除法法則(Quotient Rule)來求得解答,但若將上式兩邊同取自然對數ln後再微分,計算上可能會較容易。52)13(143xxxy52)13(1lnln43xxxy52)13ln(1lnln43xxxy5212)13ln()1ln(ln43xxx)13ln(5)1ln(21ln432xxx將兩邊同對x微分,可得1335122114312xxxxdxdyy1315)1(22432xxxxydxdy1315)1(2243)13(125243xxxxxxx例29:求 對x的微分。解:同上例將上式兩邊同取自然對數ln,得 ,然後兩邊同對x微分:xxy xxxyxlnlnlnxxxxyyln21xxxxxxln21xxxxyyln21另一種解法為將 直接對x微分:xxxxeexyxlnlndxdedxdxdxdyxxxlndxxxdexxlnlnxxxxxx1ln21xxxx22ln
