You are on page 1of 7

O Mtodo da Bisseo e ca

9 de julho de 2009 UFMG Departamento de Matemtica a Francisco Satuf

Introduo ca

Para ns de motivaao considere um casal de crianas que brinca de adivinhar nmeros inteiros entre 1 c c u e 100. O Menino pensa um nmero e a menina deve descobri-lo. Inicialmente, a menina pergunta se o u nmero 50 e o menino responde que o nmero maior que 50. A menina, ento pergunta se o nmero u e u a u 75 e o menino responde que o nmero menor que 75. Em seguida a menina pergunta se o nmero e u e u 67 e o menino responde que o nmero menor que 75. Observemos que a menina escolhe nmeros que e u u esto prximos do ponto mdio dos intervalos poss a o e veis. Com esse procedimento, em poucas tentativas, a menina ir descobrir o nmero que o menino pensou. O Mtodo da Bisseao consiste em aproveitar a a u e c idia dessa brincadeira para se resolver equaoes que contenham apenas uma varivel. e c a Esse trabalho inicia-se descrevendo o Mtodo da Bisseao, estudando sua convergncia e analisando que e c e classe de problemas que o esse mtodo resolve. Confrontamos o Mdoto da Bisseo com o Mtodo de e e ca e Newton devido ao grande sucesso desse ultimo. Tambm estudamos o Teorema do Valor Intemedirio, e a aos olhos do Mtodo da Bisseao. O Teorema do Valor Intermedirio um teorema de existncia de e c a e e soluoes de equaes com uma incgnita. Porm ao analisarmos o Mtodo da Bisseao sob as hiptese c co o e e c o do Teorema do Valor Intermedirio, vemos que esse mtodo, no s implica nesse teorema, como exibe a e a o uma seqncia que converge para uma soluo de tal equaao. Outro fato notvel a equivalncia do ue ca c a e e Mtodo da Bisseo com o Postulado de Dedekind. e ca

A convergncia no Mtodo da Bisseo e e ca

Vamos imaginar uma funao como no grco da Figura 1. O Mtodo da Bisseao consiste em: dados c a e c

a c b

Figura 1: f (a)f (b) < 0. uma funo e trs nmeros a, b e tolerncia, com f (a)f (b) < 0, encontrar c, tal que |f (c)| <tolerncia. ca e u a a Vejamos o seguinte esquema. 1

x1 = a, x2 = b, y1 = f (x1 ), y2 = f (y2 ) (*) x3 = (x1 + x2 )/2, y3 = f (x3 ) se |y3 | <tolerncia ento resposta x3 a a e se y2 y3 < 0 ento x1 = x3 , y1 = y3 a se no x2 = x3 , y2 = y3 a repita o processo a partir de (*). Observemos que, inicialmente, x3 o ponto mdio do intervalo [a, b]. No passo seguinte uma das metades e e do segmento [a, b] desprezada e a outra , ento, dividida ao meio num novo ponto x3 . O processo e e a prossegue de forma iterativa. Vejamos, agora, que o Mtodo da Bisseo gera duas seqncias (an ) e (bn ), com as seguintes propriedades: e ca ue a = a1 a2 an an+1 b b = b1 b2 bn bn+1 a f (an )f (bn ) < 0, n N Para tanto, iniciamos, denindo a1 = a e b1 = b. Vamos reescrever o algoritmo introduzindo as seqncias (an ) e (bn ), em que n representa a n-sima ue e a1 + b1 a1 + b1 iteraao. Se f (b1 )f c < 0 dena a2 = e b2 = b1 , caso contrrio dena a2 = a1 e a 2 2 an + bn a 1 + b1 b2 = . Prosseguimos o processo de maneira iterativa, isto , se f (bn )f e < 0 dena 2 2 an + bn an + bn an+1 = e bn+1 = bn , caso contrrio dena an+1 = an e bn+1 = a . Veja a gura 2 2 2 Observamos que o Mtodo da Bisseo gera uma seqncia de intervalos encaixantes e ca ue

