.

(
, Regula falsi)

.

.







Regula falsi.

.
.

(
, Regula falsi)

Regula falsi.

Egzistencija reenja. Izolacija korena

Uvodne napomene:
1. Oznake: C[a, b] skup funkcija koje su neprekidne na odseku [a, b]
C1[a, b] skup funkcija iji je prvi izvod neprekidan na [a, b]

2. Prva Koi Bolcanova teorema: Ako je funkcija f neprekidna na odseku [a, b]

i na krajevima odseka ima vrednosti razliitog znaka, tada postoji c
takvo da je f(c) =0.
3. Princip matematike indukcije: Tvrenje T(n) je tano za svaki prirodan broj n
ako:
1. T(n) je tano za n=1 (ili za n=n0)
2. Iz pretpostavke da je T(n) tano za neko n=k sledi da je tano i za n=k+1.

Egzistencija reenja. Izolacija korena

f ( x) 0

(1)

f :R R

Etape:
1) izolovanje reenja (korena)
2) nalaenje pribline vrednosti reenja

Egzistencija reenja. Izolacija korena

Teorema: Neka je f C[a, b], f (a ) f (b) 0. Tada postoji c (a, b) za
koje je f (c) 0.

Jedinstvenost reenja:

(a, b) interval izolacije reenja

Egzistencija reenja. Izolacija korena

Teorema (o oceni greke): Neka je tana, a x priblina vrednost

1
korena jednaine i , x [a, b], f C [a, b], f ( x ) 0, x [a, b].
Tada je

f ( x )
m1

; m1 min f ( x)
a x b

Dokaz:
f ( ) f ( x ) f (c)( x )

(Lagranova teorema)

f ( x )
f ( ) 0 x
,
f (c)

Oznake:

mk min f
a x b

(k )

( x) ;

f ( x )
f (c)

M k max f
a x b

f ( x )
m1

(k )

( x)

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)

NUMERIKE METODE: 1) metode suavanja intervala

2) metode zasnovane na teoremi o fiksnoj taki

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
METODA POLOVLJENJA INTERVALA

[a0 , b0 ] [a, b]
a0 b0
2
[a0 , x0 ] ako je f (a0 ) f ( x1 ) 0
[a1 , b1 ]
[ x0 , b0 ] ako je f ( x1 ) f (b0 ) 0
x0

M
1
xk (ak bk ), (k 0, 1, ...)
2

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Teorema: Neka f C[a, b] gde je (a, b) interval izolacije korena
jednaine f ( x) 0. Tada niz xn 1 (an bn ) konvergira korenu
2
jednaine i vai
ba
xn n 1 , (n 0, 1, ...)
2
Dokaz:

bn an 1 b a b a
xn
n n 1 0, (n )
2
2 2
2

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
METODA REGULA FALSI

f (b) f (a )
( x a)
ba
ba
y 0: x a
f (a ) x1
f (b) f (a )

AB:

y f (a )

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Teorema (o izboru fiksne take): Neka je f : [ a, b] R neprekidno
diferencijabilna na segmentu [a, b] i u svakoj taki x [a, b] postoji f ' ' ( x).
Dalje, neka su ispunjeni uslovi:
1. f ( a ) f (b) 0,
2. f ' ( x) i f ' ' ( x) su stalnog znaka na [ a, b] .
Ako su

x F , x0 [a, b] take za koje su zadovoljeni uslovi

f ( xF ) f ( x0 ) 0,

f "( xF ) f ( xF ) 0,

(1)

tada niz {xn } definisan rekurentnom fomulom

xn 1 xn
konvergira ka korenu

f ( xn )( xF xn )
,
f ( xF ) f ( xn )

n 0,1, 2,...

( a, b) jednaine f ( x) 0.

(2)

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Dokaz: Pretpostavimo, odreenosti radi, da je

(x [a, b]) f '( x) 0, f "( x) 0.

Iz (1) sledi:

f ( xF ) 0

f ( x0 ) 0 .

Poto je f monotono rastua bie x0 i xF .

Matematikom indukcijom dokazaemo da je

xn
tj. da je niz {xn } ogranien odozgo.
n=0 : x0 (tano)
n=k :

xk

(n 0,1,...)

(pretpostavka)

n=k+1 : ako je

g ( x) x f ( x )

xF x
f ( xF ) f ( x )

onda se moe dokazati da je

g '( x)

f ( xF )
x x
1 F
f '( x)
f ( xF ) f ( x )
f ( xF ) f ( x )

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Tada je

xk 1 g ( xk ) g ( ) g ' (ck )( xk ) , ck ( xk , ).

xk

ck

Meutim,

xF ck
f '(c k )
f ( xF )
f ( xF )
g '(ck )
1
f '(ck )
1 , ck ck xF
f ( xF ) f (ck )
f ( xF ) f (ck )
f
(
x
)

f
(
c
)
f '(c k )
F
k

Funkcija f i njen izvod f su monotono rastui na [a, b], pa je f ( xF ) f (ck ) 0

i0 f (ck ) f (ck ) . Dakle g '(ck ) 0, pa je

xk 1 g '(ck )( xk ) 0,
jer je prema induktivnoj hipotezi xk .
(Kraj dela dokaza matematikom indukcijom)

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Dalje je
xn 1 xn f ( xn )

xF xn
0,
f ( xF ) f ( xn )

jer je f ( xn ) 0. Niz {xn } je konvergentan: c

Pri tome je

(3)

lim xn .
n

c xF .

Prelaskom u (3) na graninu vrednost kad n dobija se

c c f (c )

xF c
.
f ( xF ) f (c )

Odavde sledi da je f (c) 0 , a poto je jedini koren jednaine f ( x) 0,

to je c , odnosno

lim xn .
n

(Kraj dokaza).

Metode zasnovane na suavanju intervala (Metoda

polovljenja intervala, Regula falsi)
Ocena greke:
Primenom Lagranove teoreme dobija se:

xn 1 xn

f ( xn )( xn xF )
f ( xn ) f ( )
xn
( xn xF )
f ( xn ) f ( xF )
f ( xn ) f ( xF )

( xn ) f '(c1 )

f '(c1 )
f '(c 1 )
xn
( xF xn ) ( xn ) 1
( xn xn 1 xn 1 ) 1

f
'(
c
)
f
'(
c
( xF xn ) f '(c2 )

2)

f '(c1 )
f '(c 1 )
( xn xn 1 ) 1
( xn 1 ) 1
.
f
'(
c
)
f
'(
c

2)
Iz prethodnog sledi
f '(c1 ) f '(c2 )
xn 1
( xn 1 xn )
f '(c1 )
odnosno

xn 1

M 1 m1
xn 1 xn .
m1

Metode zasnovane na suavanju intervala

(Metoda polovljenja intervala, Regula falsi);
Egzistencija reenja. Izolacija korena
:
1.
2.
3.
4.
5.
6.
7.
8.

?
.
.

.
Regula Falsi.
Regula Falsi.

Regula Falsi.
Regula Falsi.