Deduo

Induo
Contra-exemplos
Contradio
Contrapositiva
Construo
Diagonalizao
1

Provas, lemas, teoremas e

corolrios
Uma prova um argumento lgico de que
uma afirmao verdadeira
Um teorema uma afirmao provada
verdadeira. Esta afirmao especial.
Lemas so afirmaes provadas que ajudam
a provar afirmaes mais importantes
(teoremas).
Quando um teorema ou uma prova nos
ajudam a concluir facilmente que outras
afirmaes so verdadeiras chamamos
estas ltimas de corolrios do teorema.
2

Prova por Deduo

Consiste de uma seqncia de
afirmaes cuja verdade nos leva de
alguma afirmao inicial, chamada
hiptese ou declarao(es) dada(s), a
uma afirmao concluso.
Teorema da forma se H ento C.
Dizemos que C deduzido a partir de H.
3

Exemplo

Teorema: Se x a soma dos quadrados de

quatro inteiros positivos, ento 2x x2
Afirmao

Justificativa

(1) x=a2+b2+c2+d2

Dado

(2) a1;b1; c1; d1

Dado

(3) a21; b21; c21; d21

(2) e propriedades da
aritmtica
(1), (3) e propriedades
da aritmtica

(4) x 4
(5) 2x x2

(4) e Teorema*

4
Teorema*: Se x 4, ento 2x x2 (provado mais adiante)

Provas por Induo

Mtodo avanado para mostrar que todos

os elementos de um conjunto infinito tm
uma propriedade especfica.
Toda prova por induo consiste de 2
partes: a base e o passo de induo.
Ex: tomemos os nmeros naturais e uma
propriedade P. Nosso objetivo provar que
P(k) verdade para todo nmero natural
k.
5

 Base: Provar que P(1) verdadeiro.

Passo de Induo: Para cada i1,
assuma que P(i) verdadeiro
(hiptese de induo) e use esta
suposio para mostrar que P(i+1)
verdadeiro.
Exemplo: Vamos provar o Teorema*:
Se x 4, ento 2x x2
Base: Se x=4, ento 2x e x2 so ambos
16. Logo, 24 42 verdadeira P(1)
6

Induo: Suponha para algum x 4, que 2x x2 P(i)

Vamos provar que 2(x+1) (x+1)2 P(i+1)
Vamos reescrever P(i+1) de modo que ela possa usar P(i):
escrevemos 2(x+1) como 2.2x.
Como 2x x2, podemos concluir que 2(x+1) = 2.2x 2x2.
Mas o que temos de mostrar que 2(x+1)(x+1)2 .
J mostramos que 2(x+1) 2x2.
Se mostrarmos que 2x2 (x+1)2, ento usamos a
transitividade do para mostrar que 2(x+1) 2x2 (x+1)2

Primeiro, simplificamos 2x2 (x+1)2 :

2x2 x2+2x+1 x2 2x+1.

Dividindo os 2 lados por x:

x 2+(1/x)
Como, por hiptese, x 4, temos que 1/x 1/4.
Assim, temos no mnimo 4 2.25, o que verdade.
Ento tambm so verdadeiras: x2 2x+1 e 2x2 (x+1)2,
para x 4, o que nos permite provar que 2(x+1) (x+1)2

Induo Estrutural
Aplicada quando h definies recursivas.
Ex.: Definio recursiva de rvore
Base: Um nico n uma rvore, e esse n a raiz
da rvore.
Induo: Se T1, T2, ...,Tk so rvores, ento
podemos formar uma nova rvore da seguinte
forma:
1. Comece com um novo n N, a raiz da rvore.
2. Adicione cpias de todas as rvores T1, ...,Tk.
3. Adicione arestas desde o n N at as razes
de cada uma das rvores de 2.
9

Induo Estrutural
Seja S(X) uma afirmao sobre as estruturas X definidas
por alguma definio recursiva especfica.
1. Como base, prove S(X) para a(s) estrutura(s) de base X.
2. Para a etapa indutiva, tome uma estrutura X que a
definio recursiva nos diz que formada a partir de Y1,
Y2, ...Yk. Suponha verdadeiras as afirmaes S(Y1), S(Y2),
...S(Yk) e use essas afirmaes para provar S(X).

A concluso que S(X) verdadeira para todo X.

10

Exemplo: Toda rvore tem um n a

mais que seu nmero de arestas.
Ou: Se T uma rvore, e T tem n ns e e
arestas, ento n =e +1.
Base: T um nico n. Ento n =1 e e =0, logo
n =e +1 verdadeiro.
Induo: Seja T uma rvore construda
recursivamente, conforme a definio.
Supomos que S(Ti) verdadeira para i=1,2,
...k. Isso , seja Ti com ni ns e ei arestas;
ento ni = ei +1.
11

Os ns de T so o n N e todos os ns das rvores Ti. Desse

modo, existem 1 +n1 + n2 +...nk ns em T. As arestas de T so
as k arestas que adicionamos explicitamente na etapa de
definio indutiva, mais as arestas das rvores Ti.
Conseqentemente, T tem

k + e1 + e2 + ... + ek

arestas

