UNESP RIO CLARO

PEDRO HENRIQUE MULLER BORTOLUCCI

INDUO MATEMTICA
Introduo s tcnicas de demonstrao na matemtica John A. Fossa

Rio Claro
2016

INDUO MATEMTICA
Introduo s tcnicas de demonstrao na matemtica John A. Fossa

O livro de John A. Fossa comea com um dilogo entre trs personagens

so eles Moacir, Gu-yong e Su-yong, tal dilogo, que ocupa boa parte do livro, tem
por objetivo instigar o leitor a pensar em coisas que parecem no ter sentido, como
tentar comparar tamanho dos infinitos ou ento contar quantos nmeros reais
existem. Aps isso, o livro conta com uma segunda parte na qual o autor d algumas
definies importantes para desenvolver o livro e explica um pouco sobre as
tcnicas de demonstrao na matemtica, algumas delas sero necessrias para
dar continuidade induo matemtica.
No decorrer desta segunda parte do livro, John A. Fossa nos d as
seguintes definies:

Condicional: AC no qual A representa uma proposio

antecedente e C uma proposio conseqente. E o condicional
AC (A implica C) representa uma nova proposio composta.

Bicondicional: AB que uma proposio composta que

equivalente a proposio: AB e BA.

Tcnica de Condicionalizao (TC): Esta tcnica utilizada para

demonstrar um condicional, onde assumimos que o antecedente
verdadeiro e a partir da tentamos deduzir o conseqente.

Proposio Universal: so proposies que afirmam que uma certa

propriedade valida para todo elemento de um determinado
conjunto. Proposies do tipo: x, P(x),xA. Sendo P uma
propriedade do conjunto A.

Tcnica de Descer Representao Abstrata (DRA): Uma tcnica

usada para demonstrar proposies universais, para isso basta
tomarmos um elemento genrico do conjunto ao qual pertence a
proposio universal e demonstr-la utilizando TC, logo est
demonstrado para Proposio Universal.

Agora, dadas essas definies necessrias, podemos comear a falar da

Induo matemtica, uma das ultimas tcnicas de demonstrao descritas no livro
de John A. Fossa. Essa tcnica de demonstrao utilizada para demonstrar
propriedades que envolvem os nmeros naturais, sendo assim no so ferramentas
para demonstrar qualquer tipo de proposio. Porm isso no significa que uma
potente tcnica de demonstrao, pelo contrrio, uma das mais importantes
tcnicas utilizadas na matemtica para realizar vrias formas de demonstrao.
No livro, o autor faz uma analogia da induo matemtica com a famosa
brincadeira de enfileirar domins, empurr-los e deixar que eles caiam um a um at
chegar no final, esse exemplo muito interessante, pois na induo matemtica, o
que fazemos exatamente isso. Dada uma proposio do tipo universal, vlida para
os nmeros naturais, por exemplo: n, P(n), nN, onde P(n), uma propriedade
envolvendo todos os nmeros n que pertencem aos naturais. Para demonstrar essa
proposio mostramos que ela valida para um n=1 (derrubar a primeira pea do
domin) e ento usamos DRA para demonstrar a proposio para um n qualquer.
Porm, na aplicao do DRA temos que seguir alguns passos,
primeiramente, note que se p(1) vlido, ento P(2) tambm o , se P(2) vlido,
P(3), tambm o , sendo assim podemos facilmente notar que se a proposio
realmente valida para todo natural, ento dado um natural n=k, e P(k) vlida por
consequncia, P(k+1) tambm vlida. Sendo assim, aps a aplicao do DRA
temos que supor que a propriedade seja vlida para um n=k e demonstrar, utilizando
TC, que a propriedade tambm vlida para n=k+1.
Tendo em vista tudo o que foi passado, o livro define de uma forma um
pouco mais formal a tcnica de induo matemtica da seguinte forma:

Induo Matemtica (IM): Dada uma proposio universal do tipo:

n, P(n), nN, onde P(n), com P(n) sendo uma propriedade
envolvendo os naturais, ento:
i)Mostrar que P(1) vlida;
ii)Supor P(k) vlida;
iii)Demonstrar P(k+1).

No livro, ainda so passadas algumas outras definies que mostram

