1 ( Interior Extremum )
Diberikan C titik Interior pada interval I dan fungsi f : I→ R Mencapai ekstrim relatif. Jika f
terdiferensial di C maka f ' ( c )=0.
Bukti
Diandaikan f ' ( c ) ≠0 , Artinya f ' ( c ) >0atau f ' ( c ) <0. Pertama akan dikaji untuk khasus f ' ( c ) >0 ,
kemudian akan dibuktikan dengan teorema sebelumnya theorem 4.2.9.Karena f ' ( c ) >0 maka ada
persekitaran C, misal V ⊆ I, yang memenuhi
f ( x )−f ( c )
>0
x−c
Untuk setiap x ∈V , dengan x ≠ c . Selanjutnya, untuk setiap x ∈V , dengan x ¿ cberlaku
\
f ( x )−f ( c )
f ( x )−f ( c )=( x−c). >0
x−c
Akibatnya f ( x ) > f ( c ) , untuk setiap x ∈V , dengan x ¿ c .Hal ini kontradiksi di c dengan asumsi
bahwa f mencapai maksimum relative di c . dengan demikian, tidak benar bahwa f ' ( c ) >0.
Sedangkan f ' ( c ) <0maka dijamin eksistensi persekitaran dari C, misal U ⊆ I, yang memenuhi
f ( x )−f ( c )
<0
x−c
Untuk setiap x ∈U , dengan x ≠ c . Selanjutnya, untuk setiap x ∈U , dengan x ¿ cberlaku
f ( x )−f ( c )
f ( x )−f ( c )=( x−c). >0
x−c
Artinya f ( x ) < f ( c ) , untuk setiap x ∈U , dengan x ¿ c hal ini bertentengan dengan asumsi awal
bahwa f mencapai nilai maksimum relative di c. oleh karena itu, tidak benar bahwa f ( x ) <0.
Karena f ' ( c ) >0atau f ' ( c ) <0 tidak terbukti maka dipastikan f ' ( c )=0 , dimana f terdiferensial di C.
Teorema 6.2.3 ( Teorema Rolle )
Diberikan selang I = [ a,b] dan fungsi f : I→ R yang kontinu pada I. Terdeferensial pada setiap
titik pada [ a,b] dan memenuhi f ( a ) = f ( b ) = 0, maka terdapat paling tidak satu titik di c∈
[ a,b]dengan sifat f ' ( c )=0
Bukti :
Berdasarkan asumsi yang diberikan, ada dua kemungkinan fungsi f ,yakni f =0 pada [ a,b] dan
f ≠ 0 pada [ a,b]. pertama untuk kasus f =0 pada [ a,b] artinya f ( x )=0 , untuk setiap x ∈ [ a,b],
maka berlaku :
Kedua, jika f ≠ 0 pada [ a,b]. dapat diasumsikan f ' ( c ) ≥ 0 untuk setiap x ∈ [ a,b]. karena kontinu
f pada [ a,b] maka menurut teorema 5.3.1, f mencapai nilai maksimum mutlak dan minimum
mutlak pada I. artinya pada setiap x* ∈ [ a,b] dengan f ¿ dengan f ¿