a1 a3 a a2

= = =

a4

b1

Figura 2: O Mdoto da Bisseo. e ca

[a1 , b1 ] [a2 , b2 ] [an , bn ] [an+1 , bn+1 ] . Como o comprimento de cada intervalo sempre a metade do intervalo anterior, podemos concluir que e bn an =
n

ba n N. 2n1

Como lim (bn an ) = 0, conclu mos que o Mtodo da Bisseao um caso particular do Teorema dos e c e Intervalos Encaixantes, que pode ser encontrado em [2]. Este Teorema nos diz que se os intervalos so a encaixantes e seus comprimentos tendem a zero, ento existe um unico c [a, b], tal que a

[an , bn ] = {c},
n=1

ou equivalentemente, c [an , bn ], n N. 2

c b4

b3

b2 b

an + bn Retornando ao algoritmo, observamos que x3 , em cada passo, dado por e . Da temos que o , 2 an + bn Mtodo da Bisseao dene uma seqcia (cn ) dada por cn = e c ue que converge para c. No dif a e cil 2 vericar que ba |cn c| < n1 . 2

Funcionalidade e Aplicabilidade do Mtodo da Bisseo e ca


O Mtodo da Bisseo Funciona? e ca

Inicialmente, vamos responder a seguinte pergunta:

Resposta: Nem sempre. O resultado abaixo nos d uma condiao para a funcionalidade do mtodo. a c e Teorema 3.1 Se f : [a, b] R cont e nua e f (a)f (b) < 0, ento o Mtodo da Bisseo gera uma a e ca seqncia (cn ) que converge para c [a, b] e f (c) = 0. ue Demonstrao: Tomemos (an ), (bn ) e (cn ) como no 2. Suponhamos que f (c) = 0. Sem perda de ca generalidade, podemos supor que f (c) > 0, pois caso contrrio bastaria analisarmos a funao (f ). a c Como f (c) > 0, existe > 0, tal que f (x) > 0, x [c , c + ] Como (an ) uma seqncia no e ue a decrescente convergindo para c, existe r N, tal que c < ar c. Analogamente, existe s N, tal que c bs < c . Tomando N = max{r, s}, temos que aN , bN [c , c + ], o que implica que f (aN ) > 0 e f (bN ) > 0, donde f (aN )f (bN ) > 0, o que uma contradio (veja gura 3). e ca

c-d aN

bN

c+d

Figura 3: f (ar ) > 0, f (as ) > 0, f (bN ) > 0 e f (bN ) > 0.

Este Teorema pode ser visto como conseqncia do seguinte resultado. ue Teorema 3.2 Seja f : [a, b] R qualquer. Se f (a)f (b) < 0, ento o Mtodo da Bisseo gera uma a e ca seqncia (cn ) que converge para c [a, b] e, alm disto, ou algum dos limites laterais em c no existe, ue e a ou so diferentes, ou lim f (cn ) = 0. a
n

A demonstrao deste teorema anloga ao do teorema 3.1. ca e a Do teorema 3.2, podemos ter outra utilidade para o Mtodo da Bisseo alm a de encontrar zeros de e ca e funoes. O teorema 3.2 nos diz que o Mtodo da Bisseao serve para localizar pontos de descontinuidade c e c de funoes. Para tanto, basta introduzirmos no algoritmo outro mecanismo de parada atravs da limitaao c e c do nmero de iteraoes, caso a tolerncia no seja alcanada. u c a a c

A convergncia no Mtodo de Newton e e

Seja Rn e f : Rn . No caso n = 1, isto , Rn = R, o Mtodo de Newton consiste em acharmos e e a interseo da reta tangente da gura 4 com o eixo das abscissas. Pondo y = 0 na equao da reta ca ca tangente, temos que x = xn+1 , isto , e

, y-yn=f (xn)(x-xn)

xn+1

xn

Figura 4: O Mtodo de Newton. e