Se substituirmos ni por ei + 1 na contagem do nmero de ns

de T, descobriremos que T tem

1 + (e1 + 1) + (e2 +1) + ... +(ek + 1)

ns

Como existem k termos +1 acima, podemos reagrupar como

k + 1 + e1 + e2 + ... + ek

ns

Essa expresso exatamente uma unidade maior que a

expresso anterior do nmero de arestas de T. Assim, T
tem um n a mais do que seu nmero de arestas.
12

Contra-exemplos
Suposto Teo.: Todos os primos so mpares (ou:
Se o inteiro x primo, ento x mpar)
Contra-exemplo: O inteiro 2 primo, mas
par.

13

Contra-exemplos
Suposto Teo.: No existe par de inteiros a e b tais
que a mod b = b mod a.
Contra-exemplo: Seja a = b = 2.
Ento a mod b = b mod a = 0
No processo de encontrar o contra-exemplo,
descobrimos de fato as condies exatas sob as
quais o suposto teorema verdadeiro:
Teorema: a mod b = b mod a se e somente se a = b.
14

Provas por Contradio

Uma forma comum de provar um teorema
assumir que o teorema falso e ento
mostrar que esta suposio leva a uma
conseqncia falsa, chamada contradio.
Exemplo: Seja U um conjunto infinito, e
seja S um subconjunto finito de U. Seja T o
complemento de S em relao a U. Ento T
infinito.
15

Prova 1:
Suponha que T seja finito (ou seja, negamos a
tese)
Pela definio de conjunto complemento, se T, finito,
complemento de S, finito, em relao a U, ento
U deve ser finito.
Mas, por hiptese, U infinito. Ento U seria ao
mesmo tempo finito e infinito, o que um absurdo
(uma contradio). Logo, nossa hiptese inicial no
pode ser verdadeira.
Portanto, T infinito (provamos a tese).
16

Prova 2:

Reduzindo as afirmaes s suas definies:

Afirmao original

Nova afirmao

S finito

um inteiro n tal que

|S|=n
Para nenhum inteiro p
temos |U|=p
ST = U e ST =

U infinito
T o complemento
de S

17

Prova:
Sabemos que ST = U e que S e T so

disjuntos, e assim |S| + |T| = |U|.

Como S finito, |S|=n para algum n e, como U

infinito, no existe inteiro p tal que |U|=p.

Assim, Suponha que T seja finito (ou seja, negamos a

tese), ou seja, |T|=m para algum inteiro m.

Ento |U|=|S|+|T|= n+m, o que contradiz a afirmao

de que no existe nenhum inteiro p igual a |U|.

18

Teo 1: Se p2 par ento p par

Provem por contradio

19

Teo 1: Se p2 par ento p par

Suponha que p seja mpar (negao da tese).
Ento p=2m+1, para algum m.
Logo, p2=(2m+1)2 = 4m2+4m+1 =2(2m2+2m)+1.
Logo, p2 mpar (contradio da hiptese)
=> absurdo
p par

20

Contrapositiva
s vezes mais fcil provar uma
afirmao da forma se H ento C
provando-se a afirmao equivalente contrapositiva:
se no C ento no H
(vide Tabela Verdade)
21

Tabela Verdade
H

HC

~C ~H

V
22

Provas por Construo

Muitos teoremas afirmam que um tipo
particular de objeto existe. Um meio de
provar tal teorema demonstrando
como construir tal objeto.

23

Diagonalizao

Cantor (1873) estava preocupado em medir

o tamanho de conjuntos infinitos. Se ns
temos dois conjuntos infinitos, como
podemos dizer se um maior do que o outro
ou se eles tm o mesmo tamanho?
Para conjuntos finitos, basta contarmos o
nmero de elementos, mas se tentamos
contar o nmero de um conjunto
infinito....ns nunca terminaremos.
24

Proposta de Cantor
Para conjuntos finitos, emparelhamos os
conjuntos, assim comparamos seus
tamanhos. Se um deles terminar antes que
o outro, ento menor.
Cantor estendeu esta idia para conjuntos
infinitos. Se for possvel emparelh-los
indefinidamente, ento eles so de
tamanhos iguais.
Exemplo: nmeros naturais, , e nmeros
pares. Qual o maior?
25

Funo de mapeamento
n

f(n)

6
.

.
.

f(n) = 2n
Embora intuitivamente
o conjunto dos pares
parea ser menor que

, j que ele um

subconjunto prprio de

, possvel

emparelhar os dois
conjuntos e assim
declarar que eles tm o
mesmo tamanho26

Def. Um conjunto contvel se ele finito

ou tem o mesmo tamanho que o conjunto dos
naturais,

Q (conjuntos dos
nmeros racionais
positivos) tem o mesmo
tamanho de .
A figura ao lado d a
correspondncia de
para Q. Pulamos
elementos repetidos e
continuando assim
obtemos a lista de todos
os elementos de Q:
1, 1/2, 2, 1/3, 3, 1/4, 2/3, 3/2, 4,...

27

Teo (Cantor): O conjunto dos

nmeros reais no contvel
( incontvel)
Veja prova por contradio na literatura

28