Você está na página 1de 21

Tcnicas de demonstrao

Prof. Eduardo Bezerra


Centro Federal de Educao Tecnolgica Celso Suckow da Fonceca (CEFET/RJ)
Departamento Acadmico de Informtica (DEPIN)

6 de Outubro de 2013

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

1 / 21

Roteiro

Introduo

Demonstrao direta

Demonstrao por contraposio

Demonstrao por contradio (reduo ao absurdo)

Demonstrao por induo matemtica

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

2 / 21

Teorema

Um teorema uma proposio do tipo


pq
em que
p denominada hiptese;
q denominada tese.
Tcnicas de demonstrao so usadas para comprovar a veracidade
de teoremas.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

3 / 21

Quantificadores universal e existencial

Em qualquer tcnica de demonstrao, deve-se ter especial ateno


aos quantificadores envolvidos no teorema.
provar a proposio (x A)p(x)
isso significa provar para todo x A
mostrar para um elemento a A um exemplo e no uma prova.

provar a proposio (x A)p(x)


basta provar para algum a A
aqui, um exemplo uma prova (compare com o caso universal)

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

4 / 21

Roteiro

Introduo

Demonstrao direta

Demonstrao por contraposio

Demonstrao por contradio (reduo ao absurdo)

Demonstrao por induo matemtica

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

5 / 21

Prova direta

Na demonstrao de que p q:
hiptese p suposta verdadeira
no deve ser demonstrada

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

6 / 21

Prova direta

Pressupe verdadeira a hiptese e, a partir desta, prova ser


verdadeira a tese.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

7 / 21

Prova direta - exemplo

Afirmao:
a soma de dois nmeros pares um nmero par.
Para aplicar a prova direta, devemos reescrever na forma de p q:
se n e m so dois nmeros pares quaisquer, ento n+m um
nmero par

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

8 / 21

Prova direta - exemplo (cont.)

Qualquer par n pode ser definido como n = 2r , para algum natural r .


Suponha que n e m so dois pares quaisquer. Ento existem r , s N
tais que n = 2r e m = 2s. Portanto
n + m = 2r + 2s = 2(r + s)
A soma de dois naturais r + s natural, n + m = 2(r + s). Logo, n + m
um nmero par.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

9 / 21

Roteiro

Introduo

Demonstrao direta

Demonstrao por contraposio

Demonstrao por contradio (reduo ao absurdo)

Demonstrao por induo matemtica

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

10 / 21

Prova por contraposio

Baseia-se no resultado denominado contraposio:


p q q p
Como exerccio, construa as tabelas verdades de ambos os lados da
bicondicional acima para comprovar que a proposies
correspondentes so realmente equivalentes.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

11 / 21

Prova por contraposio

Para provar p q, prova-se q p (por prova direta)


a partir de q
obter p

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

12 / 21

Prova por contraposio - exemplo

Prove (usando a tcnica de contraposio) que


n! > (n + 1) n > 2

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

13 / 21

Roteiro

Introduo

Demonstrao direta

Demonstrao por contraposio

Demonstrao por contradio (reduo ao absurdo)

Demonstrao por induo matemtica

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

14 / 21

Demonstrao por contradio (reduo ao absurdo)

Para provar p q:
supor que a hiptese p verdadeira
supor que a negao da tese q verdadeira
concluir uma contradio (em geral, q ou q)

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

15 / 21

Roteiro

Introduo

Demonstrao direta

Demonstrao por contraposio

Demonstrao por contradio (reduo ao absurdo)

Demonstrao por induo matemtica

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

16 / 21

Princpio da Induo Matemtica

Princpio da Induo Matemtica


Uma propriedade P qualquer vlida para n n0 , n, n0 Z, se for
possvel provar que:
1

P(n0 ) vlida;

k Z tal que k n0 , P(k ) P(k + 1).

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

17 / 21

Princpio da Induo Matemtica


Uma analogia: a escada infinita.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

18 / 21

Princpio da Induo Matemtica


Outra analogia: a cadeia de domins.

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

19 / 21

Princpio da induo matemtica

A induo matemtica pode ser resumida na seguinte regra de


inferncia.

Regra de inferncia
(P(n0 ) k (P(k ) P(k + 1)) n P(n)

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

20 / 21

Prova por induo matemtica

Prova por induo matemtica (procedimento geral de aplicao):


Passo 1: (base da induo) corresponde a mostrar que P(n0 )
verdadeira. Observao: n0 usualmente um nmero pequeno
(e.g., 0 ou 1), ao menos que uma faixa de valores a considerar
seja especificada.
Passo 2: (hiptese indutiva): considere que P(k ) verdadeira.
Passo 3: (passo indutivo): mostre que P(k ) P(k + 1), para
todos os nmeros naturais k tais que k n0 .

Eduardo Bezerra (CEFET/RJ)

Matemtica Discreta

21 / 21