0 f (xn ) = f (xn )(xn+1 xn ), o que nos fornece xn+1 = xn [f (xn )]1 f (xn ). Para generalizarmos o Mtodo de Newton para n > 1, basta observarmos que xn+1 , xn e f (xn ) so vetores e a 1 e [f (xn )] o inverso da matriz jacobiana de f em xn . As caracter e sticas da convergncia so similares e a ao caso n = 1. E muito comum se ouvir de estudantes e curiosos perguntas seguidas de uma exclamao: ca O Mtodo da Bisseo funciona? e ca O Mtodo da Bisseo bom? e ca e Bom o Mtodo de Newton! e e A primeira pergunta est respondida no pargrafo 3.Vamos comentar a exclamaao e deixar a outra a a c pergunta para depois. De [3], obtemos que se f (c) = 0 e existem > 0 e k > 0, tais que f (x)f (x) k < 1, x [c , c + ], f (x) (1)

ento o Mtodo de Newton gera uma seqncia (xn ), com lim xn = c. Ainda de [3], temos que o Mtodo a e ue e n de Newton no somente bom, na realidade, ele timo: se existem A, B, > 0, tais que a e eo |f (x)| A e |f (x)| B, x [c , c + ], ento a A |xn c|2 , 2B A , em (2), temos que que chamada de convergncia quadrtica. Pondo K = e e a 2B |xn c| |xn c| K 2
n3 1

(2)

|x1 c|2

n2

o que nos d uma convergncia rapid a e ssima, se K e |x1 c| so pequenos. a 4

Bisseo versus Newton ca


|xn c| K 2
n3 1

Do 4, temos que no Mtodo de Newton e |x1 c|2


n2

e, portanto, ele , em geral, bem mais rpido que o Mtodo da Bisseao, pois de acordo com o 2 e a e c |cn c| ba . 2n1

