Metoda bipartiiei

1. Generaliti
Ecuaiile reprezint expresii matematice care conin o variabil (necunoscut) i pot
fi puse sub forma general
: , , , ( ) 0 f D R D R D f x = . (1)
Egalitatea este valabil numai pentru o mulime finit i discret de valori ale lui
x. Expresia ( ) f x poate conine valori numerice, operatori aritmetici i funcii
elementare. Rezolvarea analitic (pe baz de formule) este posibil numai n anumite
cazuri particulare sau pentru ecuaii polinomiale de grad inferior. Rezolvarea numeric
permite rezolvarea tuturor tipurilor de ecuaii cu aproximaii orict de bune. Fenomenul
de aproximare nu este un impediment, deoarece, n final, soluia va fi exprimat cu un
numr finit de cifre semnificative. Deci, metodele de rezolvare numeric sunt singurul
instrument viabil pentru rezolvarea ecuaiilor. Trebuie ns menionat c rezolvarea
global automat, adic pentru tot intervalul de variaie a variabilei x, este posibil numai
pentru ecuaii polinomiale. Pentru celelalte tipuri de ecuaii, de tip transcendent, aplicarea
corect a metodelor numerice este posibil numai dup ce au fost identificate intervalele
care conin valorile soluiei. n plus, utilizarea metodelor numerice locale trebuie
precedat de verificarea condiiilor n care acestea pot fi aplicate. Acestea, de obicei, se
refer la proprietile funciei ( ) f x , de exemplu continuitatea, sau la cele ale derivatelor
funciei.
Separarea rdcinilor reale n cazul ecuaiilor neliniare reale

Vom considera ecuaia sub forma general dat de relaia (1) i trebuie s gsim
soluia D . Prima dat se efectueaz separarea rdcinilor, adic trebuie s
determinm intervalele din domeniul de definiie D, astfel nct n fiecare interval s fie o
singur rdcin a ecuaiei.

Prima metod de acest gen este irul lui Rolle. Vom presupune c ( )
1
f C D ,
adic funcia f este derivabil pe D i are derivata continu. n aceste condiii se rezolv
ecuaia
( ) 0, f x x D = .
Dac
1 2
, ,...,
n
x x x sunt rdcinile ecuaiei derivate, atunci se formeaz irul lui Rolle cu
valorile ( ) ( ) ( )
1 2
, ,...,
n
f x f x f x . Orice schimbare de semn ce apare la doi termeni
consecutivi ( ) ( )
1
,
i i
f x f x
+
exprim existena unei rdcini unice n intervalul ( )
1
,
i i
x x
+
,
conform teoremei lui Rolle.

Exemplu Fie ecuaia
3 2
2 9 12 4, 5 0 x x x + = . S gsim intervalele de separare ale
rdcinilor.
Sol. Vom considera funcia polinomial
3 2
: , ( ) 2 9 12 4, 5 f R R f x x x x = +
i ecuaia neliniar
( ) 0, f x x R = .
n continuare atam ecuaia ( ) 0 f x = , care este echivalent cu
2 2
6 18 12 0 3 2 0 x x x x + = + =
care are rdcinile
1 2
1, 2 x x = = .
Folosind irul lui Rolle scriem urmtorul tabel

x 1 2 +
( ) f x ( ) f = ( ) 1 0, 5 f = ( ) 2 0, 5 f = ( ) f + = +

Observm c semnul valorilor lui ( ) f x alterneaz, deci ecuaia ( ) 0 f x = are trei
rdcini reale n intervalele ( ) ,1 , ( ) 1, 2 i ( ) 2, + .

O a doua metod de separare a soluiilor ecuaiei (1) este folosind polinomul de
interpolare al lui Lagrange sau al lui Newton. Dac n domeniul de definiie al funciei
: , f D R D R
se aleg punctele
1 2 n
x x x < < <
atunci se construiete polinomul de interpolare care trece prin punctele
( ) ( ) ( ) ( ) ( ) ( )
1 1 2 2
, , , ,..., ,
n n
x f x x f x x f x .
Rdcinile acestui polinom pot fi considerate ca aproximri pentru rdcinile ecuaiei
( ) 0 f x = .


