˜ ’ THANH ˆ N THUY NGUYE ` TA ˆP BAI ´ CAO CA ˆ´P TOAN Tˆa.p Ph´ep t´ınh vi phˆan c´ac h`am ’ N DAI HOC QUO ˆ´C GIA HA ` NO ˆI ` XUA ˆ´T BA NHA http://tieulun.hopto.org Mu.c lu.c a liˆ en tu.c cu’a h` am sˆ o´ Gi´ o.i ha.n v` 7.1 Gi´o.i ha.n cu’a d˜ay sˆo´ 7.1.1 C´ac b`ai to´an liˆen quan t´o.i di.nh ngh˜ıa gi´o.i ha.n 7.1.2 Ch´ u.ng minh su hˆo.i tu cu’a d˜ay sˆo´ du a trˆen c´ac `e gi´o.i ha.n di.nh l´ y vˆ `eu 7.1.3 Ch´ u.ng minh su hˆo.i tu cu’a d˜ay sˆo´ du a trˆen diˆ kiˆe.n du’ dˆe’ d˜ay hˆo.i tu (nguyˆen l´ y Bolzano-Weierstrass) `eu 7.1.4 Ch´ u.ng minh su hˆo.i tu cu’a d˜ay sˆo´ du a trˆen diˆ `an v`a du’ dˆe’ d˜ay hˆo.i tu (nguyˆen l´ kiˆe.n cˆ y hˆo.i tu 11 17 Bolzano-Cauchy) 7.2 Gi´o i ha.n h`am mˆo.t biˆe´n `e gi´o.i ha.n 7.2.1 C´ac kh´ai niˆe.m v`a di.nh l´ y co ba’n vˆ 25 7.3 41 7.4 H`am liˆen tu.c `eu biˆe´n Gi´o.i ha.n v`a liˆen tu.c cu’a h`am nhiˆ 27 27 51 Ph´ ep t´ınh vi phˆ an h` am mˆ o.t biˆ e´n 60 - a.o h`am 61 8.1 D - a.o h`am cˆa´p 61 8.1.1 D - a.o h`am cˆa´p cao 62 8.1.2 D 8.2 Vi phˆan 8.2.1 Vi phˆan cˆa´p 75 75 http://tieulun.hopto.org MU C LU C 8.3 8.2.2 Vi phˆan cˆa´p cao `e h`am kha’ vi Quy t˘´ac l’Hospital C´ac di.nh l´ y co ba’n vˆ Cˆong th´ u.c Taylor `e h`am kha’ vi 8.3.1 C´ac d i.nh l´ y co ba’n vˆ 8.3.2 Khu’ c´ac da.ng vˆo di.nh Quy t˘´ac Lˆopitan (L’Hospitale) 8.3.3 Cˆong th´ u.c Taylor `eu biˆ Ph´ ep t´ınh vi phˆ an h` am nhiˆ e´n - a.o h`am riˆeng 9.1 D - a.o h`am riˆeng cˆa´p 9.1.1 D - a.o h`am cu’a h`am ho p 9.1.2 D 9.1.3 H`am kha’ vi - a.o h`am theo hu.´o.ng 9.1.4 D - a.o h`am riˆeng cˆa´p cao 9.1.5 D `eu biˆe´n 9.2 Vi phˆan cu’a h`am nhiˆ 9.2.1 Vi phˆan cˆa´p ´ du.ng vi phˆan dˆe’ t´ınh gˆ `an d´ 9.2.2 Ap ung 9.2.3 C´ac t´ınh chˆa´t cu’a vi phˆan 9.2.4 Vi phˆan cˆa´p cao 9.2.5 Cˆong th´ u.c Taylor 9.3 9.2.6 Vi phˆan cu’a h`am ˆa’n `eu biˆe´n Cu c tri cu’a h`am nhiˆ 9.3.1 Cu c tri `eu kiˆe.n 9.3.2 Cu c tri c´o diˆ 9.3.3 Gi´a tri l´o.n nhˆa´t v`a b´e nhˆa´t cu’a h`am 77 84 84 88 96 109 110 110 111 111 112 113 125 126 126 127 127 129 130 145 145 146 147 http://tieulun.hopto.org Chu.o.ng a liˆ en tu.c cu’a Gi´ o.i ha.n v` h` am sˆ o´ 7.1 Gi´ o.i ha.n cu’a d˜ ay sˆ o´ o.i 7.1.1 C´ ac b` to´ an liˆen quan t´ o.i di.nh ngh˜ıa gi´ ha.n 7.1.2 Ch´ u.ng minh su hˆ o.i tu cu’a d˜ ay sˆ o´ du a trˆen `e gi´ y vˆ o.i ha.n c´ ac di.nh l´ 7.1.3 Ch´ u.ng minh su hˆ o.i tu cu’a d˜ ay sˆ o´ du a `eu kiˆe.n du’ dˆe’ d˜ ay hˆ o.i tu (nguyˆen trˆen diˆ Bolzano-Weierstrass) 7.1.4 11 l´ y 17 Ch´ u.ng minh su hˆ o.i tu cu’a d˜ ay sˆ o´ du a trˆen `an v` `eu kiˆe.n cˆ diˆ a du’ dˆe’ d˜ ay hˆ o.i tu (nguyˆen l´ y hˆ o.i tu Bolzano-Cauchy) 25 7.2 Gi´ o.i ha.n h` am mˆ o.t biˆ e´n 27 `e gi´ y co ba’n vˆ o.i ha.n 27 7.2.1 C´ ac kh´ niˆe.m v` a di.nh l´ 7.3 H` am liˆ en tu.c 41 `eu biˆ Gi´ o.i ha.n v` a liˆ en tu.c cu’a h` am nhiˆ e´n 51 7.4 http://tieulun.hopto.org Chu.o.ng Gi´o.i ha.n v`a liˆen tu.c cu’a h`am sˆo´ 7.1 Gi´ o.i ha.n cu’a d˜ ay sˆ o´ H`am sˆo´ x´ac di.nh trˆen tˆa.p ho p N du.o c go.i l`a d˜ay sˆo´ vˆo ha.n D˜ay sˆo´ thu.`o.ng du.o c viˆe´t du.´o.i da.ng: a1, a2, , an , (7.1) ho˘a.c {an }, d´o an = f(n), n ∈ N du.o c go.i l`a sˆo´ ha.ng tˆo’ng qu´at cu’a d˜ay, n l`a sˆo´ hiˆe.u cu’a sˆo´ ha.ng d˜ay `an lu.u y Ta cˆ ´ c´ac kh´ai niˆe.m sau dˆay: i) D˜ay (7.1) du.o c go.i l`a bi ch˘a.n nˆe´u ∃ M ∈ R+ : ∀ n ∈ N ⇒ |an | M ; v`a go.i l`a khˆong bi ch˘a.n nˆe´u: ∀ M ∈ R+ : ∃ n ∈ N ⇒ |an | > M ii) Sˆo´ a du.o c go.i l`a gi´o.i ha.n cu’a d˜ay (7.1) nˆe´u: ∀ ε > 0, ∃ N(ε) : ∀ n > N ⇒ |an − a| < ε (7.2) iii) Sˆo´ a khˆong pha’i l`a gi´o.i ha.n cu’a d˜ay (7.1) nˆe´u: ∃ ε > 0, ∀ N : ∃ n > N ⇒ |an − a| > ε (7.3) iv) D˜ay c´o gi´o.i ha.n du.o c go.i l`a d˜ay hˆo.i tu., tru.`o.ng ho p ngu.o c la.i d˜ay (7.1) go.i l`a d˜ay phˆan k` y v) D˜ay (7.1) go.i l`a d˜ay vˆo c` ung b´e nˆe´u lim an = v`a go.i l`a d˜ay n→∞ vˆo c` ung l´o.n nˆe´u ∀ A > 0, ∃ N cho ∀ n > N ⇒ |an | > A v`a viˆe´t lim an = ∞ `eu kiˆe.n cˆ `an dˆe’ d˜ay hˆo.i tu l`a d˜ay d´o pha’i bi ch˘a.n vi) Diˆ Ch´ u ´y: i) Hˆe th´ u.c (7.2) tu.o.ng du.o.ng v´o.i: −ε < an − a < ε ⇔ a − ε < an < a + ε (7.4) http://tieulun.hopto.org 7.1 Gi´o.i ha.n cu’a d˜ay sˆo´ u.ng to’ r˘`ang mo.i sˆo´ ha.ng v´o.i chı’ sˆo´ n > N cu’a d˜ay Hˆe th´ u.c (7.4) ch´ `eu n˘a`m khoa’ng (a − ε, a + ε), khoa’ng n`ay go.i l`a ε-lˆan hˆo.i tu dˆ cˆa.n cu’a diˆe’m a Nhu vˆa.y, nˆe´u d˜ay (7.1) hˆo.i tu dˆe´n sˆo´ a th`ı mo.i sˆo´ ha.ng cu’a n´o tr` u `eu n˘`am ε-lˆan cˆa.n bˆa´t k` y b´e bao mˆo.t sˆo´ h˜ u.u ha.n sˆo´ ha.ng dˆ nhiˆeu t` uy y ´ cu’a diˆe’m a ii) Ta lu.u y ´ r˘a`ng d˜ay sˆo´ vˆo c` ung l´o.n khˆong hˆo.i tu v`a k´ y hiˆe.u lim an = ∞ (−∞) chı’ c´o ngh˜ıa l`a d˜ay an l`a vˆo c` y hiˆe.u d´o ung l´o n v`a k´ ho`an to`an khˆong c´o ngh˜ıa l`a d˜ay c´o gi´o.i ha.n 7.1.1 o.i C´ ac b` to´ an liˆ en quan t´ o.i di.nh ngh˜ıa gi´ ha.n `an tiˆe´n u.ng minh lim an = a b˘a`ng c´ach su’ du.ng di.nh ngh˜ıa, ta cˆ Dˆe’ ch´ h`anh theo c´ac bu ´o c sau dˆay: i) Lˆa.p biˆe’u th´ u.c |an − a| `eu d´o c´o lo i) cho |an − a| bn ∀ n v`a ii) Cho.n d˜ay bn (nˆe´u diˆ v´o.i ε du’ b´e bˆa´t k` y bˆa´t phu.o.ng tr`ınh dˆo´i v´o.i n: bn < ε (7.5) ˜e d`ang Gia’ su’ (7.5) c´o nghiˆe.m l`a n > f(ε), c´o thˆe’ gia’i mˆo.t c´ach dˆ `an f(ε) > Khi d´o ta c´o thˆe’ lˆa´y n l`a [f (ε)], d´o [f(ε)] l`a phˆ nguyˆen cu’a f(ε) ´ V´I DU CAC n V´ı du Gia’ su’ an = n(−1) Ch´ u.ng minh r˘`ang: i) D˜ay an khˆong bi ch˘a.n ii) D˜ay an khˆong pha’i l`a vˆo c` ung l´o.n Gia’i i) Ta ch´ u.ng minh r˘`ang an tho’a m˜an di.nh ngh˜ıa d˜ay khˆong bi ch˘a.n Thˆa.t vˆa.y, ∀ M > sˆo´ ha.ng v´o.i sˆo´ hiˆe.u n = 2([M] + 1) b˘a`ng `eu d´o c´o ngh˜ıa l`a d˜ay an khˆong bi ch˘a.n n v`a l´o.n ho.n M Diˆ http://tieulun.hopto.org Chu.o.ng Gi´o.i ha.n v`a liˆen tu.c cu’a h`am sˆo´ ung l´o.n Thˆa.t vˆa.y, ii) Ta ch´ u.ng minh r˘a`ng an khˆong pha’i l`a vˆo c` ta x´et khoa’ng (−2, 2) Hiˆe’n nhiˆen mo.i sˆo´ ha.ng cu’a d˜ay v´o.i sˆo´ hiˆe.u le’ `eu thuˆo.c khoa’ng (−2, 2) v`ı n le’ th`ı ta c´o: dˆ n n(−1) = n−1 = 1/n ∈ (−2, 2) u d´o, Nhu vˆa.y kho’ng (−2, 2) c´o vˆo sˆo´ sˆo´ ha.ng cu’a d˜ay T` theo di.nh ngh˜ıa suy an khˆong pha’i l`a vˆo c` ung l´o.n N V´ı du D` ung di.nh ngh˜ıa gi´o.i ha.n d˜ay sˆo´ dˆe’ ch´ u.ng minh r˘a`ng: 1) lim n→∞ (−1)n−1 = n 2) lim n→∞ n = n+1 `an ch´ Gia’i Dˆe’ ch´ u.ng minh u.ng minh d˜ay an c´o gi´o.i ha.n l`a a, ta cˆ r˘`ang dˆo´i v´o.i mˆo˜ i sˆo´ ε > cho tru.´o.c c´o thˆe’ t`ım du.o c sˆo´ N (N phu thuˆo.c ε) cho n > N th`ı suy |an − a| < ε Thˆong thu.`o.ng ta ˜e n N qua ε c´o thˆe’ chı’ cˆong th´ u.c tu.`o.ng minh biˆe’u diˆ 1) Ta c´o: (−1)n−1 an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 84 25 y = tg45◦ 10′ 26 y = ln(10, 21) 27 y = sin 31◦ 28 y = arcsin0, 54 29 y = arctg(1, 05) 30 y = (1, 03)5 8.3 (DS 0,99) (DS 1,009) (DS 0,51) (DS 0,57) (DS 0,81) (DS 1,15) `e h` C´ ac di.nh l´ y co ba’n vˆ am kha’ vi ´ Quy t˘ ac l’Hospital Cˆ ong th´ u.c Taylor 8.3.1 `e h` am kha’ vi y co ba’n vˆ C´ ac di.nh l´ - i.nh l´ D y Rˆ on (Rolle) Gia’ su’.: i) f(x) liˆen tu.c trˆen doa.n [a, b] ii) f(x) c´ o da.o h` am h˜ u.u ha.n (a, b) iii) f(a) = f(b) `on ta.i diˆe’m ξ : a < ξ < b cho f(ξ) = Khi d´ o tˆ - i.nh l´ D y Lagr˘ ang (Lagrange) Gia’ su’.: i) f(x) liˆen tu.c trˆen doa.n [a, b] ii) f(x) c´ o da.o h` am h˜ u.u ha.n (a, b) Khi d´ a´t mˆ o.t diˆe’m ξ ∈ (a, b) cho o t`ım du.o c ´ıt nhˆ hay l` a f(b) − f(a) = f ′ (ξ) b−a (8.12) f(b) = f(a) + f ′ (ξ)(b − a) (8.13) u.c sˆo´ gia h˜ u.u ha.n Cˆong th´ u.c (8.12) go.i l`a cˆong th´ http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 85 - i.nh l´ D y Cˆ osi (Cauchy) Gia’ su’.: i) f(x) v` a ϕ(x) liˆen tu.c trˆen doa.n [a, b] ii) f(x) v` a ϕ(x) c´ o da.o h` am h˜ u.u ha.n (a, b) `ong th` iii) [f ′ (x)]2 + [ϕ′(x)]2 6= 0, ngh˜ıa l` a c´ ac da.o h` am khˆ ong dˆ o.i `ng b˘ a iv) ϕ(a) 6= ϕ(b) Khi d´ o t`ım du.o c diˆe’m ξ ∈ (a, b) cho: f ′ (ξ) f(b) − f(a) = ′ · ϕ(b) − ϕ(a) ϕ (ξ) (8.14) Di.nh l´ y Lagrange l`a tru.o`.ng ho p riˆeng cu’a di.nh l´ y Cauchy v`ı ϕ(x) = x th`ı t` u (8.14) thu du.o c (8.13) Di.nh l´ y Rˆon c˜ ung l`a tru.`o.ng `eu kiˆe.n f(a) = f(b) ho p riˆeng cu’a di.nh l´ y Lagrange v´o.i diˆ ´ V´I DU CAC V´ı du Gia’ su’ P (x) = (x + 3)(x + 2)(x − 1) `on ta.i nghiˆe.m cu’a phu.o.ng Ch´ u.ng minh r˘a`ng khoa’ng (−3, 1) tˆ tr`ınh P ′′(ξ) = Gia’i Da th´ u.c P (x) c´o nghiˆe.m ta.i c´ac diˆe’m x1 = −3, x2 = −2, x3 = Trong c´ac khoa’ng (−3, −2) v`a (−2, 1) h`am P (x) kha’ vi v`a `eu kiˆe.n cu’a di.nh l´ tho’a m˜an c´ac diˆ y Rˆon v`a: P (−3) = P (−2) = 0, P (−2) = P (1) = Do d´o theo di.nh l´ y Rˆon, t`ım du.o c diˆe’m ξ1 ∈ (−3, −2); ξ2 ∈ (−2, 1) cho: P ′ (ξ1 ) = P ′ (ξ2 ) = y Rˆon cho doa.n [ξ1, ξ2 ] v`a h`am P ′ (x), ta Bˆay gi`o la.i ´ap du.ng di.nh l´ la.i t`ım du.o c diˆe’m ξ ∈ (ξ1 , ξ2 ) ⊂ (−3, 1) cho P ′′(ξ) = http://tieulun.hopto.org 86 an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ V´ı du H˜ay x´et xem h`am f(x) = arcsinx trˆen doa.n [−1, +1] c´o tho’a m˜an di.nh l´ y Lagrange khˆong ? Nˆe´u tho’a m˜an th`ı h˜ay t`ım diˆe’m ξ (xem (8.12)) Gia’i H`am f(x) x´ac di.nh v`a liˆen tu.c trˆen [−1, +1] Ta t`ım f ′ (x) f ′ (x) = √ → f ′ (x) < ∞, 1−x x ∈ (−1, 1) `on ta.i nhu.ng diˆe’u d´o (Lu.u y ´ r˘a`ng x = ±1 da.o h`am khˆong tˆ `eu kiˆe.n cu’a di.nh l´ khˆong a’nh hu.o’.ng dˆe´n su tho’a m˜an diˆ y Lagrange !) Nhu vˆa.y h`am f tho’a m˜an di.nh l´ y Lagrange Ta t`ım diˆe’m ξ Ta c´o: arcsin1 − arcsin(−1) =p − (−1) − ξ2 π π r − − p 2 =p ⇒ − ξ = ⇒ ξ1,2 = ± − ⇒ 2 π π 1−ξ u.c (8.12) tho’a m˜an dˆo´i v´o.i Nhu vˆa.y tru.o`.ng ho p n`ay cˆong th´ hai diˆe’m V´ı du H˜ay kha’o s´at xem c´ac h`am f(x) = x2 − 2x + v`a ϕ(x) = `eu kiˆe.n di.nh l´ x3 − 7x2 + 20x − c´o tho’a m˜an diˆ y Cauchy trˆen doa n [1, 4] khˆong ? Nˆe´u ch´ ung tho’a m˜an di.nh l´ y Cauchy th`ı h˜ay t`ım diˆe’m ξ Gia’i i) Hiˆe’n nhiˆen ca’ f(x) v`a ϕ(x) liˆen tu.c x ∈ [1, 4] u.u ha.n (1, 4) ii) f(x) v`a ϕ(x) c´o da.o h`am h˜ `eu kiˆe.n th´ ung tho’a m˜an v`ı: u iii) c˜ iii) Diˆ g ′ (x) = 3x2 − 14x + 20 > 0, x ∈ R iv) Hiˆe’n nhiˆen ϕ(1) 6= ϕ(4) http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 87 Do d´o f(x) v`a ϕ(x) tho’a m˜an di.nh l´ y Cauchy v`a ta c´o f ′ (ξ) f(4) − f(1) = ′ ϕ(4) − ϕ(1) ϕ (ξ) hay 11 − 2ξ − = , 27 − 3ξ − 14ξ + 20 ξ ∈ (1, 4) T` u d´o thu du.o c ξ1 = 2, ξ2 = v`a o’ dˆay chı’ c´o ξ1 = l`a diˆe’m cu’a (1, 4) Do d´o: ξ = y Cauchy c´o ´ap du.ng du.o c cho c´ac h`am f(x) = cos x, V´ı du Di.nh l´ ϕ(x) = x3 trˆen doa n [−π/2, π/2] hay khˆong ? `eu kiˆe.n i), ii) v`a Gia’i Hiˆe’n nhiˆen f(x) v`a ϕ(x) tho’a m˜an c´ac diˆ iv) cu’a di.nh l´ y Cauchy Tiˆe´p theo ta c´o: f ′ (x) = − sin x; ϕ′(x) = 3x2 v`a ta.i x = ta c´o: f ′ (0) = − sin = 0; ϕ′ (0) = v`a nhu vˆa.y `eu kiˆe.n iii) khˆong du.o c tho’a m˜an Ta [ϕ′(0)]2 + [f ′(0)]2 = Do d´o diˆ x´et vˆe´ tr´ai cu’a (8.14): cos(π/2) − cos(−π/2) f(b) − f(a) = = ϕ(b) − ϕ(a) (π/2)3 − (−π/2)3 Bˆay gi`o ta x´et vˆe´ pha’i cu’a (8.14) Ta c´o: sin ξ f ′ (ξ) =− · ′ ϕ (ξ) 3ξ Nhu.ng dˆo´i v´o.i vˆe´ pha’i n`ay ta c´o: sin ξ sin ξ 1 = ∞ · lim lim − = lim − ξ→0 ξ→0 ξ ξ→0 3ξ 3ξ `eu d´o ch´ Diˆ u.ng to’ r˘`ang c´ac h`am d˜a cho khˆong tho’a m˜an di.nh l´ y Cauchy ` TA ˆP BAI √ `eu kiˆe.n cu’a di.nh H`am y = − x2 trˆen doa.n [−1, 1] c´o tho’a m˜an diˆ l´ y Rˆon khˆong ? Ta.i ? (Tra’ l`o.i: Khˆong) http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 88 H`am y = 3x2 − c´o tho’a m˜an di.nh l´ y Lagrange trˆen doa.n [−2, 0] khˆong ? Nˆe´u n´o tho’a m˜an, h˜ay t`ım gi´a tri trung gian ξ (Tra’ l`o.i: C´o) Ch´ u.ng minh r˘`ang h`am f(x) = x + 1/x tho’a m˜an di.nh l´ y Lagrange trˆen doa n [1/2, 2] T`ım ξ (DS ξ = 1) Ch´ u.ng minh r˘`ang c´ac h`am f(x) = cos x, ϕ(x) = sin x tho’a m˜an di.nh l´ y Cauchy trˆen doa.n [0, π/2] T`ım ξ ? (DS ξ = π/4) Ch´ u.ng minh r˘`ang h`am f(x) = ex v`a ϕ(x) = x2 /(1 + x2) khˆong tho’a m˜an di.nh l´ y Cauchy trˆen doa.n [−3, 3] Trˆen du.o`.ng cong y = x3 h˜ay t`ım diˆe’m m`a ta.i d´o tiˆe´p tuyˆe´n v´o.i du.`o.ng cong song song v´o.i dˆay cung nˆo´i diˆe’m A(−1, −1) v´o.i B(2, 8) (DS M(1, 1)) ˜ n Du a v`ao y ´ ngh˜ıa h`ınh ho.c cu’a cˆong th´ u.c sˆo´ gia h˜ u.u ha.n Chı’ dˆ a 8.3.2 Khu’ c´ ac da.ng vˆ o di.nh (L’Hospitale) ´ Quy t˘ ac Lˆ opitan `e cˆa.p dˆe´n viˆe.c khu’ c´ac da.ng vˆo di.nh Bˆay gi`o Trong chu.o.ng II ta d˜a dˆ ta tr`ınh b`ay quy t˘a´c Lˆopitan - cˆong cu co ba’n dˆe’ khu’ c´ac da.ng vˆo di.nh Da.ng vˆ o di.nh 0/0 `eu kiˆe.n Gia’ su’ hai h`am f(x) v`a ϕ(x) tho’a m˜an c´ac diˆ i) lim f(x) = 0; x→a lim ϕ(x) = x→a ii) f(x) v`a ϕ(x) kha’ vi lˆan cˆa.n n`ao d´o cu’a diˆe’m x = a v`a ϕ′ (x) 6= lˆan cˆa.n d´o, c´o thˆe’ tr` u ch´ınh diˆe’m x = a `on ta.i gi´o.i ha.n (h˜ iii) Tˆ u.u ha.n ho˘a.c vˆo c` ung) f ′ (x) = k x→a ϕ′ (x) lim http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 89 Khi d´o f(x) f ′ (x) = lim ′ · x→a ϕ(x) x→a ϕ (x) lim Da.ng vˆ o di.nh ∞/∞ `eu kiˆe.n ii) v`a iii) cu’a di.nh l´ Gia’ su’ f(x) v`a ϕ(x) tho’a m˜an c´ac diˆ y `eu kiˆe.n i) du.o c thay bo’.i diˆ `eu kiˆe.n: trˆen dˆay c`on diˆ i)∗ lim f(x) = ∞, lim ϕ(x) = ∞ x→a x→a Khi d´o: f(x) f ′ (x) = lim ′ x→a ϕ(x) x→a ϕ (x) lim Ch´ u ´y Nˆe´u thu.o.ng f ′ (x)/ϕ′ (x) la.i c´o da.ng vˆo di.nh 0/0 (ho˘a.c `eu kiˆe.n i), ii) v`a iii) ∞/∞) ta.i diˆe’m x = a v`a f ′ , ϕ′ tho’a m˜an c´ac diˆ ∗ (tu.o.ng u ´.ng i) , ii) v`a iii)) th`ı ta c´o thˆe’ chuyˆe’n sang da.o h`am cˆa´p hai, C´ ac da.ng vˆ o di.nh kh´ ac a) Dˆe’ khu’ da.ng vˆo di.nh · ∞ lim f(x) = 0, lim ϕ(x) = ∞ ta x→a x→a biˆe´n dˆo’i t´ıch f(x) · ϕ(x) th`anh: f(x) (dang 0/0) i) 1/ϕ(x) ϕ(x) (dang ∞/∞) ii) 1/f(x) b) Dˆe’ khu’ da.ng vˆo di.nh ∞ − ∞ Ta biˆe´n dˆo’i f(x) − ϕ(x) (trong d´o lim f(x) = ∞, lim ϕ(x) = ∞) x→a x→a th`anh t´ıch h 1 i f(x) − ϕ(x) = f(x)ϕ(x) − ϕ(x) f(x) ho˘a.c th`anh t´ıch da.ng h ϕ(x) i f(x) − ϕ(x) = f(x) − f(x) http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 90 ho˘a.c f(x) − ϕ(x) = ϕ(x) h f(x) ϕ(x) i −1 c) Da.ng vˆo di.nh 00 , ∞0, 1∞ Khi t´ınh gi´o.i ha.n cu’a h`am da.ng F (x) = [f(x)]ϕ(x) thˆong thu.`o.ng ta g˘a.p c´ac da.ng vˆo di.nh 00 , ∞0 ho˘a.c 1∞ Trong nh˜ u.ng tru.`o.ng ho p `e da.ng vˆo di.nh · ∞ d˜a n´oi n`ay ta c´o thˆe’ biˆe´n dˆo’i F (x) dˆe’ du.a vˆ 1) nh`o ph´ep biˆe´n dˆo’i ϕ(x) F (x) = [f(x)]ϕ(x) = eln[f (x)] = eϕ(x)lnf (x) v`a t´ınh liˆen tu.c cu’a h`am m˜ u ta s´e c´o: lim [f(x)]ϕ(x) = elim[ϕ(x)·lnf (x)] x→a ´ r˘`ang m˘a.c d` u quy t˘a´c Lˆopitan l`a mˆo.t cˆong cu Ch´ u ´y Ta lu.u y ma.nh de’ t´ınh gi´o.i ha.n nhu.ng n´o khˆong thˆe’ thay to`an bˆo c´ac phu.o.ng `eu d´o du.o c ch´ ph´ap t´ınh gi´o.i ha.n d˜a x´et chu.o.ng II Diˆ u.ng to’ v´ı du sau dˆay ´ V´I DU CAC x2 − + lnx x→1 ex − e V´ı du T´ınh lim ´ du.ng quy t˘´ac L’Hospital ta Gia’i Ta c´o vˆo di.nh da.ng “0/0” Ap thu du.o c 2x + (x2 − + lnx)′ x2 − + lnx x = N = lim = lim lim x x ′ x x→1 x→1 x→1 e −e (e − e) e e V´ı du T´ınh xn x→+∞ ex lim http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 91 ´ du.ng quy t˘a´c L’Hospital n Gia’i Ta c´o vˆo di.nh da.ng “∞/∞” Ap `an ta thu du.o c lˆ xn nxn−1 n(n − 1)xn−2 n(n − 1) · · · · = lim = lim = · · · = lim x x x→∞ ex x→1 x→1 x→1 e e ex n! = lim x = N x→1 e lim V´ı du T´ınh lim xlnx x→0+0 Gia’i Ta c´o vˆo di.nh da.ng “0 · ∞” Nhu.ng xlnx = lnx x v`a ta thu du.o c vˆo di.nh da.ng “∞/∞” Do d´o (lnx)′ lim xlnx = lim ′ = lim x = − lim x = N 1 x→0+0 x→0+0 x→0+0 x→0+0 − x x V´ı du T´ınh lim xx x→0+0 Gia’i O’ dˆay ta c´o vˆo di.nh da.ng “00 ” Nhu.ng xx = exlnx u Trong v´ı du ta d˜a thu v`a ta thu du.o c vˆo di.nh da.ng · ∞ o’ sˆo´ m˜ du o c lim (xlnx) = 0, x→0+0 d´o lim xlnx lim xx = lim exlnx = ex→0+0 x→0+0 x→0+0 V´ı du T´ınh lim + x2 x→0 = e0 = N ex −1−x http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 92 Gia’i O’ dˆay ta c´o vˆo di.nh da.ng 1∞ Nhu.ng + x2 ex −1−x ln(1+x2 ) = e ex −1−x ´ du.ng u cu’a l˜ uy th` u.a ta thu du.o c vˆo di.nh da.ng “0/0” Ap v`a o’ sˆo´ m˜ quy t˘´ac L’Hospital ta thu du.o c 2x ln(1 + x2 ) 2x = lim 1x+ x = lim x lim x x→0 e − − x x→0 e − x→0 (e − 1)(1 + x2 ) 2 = = N = lim x x x→0 e (1 + x ) + (e − 1)2x V´ı du T´ınh limπ tgx x→ 2 cos x Gia’i Ta c´o vˆo di.nh da.ng “∞0 ” Nhu.ng 2 cos x 2ln tgx tgx = e2 cos xln tgx = e 1/ cos x ´ du.ng u cu’a l˜ uy th` u.a ta thu du.o c vˆo di.nh da.ng “∞/∞” Ap v`a o’ sˆo´ m˜ quy t˘´ac L’Hospital ta c´o 1 2ln tgx x · tgx lim = limπ cos2 x = limπ + sin x x→ tg x x→ x→ π2 cos x cos x sin x − cos x = lim cos x = = limπ x→ π2 x→ 2tgx · cos2 x cos2 Do d´o limπ tgx x→ 2 cos x limπ cos x·ln tgx = ex→ = e0 = N V´ı du Ch´ u.ng minh r˘`ang gi´o.i ha.n x2 sin(1/x) =0 1) lim x→0 sin x http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 93 x − sin x =1 x→∞ x + sin x khˆong thˆe’ t`ım du.o c theo quy t˘a´c L’Hospital H˜ay t´ınh c´ac gi´o.i ha.n d´o Gia’i 1) Quy t˘´ac L’Hospital khˆong ´ap du.ng du.o c v`ı ty’ sˆo´ c´ac da.o h`am [2x sin(1/x) − cos(1/x)]/ cos x khˆong c´o gi´o.i ha.n x → Ta t´ınh tru c tiˆe´p gi´o.i ha.n n`ay 2) lim x x2 sin(1/x) = lim · lim x sin = · = x→0 sin x x→0 x→0 sin x x lim 2) Quy t˘a´c L’Hospital khˆong ´ap du.ng du.o c v`ı ty’ sˆo´ c´ac da.o h`am − cos x = tg2 (x/2) + cos x khˆong c´o gi´o.i ha.n x → ∞ Ta t´ınh tru c tiˆe´p gi´o.i ha.n n`ay [1 − (sin x)/x] x − sin x = lim = v`ı | sin x| x→∞ [1 + (sin x)/x] x→∞ x + sin x lim `an dˆ `au cu’a tiˆe´t n`ay d˜a n´oi, quy t˘a´c L’Hospital l`a mˆo.t Nhu o’ phˆ `eu d´o khˆong c´o ngh˜ıa l`a n´o c´o cˆong cu ma.nh dˆe’ t`ım gi´o.i ha.n nhu.ng diˆ `an lu.u y thˆe’ thay cho to`an bˆo c´ac phu o ng ph´ap t`ım gi´o.i ha.n Cˆ ´ r˘`ang f(x) `eu kiˆe.n du’ dˆe’ tˆ `on ta.i gi´o.i ha.n: lim quy t˘a´c L’Hospital chı’ l`a diˆ x→a g(x) ` ` ch´ u khˆong pha’i l`a diˆeu kiˆe.n cˆan ` TA ˆP BAI ´ du.ng quy t˘a´c L’Hospital dˆe’ t´ınh gi´o.i ha.n: Ap 16 x4 − 16 (DS ) lim x→2 x + 5x − 6x − 16 13 xm − am m lim n (DS am−n ) n x→a x − a n http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 94 e2x − (DS 2) lim x→0 sin x a2 − cos ax (DS ) lim x→0 + cos bx b x −x e − e − 2x (DS 2) lim x→0 x − sin x ln(1 + x2 ) (DS 0) lim x→0 cos 3x − e−x e1/x − (Ds − ) lim x→∞ 2arctgx − π 2x + lim (DS 0) x→∞ 3x2 + x − ln(1 + x2) (DS −2) lim x→∞ ln[(π/2) − arctgx] √ x2 − (DS −1) 10 lim x→∞ x x (DS +∞) 11 lim x→∞ ln(1 + x) ln sin x (DS 1) ln sin 5x x−a cotg(x − a) (DS 1/a) 13 lim arcsin x→a a (DS 0) 14 lim (π − 2arctgx)lnx 12 lim x→+0 x→∞ 15 lim (a1/x − 1)x, a > x→∞ (DS lna) πx (DS e2/π ) 16 lim (2 − x)tg x→1 h x i − (DS −1) 17 lim x→1 lnx lnx (Ds 1/2) 18 lim (x − x2ln(1 + 1/x)) x→∞ 1 (DS 2/3) 19 lim − cotg x x→0 x x 20 lim x1/ln(e −1) (DS e) x→0 http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 95 tgx (DS 1) lim cotgx x→0+0 1/ sin x √ (DS e−1/30) 22 lim x→0 + 9+x cotg2 x 23 lim cos x (DS e−1/2) x→0 1/lnx 24 lim ln2x (DS 1) 21 x→0+0 1/tg2 x (DS e) 25 lim + sin2 x x→0 1/lnx 26 lim cotgx (DS e−1) x→0+0 tgx 27 lim sin x (DS 1) x→π/2 e+x − e−x − 2x (DS −2) x→0 sin x − x x2 e−x − + x − (DS − ) lim x x→0 e −1 −x e −1+x (DS − ) lim x→0 sin 2x x ln2 2 − − xln2 (DS ) lim x→0 (1 − x)m − + mx m(m − 1) 2 1/x arccosx lim (DS e− π ) x→0 π lnx lim , α > (DS 0) x→∞ xα xm lim x , < a 6= (DS 0) x→∞ a ln sin x (DS ) lim x→0+0 ln(1 − cos x) h1 i lim − cotg2 x (DS ) x→0 x tg2x −1 limπ tgx (DS e ) 28 lim 29 30 31 32 33 34 35 36 37 38 x→ lim π x→ −0 tgx cotgx (DS 1) http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 96 8.3.3 Cˆ ong th´ u.c Taylor `an Gia’ su’ h`am f(x) x´ac di.nh lˆan cˆa.n n`ao d´o cu’a diˆe’m x0 v`a n lˆ kha’ vi ta.i diˆe’m x0 th`ı f ′′ (x0) f ′ (x0) (x − x0) + (x − x0)2 + · · · + 1! 2! f (n) (x0) (x − x0)n + o((x − x0)n ) + n! f(x) = f(x0 ) + x → x0 hay: f(x) = n X f (k) (x0) k=0 Da th´ u.c k! (x − x0 )k + o((x − x0 )n ), Pn (x) = n X f (k) (x0) k=0 k! x → x0 (x − x0 )k (8.15) (8.16) u.c Taylor cu’a h`am f(x) ta.i diˆe’m x0, c`on h`am: du.o c go.i l`a da th´ Rn (x) = f(x) − Pn (x) `an du th´ u n cu’a cˆong th´ u.c Taylor du.o c go.i l`a sˆo´ ha.ng du hay phˆ Cˆong th´ u.c (8.15) du.o c go.i l`a cˆong th´ u.c Taylor cˆa´p n dˆo´i v´o.i h`am `an du da.ng Peano (n´o c˜ f(x) ta.i lˆan cˆa.n cu’a diˆe’m x0 v´o.i phˆ ung c`on du.o c go.i l`a cˆong th´ u.c Taylor di.a phu.o.ng) Nˆe´u h`am f(x) c´o da.o h`am ˜e n nhˆa´t du.´o.i da.ng: dˆe´n cˆa´p n th`ı n´o c´o thˆe’ biˆe’u diˆ f(x) = n X k=0 ak (x − x0 )k + o((x − x0 )n ), x → x0 u.c: v´o.i c´ac hˆe sˆo´ ak du.o c t´ınh theo cˆong th´ ak = f (k) (x0 ) , k! k = 0, 1, , n http://tieulun.hopto.org `e h` am kha’ vi 8.3 C´ ac di.nh l´y co ba’n vˆ 97 Nˆe´u x0 = th`ı (8.15) c´o da.ng f(x) = n X f (k) (0) k=0 k! xk + o(xn ), x→0 (8.17) v`a go.i l`a cˆong th´ u.c Macloranh (Maclaurin) Sau dˆay l`a cˆong th´ u.c Taylor ta.i lˆan cˆa.n diˆe’m x0 = cu’a mˆo.t sˆo´ h`am so cˆa´p n xk P + o(xn ) I ex = k! k=0 II sin x = x − = n X (−1)n x2n+1 x3 x5 + + ··· + + o(x2n+2 ) 3! 5! (2n + 1)! (−1)k x2k+1 + o(x2n+2 ) (2k + 1)! (−1)k x2k + o(x2n+1 ) (2k!) k=0 III cos x = n P k=0 α IV (1 + x) = + n X α(α − 1) (α − k + 1) k! xk + o(xn ) k=1 ! n X α xk + o(xn ) =1+ k k=1 α α(α − 1) (α − k + 1) nˆe´u α ∈ R, = k k! C k nˆe´u α ∈ N α Tru.o`.ng ho p riˆeng: n P IV1 = (−1)k xk + o(xn ), + x k=0 IV2 n P = xk + o(xn ) − x k=0 http://tieulun.hopto.org an h` am mˆ o.t biˆe´n Chu.o.ng Ph´ep t´ınh vi phˆ 98 V ln(1 + x) = n X (−1)k−1 k=1 ln(1 − x) = − k n X xk k=1 k xk + o(xn ) + o(xn ) Phu.o.ng ph´ap khai triˆe’n theo cˆong th´ u.c Taylor Nhu vˆa.y, dˆe’ khai triˆe’n h`am f(x) theo cˆong th´ u.c Taylor ta pha’i ´ap du.ng cˆong th´ u.c f(x) = Tn (x) + Rn+1 (x), n X Tn (x) = ak (x − x0)k , k=0 f (k) (x0 ) · (8.18) k! 1) Phu.o.ng ph´ap tru c tiˆe´p: du a v`ao cˆong th´ u.c (8.18) Viˆe.c su’ `ong kˆ `enh m˘a.c u.ng t´ınh to´an rˆa´t cˆ du.ng cˆong th´ u.c (8.18) dˆa˜ n dˆe´n nh˜ d` u n´o cho ta kha’ n˘ang nguyˆen t˘a´c dˆe’ khai triˆe’n 2) Phu.o.ng ph´ap gi´an tiˆe´p: du a v`ao c´ac khai triˆe’n c´o s˘a˜ n I-V sau d˜a biˆe´n dˆo’i so bˆo h`am d˜a cho v`a lu.u y ´ dˆe´n c´ac quy t˘´ac thu c hiˆe.n c´ac ph´ep to´an trˆen c´ac khai triˆe’n Taylor Nˆe´u ak = f(x) = g(x) = n X k=0 n X k=0 ak (x − x0)k + o((x − x0)n ) bk (x − x0)k + o((x − x0)n ) th`ı a) f(x) + g(x) = n P k=0 (ak + bk )(x − x0)k + o((x − x0 )n ); http://tieulun.hopto.org ... khoa’ng (−2, 2) Hiˆe’n nhiˆen mo.i sˆo´ ha.ng cu’a d˜ay v´o.i sˆo´ hiˆe.u le’ `eu thuˆo.c khoa’ng (−2, 2) v`ı n le’ th`ı ta c´o: dˆ n n(−1) = n−1 = 1/n ∈ (−2, 2) u d´o, Nhu vˆa.y kho’ng (−2, 2) c´o... ··· + 23 an = 1·2·3 2·3·4 n(n + 1)(n + 2) ˜ n Tru ´o c hˆe´t ta ch´ u ng minh r˘`ang Chı’ dˆ a h i 1 1 = − (DS ) n(n + 1)(n + 2) n(n + 1) (n + 1)(n + 2) 1 1 ) 24 an = + + ··· + (DS a1a2 a2... du T`ım lim an nˆe´u: 1) an = (1 + 7n+2 )/(3 − 7n ) 2) an = (2 + + + · · · + 2n)/[1 + + + · · · + (2n + 1)] 3) an = n3 /(12 + 22 + · · · + n2) ung l´ y thuyˆe´t cˆa´p sˆo´ Gia’i Dˆe’ gia’i c´ac