Trabalho de Matemtica Discreta

Analise de Sistemas

APRENDA O BSICO APOSTILAS

MARCELO.MF@HOTMAIL.COM WWW.APRENDAOBASICO.BLOGSPOT.COM

O Princpio de Induo Completa

As cincias naturais utilizam o mtodo chamado de induo emprica para formular leis que devem regar determinar fenmenos a partir de um grande nmero de observaes particulares, selecionadas adequadamente. Este tipo de procedimento, embora no seja logicamente correto, freqentemente satisfatrio: por exemplo, ningum duvidaria de que quando um corpo liberado ao seu prprio peso, no vcuo, na superfcie da Terra, ele cai segundo a vertical local. A validade de um teorema matemtico se estabelece de forma totalmente diferente. Verificar que uma certa afirmao verdadeira num grande nmero de casos particulares no nos permitir concluir que ela vlida em geral. Com efeito, dada a expresso f(n) = n-n+41, considere a seguinte afirmao: para cada inteiro positivo n, o valor de f(n) um nmero primo (estamos supondo aqui que o leitor est familiarizado com a noo de nmero primo. Para n = 1 temos que f(1) = 41. Da mesma forma, f(2) = 43, f(3)=47, caso fossemos fazendo estas contas poderamos verificar que a afirmao verdadeira para os primeiros 40 valores de n. Porem para n= 41 temos que f(41) = 41x41 que no um nmero primo. Consideremos ento uma afirmao como a seguinte: a soma dos n primeiros inteiros positivos igual a n(n+1), ou smbolos: 2 1 + 2 + 3 +...+ n - n(n+1) 2 Como verificar sua validade ? Evidentemente, impossvel demonstra-la em todos os casos particulares. Para demonstrar a verdade deste tipo de propsito, que na realidade uma seqncia infinita de proposies, uma para cada inteiro positivo - Introduziremos o chamado mtodo de recorrncia ou de Induo completa. Para isso, comearemos demonstrando o seguinte resultado: Teorema - Sejam a um Inteiro dado e S um conjunto de inteiros maiores ou iguais a que tem as seguintes propriedades: Pgina 1

Trabalho de Matemtica Discreta (i) (ii)

Analise de Sistemas

a S Se um Inteiro k >= a pertence a S, ento k+1 tambm pertence a S

Ento S o conjunto de todos os Inteiros maiores ou iguais a a Demonstrao Suponhamos que a afirmao seja falsa. Ento, o conjunta S dos Inteiros maiores ou iguais a a que no pertencem a S e no vazia (e limitado inferiormente por a). Conforme me a proposio existe m = mim S. Como a S certamente a < m, logo a =< m-1< m Ainda, m-1 <m - min S, logo m-1 S, isto , m-1 S. Conforme a propriedade (ii), terse- ento que m= (m-1)+i S, uma contradio, j que m S'. Princpio de Induo Completa 1.forma Seja a um Inteiro dado. Suponhamos que para cada inteiro n >= a est dada uma afirmao A(n) de forma tal que: (I) A(a) verdadeira. (II) Se para um Inteiro k>= a. A(k) verdadeira, ento A(k+1) verdadeira. Ento a afirmao A(n) verdadeira para todo Inteiro n >= a Demonstrao Basta considerar o conjunto S dos Inteiros n >= a para os quais A(n) verdadeira e verificar que est nas condies do teorema anterior. Assim, S contm todos os inteiros maiores ou iguais a a e segue a tese. Exemplo - Provaremos agora que a formula 1 + 2 + ... + n = n(n + 1) 2

verdadeira para todo n >= 1 Para n= 1 a frmula acima d 1 = (1+1), 1=1. 2 Assim nossa afirmao verdadeira para n=1. Deveremos mostrar agora que, se a afirmao verdadeira para n= k, ento tambm a verdadeira para n= k+1. Estamos admitindo ento como verdadeiro que Pgina 2

Trabalho de Matemtica Discreta

Analise de Sistemas

1+ 2 + ... + k = k( k+1) 2 Somando k + 1 a ambos os membros desta Igualdade temos: 1 + 2 +...+ k + (k+1) = k(k+1) + (k+1) a k(k+1) + 2(k+1) 2 2 , 1 + 2 +...+k+(k+1) - (k+1) (k+2) 2 que a frmula correspondente a n = k+1, cuja validade queramos demonstrar.

Pgina 3

Trabalho de Matemtica Discreta Exemplo (Soma dos termos de uma progresso aritmtica)

Analise de Sistemas

Sejam a e r dois nmeros inteiros. A seqncia a1 = a, a2 = a + r, a3 = a + 2r, ... an = a + (n-1) r, ... diz-se uma progresso aritmtica de razo r. Provaremos que a soma dos n primeiros termos de uma progresso aritmtica : a + (ar) + ... +(a +(n-1)r) - n (2a + (n-1) r) 2 Com efeito: para n =1 , a frmula : a =1 * 2a 2

, para n a 1 verdadeira. Suponhamos agora que a formula vale para n =k, isto , admitimos que vale: a + (ar)+...+(a +(k-1)r) k(2a+(k-1)r) 2 Somando a+ Kr a ambos os membros desta igualdade temos: a+(ar)+... (a+(k-1)r) + (a+kr) = k(2a+(k-1)r) +(a+kr) 2 = k(2a+(k-1)r)-+-2(a+kr) = 2ak + k(k-1)r +2a+2kr = 2 2 = 2a(k+1) + Kr(k-1+2) = 2a(k+1) + Kr(k+1) = 2 2 = (k+1)(2a+kr) = 2 a + (ar) + ... +(a+kr) a (k+1)(2a+kr) 2 que a formula correspondente a n a k+1, cuja validade queramos demonstrar. Exemplo - Mostraremos agora um resultado da geometria do plano: a soma dos ngulos de um polgono convexo de n lados Sn = (n-2) x 180, n >= 3 De fato, para n = 3 temos que o polgono convexo correspondente um tringulo e sabemos da geometria elementar que a soma dos seus ngulos 180 Suponhamos a afirmao valida para n = k >= 3, isto que a soma dos ngulos de um polgono convexo com k lados Sk = ( k-2 ) x 180 0 polgono a0a2...a k que se obtm traando o segmento a0a2 tem k lados; consequentemente, a soma dos seus ngulos Sk = (k-2) x 180. Agora, a soma dos ngulos do polgono original ser Sk mais a soma dos ngulos do Pgina 4

Trabalho de Matemtica Discreta

Analise de Sistemas

tringulo a0a1a2 isto , Sk+1 = Sk + 180 = (k-2) 180 + 180 =(k-1) 180. Exemplo - Considere a formula 2n3 > 3n2+3n+1. 0 leitor poderia verificar diretamente que ela falsa para n=1 e n=2. Porem, para n=3 obtemos: 54 > 34 que uma afirmao verdadeira. Suponhamos ento que a afirmao verdadeira para n = k >= 3, isto , que 2k3 > 3k2 + 3k + 1. Tentaremos demonstrar que a afirmao tambm verdadeira para n = k+1 isto , que 2(k+1) > 3(k+1) + 3(k+1) + 1 Temos que: 2(k+1) = 2(k +3k +3k+1) = 2k + 6k+6k+2 Usando a hiptese de induo, vem: 2(k+1) > 3k+3k+1+6k+6k+2 = 3(k+2k+1)+3k+6k2 = 3(k+1)+3k+6k. Como k >=3 temos que 6k >= 54 > 3+1 e substituindo na frmula acima temos: 2(k+1) > 3(k+1) + 3k + 3+1= 3(k+1) + 3(k+1) + 1 como queramos demonstrar. Podemos afirmar ento que a frmula dada vlida, para todo inteiro maior ou igual a 3. Teorema - Sejam a um inteiro dado e S um conjunto de inteiros maiores ou iguais a a que tem as seguintes propriedades: (i) aS

(ii) Se k e um inteiro positivo tal que todo inteiro m verificando a =< m =< k pertence a S, ento k + 1 pertence a S. Ento, S o conjunto de todos os inteiros maiores ou iguais a a. Demonstrao Suponhamos que a afirmao falsa. Ento, o conjunto S dos inteiros maiores ou iguais a a, que no pertencem a S, vazio e limitado inferiormente. Conforme a proposio, existe m = mim S, pela condio (i) certamente m > a, logo ( m 1 ) + 1 = m pertence a S; uma contradio.

Pgina 5

Trabalho de Matemtica Discreta

Analise de Sistemas

Principio de Induo Completa 2 forma Suponhamos que para cada inteiro n >= a est dada uma afirmao A(n) de forma tal que: (i) A (a) verdadeira. (ii) Se A(m) verdadeira para todo inteiro m tal que a =< m =< k ento A(k+1) verdadeira. Ento A(n) verdadeira para todo inteiro n >= a Exemplo Vamos definir uma seqncia da seguinte forma: s dois primeiros termos sero a1 = 1 e a2 = 3; cada um dos termos subsequentes se define como a soma dos dois anteriores, isto , an = an-1 + an-2. Assim, os primeiros termos desta seqncia sero: 1, 3, 4, 7, 11, 18, 29, ... Queremos demonstrar que, para cada n, vale a desigualdade: 7 an < ( ) n 4

7 7 De fato, para n =1 temos 1 < ( ) e para n =2 temos 3 < ( )2. 4 4 Seja ento k >= 2 e suponhamos agora que ela vale para todo inteiro positivo menor ou igual a k. Queremos provar que ak+1 = ak + ak-1. Da hiptese de induo, a afirmao vale, em particular, para n =k e n = k-1. 7 7 Logo, temos ak < ( )k e ak-1 < ( )k-1, donde temos: 4 4 7 7 7 7 7 11 ak+1 < ( )k + ( )k-1 = ( )k-1 ( + 1) = ( )k-1 * 4 4 4 4 4 4 Como ainda 11 7 < ( )2 temos que: 4 4

7 7 7 ak+1 < ( )k-1 * ( )2 = ( )k+1 , como queramos demonstrar. 4 4 4

Pgina 6

Trabalho de Matemtica Discreta

Analise de Sistemas

A induo completa fornece tambm um mtodo para definir novos conceitos, mtodo de recorrncia. Por exemplo, dado um inteiro a podemos definir potncia de a expoente positivo da seguinte forma: (i) (ii)
n

a1= a; Para cada inteiro positivo n, definimos an+1 = a * an.

O par de condies acima d um regra que especifica o significado s smbolo a para cada inteiro n >= 1. Por conveno definiremos ainda a = 1. O mtodo de recorrncia tambm usado para definir o smbolo n!. Definimos: (i) (ii) 1! = 1 n! = n * [ ( n - 1 )! ] para todo inteiro n >= 1.

Assim temos que 1! = 1, 2! = 2*1, 3! = 3*2*1 e, em geral, n! o produto de todos os nmeros positivos menores ou iguais a n. O uso do principio de induo completa com mtodo de demonstrao parece ser muito antigo e est implcito na obra de Euclides. Aceita-se freqentemente que a primeira formulao explcita deste princpio se deve a Blaise Pascal em 1654. O nome induo matemtica surgiu bem mais tarde. Apareceu pela primeira vez em 1838 por Morgan.

Pgina 7

Trabalho de Matemtica Discreta

Analise de Sistemas

Demonstraes n A. Provar que Kn ( Grafo Completo ) igual 2 n Hiptese | E ( Kn ) | = 2 n + 1 | E ( Kn+1 ) | = 2 Subgrafo

Se ele formar um grafo completo ter 6 arestas para n=4 ( base ). Se acrescentarmos mais 1 ponto (n + 1), o grafo ter 6 arestas + n arestas. n + 1 = 2 (n +1) * n 2

n *(n 1) n *(n 1) + 2 n +m = 2 2

n2 n + 2n n2 + n 2 = = 2

Pgina 8

Trabalho de Matemtica Discreta B. 1 2 NP 3 5 4

Analise de Sistemas

Com referncia o grafo acima, quando acrescentamos aos n pontos distribudos sobre a circunferncia um novo ponto P e o ligamos a um dos pontos anteriores, obtemos tantas novas regies quantas forem as intersees do novo segmento, com os anteriores, mais uma. para calcular o nmero de intersees, vamos enumerar os n pontos de 1 a n, no sentido anti-horrio, a partir de P. O segmento que parte de P e vai ao j-simo ponto intersecta todos os segmentos que ligam os j-1 pontos anteriores ao j-simo com os n - j pontos posteriores ao j-simo; o nmero de tais interseces portanto, (j -1)(n -j) e, assim, o nmero de novas regies correspondentes ao j-simo ponto : (j - 1)(n -j) + 1. Somando para j = 1, 2, ... , n, obtm-se o nmero P(n) de novas regies, quando passamos de n para n + 1 pontos sobre a circunferncia:

P(n) = [( j 1)(n j ) + 1]
j =1

Quando n=1, temos uma nica regio; ao passarmos de n = 1 para n = 2, acrescentamos P(1) = 1 nova regio, de modo que: R2 = 1 + P(1) = 2. De n = 2 para n =3, temos P(2) = 1 + 1 e, portanto: R3 = R2 + P(2) = 1 + P(1) + P(2) = 4 Em geral:

Pgina 9

Trabalho de Matemtica Discreta

Analise de Sistemas

Rn = 1 + P( K )
Vamos calcular agora P(K) em funo de K; as frmulas utilizadas, a saber: a soma dos K primeiros nmeros naturais, a soma de seus quadrados e a soma de seus cubos podem ser demonstradas por induo: k k ( k + 1) 1 + 2 + ... + K = j = 2 j =1
K =1

n 1

12 + 22 + ... + K2 = 1 + 2 + ... + K =
n

j
j =1

k ( k + 1)(2 k + 1) 6

j
j =1

[k ( k + 1)]2 4 , temos ento:

k

P(k) =

[( j 1)(n j ) + 1]= [kj j

j =1 j =1

k + j + 1]

(k + 1)

k ( k + 1)(2 k + 1) k ( k + 1) = + (k 1- k) = 2 6
k 3 k 2 4k + 6 2 3

1 n1 3 1 n1 2 4 n1 Rn = 1 + P( k ) = 1+ k k + k = 6 k =1 2 k =1 3 k =1 k =1
1 [n(n 1)]2 1 (n 1)n(2 n 1) 4 n(n 1) 1+ = + 6 4 2 6 3 2

n 1

1+

1 4 [n 6 n 3 + 23 n 2 18 n] = 24

n n n + + 0 2 4
Pgina 10

Trabalho de Matemtica Discreta

Analise de Sistemas

C. Suponha que um Sr. Silva casou-se e teve dois filhos. vamos chamar estes dois filhos de gerao 1. Agora suponha que cada um desses dois filhos teve filhos; ento na gerao 2 temos quatro descendentes. Este processo continua de gerao em gerao. A rvore genealgica famlia Silva semelhante figura abaixo:
Gerao Descendentes

1 2

2 =21 4 = 22

8 = 23

Aparentemente a gerao n tem 2n descendentes. De maneira mais formal, se fizermos P(n) denotar o nmero de descendentes na gerao n, ento nossa suposio ser P(n) = 2n Podemos usar a induo para demonstrar que nosso palpite para P(n) est correto. A base da induo estabelecer P(1), que resulta a equao P(k) = 2k e tentaremos mostrar que P(k+1 ) = 2k+1 Nesta famlia, cada descendente tem dois filhos; ento o nmero de descendentes na gerao k+1 ser o dobro do da gerao ndice k, ou seja, P(k+1) =2. pela hiptese de induo, P(k) = 2k, logo P(k +1) = 2 P(k) = 2(2k) = 2k+1 ento, de fato, P(k + 1) = 2k+1 Isto completa a nossa demonstrao por induo

Pgina 11

Trabalho de Matemtica Discreta Bibliografia

Analise de Sistemas

Nmeros - uma introduo Matemtica Milies, Csar Polcino - Coelho, Snia P. - USP - So Paulo1986 Revista do Professor de Matemtica - n 12 /1988 Sociedade Brasileira de Matemtica -SP Fundamentos Matemticos para a Cincia da Computao Gersting, Judith L. - LTC 3 ed. Histria da Matemtica Boyer, Carl B. - Ed. Edgard Blcher - 9 reimpresso 1991

Texto gentilmente cedido por Ricardo Soares (ricardosoares@sol.com.br)

www.sti.com.br

Pgina 12