Teorema 7.4.6
Misalkan , , kontinu pada [, ] dan misalkan () adalah aproksimasi
titik tengah ke-n. Maka terdapat [, ] sehingga
( )2
() = . ()
24
Bukti:
1
Jika = 1,2, , , misalkan + ( 2) , dan
1
: [0, 2 ] didefinisikan sebagai
+
() () ( )2
+1
= () + () ( )2
+
= () () ( )2
1
Untuk [0, 2 ],
+0 0
(0) () () ( )2(0)
= () () 0
=0
+
Karena () () () ( )2
Maka () = ( + ) ( ) [( )(1) ( )] 2( )
= ( + ) ( ) + ( ) + ( ) 2( )
= ( + ) + ( ) 2( )
Sehingga diperoleh
(0) = ( + 0) + ( 0) 2( )
= ( ) + ( ) 2( )
=0
() = ( + ) + ( )(1) 0
= ( + ) ( )
Menggunakan teorema nilai rata-rata 6.2.4, ada sbuah titik , dengan
| , | < sehingga () = 2(, ).
Jika misalkan A dan B adalah bukti dari teorema 7.4.3, maka didapat
2 () 2 untuk [0, 2] , = 1,2,3, ,
1 1 3 1 1 1 3
(2 ) (2 ) 3 (2 )
3
1 1 1
3 ( ) 3
24 2 24
Catatan:
1 1 1
3 . ( ) 3 1
24 2 24 ( ) = () ()
2
=1
1 3
1
() () 3
24 24
=
1 2 1 2
( ) () () ( )
24 24
1 1
( )2 () () ( )2
24 24
Jika menggunakan teorema Bolzano 5.3.7 pada di [, ] maka dapat
disimpulkan bahwa [, ] sehingga
( )2
() = . ()
24
Corrollary 7.4.7
Misalkan , , kontinu, dan misalkan | ()| 2 , [, ]
maka
( )2
| () | . 2
24
2
( ) (
= ) .
2
24
( )3
= . 2
242