Metoda bipartiiei sau metoda njumtirii intervalului

Metoda bipartiiei sau metoda njumtirii intervalului este o metod simpl i puin
pretenioas din punctul de vedere al proprietilor funciei ( ) f x . Totui este necesar
ns, ca funcia s fie continu.
Astfel, fie
R b a f ] , [ : (1)
de clas ( ) [ , ] C a b i presupunem c, deja rdcinile ecuaiei ( ) 0 f x = sunt separate,
deci intervalul ] , [ b a conine o singur rdcin . Acest lucru se ntmpl dac
( ) ( ) 0 f a f b < . (2)
Procedura acestei metode const n mprirea intervalului, n care se tie c exist o
singur soluie, n dou subintervale folosind mijlocul intervalului
2
a b +
. (3)
Cele dou subintervale obinute sunt
, i ,
2 2
a b a b
a b
+ + ( (
( (

, (4)
iar soluia este ntr-unul dintre ele. Se calculeaz
2
a b
f
+ | |
|
\
(5)
i dac aceast valoare este zero atunci
2
a b

+
= (6)
este soluie exact. Altfel, pentru a gsi subintervalul n care se afl soluia vom evalua
funcia la capetele acestor intervale. Deoarece funcia este continu, rezult c
subintervalul pe care se face schimbarea de semn conine soluia cutat. Se va reine
intervalul cu soluia, l vom nota
1 1
[ , ] a b i n continuare acest interval este imprit la
rndul lui n dou pari egale i analiza continu n acelai fel.
Dup un numr n de pai gsim fie soluia exact, fie un ir de segmente cuprinse
unele n altele
1 1 2 2
[ , ] [ , ] [ , ]
n n
a b a b a b . (8)
Astfel subintervalul care conine soluia este restrns pe parcursul aplicrii metodei.
Algoritmul se oprete atunci cnd, pentru eroarea dat , la un anumit pas k are loc
relaia
( )
k
f x < (8)
sau echivalent
k k
b a < . (9)

n cadrul acestei metode se construiesc dou iruri
{ } { } i
n n
n N n N
a b

(10)
n felul urmtor: se alege
0
0
,
,
a a
b b
=
=
. (11)
Avem una din urmtoarele situaii
( ) 0
2
a b
f a f
+ | |

|
\
(12)
sau
( ) 0
2
a b
f f b
+ | |

|
\
, (13)
corespunztor crora se aleg
1
1
,
,
2
a a
a b
b
=
+
=
(14)
sau
1
1
,
2
.
a b
a
b b
+
=
=
(15)
La pasul n avem intervalul [ , ]
n n
a b n care se afl rdcina i prin urmare
( )
1
2
n n n
b a b a = . (16)

Observaie. irul { }
n
n N
a

este monoton cresctor i mrginit superior de b, iar irul

{ }
n
n N
b

este monoton descresctor i mrginit inferior de a. Din teorema cletelui

obinem
lim lim
n n
n n
a b

= = . (17)

Teorema. Limita comun a celor dou iruri este soluia ecuaiei ( ) 0 f x = .
Dem. tim c f este o funcie continu, c ( ) ( ) 0
n n
f a f b < i c { }
n
n N
a

i { }
n
n N
b

sunt
convergente. Trecnd la limit avem
( )
( ) ( )
lim ( ) ( ) 0 lim lim 0
n n n n
n n n
f a f b f a f b

, (18)
cu relaia (17) obinem
( ) ( ) ( ) ( )
2
0 0 0 f f f f = . (19)
Adic este soluie a ecuaiei (1).

Observaie. Metoda este avantajoas deoarece este uor programabil, ns algoritmul
converge lent.



Exemplu Folosind metoda bipartiiei s aflm rdcina ecuaiei algebrice transcendente
4 3
2 1 0 x x x + = aflat n intervalul
[ ]
0,1 , cu o eroare
1
10

< .
Soluie Aplicm metoda bipartiiei
Notm 1 2 ) (
3 4
+ = x x x x f i 0, 1 a b = = .
Calculm valorile lui f la capetele intervalului
(0) 1 f = ,
(1) 1 f =
i observm c
0 ) 1 ( ) 0 ( < f f ,
adic soluia este n intervalul
[ ] [ ]
, 0,1 a b = .

Calculm mijlocul intervalului
[ ] [ ]
, 0,1 a b = i gsim
0 1
0, 5
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n 0, 5 c = , adic (0, 5) 0, 06 0, 25 0, 5 1 1,19<0 f + ,
deci intervalul ales va fi [ ] [ ]
1 1
, 0, 5 ; 1 a b = .

Calculm mijlocul intervalului
[ ] [ ]
1 1
, 0, 5 ; 1 a b = i gsim
1 1
1
0, 5 1
0, 75
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n
1
0, 75 c = , adic
(0, 75) 0, 32 0, 84 0, 75 1 0,59<0 f + , deci intervalul ales va fi
[ ] [ ]
2 2
, 0, 75; 1 a b = .

Calculm mijlocul intervalului
[ ] [ ]
2 2
, 0, 75; 1 a b = i gsim
2 2
2
0, 75 1
0, 875
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n
2
0, 875 c = , adic
(0, 875) 0, 59 1, 34 0, 88 1 0,05>0 f + + , deci intervalul ales va fi
[ ] [ ]
3 3
, 0, 75; 0,875 a b = .

Calculm mijlocul intervalului
[ ] [ ]
3 3
, 0, 75; 0, 875 a b = i gsim
3 3
3
0, 75 0, 875
0, 8125
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n
3
0, 8125 c = , adic
(0, 8125) 0, 436 1, 072 0,812-1 0,304<0 f + , deci intervalul ales va fi
[ ] [ ]
4 4
, 0, 8125; 0, 875 a b =

Calculm mijlocul intervalului
[ ] [ ]
4 4
, 0, 8125; 0, 875 a b = i gsim
4 4
4
0,8125 0, 875
0, 8438
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n
4
0, 8438 c = , adic
(0, 8438) 0, 0507+1, 202 0, 844 1 0,135<0 f , deci intervalul ales va fi
[ ] [ ]
5 5
, 0, 8438; 0, 875 a b =

Calculm mijlocul intervalului
[ ] [ ]
5 5
, 0, 8438; 0, 875 a b = i gsim
5 5
5
0, 8438 0, 875
0, 8594
2 2
a b
c
+ +
= = = .
Determinm valoarea lui f n
5
0, 8594 c = , adic
(0, 8594) 0, 546 1, 270 0, 859 1 0,043<0 f + , deci intervalul ales va fi
[ ] [ ]
6 6
, 0, 8594; 0, 875 a b =

Astfel c, dup ase pai, gsim soluia
( )
1
0, 859 0,875 0, 867
2
= + .

Aplicaie
S rezolvm, cu o eroare 0, 01 < , ecuaia
3
1 0 x x + = .
Rezolvare Deoarece
( )
2
3 1 0, f x x x R = + >
rezult c ( ) f x este strict cresctoare.
Cum
( )
( )
lim
lim
x
x
f x
f x

+
=
= +

rezult c ( ) f x are o singur rdcina real. Se observ c ( ) 0 1 f = i ( ) 1 1 f = , adic
( ) ( ) 0 1 0 f f < deci rdcina se gasete ntre ( ) 0,1 .
Vom aplica metoda bipartiiei intervalului ( ) 0,1 .

Calculm mijlocul intervalului ( ) 0,1 i gsim
1
0, 5 c = .
n acest punct, ( ) 0, 5 0, 375 f = .
Cum ( ) ( ) 0, 5 1 0 f f < , rdcina se gsete n intervalul ( ) 0, 5; 1 .

Se continu procedeul iterativ, rezultnd
2
0, 75 c = . n acest punct,
( ) 0, 75 0,1719 f = ( ) ( ) 0, 5 0, 75 0 f f < , deci intervalul s-a resticionat la ( ) 0, 5; 0, 75 .

Se continu procedeul iterativ, obinndu-se dup a aptea iteraie
7
0, 6797 c = ,
( ) 0, 6797 0, 0063 f , deci rdcina se gsete n intervalul ( ) 0, 6797, 0, 6875 .

Cum 0, 6875 0, 6797 0, 0078 0, 01 = < , valoarea rdcinii obinute cu precizia cerut este
0, 6836 = .