Friday, April 29, 2011

L'Hospital's Peraturan
DOWNLOAD Mathematica Notebook

Diamkan lim untuk batas lim_ (x-> c) , lim_ (x-> c ^ -) , lim_ (x-> c ^ +) , lim_ (infty x->) , Atau lim_ (x->-infty) , Dan anggaplah bahwa lim f (x) dan lim g (x) keduanya nol atau keduanya + /-Infty . Jika

lim (f ^ '(x)) / (^ g' (x))
(1)

memiliki nilai terbatas atau jika batas adalah + /-Infty , Maka

lim (f (x)) / (g (x)) = lim (f ^ '(x)) / (^ g' (x)).
(2)

Secara historis, hasil ini pertama kali muncul di l'risalah Hospital's 1696, yang merupakan buku pertama kalkulus diferensial . Dalam buku, l'Rumah Sakit terima kasih saudara-saudara Bernoulli atas bantuan dan penemuan mereka. Surat sebelumnya oleh John Bernoulli memberikan baik aturan dan bukti, sehingga ada kemungkinan bahwa Bernoulli menemukan aturan (Larson et al,. 1999 hal 524).

Perhatikan bahwa nama Hospital's l'umumnya terjadi dieja baik "l'Rumah Sakit" (misalnya, Maurer 1981, hal 426; Arfken 1985, hal 310) dan "l'Hopital" (misalnya, Maurer 1981, hal 426; Gray 1997, p. 529), setara dua berada di ejaan Perancis.

LHospitalsRuleOscillatory

L'Hospital's aturan kadang-kadang gagal untuk menghasilkan hasil yang bermanfaat, seperti dalam kasus fungsi lim_ (infty u->) u (u ^ 2 +1) ^ (-1 / 2) , Digambarkan di atas. Berulang kali menerapkan aturan dalam hal ini memberikan ekspresi yang terombang-ambing dan tidak pernah bertemu,

lim_ (infty u->) u / ((u ^ 2 +1) ^ (1 / 2))=lim_ (infty u->) 1 / (u (u ^ 2 +1) ^ (-1 / 2))
(3)
=lim_ (infty u->) ((^ u 2 +1) ^ (1 / 2)) / u
(4)
=lim_ (infty u->) (u (u ^ 2 +1) ^ (-1 / 2)) / 1
(5)
=lim_ (infty u->) u / ((u ^ 2 +1) ^ (1 / 2))
(6)
=....
(7)

Sebenarnya batas adalah 1.

LHospitalsRule1

L'Hospital's aturan kadang-kadang harus diterapkan dengan beberapa perawatan, karena hanya berlaku dalam kasus implisit mengerti bahwa ^ g '(x) tidak mengubah tanda jauh sering di sekitar infty . Sebagai contoh, perhatikan batas f (x) / g (x) dengan

f (x)=x + cosxsinx
(8)
g (x)=e ^ (sinx) (x + cosxsinx)
(9)

sebagai x-> infty . Sementara kedua f (x) dan g (x) pendekatan infty sebagai x-> infty , Batas rasio tersebut berbatasan dalam interval [1 / e, e] , Sedangkan batas ^ f '(x) / ^ g' (x) pendekatan 0 (Boas 1986).

LHospitalsRule2

Contoh lain yang serupa adalah batasnya f (x) / g (x) dengan

f (x)=xsin (x ^ (-4)) e ^ (-1 / x ^ 2)
(10)
g (x)=e ^ (-1 / x ^ 2)
(11)

sebagai x-> 0 . Sementara kedua f (x) dan g (x) Pendekatan 0 sebagai x-> 0 , Batas rasio adalah 0, sementara membatasi ^ f '(x) / ^ g' (x) tak terbatas pada garis nyata (Wilf 1966, Ricko 1968).