Por outro lado o Mtodo da Bisseo pode ser aplicado para funoes no diferenciveis e, alm disto, e ca c a a e pode ser utilizado para localizar pontos de descontinuidade de uma funo. Mas ressaltamos que uma ca comparaao mais detalhada desses Mtodos nos parece muito dif c e cil. Esclarecemos que s procedemos o a tal comparao devido ` grande popularidade do Mtodo de Newton, que, como veremos, pode ser ca a e facilmente generalizado, em contraposioes ao Mtodo da Bisseo. c e ca Exemplo: f (x) = arctg x, x0 = 2 no Mtodo de Newton e intervalo [9, 2] no Mtodo da Bisseao. e e c Newton Bisseo ca n xn f (xn ) xn f (xn ) 1 3, 535743590 1, 295169059 3, 500000000 1, 292496668 2 13, 95095909 1, 499239053 0, 7500000000 0, 6435011088 3 279, 3440666 1, 567216527 0, 6250000000 0, 5585993153 4 122016, 9989 1, 570788131 0, 6250000000 0, 06241881000 5 0, 2338600418 1011 1, 570796327 0, 2812500000 0, 2741674511 21 6 0, 8590766658 10 1, 570796327 0, 1093750000 0, 1089419570 43 7 0, 1159267666 10 1, 570796327 0, 02343750000 0, 02343320988 8 0, 2110995573 1085 1, 570796327 0, 01953125000 0, 01952876704 9 0, 6999943298 10169 1, 570796327 0, 001953125000 0, 001953122516 338 10 0, 7696777310 10 1, 570796327 0, 008789062500e 0, 008788836199 11 0, 9305457284 10676 1, 570796327 0, 003417968750 0, 003417955440 1353 12 0, 1360176655 10 1, 570796327 0, 0007324218750 0, 0007324217440 2705 13 0, 2906099706 10 1, 570796327 0, 0006103515625 0, 0006103514867 5410 14 0, 1326602765 10 1, 570796327 0, 00006103515625 0, 00006103515617 15 0, 2764405023 1010819 1, 570796327 0, 0002746582031 0, 0002746581962 21638 16 0, 1200392363 10 1, 570796327 0, 0001068115234 0, 0001068115230 43275 17 0, 2263426126 10 1, 570796327 0, 00002288818359 0, 00002288818359 18 0, 8047343251 1086549 1, 570796327 0, 00001907348633 0, 00001907348633 19 0, 1017243513 10173099 1, 570796327 0, 1907348633 105 0, 1907348633 105 20 0, 1625435480 10346197 1, 570796327 0, 8583068848 105 0, 8583068848 105 692393 21 0, 4150107514 10 1, 570796327 0, 3337860107 105 0, 3337860107 105 22 0, 2705444149 101384786 1, 570796327 0, 7152557373 106 0, 7152557373 106 23 0, 1149733069 102769572 1, 570796327 0, 5960464478 106 0, 5960464478 106 24 0, 2076413878 105539143 1, 570796327 0, 5960464478 107 0, 5960464478 107 11078285 25 0, 6772479871 10 1, 570796327 0, 2682209015 106 0, 2682209015 106 26 0, 7204690397 1022156570 1, 570796327 0, 1043081284 106 0, 1043081284 106 27 0, 8153621044 1044313140 1, 570796327 0, 2235174179 107 0, 2235174179 107 88626281 7 28 0, 1044289527 10 1, 570796327 0, 1862645149 10 0, 1862645149 107 29 0, 1713017194 10177252561 1, 570796327 0, 1862645149 108 0, 1862645149 108 30 0, 4609388578 10354505121 1, 570796327 0, 8381903172 108 0, 8381903172 108 31 0, 3337386614 10709010242 1, 570796327 0, 3259629011 108 0, 3259629011 108 32 0, 1749576418 101418020484 1, 570796327 0, 6984919310 109 0, 6984919310 109 5

Solicitamos ao leitor se convencer geometricamente que as retas tangentes no Mtodo de Newton esto e a tendendo a horizontais e, portanto, |xn | ca muito grande, vide (1). por outro lado o Mtodo de Newton e com x0 = 1 com 4 iteraes fornece f (x4 ) da ordem de 109 . J o Mtodo da Bisseo vai convergir para co a e ca uma raiz, uma vez que as hipteses do teorema 3.1 so atendidas. o a

O Mtodo da Bisseo e o Teorema do Valor Intermedirio e ca a

O Teorema do Valor Intermedirio um dos pilares do estudo de funes cont a e co nuas. O Mtodo da e Bisseao fornece uma demonstrao simples para o Teorema do Valor Intermedirio, o qual enunciaremos c ca a a seguir. Teorema 6.1 Se F : [a, b] R contnua e y est entre F (a) e F (b), ento existe um unico c [a, b], e a a tal que F (c) = y. Para demonstrar este teorema basta aplicar o teorema 3.1 ` funao f (x) = F (x) y. a c Ressaltamos que o Mtodo da bisseao no s implica no Teorema do Valor Intermedirio, como fornece e c a o a uma seqncia que converge para o nmero c da tese deste teorema. ue u

O Mtodo da Bisseo e o Postulado de Dedekind e ca

Este assunto foi deixado para o nal, porque ele no possui um carater numrico, visando o clculo de a e a soluoes de equaoes. c c Devemos dizer o que o Postulado de Dedekind, mas antes necessitamos de denir cota superior e e supremo de um conjunto. Uma cota superior de um conjunto A = um nmero m, tal que x m, e u x A. O supremo de um conjunto A a menor das cotas superiores de A e denotado por sup A. e e Exemplos: A = [1, 3] = {x R : x 1 3}. 3, , 10, 4, 5, 7/2, etc. so cotas superiores de A. Mas o supremo de A 3 ou, simplesmente, a e sup A = 3. B = {x R : x2 < 2} = ( 2, 2) sup B = 2 C = {x Q : x2 < 2} = ( 2, 2) Q sup C = 2 Note que no ultimo exemplo C Q, mas sup C Q. Dizemos que um conjunto satisfaz ao Postulado de Dedekind, se todo subconjunto com cota superior possui supremo. O nome deste postulado em homenagem a Richard Dedekind, que em 1901 formalizou e a construo dos nmeros reais, a qual pode ser encontrada na primeira parte de [1]. ca u O que queremos analisar so as implicaoes abaixo a c Postulado de Dedekind seqncia montona limitada converge ue o Teorema dos intervalos Encaixantes Mtodo da Bisseo e ca Postulado de Dedekind 6