como a induo matemtica pode ser utilizada para conjuntos que sejam
subconjuntos dos naturais, e no todos os naturais. Uma delas a Numerao
Artificial, utilizada quando temos uma propriedade que no valida para todos os
naturais, mas para um subconjunto deles, e que pode ser modificada para que
possa ser provada como sendo uma propriedade valida para todos os naturais,
utilizando a IM normalmente. Um exemplo dado no livro deixa isso bem mais claro:
dada uma proposio do tipo: x, se x>2, x composto, xnmeros pares (I). Neste
caso, a propriedade vlida somente para os nmeros pares, mas para resolver o
problema, podemos reformular a proposio de forma a ser vlida para todo
natural, sabendo que os nmeros pares podem ser escritos na forma 2y, temos:
y,se 2y>2, 2y composto, y (II). Veja que neste caso, a propriedade vlida
para todo natural, logo podemos usar IM para demonstrar a proposio (II), que por
sua vez equivalente proposio (I), e portanto, podemos demonstrar (I) usando
IM, a este nmero y que damos o nome de nmero articial.
Outra tcnica que podemos utilizar surge de uma dvida muito simples,
por que comear a demonstrar para n=1?. Ora, no necessariamente precisamos
demonstrar primeiramente para n=1, podemos comear por qualquer natural a, e
este natural a escolhido, chamado de Base Alternativa. Para explicitar qual a
consequncia da base alternativa, o autor volta ao exemplo dos domins: Voltemos
nossa fila de pedras de domin. O que acontecer se dermos um empurro na
segunda pedra da fila, em vez da primeira? Bem, todas as pedras menos a primeira
sero derrubadas. Se dermos um empurro na terceira pedra, as duas primeiras
ficaro em p, enquanto as deais sero derrubadas. Ou seja, tomando uma base
alternativa a e realizando IM a partir de a ento nossa propriedade a ser
demonstrada ter validade apenas a partir de n=a, quanto aos valores anteriores a
a no sabemos se a propriedade vlida ou no.
Nesse captulo ainda, so dadas outras formas da IM que so
equivalentes a ela, ou seja, uma demonstrao feita por IM ou por uma das tcnicas
que ser citada ter o mesmo valor lgico. A primeira forma equivalente da IM a
Segunda Forma da Induo matemtica, nela, ao invs de supormos a prorpiedade
valida para n=k, supomos que vlida para todos os naturais at aquele certo k.
Apesar de isso soar como algo mais forte, do que simplesmento supor vlido para

k, ambas as formas so equivalentes, como j dito. Sendo assim,a definio um

pouco mais precisa da Segunda Forma de Induo Matemtica dada por:

IM: Se a proposio a ser demonstrada da forma: x: P(x),x:

i) Demonstrar P(1);
ii) Supor P(k) para todo k tal que 1kn;
iii) Demonstrar P(n+1).

Outra forma equivalente de IM o Principio da Boa Ordenao, para

comentar sobre ele, vamos considerar os conjuntos: A={x;e par}, B={x;x par
e x>0} e C={x; x par e 0<x<1}. Observe que em A o numero de elementos
infinito e contm elementos arbitrariamente pequenos, ou seja, dado um nmero por
exemplo -468354383 podemos encontrar -468354384 que menor e est contido
em A. O conjunto B tambm infinito, porm no contm elementos arbitrariamente
pequenos, de fato todo elemento de x maior que zero, e a este valor, no caso 0,
damos o nome de cota inferior, mas B tambm contem um menor elemento, e a ele
damos o nome de mnimo. E em contradio com A e B, C est vazio. Assim,
chegamos a uma definio para o Principio da Boa Ordenao:

BO:Seja S um subconjunto dos inteiros, ento uma e apenas uma

das seguintes propriedades satisfeita:
i) S tem um mnimo;
ii) S contm elementos no arbitrariamente pequenos;
iii) S est vazio.

O livro de John A. Fossa conta com uma linguagem de certa forma bem
coloquial para o assunto ao qual o livro trata, as demonstraes na matemtica. Por
um lado isso bom, porm por outro pode ser ruim, se por um lado a linguagem do
livro torna este mais acessvel a um publico qualquer, e no somente a um publico
com um grau de formalidade matemtica um pouco mais avanado, por outro ele
torna o livro menos didtico do ponto de vista de tentar passar o conhecimento do
tema a quem o est lendo, o livro faz uma confuso na questo de ser um livro
didtico ou um livro de leitura comum. Isso fica explicito pelo fato de que ao comear
a ler o livro, o leitor tem a impresso de que o foco do mesmo instigar o
questionamento sobre questes de certa forma confusas, e de certa forma este o
objetivo do livro, porm apenas em seu comeo, aps seu desenvolvimento, fica

claro que este um livro que necessita de ser estudado para ser compreendido;
uma leitura corrida do livro no suficiente para absorver todo o contedo que ele
tenta passar. Mas no geral, para quem deseja fazer uma anlise superficial do tema,
demonstraes na matemtica, o livro um bom meio para isso, porm para uma
anlise mais formal e aprofundada, o livro muito bsico, e como dito, coloquial.
Estas caractersticas se aplicam tambm ao captulo em questo, sobre a
Induo Matemtica. Neste captulo, o livro apresenta analogias da Induo com o
cotidiano, o exemplo do domin, e isso ajuda a explicitar como funciona a induo,
mas para uma analise mais formal e aprofundada o livro peca na falta de detalhes e
na falta de formalidade. As formas equivalentes da IM so passadas muito
superficialmente com pouco aprofundamento, quem l o livro ao pode afirmar saber
usar essas tcnicas, logo para maior aprofundamento nelas necessria uma
pesquisa a mais em paralelo com a leitura do livro.
Em suma, o livro apresenta pontos importantes da demonstrao na
matemtica, com certo grau de informalidade, feito para o pblico que pretende ter
uma idia de como utilizar algumas tcnicas. Mas para aquele pblico que tem por
objetivo se aprofundar nessa rea,o livro pode no ser um bom mtodo de
aprendizado.