Dalam kalkulus , l'aturan Hôpital's diucapkan [lopital] (juga disebut Bernoulli aturan ') menggunakan derivatif untuk membantu mengevaluasi batas yang melibatkan bentuk-bentuk tak tentu . Aplikasi (atau berulang aplikasi) peraturan sering mengubah bentuk tak tentu ke bentuk menentukan, sehingga evaluasi mudah batas. Aturan ini dinamai setelah abad ke-17 Perancis matematikawan Guillaume de l'Hospital , yang menerbitkan aturan tersebut dalam bukunya Analisis des Petits pour l'Infiniment Intelijen des Lignes Courbes (terjemahan harfiah: Analisis Jauh Kecil Memahami Curved Lines) ( 1696), buku pelajaran pertama pada kalkulus diferensial . [1] Namun, diyakini bahwa aturan itu ditemukan oleh matematikawan Swiss Johann Bernoulli . [2]

The -Cesàro Teorema Stolz adalah hasil yang serupa yang melibatkan urutan batas, namun memakai hingga operator perbedaan bukan turunan .

Dalam bentuknya yang paling sederhana, l'Hôpital's menyatakan aturan bahwa untuk fungsi f dan g:

Jika \ Lim_ {x \ to c} f (x) = \ lim_ {x \ to c} g (x) = 0 atau \ Pm \ infty dan \ Lim_ {x \ to c} f '(x) / g' (x) ada,

kemudian \ Lim_ {x \ to c} \ frac {f (x)} {g (x)} = \ lim_ {x \ to c} \ frac {f '(x)} {g' (x)}.

Perbedaan dari pembilang dan penyebut sering menyederhanakan kecerdasan dan / atau mengkonversi ke bentuk menentukan, yang memungkinkan membatasi untuk dievaluasi lebih mudah.

Isi

[hide]

[ sunting ] formulir Umum

Bentuk umum aturan l'Hôpital's mencakup lebih banyak kasus. Misalkan c itu dan L adalah bilangan real diperpanjang (yaitu, bilangan real, tak terhingga positif, atau tak terhingga negatif). Misalkan baik

\ Lim_ {x \ to c} {f (x)} = \ lim_ {x \ to c} g (x) = 0

atau

\ Lim_ {x \ to c} {f (x)} = \ pm \ lim_ {x \ to c} {g (x)} = \ pm \ infty.

Dan misalkan

\ Lim_ {x \ to c} {\ frac {f '(x)} {g' (x)}} = L.

Kemudian

\ Lim_ {x \ to c} {frac \ {f (x)} {g (x)}} = L.

Batas juga mungkin sisi batas satu .

[ sunting ] Persyaratan yang membatasi ada

Persyaratan yang membatasi

\ Lim_ {x \ to c} \ frac {f '(x)} {g' (x)}

ada adalah penting. Diferensiasi bentuk tak tentu kadang-kadang dapat menyebabkan batas-batas yang tidak ada. Jika ini terjadi, maka aturan l'Hôpital's tidak berlaku. Sebagai contoh, jika f (x) = x + sin (x) dan g (x) = x, maka

\ Lim_ {x \ to \ infty} \ frac {f '(x)} {g' (x)} = \ lim_ {x \ to \ infty} \ frac {1 + \ cos x} {1},

yang membatasi tidak ada. Namun, bekerja dengan fungsi asli

\ Lim_ {x \ to \ infty} \ frac {f (x)} {g (x)} = \ lim_ {x \ to \ infty} \ left (1 + \ frac {\ sin x} {x} \ right ) = 1 .

[ sunting ] Contoh

  • Berikut adalah contoh yang melibatkan fungsi sinc dan bentuk tak tentu 0 / 0:
\ Begin {align} \ lim_ {x \ to 0} \ operatorname {} sinc (x) & = \ lim_ {x \ to 0} \ frac {\ sin \ pi x} {\ pi x} \ \ & = \ lim_ {y \ to 0} \ frac {\ sin y} {y} \ \ & = \ frac {lim_ y \ to 0} \ {\ cos y} {1} \ \ & = 1. \ End {align}
Atau, hanya mengamati yang membatasi adalah definisi derivatif dari sinus fungsi dari nol.
  • Ini adalah contoh yang lebih rumit melibatkan 0 / 0. Menerapkan aturan l'Hôpital's satu waktu masih hasil dalam bentuk tak tentu. Dalam hal ini, batas tersebut dapat dievaluasi dengan menerapkan aturan tersebut tiga kali:
\ Begin {align} \ lim_ {x \ to 0} {\ frac {2 \ sin 2x x-\ sin} {x-\ sin x}} & = \ lim_ {x \ to 0} {\ frac {2 \ -2 cos \ cos x 2x} {1 - \ cos x}} \ \ & = \ lim_ {x \ to 0} {\ frac {-2 \ sin 2x x +4 \ dosa} {\ sin x}} \ \ & = \ lim_ {x \ to 0} {\ frac {-2 \ cos x 2x +8 \ cos} {\ cos x}} \ \ & = {\ frac {-2 8} {1}} \ \ & = 6. \ End {align}
  • Contoh ini melibatkan 0 / 0. Misalkan b itu> 0. Kemudian
\ Lim_ {x \ to 0} {\ frac {b ^ x - 1} {x}} = \ lim_ {x \ to 0} {\ frac {b ^ x \ ln b} {1}} = \ ln b \ lim_ {x \ to 0} {b ^ x} = \ ln b.
  • Berikut ini adalah contoh lain yang melibatkan 0 / 0:
\ Lim_ {x \ to 0} {\ frac {e ^ x-1-x} {x ^ 2}} = \ lim_ {x \ to 0} {\ frac {e ^ x-1} {2x}} = \ lim_ {x \ to 0} {\ frac {e ^ x} {2}} = {\ frac {1} {2}}.
  • Contoh ini melibatkan / ∞. Asumsikan n adalah bilangan bulat positif. Kemudian
\ Lim_ {x \ to \ infty} x ^ ne ^ {-x} = \ lim_ {x \ to \ infty} {\ frac {x ^ n} {e ^ x}} = \ lim_ {x \ to \ infty } {\ frac {nx ^ {n-1}} {e ^ x}} = n \ lim_ {x \ to \ infty} {\ frac {x ^ {n-1}} {e ^ x}}.
Berulang kali menerapkan aturan l'Hôpital's sampai eksponen adalah nol untuk menyimpulkan bahwa membatasi adalah nol.
  • Berikut ini adalah contoh lain yang melibatkan / ∞:
\ Lim_ {x \ to 0 ^ +} x \ ln x = \ lim_ {x \ to 0 ^ +} {\ frac {\ ln x} {1 / x}} = \ lim_ {x \ to 0 ^ +} {\ frac {1 / x} {-1 / x ^ 2}} = \ lim_ {x \ to 0 ^ +}-x = 0.
\ Begin {align} \ lim_ {t \ to 1 / 2} \ operatorname {sinc} (t) \ frac {\ cos \ pi t} {1 - (2t) ^ 2} & = \ operatorname {sinc} (1 / 2) \ lim_ {t \ to 1 / 2} \ frac {\ cos \ t pi} {1 - (2 t) ^ 2} \ \ & = \ frac {2} {\ pi} \ lim_ {t \ untuk 1 / 2} \ frac {- sin \ pi \ \ t pi} {-8 t} \ \ & = \ frac {2} {\ pi} \ cdots \ frac {\ pi} {4} \ \ & = \ frac {1} {2}. \ End {align}
  • Satu juga dapat menggunakan aturan l'Hôpital's untuk membuktikan teorema berikut. Jika f''kontinu di x, maka
\ Begin {align} \ lim_ {h \ to 0} \ frac {f (x + h) + f (x - h) - 2f (x)} {h ^ 2} & = \ lim_ {h \ to 0} \ frac {f '(x + h) - f' (x - h)} {2h} \ \ & = f''(x). \ End {align}
  • Kadang-kadang L'Hôpital's aturan dipanggil dengan cara yang rumit: misalkan f (x) + f '(x) menyatu sebagai x → ∞. Ini berikut:
  • : \ Lim_ {x \ to \ infty} f (x) = \ lim_ {x \ to \ infty} {e ^ xf (x) \ over e ^ x} = \ lim_ {x \ to \ infty} {e ^ x (f (x) + f '(x)) \ over e ^ x} = \ lim_ {x \ to \ infty} (f (x) + f' (x))
dan sebagainya \ Lim_ {x \ to \ infty} f (x) ada dan \ Lim_ {x \ to \ infty} f '(x) = 0.

Perhatikan bahwa bukti di atas mengasumsikan bahwa e x f (x) menyatu dengan atau negatif positif tak terhingga sebagai x → ∞. Oleh karena itu, kita kemudian dapat menerapkan aturan L'Hôpital's. Hasil namun masih terus meskipun buktinya tidak sepenuhnya lengkap.

[ sunting ] Bentuk tak tentu lainnya

bentuk tak tentu lainnya, seperti 1 ∞, 0 0, ∞ 0, 0 × ∞, dan ∞ - ∞, kadang-kadang dapat dievaluasi dengan menggunakan aturan l'Hôpital's. Misalnya, untuk mengevaluasi batas yang melibatkan ∞ - ∞, mengubah perbedaan dua fungsi untuk kecerdasan seorang:

\ Begin {align} \ lim_ {x \ to 1} \ left (\ frac {x} {x-1} - \ frac {1} {\ ln x} \ right) & = \ lim_ {x \ to 1} \ frac {x \ ln x - x + 1} {(x-1) \ ln x} \ quad (1) \ \ & = \ lim_ {x \ to 1} \ frac {\ ln x} {\ frac { x-1} {x} + \ ln x} \ quad (2) \ \ & = \ lim_ {x \ to 1} \ frac {x \ ln x} {x - 1 + x \ ln x} \ quad ( 3) \ \ & = \ lim_ {x \ to 1} \ frac {1 + \ ln x} {1 + 1 + \ ln x} \ quad (4) \ \ & = \ lim_ {x \ to 1} \ frac {1 + \ ln x} {2 + \ ln x} \ \ & = \ frac {1} {2}, \ end {align}

dimana l'Hôpital's aturan diterapkan untuk pergi dari (1) sampai (2) dan kemudian kembali untuk pergi dari (3) sampai (4).

l'Hôpital's aturan dapat digunakan pada bentuk tak tentu melibatkan eksponen dengan menggunakan logaritma untuk "bergerak eksponen ke bawah". Berikut adalah contoh yang melibatkan bentuk tak tentu 0 0:

\ Lim_ {x \ to 0 ^ +} x ^ x = \ lim_ {x \ to 0 ^ +} e ^ {\ ln x ^ x} = \ lim_ {x \ to 0 ^ +} e ^ {x \ ln x} = e ^ {\ lim_ {x \ to 0 ^ +} (x \ ln x)}.

Hal ini berlaku untuk memindahkan membatasi dalam fungsi eksponensial karena fungsi eksponensial adalah kontinu . Sekarang eksponen x telah "dipindahkan ke". The limit lim x → 0 + (x ln x) adalah 0 × tak tentu bentuk (- ∞), tetapi seperti yang ditunjukkan dalam contoh di atas, l'Hôpital's aturan dapat digunakan untuk menentukan bahwa

\ Lim_ {x \ to 0 ^ +} x \ ln x = 0.

Demikian

\ Lim_ {x \ to 0 ^ +} x ^ x = e ^ 0 = 1.

[ sunting ] Metode lainnya untuk mengevaluasi batas

Meskipun aturan l'Hôpital's adalah cara yang ampuh untuk mengevaluasi dinyatakan sulit mengevaluasi batas, tidak selalu cara termudah. Mempertimbangkan

\ Lim_ {| x | \ to \ infty} x \ sin \ frac {1} {x}.

batas ini dapat dievaluasi dengan menggunakan aturan l'Hôpital's:

\ Begin {align} \ lim_ {| x | \ to \ infty} x \ sin \ frac {1} {x} & = \ lim_ {| x | \ to \ infty} \ frac {\ sin \ frac {1} {x}} {1 / x} \ \ & = \ lim_ {| x | \ to \ infty} \ frac {-x ^ {-2} \ cos \ frac {1} {x}} {-x ^ { -2}} \ \ & = \ lim_ {| x | \ to \ infty} \ cos \ frac {1} {x} \ \ & = \ cos {\ left (\ lim_ {| x | \ to \ infty} \ frac {1} {x} \ right)} \ \ & = 1. \ End {align}

Hal ini berlaku untuk memindahkan membatasi dalam kosinus fungsi karena fungsi kosinus kontinu .

Cara lain untuk mengevaluasi batas ini adalah dengan menggunakan substitusi. Y = 1 / x. Sebagai | x | mendekati tak terhingga, y mendekati nol. Jadi,

\ Lim_ {| x | \ to \ infty} x \ sin \ frac {1} {x} = \ lim_ {y \ to 0} \ frac {\ sin y} {y} = 1.

Batas akhir dapat dievaluasi dengan menggunakan aturan l'Hôpital's atau dengan mencatat bahwa itu adalah definisi turunan dari fungsi sinus dari nol.

Masih cara lain untuk mengevaluasi batas ini adalah dengan menggunakan deret Taylor ekspansi:

\ Begin {align} \ lim_ {| x | \ to \ infty} x \ sin \ frac {1} {x} & = \ lim_ {| x | \ to \ infty} x \ left (\ frac {1} { !! x} - \ frac {1} {3 \, x ^ 3} + \ frac {1} {5 \, x ^ 5} - \ cdots \ right) \ \ & = \ lim_ {| x | \ untuk \ infty} 1 - \ frac {1} {3 \, x ^ 2} + \ frac {1} {5 \, x ^ 4} - \ cdots \ \ & = 1 + \ lim_ {|!! x | \ untuk \ infty} \ frac {1} {x} \ left (- \ frac {1} {3 \, x} + \ frac {1} {5 \, x ^ 3} -!! \ cdots \ right). \ End {align}

Untuk | x | ≥ 1, istilah dalam kurung dibatasi, sehingga batas pada baris terakhir adalah nol.

[ sunting ] bundar Logis

Dalam beberapa kasus mungkin merupakan penalaran melingkar untuk menggunakan aturan l'Hôpital's untuk mengevaluasi batas. Mempertimbangkan

\ Lim_ {h \ to 0} \ frac {(x + h) ^ n-n ^ x} {h}.

Jika tujuan mengevaluasi batas ini adalah untuk membuktikan bahwa jika f (x) = x n, maka

f '(x) = nx ^ {n-1}, \,

dan satu menggunakan aturan l'Hôpital's dan ini fakta yang sama untuk mengevaluasi batas, maka argumen menggunakan kesimpulan sebagai asumsi (misalnya, mengundang pertanyaan ) dan karena itu menyesatkan (meskipun kesimpulan itu benar).

[ sunting ] Kasus di mana f dan g adalah terdiferensialkan pada c

Bukti l'Hôpital's aturan sederhana dalam kasus dimana f dan g adalah terdiferensiasi di c titik. Ini bukan bukti aturan umum l'Hôpital's karena memerlukan hipotesis kuat daripada aturan l'Hôpital's.

Misalkan f dan g kontinu dan terdiferensialkan di c, bahwa f (c) = g (c) = 0, dan itu g '(c) ≠ 0. Kemudian

\ Lim_ {x \ to c} \ frac {f (x)} {g (x)} = \ lim_ {x \ to c} \ frac {f (x)-f (c)} {g (x) - g (c)} = \ lim_ {x \ to c (frac \ {f (x)-f (c)} \ frac {\ left} {xc} \ right)} {\ left (\ frac {g (x )-g (c frac)} {xc} \ right)} = \ frac {\ lim_ {x \ to c} \ left (\ {f (x)-f (c)} {xc} \ right)} { \ lim_ {x \ to c} \ left (\ frac {g (x)-g (c)} {xc} \ right)} = \ lim_ {x \ to c} \ frac {f '(x)} { g '(x)}.

(Ingat bahwa f (c) = g (c) = 0). Hal ini mengikuti aturan batas quotients dan definisi turunan.

Ini menunjukkan kasus umum dari aturan l'Hôpital's, yang tidak memerlukan fungsi f dan g akan terdiferensiasi pada butir c dan terbukti di bawah ini.

[ sunting ] Interpretasi geometrik

Pertimbangkan kurva pada bidang x-koordinat yang diberikan oleh g (t) dan y-koordinat yang diberikan oleh f (t), yaitu

t \ mapsto [g (t), f (t)]. \,

Misalkan f (c) g = (c) = 0. Batas rasio f (t) / g (t) sebagai ct kemiringan bersinggungan dengan kurva pada titik [0, 0]. Yang bersinggungan dengan kurva pada titik t diberikan oleh [g '(t), f' (t)]. L'Hôpital's aturan kemudian menyatakan bahwa kemiringan garis singgung di 0 adalah batas lereng garis singgung pada titik-titik mendekati nol.

[ sunting ] Bukti l'aturan Hôpital's

Sebuah bukti standar aturan l'Hôpital's menggunakan Teorema nilai rata-rata's Cauchy . l'aturan Hôpital's memiliki banyak variasi tergantung pada apakah c dan L adalah terbatas atau tak terbatas, apakah f dan g bertemu dengan nol atau tak terhingga, dan apakah batas adalah salah satu sisi atau dua sisi. Semua variasi mengikuti dari dua variasi utama di bawah tanpa, untuk sebagian besar, membutuhkan apapun alasan baru. [3]

[ sunting ] Zero atas nol

Misalkan c dan L yang terbatas dan f dan g bertemu dengan nol.

Pertama, define (atau mendefinisikan kembali) f (c) = 0 dan g (c) = 0. Hal ini membuat f dan g kontinu di c, tetapi tidak mengubah batas (karena, menurut definisi, membatasi tidak tergantung pada nilai pada butir c). Sejak \ Lim_ {x \ to c} f '(x) / g' (x) ada, ada sebuah interval (c - δ, c + δ) sedemikian rupa sehingga untuk semua x dalam interval, dengan kemungkinan pengecualian x = c, baik f '(x) dan g' (x) ada dan g '( x) tidak nol.

Jika x adalah pada interval (c, c + δ), maka teorema nilai rata-rata dan nilai Teorema berarti's Cauchy baik berlaku untuk interval [c, x], dan sebuah pernyataan yang sama berlaku untuk x dalam selang (c - δ, c). Teorema nilai rata-rata menunjukkan bahwa g (x) tidak nol, karena jika tidak ada akan beberapa y di interval (c, x) dengan g '(y) = 0. Teorema nilai rata-rata's Cauchy sekarang menyiratkan bahwa ada ξ titik x dalam (c, x) seperti yang

\ Frac {f (x)} {g (x)} = \ frac {f '(\ xi_x)} {g' (\ xi_x)}.

Jika x mendekati c, maka ξ c x mendekati (oleh teorema peras ). Sejak \ Lim_ {x \ to c} f '(x) / g' (x) ada, itu berarti bahwa

\ Lim_ {x \ to c} \ frac {f (x)} {g (x)} = \ lim_ {x \ to c} \ frac {f '(\ xi_x)} {g' (\ xi_x)} = \ lim_ {x \ to c} \ frac {f '(x)} {g' (x)}.

[ sunting ] Infinity atas tak terhingga

Misalkan L adalah terbatas, c infinity positif, dan f dan g bertemu tak terhingga positif.

Untuk setiap> ε 0, ada sebuah m sehingga

\ Left | \ frac {f '(x)} {g' (x)} - L \ right | <\ varepsilon \ quad \ text {untuk} x \ geq m.

Teorema nilai rata-rata menunjukkan bahwa jika x m>, maka g (x)g (m), karena jika tidak akan ada y di interval (m, x) dengan g '(y) = 0. nilai Teorema mean's Cauchy diterapkan pada interval [m, x] sekarang menyiratkan bahwa

\ Left | \ frac {f (x)-f (m)} {g (x)-g (m)} - L \ right | <\ varepsilon \ quad \ text {untuk} x> m.

Karena f menyatu hingga tak terbatas positif, jika x cukup besar, maka f (x)f (m). Menulis

\ Frac {f (x)} {g (x)} = \ frac {f (x)-f (m)} {g (x)-g (m)} \ cdots \ frac {f (x)} { f (x)-f (m)} \ cdots \ frac {g (x)-g (m)} {g (x)}.

Sekarang,

\ Begin {align} & \ left | \ frac {f (x)-f (m)} {g (x)-g (m)} \ cdots \ frac {f (x)} {f (x)-f (m)} \ cdots \ frac {g (x)-g (m)} {g (x)} - \ frac {f (x)-f (m)} {g (x)-g (m)} \ right | \ \ & \ quad \ leq \ left | \ frac {f (x)-f (m)} {g (x)-g (m)} \ right | \ left | \ frac {f (x) } {f (x)-f (m)} \ cdots \ frac {g (x)-g (m)} {g (x)} - 1 \ right | <\ \ & \ quad (| L | + \ varepsilon) \ left | \ frac {f (x)} {f (x)-f (m)} \ cdots \ frac {g (x)-g (m)} {g (x)} - 1 \ right | . \ End {align}

Untuk x cukup besar, hal ini kurang dari ε dan karenanya

\ Left | \ frac {f (x)} {g (x)} - L \ right | <2 \ varepsilon. *






L'Hopital's Peraturan

Misalkan kita ingin mencari nilai lim (x-> a) f (x) / g (x) , Ketika f (a) = g (a) = 0. Salah satu metode adalah dengan menggunakan L'Hopital's Peraturan, yang mengatakan: jika f (x) dan g (x) adalah fungsi terdiferensialkan dan f (a) = g (a) = 0, maka L'Hopital's aturan , Jika batas di sebelah kanan ada. Dengan kata lain, kita dapat menemukan batas asli dengan menemukan batas rasio derivatif dari fungsi pembilang dan penyebut. Applet berikut ini membantu untuk menjelaskan mengapa ini bekerja.

Coba yang berikut ini:

  1. Pada grafik di sebelah kiri, applet menunjukkan grafik y = (e ^ (2x) -1) / x . Hal ini tidak didefinisikan untuk x = 0, tapi jelas tampaknya memiliki batas di sana. Jika kita membiarkan f (x) e 2x = - 1 dan g (x) = x, maka kita dapat menggunakan L'Hopital's Aturan untuk menemukan membatasi melalui menemukan turunan dari fungsi pembilang dan penyebut: l'Hopital . Perhatikan bahwa kita tidak mengambil turunan dari rasio menggunakan aturan kecerdasan, melainkan secara terpisah menemukan turunan dari fungsi pembilang dan penyebut, kemudian menemukan batas rasio mereka. Perhatikan bahwa, sementara rasio asli tidak terdefinisi untuk x = 0, rasio dari derivatif didefinisikan, maka kita dapat mengevaluasi membatasi hanya dengan mensubstitusikan x = 0.

    Mengapa pekerjaan ini? Grafik di sebelah kanan menunjukkan f (x) dan g (x). Jika Anda mengklik zoom di beberapa kali tombol, linieritas lokal membuat kurva terlihat seperti garis lurus. Maka fungsi dapat didekati dengan garis singgung mereka pada x = 0 (yaitu, f (x) ≈ 2 x dan g (x)x), dan rasio yang dapat didekati dengan rasio dari garis singgung. Dalam batas, ini sama dengan rasio lereng garis singgung, yang hanya rasio derivatif dari fungsi pembilang dan penyebut.