As duas primeiras implicaes podem ser encontradas em [2] ou [3]. A terceira implicaao j foi discutida co c a nestas notas. J a ultima implicao quer dizer que se num corpo ordenado K vale o teorema 3.2, ento a ca a ele satisfaz o postulado de Dedekind. Um corpo ordenado pode ser entendido como um conjunto que tem todas as propriedades de Q, e sua deniao rigorosa pode ser vista em [2] ou [3]. c Vejamos como o teorema 3.2 implica no Postulado de Dedekind. Seja A um subconjunto no vazio de a K, que possua cota superior. Sejam b uma cota superior de A e a um elemento de A. Denotando [a, b] = {x K : a x b}, denamos f : [a, b] K, por f (x) = 1 , se x cota superior de A e x A e 1 , caso contrrio a

Sem perda de generalidade, podemos supor que b A, e portanto f (a)f (b) < 0. Logo, o Mtodo da e Bisseao produz seqncias (an ) e (bn ), com f (an ) = 1 e f (bn ) = 1, n N. Mas pelo teorema 3.2, c ue ambas convergem para um nmero c [a, b] K. u Vejamos, inicialmente, que c uma cota superior de A, pois caso contrrio existiria x A com c < x, e e a portanto existiria r N, tal que c br < x, mas isto uma contradiao. De fato, como f (br ) = 1, br e c seria uma cota superior de A, o que implicaria que x A. Vejamos, agora, que c a menor cota superior. Suponha que d < c fosse cota superior de A. Seja s N, e tal que d < as c. Se as A, d no poderia ser cota superior de A. Logo, as A. Como d cota a e superior de A, as seria, tambm, cota superior de A. Portanto, f (as ) = 1, o que contradiao. e e c

Consideraes Finais co

Comparando o Mtodo de Bisseao com o Mtodo da Newton, observamos que este ultimo possui implee c e mentaao computacional to simples quanto o primeiro. Vimos que o Mtodo de Newton pode ser muito c a e mais eciente que o Mtodo da Bisseo, porm este ultimo tambm rpido, uma vez que ele gera uma e ca e e e a seqncia (cn ) que converge para a soluao c na forma ue c |cn c| < ba , 2n1

em que [a, b] o intervalo dado inicialmente. e Enquanto o Mtodo de Newton necessita de funoes diferenciveis, o Mtodo da Bisseao pode ser aplicado e c a e c para funoes cont c nuas. Alm disto, o Mtodo da Bisseao pode ser utilizado (veja teorema 3.2) para e e c localizar ponto de descontinuidade de uma funao. Mas, por outro lado, enquanto a implementao c ca computacional do Mtodo de Newton para funes de Rn em Rn trivial, o mesmo no ocorre para o e co e a Mtodo da Bisseo, na realidade, isso nos parece uma tarefa dif e ca cil. Do ponto de vista terico, vimos que o Mtodo da Bisseo fornece uma demonstrao alternativa simples o e ca ca para o Teorema do Valor Mdio. Finalizamos dizendo que embora o Mtodo da Bisseo seja rudimentar e e ca e intuitivo, graticante saber que ele equivalente ao Postulado de Dedekind, o qual fundamental no e e e entendimento dos nmeros reais. u

Referncias e
[1] Dedekind, R., Enssays on The Theory of Numbers: I Continuity and Irrational Numbers, II The Nature and Meaning of Numbers, Dover Publications, Inc., New York, 1963. [2] Figueiredo, D. G., Anlise I, segunda edio, L.T.C., 1996. a ca [3] Lima, E. L., Analise, vol. 1, Coleo Matemtica Universitria - S.B.M., 1989. ca a a

You might also like