,derivatives ,review (! ,slope ,pro#m ,rememb] f ,limits (,i) ! pro#m t />t$ u \ 9 9v5t+ limits4 ,we want$ 6-pute ! slope (! tang5t l9e 6a curve at a giv5 po9t4 ,9 "picul>1 we ask$ ab ! slope (! curve y .k x^2 at ! po9t (1, 1)_4 ,\r approa* 6? 0 6approximate ! tang5t l9e 6! curve 0us+ a secant l9e1 a l9e cutt+ ! curve n j at "o po9t b at #2 close tgr po9ts1 z pictur$ 9 ,limits1 ,figure #1_4 ,! second po9t at : ! secant l9e meets ! curve is (t5 writt5 z (x+.,dx, (x+.,d)^2 "), s9ce ? descrip;n hie try+ 6pick a po9t a small 4t.e .,dx away f #1_4 ,! algebra looks a ll n1t]1 ?\<1 if we use ! simpl] ;h 9/1d ( .,dx, & write ! second po9t z (x+h, f(x+h))_4 ,! slope (! secant l9e is !n ?(1+h)^2"-1_/(1+h)-1#_4 ,! secant l9e w get clos] & clos] 6! tang5t l9e z h $o #0, : l1ves u say+ t ! slope (! tang5t l9e %d 2 #j "lim%h $o #0] ?(1+h)^2"-1_/(1+h)-1# .k "lim%h $o #0] ?((1+h)-1)((1+h)+1) _/(1+h)-1# .k "lim%h $o #0] ?h(2+h)_/.,dx# .k "lim%h $o #0] (2+h) .k #2_4 ,? agre$ ) :at num]ical exp]i;t,n & graph+ _h alr l$ u 63jecture4 ,def9i;n (! derivative4 ,n[ let's d ! same ?+ = an >bitr>y func;n ;f at an >bitr>y po9t ;x_4 ,6-pute ! slope (! tang5t l9e to y .k f(x) at ! "picul> po9t (x, f(x)), "o takes a second po9t (x+h, f(x+h)) on ! curve1 & "o -putes ! slope (! secant l9e jo9+ ^! #2 po9ts4 ,! result is ?f(x+h)-f(x)_/(x+h)-x# .k ?f(x+h)-f(x)_/h#_4 ,! slope (! tang5t l9e at (x, f(x)) %d 2 ! limit (! slope (! secant l9es z h $o #0_4 ,? slope is call$ ! .derivative ( ;f at ! po9t x, & x is writt5 f'(x) #a .k "lim%h $o #0] ?f(x+h)-f(x)_/h#_4 ,? :ole process is %[n pictori,y 9 ,figure #1_4 ,! slope (! solid tang5t l9e 9 ,figure #1 is f'(x)_4 ,! slope (! da%$ secant l9e is ?.,dy_/.,dx# .k ?f(x+h)-f(x)_/h#_4 ,if we imag9e ! ;h %r9k+ t[>d #0, s t x+h $o x, ! secant l9e w sw+ up clos] & clos] 6! tang5t l9e1 until _! slopes ne>ly co9cide4 ,! limit (! slopes (! secant l9es w 2 ! slope (! tang5t l9e3 f'(x) .k "lim%h $o #0] ?f(x+h)-f(x)_/h#_4 ,a ,not,nal ,9t]lude4 ,"! >e a _m alt]native ways 6write ! def9i;n (! derivative1 "s simpl] 6look at ?an o!rs1 b all say+ ! same ?+4 ,z m5;n$ abv1 "s p don't l us+ ;h z ! 4t.e 2t ! two po9ts4 ,!y pref] .,dx, : looks obvi\sly l a 4t.e 2t two values ( ;x_4 ,= ^! p1 ! two po9ts on ! curve wd 2 writt5 (x, f(x)) & (x+.,dx, f(x+.,dx))_4 #b ,! derivative wd !n 2 f'(x) .k "lim%.,dx $o #0] ?f(x+.,dx) -f(x)_/.,dx#_4 ,o!r p don't l ! sum 9 f(x+h) or f(x+.,dx)_4 ,^! p all ! two po9ts 9 ! figure (a, f(a)) & (x, f(x)), & !y set \ 6-pute ! slope f'(a) ( y .k f(x) at ! po9t (a, f(a))_4 ,!y "!=e label ! picture z %[n 9 ,figure #2_4 ,n[ ! slope (! solid tang5t l9e 9 is f'(a)_4 ,! slope (! da%$ secant l9e is ?.,dy_/.,dx# .k ?f(x)-f(a)_/x-a#_4 ,! secant l9e w sw+ up clos] & clos] 6! tang5t l9e z ;x moves clos] & clos] to ;a_2 s n[ we h 6take a limit z x $o a_4 ,! limit (! slopes (! secant l9es w 2 ! slope (! tang5t l9e3 f'(a) .k "lim%x $o a] ?f(x)-f(a)_/x-a#_4 ,all ^! =mulas >e say+ exactly ! same ?+2 ! only di6];e is ! "ns (! po9ts4 ,use :i*"e "o makes y happie/4 ,x's wor? rememb]+ !y all exi/1 ?\<1 bo? s t y c talk 6o!r p ) di6]5t not,nal pref];es & #c 2c "! >e "ts :5 "o ( ^! *oices results 9 simpl] >i?metic ?an ano!r4 ,! derivative is al n alw writt5 z f'(x)_4 ,if y .k f(x), !n ! derivative ( ;f at ;x c 2 writt5 f'(x) .k y' .k ?df_/dx# .k ?dy_/dx# .k ?d_/dx#f(x) .k ,d;x"f .k ,d;x"(y), plus v>iants on all ^!4 ,! derivative at ! "picul> po9t y .k #2 wd !n 2 ,'rule.(-0.11in.).(#0.01in.).(#0.3 in.),' f'(2) .k y'(2) .k (?dy_/dx#)(2) .k ?df_/dx#;x ;.k #2 etc4 ,ag1 all ^! m1n exactly ! same ?+3 ! slope (! tang5t l9e to y .k f(x) at a g5]ic po9t (x, f(x)) &! slope (! tang5t l9e 6! curve y .k f(x) at ! "picul> po9t (2, f(2))_4 ,! not,ns t look l df_/dx >e "picul>ly 9t]e/+ hi/oric,y4 ,! two ma9 9v5tors ( calculus 7 ,sir ,isaac ,newton 9 ,5gl& & ,gottfri$ ,wilhelm1 ,freih]r von ,leibniz 9 ,g]_m4 ,newton us$ not,n sort #d ( l y' =! derivative (actu,y1 he us$ "y<*])1 :ile ,leibniz us$ ?dy_/dx#_4 ,leibniz _h no no;n ( limits (nor _h ,newton)1 s 8 ?"\ 0 ?3 ! slope (! secant l9e 2t ! po9t (x, f(x)) &! po9t (x+.,dx, f(x+.,dx)) is ?f(x+.,dx)-f(x)_/.,dx# .k ?.,df_/.,dx# .k ?.,dy_/.,dx#_4 ,leibniz imag9$ -put+ ! slope (! tang5t l9e 0tak+ #2 po9ts t 7 only an 9f9itesimal 4t.e a"p---a 4t.e too small 6be writt5 9 decimal =m1 b / n z]o4 ,he denot$ ? t9y---& imag9>y---_4t.e z dx_4 ,! correspond+ *ange 9 ! heie s m* ab ! slope pro#m1 &! r1son calculus is s important a "p (! ma!matical sci5ti/'s >ma;t>ium is t 9 -put+ slopes1 we >e re,y -put+ 9/antane\s rates ( *ange4 ,\r abil;y 6d ? is critical 6\r abil;y 6model any quant;y 9 ! univ]se t is a# 6*ange4 ,"s f/ -put,ns4 ,on ! second "d ( class1 we made a 3jecture1 t ! slope (! tang5t l9e 6! curve y .k x^2 at ! po9t (x, x^2") wd 2 #2x_4 ,we gave qualitative r1sons 6?9k ? 0 true4 ,we "k x is exactly true at x .k #0_4 ,! calcul,n at ! top ( ? h&\t %[s t x is exactly true at x .k #1_4 ,0symmetry1 x m/ 2 true at x .k -#1 z well4 ,n[ let's d x 9 g5]al4 ,0! def9i;n (! derivative1 ! slope (! tang5t l9e to y .k x^2 at ! po9t (x, f(x)) is f'(x) .k "lim%h $o #0] ?f(x+h)-f(x)_/h# #g .k "lim%h $o #0] ?(x+h)^2"-x^2"_/h# .k "lim%h $o #0] ?(x^2"+2xh+h^2") -x^2"_/h# .k "lim%h $o #0] ?2xh+h^2"_/h# .k "lim%h $o #0] (2x+h) .k #2x_4 ,! 3jecture we made at ! 2g9n+ (! t]m t at l1/ =! func;n y .k x^2, ! >ea & slope pro#ms >e 9v]ses ( "o ano!r1 is "!=e exactly correct2 & !calcul,n is n ev5 v h>d4 ,we've le>n$ a lot6 ,x's wor? plott+ ! func;n f(x) .k x^2 & xs derivative f'(x) .k #2x side 0side 9 ord] 6?9k ab ! geometric rel,n 2t !m4 ,! derivative ( ;f at ! po9t ;x is ! slope (! tang5t l9e to ;f at ! po9t (x, f(x))_4 ,t is1 at any giv5 po9t ;x on ! ;x-axis1 ! hei.d4 ,let g(x) .k x^3, & let u -pute ! slope (! tang5t l9e to y .k g(x) #h at ! po9t (x, g(x))_4 ,0! def9i;n (! derivative1 ? %d 2 g'(x) .k "lim%h $o #0] ?g(x+h)-g(x)_/h# .k "lim%h $o #0] ?(x+h)^3"-x^3"_/h# .k "lim%h $o #0] ?(x^2"+3x^2"h+3xh^2 "+h^3")-x^3"_/h# .k "lim%h $o #0] ?3x^2"h+3xh^2"+h^3" _/h# .k "lim%h $o #0] (3x^2"+3xh+h^2") .k #3x^2_4 ,! graphs ( y .k g(x) & y .k g'(x) >e %[n 9 ,figures #5 & #6, resp4 ,ag1 ! heie %[n 9 ,figures #7 & #8, resp4 ,! heit+ po9t = ? :ole !ory4 ,s \r new me?od ( -put+ slopes doesn't =ce u 6*ange ! m1n+ ( slopes =! only curve = : we cd -pute ! slope )\t calculus1 ! /raibitr>y po9t x, & !n 6plug 9 x .k #2_4 ,9 ? me?od1 we wd f/ -pute f'(x) .k "lim%h $o #0] ?@((x+h)^2"-3(x+h)+ 2@)-@(x^2"-3x+2@)_/h# .k "lim%h $o #0] ?x^2"+2xh+h^2"-3x- 3h+2-x^2"+3x-2_/h# .k "lim%h $o #0] ?2xh+h^2"-3h_/h# .k "lim%h $o #0] (2x+h-3) .k #2x-3_4 ,? is ! slope (! tang5t l9e at ! po9t (x, x^2"-3x+2)_4 ,! slope (! tang5t l9e #ab at (2, 0) is "!=e f'(2) .k #2(2)-3 .k #1 , ! same answ] we got 2f4 ,pro#m #2_4 ,-pute ! equ,n (! tang5t l9e 6! curve y .k x^2"-3x+2 at ! po9t (2, 0)_4 ,! f/ "p ( ? pro#m wd 2 6d ,pro#m #1, -put+ ! slope (! tang5t l9e4 ,once we've d"o t1 ! pro#m is easy4 ,! tang5t l9e has slope #1, & x goes "? ! po9t (2, 0) _2 s xs equ,n m/ 2 (y-0) .k #1(x-2), i4 e41 y .k x-2_4 ,z a *eck1 ! curve & ? l9e >e plott$ tgr 9 ,figure #9_4 ,!y look pretty tang5t4 ,func;ns )\t derivatives4 ,we've "w$ \ n[ h[ 6-pute ! derivatives ( q a lot ( func;ns1 & we're ab 6/>t look+ = g5]al rules t w let u di6]5tiate practic,y e func;n4 ,b 2f we d t1 we "\ 6pause & cl>ify sligu;t t actu,y proves ? fact analytic,y us+ \r def9i;ns ( derivative &( 3t9u;y3 ,suppose f'(a) .k "lim%x $o a] ?f(x)-f(a)_/x-a# exi/s4 ,!n "lim%x $o a] (f(x)-f(a)) .k "lim%x $o a] (?f(x)-f(a)_/x-a#*(x -a)) .k ("lim%x $o a] ?f(x)-f(a)_/x-a#)( "lim%x $o a] (x-a)) .k f'(a)*0 .k #0, : m1ns t "lim%x $o a] f(x) .k "lim%x $o a] ((f(x)-f(a))+f(a)) .k "lim%x $o a] (f(x)-f(a))+ "lim%x $o a] f(a) .k #0+f(a) .k f(a), : m1ns t ;f is 3t9u\s at ;a_4 ,does e func;n t is 3t9u\s at ;a & h a derivative at ;a_8 ,no4 ,3sid]1 = 9/.e1 #ad f(x) .k \x\ at a .k #0_4 ,! derivative f'(0), if x exi/$1 wd 2 "lim%h $o #0] ?f(0+h)-f(0)_/h# .k "lim%h $o #0] ?\0+h\-0_/h# .k "lim%h $o #0] ?\h\_/h#_4 ,if h .1 #0, !n \h\ .k h, :ile if h "k #0, !n \h\ .k -h_4 (,?9k ab \2\ & \-2\ if y don't see ?4) ,?us1 "lim%h $o #0^+] ?\h\_/h# .k "lim%h $o #0^+] #1 .k #1, b "lim%h $o #0^-] ?\h\_/h# .k "lim%h $o #0^-] (-1) .k -#1_4 ,s9ce ! left & "r h& limits di6]1 "lim%h $o #0] ?\h\_/h# does n exi/1 & y .k \x\ does n h a derivative at x .k #0_4 ,? seems r1sona# if y ?9k (! graph ( \x\ (,figure #10)_4 ,:at cd "o m1n 0! slope (! tang5t l9e 6? func;n at x .k #0, ": ! graph -es 6a %>p po9t8 ,basic rules = -put+ derivatives4 #ae ,p[]s ( ;x_4 ,s f>1 we "k t ?d_/dx#(x) .k #1 ?d_/dx#(x^2") .k #2x ?d_/dx#(x^3") .k #3x^2_4 ,is "! any patt]n "h8 ,h[ ab ?d_/dx#(x^n") .k nx^n-1_4 ,6prove t ? 3jectur$ =mula "ws = any positive 9teg] value ( ;n, we wd h 6let f(x) .k x^n & 6evaluate f'(a) .k "lim%h $o #0] ?(a+h)^n"-a^n"_/h# .k "lim%x $o a] ?x^n"-a^n"_/x-a#_4 ,! second =m abv seems 6be ! easi] "o 6"w )1 s9ce we c imag9e j do+ l;g divi.n 6divide x-a 9to x^n"-a^n (try it6) 6get x^n"-a^n .k (x-a)(x^n-1"+ax^n-2"+a^2"x^n-3" + ''' +a^n-2"x+a^n-1")_4 ,? m1ns t "lim%x $o a] ?x^n"-a^n"_/x-a# .k "lim%x $o a] (x^n-1"+ax^n-2"+a^2 "x^n-3"+ ''' +a^n-2"x+a^n-1") .k (a^n-1"+aa^n-2"+a^2"a^n-3"+ ''' #af +a^n-2"a+a^n-1") .k na^n-1, j ! =mula we 7 hop+ =4 ,if y want an 9t]e/+ algebraic *all5ge1 y mix]_4 ,we get f'(x) .k "lim%h $o #0] ?>x+h]->x]_/h# .k "lim%h $o #0] (?>x+h]->x]_/h#*?>x +h]+>x]_/>x+h]+>x]#) .k "lim%h $o #0] ?(x+h)-x_/h(>x+h] +>x])# #ag .k "lim%h $o #0] ?h_/h(>x+h]+>x])# .k "lim%h $o #0] ?1_/>x+h]+>x]# .k ?1_/2>x]# .k ?1_/2#x^-1_/2, ! result (! =mula nx^n-1 ) n .k ?1_/2#_4 ,we'll -e back lat] 6! =mula ?d_/dx#(x^n") .k nx^n-1 lat]1 & see if we c prove xs valid;y = all r1l ;n_4 ,3/ant multiples4 ,n[ t we "k h[ 6di6]5tiate at l1/ e positive 9teg] p[] ( ;x, let's see ab -b9+ ^! p[]s 6make polynomials4 ,! f/ ?+ we ne$ 6be a# 6d is 6multiply p[]s ( ;x 03/ants 6get func;ns l #3x^5_4 ,"h ! !orem is simple3 ,if ;c is a 3/ant1 !n (cf(x))' .k c*f'(x)_4 ,6prove ?1 we -pute ?d_/dx#(cf(x)) .k "lim%h $o #0] ?cf(x+h)-cf(x)_/h# .k "lim%h $o #0] (c*?f(x+h)-f(x) _/h#) .k ("lim%h $o #0] c)("lim%h $o #0] #ah ?f(x+h)-f(x)_/h#) .k c*f'(x)_4 ,we "!=e "k ?+s l ?d_/dx#(3x^5") .k #3?d_/dx#(x^5") .k #3*5x^4 .k #15x^4_4 ,sums & ,di6];es4 ,6get polynomials1 we n[ h 6add up t]ms t look l #3x^5_4 ,6take ! derivative (a sum ( func;ns is al simple3 (f(x)+g(x))' .k f'(x)+g'(x)_4 ,ag1 ! pro( ( ? is a simple -put,n3 ?d_/dx#(f(x)+g(x)) .k "lim%h $o #0] ?(f(x+h)+g(x+h)) -(f(x)+g(x))_/h# .k "lim%h $o #0] ?(f(x+h)-f(x))+(g(x +h)-g(x))_/h# .k "lim%h $o #0] (?f(x+h)-f(x)_/h#+ ?g(x+h)-g(x)_/h#) .k ("lim%h $o #0] ?f(x+h)-f(x)_/h#) +("lim%h $o #0] ?g(x+h)-g(x)_/h#) .k f'(x)+g'(x)_4 #ai ,0exactly ! same >gu;t1 ! derivative (! di6];e ( two func;ns is (f(x)-g(x))' .k f'(x)-g'(x)_4 ,0-b9+ ! results we h s f>1 we c -pute ! derivative ( any polynomial4 ,= 9/.e1 ?d_/dx#(x^17"-11x^7"+6x^2"+13) .k (x^17")'-(11x^7")'+(6x^2")'+(13)' .k (x^17")'-11(x^7")'+6(x^2")'+(13)' .k #17x^16"-77x^6"+12x+0_4 (,rememb] t a 3/ant func;n is a horizontal /raie we d"o8 ,no4 ,"! >e / lots ( func;ns we c't di6]5tiate4 ,^! 9clude ,trig func;ns1 l sin x_4 ,products ( func;ns1 l x^2"*sin x_4 ,quoti5ts ( func;ns1 l ?x^2"+x-1_/5x+2#_4 #bj ,p[]s ( func;ns1 l (4x^2"+x+11)^100, or 9 g5]al1 func;ns ( func;ns1 l sin (x^2")_4 ,"!'s al ! matt] ( non-positive-9teg] p[]s ( ;x, l x^-5 or x^22_/7_4 ,s we / ne$ "s m rules1 b we h made enorm\s h1dway 9 v %ort ord]4 ,derivatives ( sin x & cos x_4 ,if we 7 6guess :at ! derivatives (! s9e & cos9e func;ns 7 l1 :at wd we say8 ,! graph ( y .k sin x is %[n 9 ,figure #11_4 ,! derivative ( y .k sin x has 6be "s?+ l ! func;n graph$ 9 ,figure #12_4 ,! func;n 9 ,figure #12 looks at l1/ sup]fici,y l ! func;n y .k cos x, s a r1sona# 3jecture wd 2 t ?d_/dx#(sin x) .k cos x_4 ,simil>ly1 ! graph ( y .k cos x && approxim,n 6xs derivative >e %[n 9 ,figures #13 & #14, resp4 ,x wd appe> t p]h ?d_/dx#(cos x) .k -sin x_4 #ba ,c we prove ^! claims8 ,x turns \ ( maybe surpris+ly) t ! answ] is yes4 ,6get ! derivative ( sin x, we say1 if f(x) .k sin x, !n f'(x) .k "lim%h $o #0] ?sin (x+h)-sin x _/h# .k "lim%h $o #0] ?sin xcos h+cos x sin h-sin x_/h# .k "lim%h $o #0] ?sin x(cos h-1)+ cos xsin h_/h# .k ("lim%h $o #0] ?sin x(cos h-1) _/h#)+("lim%h $o #0] ?cos xsin h _/h#) .k ("lim%h $o #0] sin x)( "lim%h $o #0] ?(cos h-1)_/h#)+( "lim%h $o #0] cos x)("lim%h $o #0] ?sin h_/h#) .k ("lim%h $o #0] sin x)*0+( "lim%h $o #0] cos x)*1 .k (sin x)*0+(cos x)*1 .k cos x_4 ,9 l9e #2 ( ? calcul,n1 we h us$ ! sum =mula =! s9e func;n4 ,9 l9e #6, we use #2 (! limits we 3jectur$ 9 ! lab & lat] #bb prov$ 9 class4 ,6-pute ! derivative ( cos x, we cd try a simil> calcul,n us+ ! sum =mula =! cos9e4 ,we cd al obs]ve t ! graph (! cos9e func;n is ! graph (! s9e func;n mov$ left 0a 4t.e .p_/2_4 cos x .k sin (x+?.p_/2#)_4 ,! derivative (! cos9e func;n %d "!=e 2 ! derivative (! s9e func;n mov$ left 0a 4t.e .p_/2_4 ,t is1 ?d_/dx#(cos x) .k" .k ?d_/dx#(sin (x+?.p_/2#)) .k cos (x+?.p_/2#)_4 ,look+ at ! unit circle or us+ "s ( \r e>li] trig id5tities %[s t cos (x+.p_/2) .k -sin x, s t ?d_/dx#(cos x) .k cos (x+?.p_/2#) .k -sin x_4 ,! ,product ,rule4 ,! ,product ,rule says ?d_/dx#(f(x)g(x)) .k f'(x)g(x)+f(x)g'(x)_4 or1 9 %orth&1 #bc (fg)' .k f'g+fg'_4 ,! pro( is a 0n[ /&>d trick ( a4+ & subtract+ ! same ?+4 ,m* ( ma!matics 3si/s ( exactly ?3 a4+ #0 & multiply+ by #1 9 cl"e ways4 ?d_/dx#(f(x)g(x)) .k "lim%h $o #0] ?f(x+h)g(x+h) -f(x)g(x)_/h# .k "lim%h $o #0] ?f(x+h)g(x+h) -f(x)g(x+h)+f(x)g(x+h)-f(x)g(x) _/h# .k "lim%h $o #0] @(?f(x+h)g(x+h) -f(x)g(x+h)_/h#+?f(x)g(x+h) -f(x)g(x)_/h#@) .k "lim%h $o #0] @(?f(x+h)g(x+h) -f(x)g(x+h)_/h#@)+"lim%h $o #0] @( ?f(x)g(x+h)-f(x)g(x)_/h#@) .k ("lim%h $o #0] ?f(x+h)-f(x)_/h#)( "lim%x $o #0] g(x+h))+( "lim%h $o #0] f(x))("lim%h $o #0] ?g(x+h)-g(x)_/h#) .k f'(x)g(x)+f(x)g'(x)_4 ,x may 9iti,y seem surpris+ t (fg)' /.k f'g'_4 ,"h's a picture t may #bd cl>ify :at's happ5e+ 9 ! ,product ,rule4 ,suppose f(t) repres5ts ! l5g? (a rectangle & g(t) repres5ts xs wid?4 ,bo? ^! quantities >e *ang+ ) "t---! rectangle is gr[+4 ,! func;n f(t)g(t) !n repres5ts ! >ea (! rectangle2 & ?d_/dt#(f(t)g(t)) is ! rate ( *ange ( ? >ea4 ,! picture 9 ,figure #15 %[s ! rectangle at "t ;t (solid) al;g )! gr[? (! rectangle 2t "t ;t & "t t+.,dt (da%$ )_4 ,2t "t ;t & "t t+.,dt, ! >ea (! solid rectangle 9cr1ses 2c (! a4i;n ( ?ree small] rectangles1 ,a, ,b, & ;,c_4 ,! rectangle ;,a has l5g? f(t) & wid? ab g'(t).,dt_4 ,rectangle ;,b has l5g? g(t) & wid? ab f'(t).,dt_4 ,! heigt & wid? ( rectangle ;,c >e ab f'(t).,dt & g'(t).,dt_4 ,?us1 ! 9cr1se 9 >ea (! reactangle 2t "t ;t & "t t+.,dt is r\ea is ab #be ?f(t)g'(t).,dt+g(t)f'(t).,dt +f'(t)g'(t)(.,dt)^2"_/.,dt# .k f(t)g'(t)+g(t)f'(t) +f'(t)g'(t).,dt_4 ,z .,dt $o #0, ? rate ( *ange approa*es ?d_/dt#(f(t)g(t)) .k f(t)g'(t)+g(t)f'(t), : is j :at ! ,product ,rule claim$4 ,! two t]ms 9 ! ,product ,rule "!=e correspond 6! rates ( 9cr1se ( >ea caus$ 0expan.n (! two sides (! rectangle1 resp4 ,! ,quoti5t ,rule ,! rule = di6]5tiat+ reciprocals is ?d_/dx#(?1_/g(x)#) .k -?g'(x)_/g(x)^2"#_4 ,"o c 3v9ce onself ( ? 0j do+ ! only calcul,n "o cd d3 ?d_/dx#(?1_/g(x)#) .k "lim%h $o #0] ,??1_/g(x+h)#-?1 _/g(x)#,_/h,# .k "lim%h $o #0] ?1_/h#@(?1_/g(x+h)# -?1_/g(x)#@) #bf .k "lim%h $o #0] ?1_/h#@(?g(x)-g(x +h)_/g(x)g(x+h)#@) .k "lim%h $o #0] @(?1_/g(x)g(x+h)#* ?g(x)-g(x+h)_/h#@) .k ("lim%h $o #0] ?1_/g(x)g(x+h)#)( "lim%h $o #0] ?g(x)-g(x+h)_/h#) .k ?1_/g(x)^2"#(-g'(x)) .k -?g'(x) _/g(x)^2"#_4 ,! =mula =! derivative ( an >bitr>y quoti5t c n[ 2 deriv$ 0-b9+ ! ,product & ,reciprocal ,rules3 ?d_/dx#(?f(x)_/g(x)#) .k ?d_/dx#(f(x)*?1_/g(x)#) .k f'(x)?1_/g(x)#+f(x)(?d_/dx#(?1 _/g(x)#)) .k ?f'(x)_/g(x)#+f(x)(-?g'(x) _/g(x)^2"#) .k ?g(x)f'(x)-f(x)g'(x)_/g(x)^2"#_4 ,! ,quoti5t ,rule is h>d] 6rememb] ?an ! ,product ,rule 2c x has t m9us sign4 ,y h 6get ! t]ms 9 ! "r ord]4 ,"o solu;n 6? is a bit ( mnemonic do7]el3 6di6]5tiate ?,hi_/,ho#, we say1 8 ,ho-de-,hi m9us ,hi-de-,ho1 ,squ>e ! #bg bottom1 & away we g60 8,de0 "h m1ns derivative4 ,! rhyme =ces y 6get ! t]ms 9 ! "r ord]2 s9ce ! alt]native is 8 ,hi-de-,ho m9us ,ho-de-,hi1 ,squ>e ! bottom1 & we all fry60 ,o!r ,trig ,func;ns4 ,an imm use (! quoti5t rule is 6-pute ! derivatives (! o!r trig func;ns4 ?d_/dx#sec x .k ?d_/dx#(?1_/cos x#) .k -,?(d_/dx)(cos x),_/cos^2 x,# .k ?sin x_/cos^2 x# .k ?1_/cos x#*?sin x_/cos x# .k sec xtan x_4 ?d_/dx#tan x .k ?d_/dx#(?sin x_/cos x#) .k ,?(cos x)((d_/dx)sin x)-( sin x)((d_/dx)cos x),_/cos^2 x,# .k ?(cos x)(cos x)-(sin x)(-sin x)_/ cos^2 x# .k ?1_/cos^2 x# .k sec^2 x_4 ,calcul,ns j l ^! give ! derivatives (! cosecant & cotang5t func;ns4 ,if we #bh li/ all ^! results tgr 9 a ta#1 "o c see "s (! symmetries 9volv$4 ------------------ f(x) f'(x) ------------------ sin x cos x ------------------ cos x -sin x ------------------ tan x sec^2 x ------------------ cot x -csc^2 x ------------------ sec x sec xtan x ------------------ csc x -csc xcot x ------------------ ,examples4 ?d_/dx#(xsin x) .k #1sin x+xcos x ?d_/dx#(sin^2 x) .k ?d_/dx#(sin x* sin x) .k cos xsin x+sin xcos x .k # 2sin xcos x #bi ?d_/dx#(?x^2"+3x+5_/7x^3"+11#) .k ?( 7x^3"+11)(2x+3)-(x^2"+3x+5)(21x^2") _/(7x^3"+11)^2"# ?d_/dx#(?sin xcos x_/x^2"+1#) .k ,?(x^2"+1)?d_/dx#(sin xcos x)-(sin x cos x)2x,_/(x^2"+1)^2",# .k ?(x^2"+1)(cos^2 x-sin^2 x)-(sin x cos x)2x_/(x^2"+1)^2"# ?d_/dx#(?x_/2x+3#*?tan x_/>x]#) .k ?( 2x+3)1-x(2)_/(2x+3)^2"#?tan x_/>x]#+ ?x_/2x+3#,?>x]sec^2 x-(tan x)(?1_/ 2>x]#),_/x,#_4 ,hi<] ,ord] ,derivatives4 ,we've be5 />t+ )a func;n f(x) & -put+ xs derivative f'(x)_4 ,b f'(x) is a func;n 9 xs [n "r4 ,we c "!=e p]fectly well imag9e tak+ xs derivative 6get yet ano!r func;n1 f''(x)_4 ,we cd1 if we want$1 keep go+ & take ! derivative ( f''(x), : is call$ f'''(x) & s on4 ,^! func;ns >e call$ ! second derivative ( f , ! ?ird derivative ( f, & s on4 ,derivatives hi<] ?an ! ?ird >e norm,y #cj writt5 us+ a sup]script 9 p>5!ses 6denote ! ord] (! derivative4 ,?us1 we write f'''(x) .k f^(3)"(x), f''''(x) .k f^(4)"(x), f'''''(x) .k f^(5)"(x), & s on4 ,o3a.n,y1 x is al 3v5i5t 6use ? not,n = l[] ord] derivatives1 usu,y 9 =mulas 9 : we >e summ+ ov] _m derivatives4 ,we cd !n write f''(x) .k f^(2)"(x) f'(x) .k f^(1)"(x) f(x) .k f^(0)"(x)_4 ,if we >e us+ ,leibniz,8 not,n = derivatives1 & if y .k f(x), !n f''(x) .k ?d_/dx#(?df_/dx#) .k ?d^2"f _/dx^2"# .k ?d^2"y_/dx^2"# .k ?d^2" _/dx^2"#f(x), f'''(x) .k ?d_/dx#(?d^2"f_/dx^2"#) .k ?d^3"f_/dx^3"# .k ?d^3"y_/dx^3"# .k ?d^3"_/dx^3"#f(x), & s on4 ,= polynomials1 hi<] ord] derivatives ev5tu,y get simpl] & simpl]4 ,"h's an #ca example3 f(x) .k x^3"-27x^2"+11x+6 f'(x) .k #3x^2"-54x+11 f''(x) .k #6x-54 f'''(x) .k #6 f^(4)"(x) .k f^(5)"(x) .k f^(6)"(x) .k ''' .k #0_4 ,= o!r func;ns1 ! hi<] ord] derivatives may get m -plicat$1 n less4 f(x) .k ?x+1_/3x^2"-1# f'(x) .k ?(3x^2"-1)1-(x+1)(6x)_/(3x^2" -1)^2"# .k -?3x^2"+6x+1_/9x^4"-6x^2"+1# f''(x) .k -?(9x^4"-6x^2"+1)(6x+6)-( 3x^2"+6x+1)(36x^3"-12x)_/(9x^4"-6x^2 "+1)^2"# .k ?18x^3"+54x^2"+18x+6_/27x^3"-27x^2" +9x-1#_4 ,=! s9e & cos9e func;ns1 ! derivatives cycle3 f(x) .k sin x f'(x) .k cos x f''(x) .k -sin x f'''(x) .k -cos x #cb f^(4)"(x) .k sin x f^(5)"(x) .k cos x_4 ,a ,physical ,9t]pret,n ( ,hi<] ,derivatives4 ,i once rode an elevator d[n f ! #39? floor a"p;t ( my fr ,*>lie ,fe6]man1 :o at ! "t 0 #22, a full professor at ,*icago & at ,pr9ceton1 & "o (! be/ ma!matical analy/s 9 ! _w4 ,i -;t$ t ! elevator 0 v fa/ b v smoo?4 ,*>lie no4$4 8,small ?ird derivative10 he sd4 ,cd he possibly h be5 "r8 ,c "o feel ?ird derivatives8 ,69ve/igate ? "q1 suppose y wake up "o morn+ & f9d yrf 9 an elevator4 ,? wd raise all mann] ( "qs t >e \tside ! scope ( ? class1 b x wd al raise "qs we c actu,y a4ress4 ,let s(t) 2 ! posi;n (! elevator z a func;n ( "t4 ,9 ,am]ican units1 s(t) mi ! bells1 !n y don't "k ": y >e4 ,! derivative s'(t) is ! rate ( *ange (! hei+ ! s.d (! motor or 0feel+ xs vibr,n4 ,b if ! motor is v smoo? or if "o _c he> x1 !n "! re,y is no way 6tell directly :5 y wake up :e!r ! elevator is mov+ or n4 ,9directly1 "o c m1sure ! value ( s'(t) 0obs]v+ h[ fa/ ! floor numb]s >e *ang+4 ,if ! spac+ 2t floors is ab #10 feet1 & if 9 "o second y drop f floor #17 6floor #cd #14, !n r\1 we hav5't yet hit a func;n we c directly exp]i;e2 b :at ab ! second derivative1 s''(t)_8 ,! second derivative is ! rate ( *ange (! veloc;y4 s''(t) .k "lim%.,dt $o #0] ?s'(t+.,dt) -s'(t)_/.,dt#, s s''(t) w 2 m1sur$ 9 units ( feet p] second p] second1 or ft_/;s^2_4 ,? rate ( *ange is call$ ! .a3el],n (! elevator4 ,a l>ge a3el],n1 say #30 ft_/;s^2, wd m1n t ea* second1 ! elevator 0 go+ upw>d at a spe$ ( #30 ft_/;s fa/] ?an ! previ\s second4 ,an a3el],n l -#0.03 ft_/;s^2 wd m1n t ea* second ! upw>d veloc;y 0 #0.03 ft_/;s less ?an x _h be5 a second 2f4 ,h[ d y m1sure a3el],n 9 ! elevator8 ,well1 y cd e/imate veloc;y at #2 po9ts & look at xs rate ( *ange1 b ? wd 2 -plicat$ & ]ror-pr"o4 ,b "!'s a simpl] way4 ,:5 y a3el]ate upw>ds1 y wei< m2 :5 y a3el]ate d[nw>ds1 y wei< less4 ,y c feel a3el],n 9 ! pit ( yr /oma*1 :e!r y #ce c r1d ! floor numb]s or n4 ,9 fact1 "o c ev5 2 quantitative ab ? obs]v,n4 ,ac 6,newton1 ,f .k ma, ": ;,f is ! =ce on an object1 ;m is xs mass1 & a .k s''(t) is xs a3el],n4 ,s if y "k yr mass1 & if y plan ah1d & take a ba?room scale ) y :5 y g 96! elevator s t y c m1sure quantitatively ! =ce on yr body1 !n y c immly 9f] ! a3el],n4 ,n[ on 6! ?ird derivative1 s'''(t)_4 ,! ?ird derivative is ! rate ( *ange (! a3el],n4 ,x w "!=e 2 l>ge 9 absolute value if ! a3el],n *anges rapidly4 ,rapid *ange 9 a3el],n wd result1 = 9/.e1 9 y wei<+ a lot "o mo;t1 & v ll ! next2 or 9 y wei<+ v ll "o mo;t &a lot ! next4 ,t is1 ! ?ird derivative w 2 l>ge dur+ a j]k4 ,j z s'(t) is call$ ! veloc;y & s''(t) is call$ ! a3el],n1 s'''(t) al has a "n---x's call$ ! .j]k1 : is 9t5d$ 6capture xs physical m1n+4 ,s my fr ,*>lie ,fe6]man 0 "r3 "o c feel ! ?ird derivative directly1 &a smoo? ride m1ns a small ?ird derivative4 #cf ,! ,*a9 ,rule ,we've se5 9 lab ! la/ situ,n 9 : we ne$ 6-pute derivatives1 ! case ( func;ns built 0-pos+ "o func;n ) ano!r 6produce f(g(x))_4 ,\r 3jecture is t ?d_/dx#f(g(x)) .k f'(g(x))g'(x)_4 ,? 3jecture is 9 fact correct2 x is call$ 9 ! trade ! ,*a9 ,rule4 ,2f we try 6prove x1 ?\<1 let's pause =a mo;t & make sure we c p>se ! not,n4 ,on ! left h& side1 f(g(x)) says 6take f(x) & 6replace ;x by g(x) "ey":4 ?d_/dx#f(g(x)) says 6take ! derivative (! result+ expres.n4 ,s ! left h& side m1ns 6sub/itute g(x) = ;x & !n 6di6]5tiate4 ,on ! "r h& side1 f'(g(x)) says 6f/ take ! derivative ( f, & !n 6sub/itute g(x) = ;x_4 ,! ,*a9 ,rule tells u t ! ord] 9 : we d ! sub/itu;n & di6]5ti,n matt]s4 ,x is n ! case t ?d_/dx#f(g(x)) .k f'(g(x))_4 ,r1 "o has 6multiply ! "r h& side by g'(x) 9 ord] 6get equal;y4 #cg ,! po9t (! ,*a9 ,rule1 ?\<1 is n re,y t ! ord] 9 : we di6]5tiate & sub/itute matt]s4 ,r1 x tells u t if we c di6]5tiate ;f & g, !n we c al di6]5tiate f(g(x))_4 ,s9ce e func;n "o c write explicitly seems 6be built up f p[]s ( ;x or f s9es & cos9es 0a4i;n1 subtrac;n1 multiplic,n1 divi.n1 or -posi;n (the process ( =m+ f(g(x)))1 x seems t we h n[ -plet$ ! process ( le>n+ h[ 6di6]5tiate "ey?+4 ,a ,mod]n 8,pro(0 (! ,*a9 ,rule4 ,6prove ! ,*a9 ,rule is actu,y a bit delicate4 ,let me give :at is ess5ti,y ! mod]n >gu;t1 )a bit ( te*nical detail left \4 ,if we j plunge boldly 96a calcul,n1 we wd use ! def9i;n (! derivative 6write ?d_/dx#f(g(x)) .k "lim%.,dx $o #0] ?f(g(x+.,dx)) -f(g(x))_/.,dx#_4 ,x's n 9iti,y cle> :at 6d ) ? limit4 ,h[ cd we simplify x at all8 ,an answ] #ch turns \ 6be 6try 6bridge ! gap 2t ! num]ator & denom9ator 0multiply+ & divid+ 0"s?+ algebraic,y 9t]m$iate 2t ! two4 (,we multiply by #1 9 a -plicat$ way_4) ,t is1 we write ?d_/dx#f(g(x)) .k "lim%.,dx $o #0] ?f(g(x+.,dx)) -f(g(x))_/.,dx# .k "lim%.,dx $o #0] ?f(g(x+.,dx)) -f(g(x))_/g(x+.,dx)-g(x)#*?g(x +.,dx)-g(x)_/.,dx# .k @("lim%.,dx $o #0] ?f(g(x+.,dx)) -f(g(x))_/g(x+.,dx)-g(x)#@)*@( "lim%.,dx $o #0] ?g(x+.,dx)-g(x) _/.,dx#@) .k @("lim%.,dx $o #0] ?f(g(x+.,dx)) -f(g(x))_/g(x+.,dx)-g(x)#@)g'(x)_4 ,we've n[ made r1l progress4 ,we've pull$ ! derivative ?d_/dx#f(g(x)) a"p 9to #2 factors1 "o ( : is g'(x), j z ! ,*a9 ,rule say x %d 24 ,:at's left 6d is 6>gue t ! rema9+ ugly limit is 9 fact f'(g(x))_4 #ci ,6d ?1 rememb] t if ;g is di6]5tia# at x, !n ;g is 3t9u\s at ;x_4 ,? m1ns t z .,dx $o #0, g(x+.,dx) $o g(x)_4 ,6cl1n up \r not,n a bit1 def9e .,dg .k g(x+.,dx)-g(x) z .k g(x)_4 ,we "k t :5 .,dx $o #0, .,dg $o #0 z well4 ,s ! rema9+ limit 9 \r expres.n = ?d_/dx#f(g(x)) c 2 rewritt5 z "lim%.,dx $o #0] ?f(g(x+.,dx))-f(g(x)) _/g(x+.,dx)-g(x)# .k "lim%.,dx $o #0] ?f(z+.,dg)-f(z) _/.,dg# .k "lim%.,dg $o #0] ?f(z+.,dg)-f(z) _/.,dg# .k f'(z) .k f'(g(x))_4 ,plu7+ ? 96! =mula abv -pletes ! pro(4 ,h"o/y -pels me 6po9t \ t "! is a sligu;t4 ,"! is no r1son "! %d n 2 po9ts x+.,dx ne> ;x at : g(x+.,dx)-g(x) .k #0_4 ,at po9ts l ?1 ! expres.n g(x+.,dx)-g(x) we h multipli$ & divid$ 0is #0, : is a pro#m1 s9ce we c't divide by #0_4 ,a -pletely rigor\s pro( #dj wd ne$ 6a4ress ? 3c]n4 ,-e back 9 ,analysis ,a1 & we'll d t4 ,a ,classical ,pro( (! ,*a9 ,rule4 ,! mod]n pro( abv seems 6require "o 6be aw;lly cl"e4 ,is ? re,y :at ! 9itial >*itects ( calculus did8 ,no1 & x cdn't h be54 ,newton & ,leibniz didn't ev5 "k ab limits1 af all4 ,a lot ( 9siia#4 ,! ,*a9 ,rule wd !n say 9 "s?+ l ,newton's not,n t (f(u(x)))' .k f'(u(x))u'(x)_4 ,h[ wd ? look 9 ,leibniz,8 not,n8 ,we "k ,leibniz wd h writt5 u'(x) z ?du_/dx#_4 ,h[ wd he h writt5 ! o!r two derivatives 9 ! =mula8 ,he wd h be5 r less explicit ?an mod]n not,n causes "o 6be4 ,he wd h sd1 f .k f(u) .k f(u(x)) c 2 ?\< ( ei z a func;n ( ;u ": we "k ;u re,y dep5ds on x, or z a func;n ( ;x_4 #da ,reg>d+ ;f z a func;n ( x, ,leibniz wd write ! derivative (f(u(x)))' z ?df_/dx#_4 ,reg>d+ ;f z a func;n ( u, ,leibniz wd write ! derivative f'(u(x)) z ?df_/du#_4 ,s ! ,*a9 ,rule writt5 0,leibniz wd say ?df_/dx# .k ?df_/du#?du_/dx#_4 ,h[ wd ,leibniz prove ?8 ,he'd c.el ! du & 2 d"o6 ,9 ,leibniz,8 "u/&+ (! calculus1 ? wd make p]fect s5se4 ,leibniz reg>d$ ! derivative dy_/dx z re,y 2+ a di6];e quoti5t .,dy_/.,dx 9 : ! num]ator & denom9ator 7 bo? 9f9itesim,y small2 s = hm1 ! derivatives abv 7 re,y frac;ns1 &! c.ell,n 0 -pletely legitimate4 ,= u1 ! situ,n is m -plicat$4 .,dy_/.,dx is n a frac;n1 b a limit ( di6];e quoti5ts4 ,x doesn't re,y h a num]ator &a denom9ator t c 2 c.ell$4 ,we "!=e ne$ ! m -plex >gu;t4 ,b if y look ag at \r pro(1 y / see ! traces ( ,leibniz,8 "u/&+4 ,leibniz multiplies & divides by du_4 ,9side ! limit1 we multiply & divide by #db g(x+.,dx)-g(x) .k .,dg .k .,du (rememb] t ;g & ;u 7 di6]5t "ns =! same ?+)_4 ,s ,leibniz,8 pro( is / alive 9 ! mod]n >gu;t4 ,ev5 ?\< ,leibniz,8 9t]pret,n ( calculus 9 t]ms ( 9f9itesimals isn't ! po/-#1850 "u/&+ (! subject1 >gu;ts tr1t+ dy & dx z if !y 7 numb]s & dy_/dx z if x 7 a frac;n c ne>ly alw 2 rephras$ 9 t]ms ( limits 6yield valid mod]n pro(s4 ,9de$1 if ? 7 n s1 !n x wd probably h be5 nec 6base calculus on "s 3cept o!r ?an t ( limit 9 ord] 6pres]ve ! valid;y ( ^! ,leibniz1n >gu;ts4 ,physici/s & *emi/s1 economi/s & 5g9e]s1 & o!r practi;n]s ( calculus o!r ?an pure ma!maticians (t5 "w & ?9k 9 t]ms ( ^! 9f9itesimals1 "k+ or tru/+ t ! profes.nal ma!maticians cd1 if ne$$1 r5d] rigor\s ! simple >gu;ts !y produce ) ,leibniz0' tools4 ,leibniz,8 >gu;t =! ,*a9 ,rule al holds a simple 9tuitive "u/&+ ( :at's go+ on 9side ! daunt+ look+ expres.n #dc f'(u(x))u'(x)_4 ,suppose1 = 3crete;s1 t ;x repres5ts "t1 t ;u repres5ts ! m>ket value ( "s 9ve/;t1 & t ;f repres5ts ! blood pressure (! [n] ( t 9ve/;t4 ,! value (! 9ve/;t has 2gun 6drop 9 eag] trad+1 &! 9ve/or's blood pressure1 : dep5ds on ! value ( 8 9ve/;t1 has 2gun 6rise4 ,we "k t ! value ;u (! 9ve/;t is a func;n (! "t ;x_4 ,we %d "!=e write ;f z f(u(x)), s9ce ;f dep5ds on ;u : dep5ds on ;x_4 ,! derivative ?d_/dx#(f(u(x))) "!=e repres5ts ! rate ( *ange (! 9ve/or's blood pressure z a func;n ( "t4 ,! derivative u'(x) repres5ts ! rate ( *ange (! value (! 9ve/;t z a func;n ( "t1 &! derivative f'(u(x)) .k ?df_/du# repres5ts ! rate ( *ange (! blood pressure z a func;n (! value4 ,:at ! ,*a9 ,rule says is t ?df_/dx# .k ?df_/du#*?du_/dx#, i4e41 t 6f9d h[ fa/ ! 9ve/or's blood pressure is *ang+ ) "t1 we %d f9d ! rate ( *ange (! value ( 8 9ve/;t z a func;n ( #dd "t1 & multiply 0! rate ( *ange ( 8 blood pressure z a func;n (! value ( 8 9ve/;t4 ,? seems 6me 6be em95tly r1sona#4 ,examples (! ,*a9 ,rule4 ?d_/dx#(sin (x^2")) .k cos (x^2")*2x_4 (,"h f(x) .k sin x & g(x) .k x^2_4) ?d_/dx#(sin^2 x) .k #2sin xcos x_4 (,"h f(x) .k x^2 & g(x) .k sin x_4) ?d_/dx#((?3x+5_/x^2"+1#)^100") .k #100(?3x+5_/x^2"+1#)^99"*?(x^2" +1)3-(3x+5)2x_/(x^2"+1)^2"#_4 (,"h f(x) .k x^100 & g(x) .k ?3x+5_/x^2"+1#_4) ?d_/dx#(x^2"sin (>x]) .k #2xsin (>x])+x^2"cos (>x]) *?1_/2>x]#_4 (,"h we ne$$ 6use f/ ! ,product ,rule &!! ,*a9 ,rule_4) ?d_/dx#(f(g(h(x)))) .k f'(g(h(x)))*?d_/dx#(g(h(x))) .k f'(g(h(x)))g'(h(x))h'(x)_4 ,= 9/.e1 ?d_/dx#(sin >x^3"+11]) #de .k cos >x^3"+11]*?1_/2>x^3"+11]# *3x^2_4 ?d_/dx#(>x+.>x+..>x..].]]) .k ?1_/2>x+.>x+..>x..].]]#(1+?1_/2>x +.>x.]]#(1+?1_/2>x]#))_4 ,if we c -pute ! derivative ( ?1 !n we re,y c -pute ! derivative ( j ab any?+4 ,implicit ,di6]5ti,n & ,relat$ ,rates ,^! >e two 9t]e/+ id1s t repres5t side lie wor? ca/+ a gl.e at z we g pa/ !m4 ,"! >e situ,ns 9 : ea* is critic,y important4 ,implicit ,di6]5ti,n .,a .f/ .example ,! simple/ way 6write ! equ,n (! unit circle 9 ,c>tesian coord9ates is x^2"+y^2 .k #1_4 ,suppose we want$ 6"k ! slope (! tang5t l9e 6? curve at ! po9t (?3_/5#, ?4_/5#)_4 (,? is actu,y easy #df 6get f ele;t>y geometry1 b be> ) me =! example_4) ,! obvi\s naive approa* wd 2 6solve = ;y &! di6]5tiate4 ,we'd get y .k >1-x^2"], s t y' .k ?1_/2>1-x^2"]#(-2x) .k -?x_/>1-x^2"]#_4 ,at x .k ?3_/5#, y' .k -,?3_/5,_/>1-(3_/5)^2"],# .k -?3_/4# _4 ,"! >e two pro#ms ) ? naive approa*4 ,f/1 ! 9itial equ,n wdn't h 6get m* m -plicat$ ?an x^2"+y^2 .k #1 2f x 2came di6icult or impossi# 6solve4 ,second1 ! fact t we get a -plicat$ expres.n :5 we solve = ;y m1ns t \r expres.n = y' is gu>ante$ 6be a mess4 ,is "! any way 6resolve ^! 3c]ns8 ,yes4 ,"!'s a cl"e second way 6-pute ! slope 9 situ,ns l ?1 call$ ,implicit ,di6]5ti,n4 ,! idea is 6/>t )! orig9al equ,n x^2"+y^2 .k #1 & 6di6]5tiate "ey?+ 9 siia#1 b t y .k y(x) is re,y a func;n ( ;x_4 ,? m1ns t ! derivative ( ;x is #1, b t ! derivative ( ;y is y'_4 ,:5 we di6]5tiate1 we "!=e get x^2"+y^2 .k #1 (x^2"+y^2")' .k #1' (x^2")'+(y^2")' .k #1' #2x+2yy' .k #0_4 ,if t looks 3fus+1 !n y cd write explicitly t y .k f(x), s t ! la/ #2 l9e (! calcul,n wd look l (x^2")'+(f(x)^2")' .k #1' #2x+2f(x)f'(x) .k #0, : is a /raid applic,n (! ,*a9 ,rule4 ,n[ t we've d"o ! di6]5tiat+ 6get #2x+2yy' .k #0, x's easy 6solve 6get y' .k -?x_/y#_4 ,we want$ ! derivative at ! po9t (?3_/5#, ?4_/5#), : m/ "!=e 2 y' .k -?x_/y# .k -,?3_/5,_/4_/5,# .k -?3_/4#, ! same result we got 0f/ solv+ = ;y & !n #dh di6]5tiat+4 .,a .second .example ,6see j h[ p[];l ! te*nique ( ,implicit ,di6]5ti,n is1 let's try a second example4 ,suppose we _h a curve giv5 0! equ,n x^2"y^5"-3xy^2"+x-y+2 .k #0_4 ,we >e ask$ 6f9d ! slope (! tang5t l9e 6? curve at ! po9t (1, -1)_4 ,n[1 ! />t+ equ,n is a #5th degree equ,n = ;y_4 ,if x _h be5 a quadratic = y, we cd h us$ ! ,quadratic ,=mula 6solve x4 ,if x _h be5 ev5 an equ,n ( degree #3 or #4, we cd h us$ =mulas l ! ,quadratic ,=mula due 6! #16th ,c5tury ,italian ma!maticians ,t>taglia & ,c>dano 6solve x 9 t]ms ( ?ird & f\r? roots2 ?\< ! solu;ns wd take s"eal pages 6write4 ,we'd !n h 6di6]5tiate !m4 ,b fif? degree equ,ns >e ev5 worse4 ,2f 8 d1? at #27, ! ,norwegian ma!matician ,abel prov$ t a g5]al #5th degree equ,n #di _c 2 solv$ 9 radicals---"! is'nt a =mula l ! ,quadratic ,=mula = solv+ equ,ns ( degree #5 or hi<]4 ,ev5 /r;g] & m* deep] results ab solvabil;y 7 sket*$ 0,ev>i/e ,galois 2f 8 d1? 9 a duel at age #20, & h gr[n 96a ri* & b1uti;l 4cipl9e call$ ,galois ,!ory2 b ,i'm n[ gett+ 4tract$4 ,! critical po9t = u "r n[ is t ,i c't solve ! equ,n abv = y, & nei c y4 ,\r 9itial approa* 6di6]5tiat+ x "!=e c 2 prov5 n 6"w4 ,) ,implicit ,di6]5ti,n1 ?\<1 x's / easy4 ,f/1 take ! derivative (! equ,n1 rememb]+ t ;x is ! v>ia# & t ;y is a func;n ( ;x_4 ,y get #2xy^5"+x^2"(5y^4"y')-3y^2"-3x(2yy')+1 -y' .k #0_4 ,n[ gr\p ! t]ms 3ta9+ y', & solve4 (5x^2"y^4"-6xy-1)y' .k -#2xy^5"+3y^2"- 1 y' .k ?-2xy^5"+3y^2"-1_/5x^2"y^4"-6xy- 1#_4 ,we want 6"k ! value ( y' at ! po9t (1, -1), s we replace ;x ) #1 & ;y ) -#1 #ej & we get y' .k ?2+3-1_/5+6-1# .k ?2_/5#_4 ,is ? amaz+1 or :at8 ..,did ,i j .*1t8 ,implicit ,di6]5ti,n is an amaz+ te*nique1 b ,i h p]h made x seem ev5 m amaz+ ?an x is4 ,i sd t ! equ,n x^2"y^5"-3xy^2"+x-y+2 .k #0 cd n 2 solv$ = ;y_4 ,if ? is s1 !n h[ 0 x possi# 6f9d ! ;y coord9ate (! po9t (1, -1)_8 ,didn't ,i j *1t8 ,n re,y4 ,9 say+ t we c't solve x^2"y^5"-3xy^2"+x-y+2 .k #0, :at ,i m1n 6say is t we c't f9d a =mula = ;y z a func;n ( x, : is :at we ne$ 9 ord] 6be a# 6di6]5tiate ;y_4 ,b if we "k ! value ( x, say1 x .k #1, !n ! equ,n simplifies to y^5"-3y^2"-y+3 .k #0_4 ,6f9d num]ical values ( ;y satisfy+ ? equ,n1 we cd d "st+ z simple z graph+ ! func;n & zoom+ 9 on ! po9ts ": x crosses #ea ! axis4 ,? is way simpl] ?an solv+ ! orig9al equ,n analytic,y4 ,9 fact1 a graph ( f(y) .k y^5"-3y^2"-y+3 (with ! ;y-axis horizontal) is %[n 9 ,figure #16_4 ,x's easy 6see f ! ,figure t "! is a root v close to y .k -#1, z well z two positive roots4 ,relat$ ,rates ,implicit ,di6]5ti,n is a te*nique = f9d+ ! derivative y' 9 ! situ,n ": ! v>ia# ;x &! func;n ;y >e relat$ 0"s equ,n4 ,! idea ( ,relat$ ,rates is t if 9/1d (a func;n &a v>ia#1 "! >e two func;ns relat$ 0"s equ,n1 !n ! derivatives ( ^! func;ns >e al relat$4 .,"s ."qs ,3sid] ! foll[+ situ,n4 ,a p]son #5 feet tall is 9 a lik+ lot at niily walk+ at a 3/ant spe$1 b :5 %e is #30 feet f ! lid 6answ] ? "q 0?9k+ back on my exp]i;e4 ,9de$1 ,i c imag9e a v>iety ( 3v9c+ s.d+ answ]s3 ,:5 ! p]son is close 6! /reet li f ! lidly *ang+ at all1 s ! l5g? (! %ad[ probably isn't *ang+ m*4 ,s ! l5g? (! %ad[ gr[s fa/ at f/1 !n sl[ly4 #ec ,or try ?3 ,:5 ! p]son is f> f ! lit )! f/ "q1 ab ! rate ( gr[? (! %ad[ at ! mo;t ! p]son is #30 feet f ! lie re,y two func;ns 9volv$ "h3 p(t), ! 4t.e f ! lie relat$ 0! fact t ! trangles 9 ! picture >e simil>4 ,! small triangle1 ^: v]tical side is ! #5 foot p]son1 has horizontal side s(t)_4 ,! l>ge triangle1 ^: v]tical side is ! #15 foot li "t t, & asks u 6f9d s'(t) at t "t4 ,6d ?1 we di6]5tiate ! equ,n abv 6get ?s'(t)_/5# .k ?p'(t)+s'(t)_/15#_4 ,s9ce we "k t at ! mo;t 9 "q1 p'(t) .k #4 ft_/;s , we h ?s'(t)_/5# .k ?4+s'(t)_/15#, : solves 6give s'(t) .k #2_4 ,! %ad[ is gr[+ at #2 ft_/;s4 ,9 fact1 ? calcul,n al answ]s ! second "q abv1 ab h[ ! rate ( gr[? (! %ad[ *anges ) "t4 ,! expres.n we j got = s'(t), "nly s'(t) .k #2, doesn't 3ta9 p(t) at all4 ,z l;g z ! p]son keeps walk+ at #4 ft_/;s , ! analysis abv is valid1 & s'(t) .k #2 ft_/;s4 ,! rate ( gr[? (! %ad[ is "!=e a 3/ant1 reg>d.s ( h[ f> ! p]son is f ! li topic ) au?ors ( calculus texts1 9 "p 2c !y give rise 6lots ( 5t]ta9+ ^w pro#ms4 ,let me j d "o m "h4 ,"p (a class project n assign$ 0! professor1 & n yet 9volv+ ! professor1 requires fill+ a re,y big wat] balloon4 ,? is a ^w pro#m1 n r1l life---& ,i'd l y 6keep x t way---s ! balloon is assum$ 6be a p]fect sph]e at all "ts4 ,! tap f : ! balloon is 2+ fill$ produces #1 cubic foot ( wat] p] m9ute4 ,h[ fa/ is ! radius (! balloon 9cr1s+ :5 ! radius is #3 9*es8 #6 9*es8 ,6solve ? pro#m1 y ne$ 6rememb] t ! radius & volume (a sph]e >e relat$ 0! equ,n ,v .k ?4_/3#.pr^3_4 ,! pro#m seems 6be 3sid]+ bo? ! radius &! volume z func;ns ( "t1 s maybe we %d re,y write ,v(t) .k ?4_/3#.pr(t)^3_4 ,if we di6]5tiate "ey?+ 9 sie told t ,v' .k #1 ft^3"_/ min .k #1728 in^3"_/ min4 ,6f9d ! rate ( *ange (! radius :5 r .k #3 in , we j plug 9 ^? values & solve3 #1728 .k #4.p(9r') r' .k ?1728_/36.p# .k ?48_/.p# ".k<*] #15.279 in_/min4 ,:5 r .k #6 in , we h #1728 .k #4.p(36r') r' .k ?1728_/144.p# .k ?12_/.p# ".k<*] #3.8197 in_/min4 ,x's a gd ex]cise 9 ! develop;t ( yr 9tui;n 6see if y c 3v9ce yrf 9tuitively t x makes s5se t ! rate ( *ange (! radius %d 2 less :5 r .k #6 ?an :5 r .k #3_4 ,:y %d x 2 exactly "o qu>t] z grt8 #eg