Trabalho de Matemtica Discreta

Analise de Sistemas

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:
(i)
(ii)

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

Pgina 1

Trabalho de Matemtica Discreta

Analise de Sistemas

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
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
Pgina 2

Trabalho de Matemtica Discreta

Analise de Sistemas

que a frmula correspondente a n = k+1, cuja validade queramos demonstrar.

Pgina 3

Trabalho de Matemtica Discreta

Analise de Sistemas

Exemplo (Soma dos termos de uma progresso aritmtica)

Sejam a e r dois nmeros inteiros. A seqncia a 1 = 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 a 0a2 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 2k 3 > 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 , a n = 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:
an < (

7 n
)
4

7
7
) 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 a k+1 = ak + ak-1.

De fato, para n =1 temos 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
ak+1 < (

7 k + 7 k-1 = 7 k-1 7
7
11
) ( ) ( ) (
+ 1) = ( )k-1 *
4
4
4
4
4
4

Como ainda
ak+1 < (

11
7
< ( )2 temos que:
4
4

7 k-1 * 7 2
7
) ( ) = ( )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)

a1= a;

(ii)

Para cada inteiro positivo n, definimos a n+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:
n

(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

A. Provar que Kn ( Grafo Completo ) igual

Hiptese | E ( Kn ) | =

| E ( Kn+1 ) | =

n

2

n

2

n1

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.

Pgina 8

Trabalho de Matemtica Discreta

n1

2

Analise de Sistemas

(n 1) * n
2
=

n *(n 1)
m
2

n *(n 1) 2 n
=
2

n2 n 2n
n2 n
2
=
= 2

Pgina 9

Trabalho de Matemtica Discreta

Analise de Sistemas

B.
1
2
NP
3
5
4
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:
n

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 10

Trabalho de Matemtica Discreta

Analise de Sistemas
n 1

P( K )
Rn = 1 +
K 1

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)
j =

1 + 2 + ... + K =
2
j 1
k

1 + 2 + ... + K =
2

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

13 + 23 + ... + K3 =

j 1

P(k) =

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

(k + 1)

k ( k 1)
2

[kj j

j 1

j 1

k ( k 1)( 2 k 1)
6

j 1

k ( k 1)(2 k 1)
6

k j 1]

+ (k 1- k) =

k 3 k 2 4k

6
2
3
n 1

n 1

Rn = 1 + P( k ) 1 6 k
k 1

1+

k 1

1 n1 2 4 n1
k 3 k
2 k 1
k 1

1 [n(n 1)]2 1 (n 1)n( 2 n 1) 4 n(n 1)

6
4
2
6
3
2

1+

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

=
=

n n n

0 2 4

Pgina 11

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

2 =21

4 = 22

8 = 23

Descendentes

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

Pgina 12

Trabalho de Matemtica Discreta

Analise de Sistemas

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 13

Trabalho de Matemtica Discreta

Analise de Sistemas

Bibliografia
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 14