Misalkan c adalah titik dalam dari interval I dimana 𝑓 ∶ 𝐼 → 𝑅 mempunyai ekstrim relatif.
Jika derivatif dari f di c ada, maka 𝑓 ′ (𝑐) = 0.
Bukti:
Akan dibuktikan untuk kasus f mempunyai maksimum relatif di c; bukti untuk kasus
minimum relatif dapat dibuktikan dengan cara yang sama.
Andaikan 𝑓 ′ (𝑐) > 0, maka dengan teorema 4.2.9 terdapat daerah sekitar
(neighborhood) 𝑉 ⊆ 𝐼 dari c sehingga
𝑓(𝑥) − 𝑓(𝑐)
> 0 𝑢𝑛𝑡𝑢𝑘 𝑥 ∈ 𝑉, 𝑥 ≠ 𝑐.
𝑥−𝑐
.
𝑓(𝑥) − 𝑓(𝑐)
𝑓(𝑥) − 𝑓(𝑐) = (𝑥 − 𝑐). > 0.
𝑥−𝑐
Tetapi hal ini kontradiksi dengan hipotesis bahwa f mempunyai maksimum relatif di c. Jadi
pengandaian 𝑓 ′ (𝑐) > 0 salah. Dengan cara yang sama, pengandaian 𝑓 ′ (𝑐) < 0 juga salah.
Jadi, haruslah 𝑓 ′ (𝑐) = 0.
Teorema 6.2.3 (Teorema Rolle)
Anggap bahwa f kontinu pada interval tertutup I [a, b] dan turunan f’ ada pada setiap titik
di interval terbuka (a, b) , dengan f (a) f (b) 0 . Maka terdapat sedikitnya satu titik c di
(a, b) sehingga f '(c) 0 .
Bukti: Jika f fungsi nol pada I, maka sebarang titik c di dalam (a, b) memenuhi kesimpulan
dalam teorema. Oleh karena itu dianggap bahwa f bukan fungsi nol pada I. Jika perlu
mengganti f dengan –f dan diasumsikan f nilainya ada yang positif. Dengan Teorema
Maksimum-Minimum Teorema 5.34, fungsi f mencapai nilai sup{f(x): x ϵ} > 0. Karena
f (a) f (b) 0 , maka titik c haruslah berada di dalam (a, b) . Menurut yang diketahui f '(c)
ada.
Anggap bahwa f fungsi kontinu pada interval tertutup I [a, b] dan f mempunyai derivatif
pada interval terbuka (a, b) . Maka terdapat sedikitnya satu titik c di dalam (a, b) sehingga
Bukti:
[Fungsi adalah nilai dari selisih fungsi f dengan fungsi yang grafiknya adalah ruas garis
yang menghubungkan titik (a, f (a)) dan (b, f (b)) ; lihat Gambar 6.2.2].
Dalam hal ini hipotesis dari Teorema Rolle dipenuhi oleh , karena kontinu pada [a, b] ,
diferensiabel pada (a, b) , dan (a) (b) 0 . Oleh karena itu, terdapat titik c di dalam (a, b)
sehingga
f (b) f (a)
0 ' (c) f ' (c)
b a.
( x c) n
0 G '(c) F '(c) (n 1) F ( x0 ) .
( x x0 )n 1
1 ( x x0 )n 1 ( x c) n ( n )
f (c )
n 1 ( x c) n n!
f ( n 1) (c)
( x x0 )n 1
(n 1)!