Bases Matemticas

Aula 2 Mtodos de Demonstrao

Rodrigo Hausen

v. 2013-7-31 1/15
Como o Conhecimento Matemtico Organizado

Definies

I Definio: um enunciado que descreve o significado de um

termo.
I Ex.: (Definio de linha, segundo Euclides)
Linha o que tem comprimento e no tem largura.

v. 2013-7-31 2/15
Como o Conhecimento Matemtico Organizado

Definies Axiomas

I Axioma: um ponto de partida de raciocnio, uma proposio

assumida como verdadeira.
I Ex.: (Primeiro postulado de Euclides)
Pode-se traar uma nica linha reta entre dois pontos distintos.

v. 2013-7-31 2/15
Como o Conhecimento Matemtico Organizado

Definies Axiomas

Teoremas

I Teorema: uma proposio que se demonstra ser verdadeira,

baseada em proposies anteriores.
I Ex.: (Teorema de Pitgoras) A soma dos quadrados dos
catetos igual ao quadrado da hipotenusa.

v. 2013-7-31 2/15
Como o Conhecimento Matemtico Organizado

Definies Axiomas

Demonstraes

Teoremas

I Demonstrao: prova de que um teorema verdadeiro,

obtida por regras vlidas.
I Em geral, existem vrias maneiras de se demonstrar um
teorema.

v. 2013-7-31 2/15
Como o Conhecimento Matemtico Organizado

Definies Axiomas

- Demonstraes

Teoremas

I Demonstrao: prova de que um teorema verdadeiro,

obtida por regras vlidas.
I Em geral, existem vrias maneiras de se demonstrar um
teorema.

v. 2013-7-31 2/15
Algumas definies bsicas
Hoje vamos aprender algumas tcnicas de demonstrao utilizando
alguns resultados de nmeros naturais. Para isso recordamos
algumas definies que utilizaremos:
1. Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que b = ak.

v. 2013-7-31 3/15
Algumas definies bsicas
Hoje vamos aprender algumas tcnicas de demonstrao utilizando
alguns resultados de nmeros naturais. Para isso recordamos
algumas definies que utilizaremos:
1. Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que b = ak.
2. Se a divide b, dizemos que b mltiplo de a.

v. 2013-7-31 3/15
Algumas definies bsicas
Hoje vamos aprender algumas tcnicas de demonstrao utilizando
alguns resultados de nmeros naturais. Para isso recordamos
algumas definies que utilizaremos:
1. Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que b = ak.
2. Se a divide b, dizemos que b mltiplo de a.
3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe
nmero inteiro k tal que a = 2k, portanto, a mltiplo de 2.

v. 2013-7-31 3/15
Algumas definies bsicas
Hoje vamos aprender algumas tcnicas de demonstrao utilizando
alguns resultados de nmeros naturais. Para isso recordamos
algumas definies que utilizaremos:
1. Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que b = ak.
2. Se a divide b, dizemos que b mltiplo de a.
3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe
nmero inteiro k tal que a = 2k, portanto, a mltiplo de 2.
4. Um nmero inteiro b dito mpar se 2 no divide b, nesse
caso pode-se provar que existe um nmero inteiro k tal que
b = 2k + 1

v. 2013-7-31 3/15
Algumas definies bsicas
Hoje vamos aprender algumas tcnicas de demonstrao utilizando
alguns resultados de nmeros naturais. Para isso recordamos
algumas definies que utilizaremos:
1. Um nmero inteiro no nulo a divide um nmero inteiro b se
existe um inteiro k, tal que b = ak.
2. Se a divide b, dizemos que b mltiplo de a.
3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe
nmero inteiro k tal que a = 2k, portanto, a mltiplo de 2.
4. Um nmero inteiro b dito mpar se 2 no divide b, nesse
caso pode-se provar que existe um nmero inteiro k tal que
b = 2k + 1
5. Um nmero real r dito racional se existirem nmeros
inteiros p, q tais que r = pq
6. Um nmero real r dito irrracional se no for racional, ou
seja, se no existem inteiros p, q tal que r = pq
v. 2013-7-31 3/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade):
Tese (concluso):

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso):

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros.

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros. Logo,
n+m =

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros. Logo,
n + m = 2k + 2` =

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros. Logo,
n + m = 2k + 2` = 2(k + `)

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros. Logo,
n + m = 2k + 2` = 2(k + `)
Conclumos que n + m mltiplo de 2, ou seja, n + m par. 

v. 2013-7-31 4/15
Demonstrao Direta

A demonstrao direta a forma mais simples de demonstrao, e

a mais bvia: para demonstrar que p q assuma que p
verdadeiro, e atravs de uma srie de etapas, cada uma seguinte
das anteriores, conclui-se q.
Exemplo 1 Demonstre que, se n, m so nmeros pares,
ento n + m tambm par .
Hiptese (assumimos como verdade): n, m so nmeros pares
Tese (concluso): n + m par
Demonstrao: Como n e m so pares, pela definio 3, n = 2k e
m = 2`, onde k e ` so inteiros. Logo,
n + m = 2k + 2` = 2(k + `)
Conclumos que n + m mltiplo de 2, ou seja, n + m par. 
fim da demonstrao 6

v. 2013-7-31 4/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese:
Tese (concluso):

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso):

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.
Logo,

n2 =

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.
Logo,

n2 = (2k + 1)2 =

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.
Logo,

n2 = (2k + 1)2 = 4k 2 + 4k + 1 =

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.
Logo,

n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1 =

v. 2013-7-31 5/15
Demonstrao Direta

Exemplo 2 Demonstre que o quadrado de um nmero mpar um

nmero mpar.
Aqui, a proposio no est no formato se p, ento q, mas d
para alterar a frase, sem mudar o seu sentido:
Demonstre que, se n mpar, ento n2 tambm mpar.
Hiptese: n mpar
Tese (concluso): n2 mpar
Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k.
Logo,

n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k) + 1 = 2` + 1

Onde ` = 2k 2 + 2k um inteiro. Portanto, n2 mpar. 

v. 2013-7-31 5/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa;

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.
Exemplo 3 Demonstre que, se n2 par, ento n tambm .

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.
Exemplo 3 Demonstre que, se n2 par, ento n tambm .
Proposio: n2 par n par.
Note que a proposio bem simples, e poderamos usar uma
demonstrao direta.

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.
Exemplo 3 Demonstre que, se n2 par, ento n tambm .
Proposio: n2 par n par.
Note que a proposio bem simples, e poderamos usar uma
demonstrao direta. Contudo, ao observar a contrapositiva:
Contrapositiva:

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.
Exemplo 3 Demonstre que, se n2 par, ento n tambm .
Proposio: n2 par n par.
Note que a proposio bem simples, e poderamos usar uma
demonstrao direta. Contudo, ao observar a contrapositiva:
Contrapositiva: n mpar n2 mpar.

v. 2013-7-31 6/15
Demonstrao por Contraposio
Da aula passada:
p q equivalente sua contrapositiva no q no p
Disto resulta que, se no q no p for verdadeira, ento
p q tambm , e vice-versa; ou seja, se demonstrarmos a
contrapositiva, a proposio original estar automaticamente
demonstrada.
Exemplo 3 Demonstre que, se n2 par, ento n tambm .
Proposio: n2 par n par.
Note que a proposio bem simples, e poderamos usar uma
demonstrao direta. Contudo, ao observar a contrapositiva:
Contrapositiva: n mpar n2 mpar.
Demonstrao: A contrapositiva verdadeira, conforme
demonstramos no exemplo 2. Portanto, a proposio original
tambm verdadeira. 
v. 2013-7-31 6/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese:
Tese:

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese:

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar.

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e `

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e ` (o
caso n mpar e m par pode ser obtido apenas trocando-se n por
m). Logo,

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e ` (o
caso n mpar e m par pode ser obtido apenas trocando-se n por
m). Logo,
n+m =

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e ` (o
caso n mpar e m par pode ser obtido apenas trocando-se n por
m). Logo,
n + m = 2k + 2` + 1 =

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e ` (o
caso n mpar e m par pode ser obtido apenas trocando-se n por
m). Logo,
n + m = 2k + 2` + 1 = 2(k + `) + 1 =

v. 2013-7-31 7/15
Demonstrao por Contraposio
Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m
par, ento n e m tem a mesma paridade.
Proposio: n + m par n e m tem mesma paridade.
(note que o universo do discurso so os nmeros inteiros)
Contrapositiva: n e m tem paridades diferentes n + m mpar
(o universo do discurso ainda o mesmo)
Demonstrao: Hiptese: n e m tem paridades diferentes
Tese: n + m mpar
Pela hiptese, um dos nmeros par, e o outro mpar. Para
simplificar, escolha n = 2k e m = 2` + 1, para inteiros k e ` (o
caso n mpar e m par pode ser obtido apenas trocando-se n por
m). Logo,
n + m = 2k + 2` + 1 = 2(k + `) + 1 = 2q + 1,
onde q = k + ` inteiro. Portanto n + m mpar. 
v. 2013-7-31 7/15
Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de

demonstrao no qual se demonstra que se, alguma proposio do
tipo p fosse verdadeira, ocorreria uma contradio lgica, e
portanto p s pode ser falso, disto resultando que no p
verdadeiro.

v. 2013-7-31 8/15
Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de

demonstrao no qual se demonstra que se, alguma proposio do
tipo p fosse verdadeira, ocorreria uma contradio lgica, e
portanto p s pode ser falso, disto resultando que no p
verdadeiro.
Exemplo 5 Algum dia ser possvel criar um programa de
computador que sempre ganhe no xadrez?

v. 2013-7-31 8/15
Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de

demonstrao no qual se demonstra que se, alguma proposio do
tipo p fosse verdadeira, ocorreria uma contradio lgica, e
portanto p s pode ser falso, disto resultando que no p
verdadeiro.
Exemplo 5 Algum dia ser possvel criar um programa de
computador que sempre ganhe no xadrez?
Suponha, por um momento, que a seguinte proposio vlida:
p = existe um programa de computador que sempre ganha no
xadrez

v. 2013-7-31 8/15
Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida:

p = existe um programa de computador que sempre ganha no
xadrez

v. 2013-7-31 9/15
Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida:

p = existe um programa de computador que sempre ganha no
xadrez
Supondo que tal programa existe, instale a mesma cpia em dois
computadores e coloque um para jogar contra o outro.

v. 2013-7-31 9/15
Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida:

p = existe um programa de computador que sempre ganha no
xadrez
Supondo que tal programa existe, instale a mesma cpia em dois
computadores e coloque um para jogar contra o outro. Ou o jogo
terminar empatado (sem nenhum ganhador), ou um dos
computadores perder. Em qualquer destes casos, pelo menos uma
das duas cpias do programa no vai ganhar o jogo, uma
contradio, j que assumimos que o programa sempre ganha.

v. 2013-7-31 9/15
Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida:

p = existe um programa de computador que sempre ganha no
xadrez
Supondo que tal programa existe, instale a mesma cpia em dois
computadores e coloque um para jogar contra o outro. Ou o jogo
terminar empatado (sem nenhum ganhador), ou um dos
computadores perder. Em qualquer destes casos, pelo menos uma
das duas cpias do programa no vai ganhar o jogo, uma
contradio, j que assumimos que o programa sempre ganha.
Portanto, no existe (nem nunca existir) um programa que
sempre ganhe no xadrez. 

v. 2013-7-31 9/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese:
Tese:

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese:
Tese: p = Existem infinitos nmeros primos

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese: (todo e qualquer resultado que no depende deste)
Tese: p = Existem infinitos nmeros primos

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese: (todo e qualquer resultado que no depende deste)
Tese: p = Existem infinitos nmeros primos
Demonstrao: Vamos deixar de lado a tese por um momento e
supor o seguinte:
Hiptese (absurda): no p = existe uma quantidade finita de
nmeros primos.
Vejamos at onde ela nos leva.

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese: (todo e qualquer resultado que no depende deste)
Tese: p = Existem infinitos nmeros primos
Demonstrao: Vamos deixar de lado a tese por um momento e
supor o seguinte:
Hiptese (absurda): no p = existe uma quantidade finita de
nmeros primos.
Vejamos at onde ela nos leva. Por esta nova hiptese, h apenas
n nmeros primos, onde n inteiro.

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem infinitos nmeros primos.

Hiptese: (todo e qualquer resultado que no depende deste)
Tese: p = Existem infinitos nmeros primos
Demonstrao: Vamos deixar de lado a tese por um momento e
supor o seguinte:
Hiptese (absurda): no p = existe uma quantidade finita de
nmeros primos.
Vejamos at onde ela nos leva. Por esta nova hiptese, h apenas
n nmeros primos, onde n inteiro. Podemos colocar os primos
p1 , p2 , . . . , pn em ordem, de tal forma que:
p1 < p2 < . . . < pn .
Com isto, teramos que pn o maior primo de todos.

v. 2013-7-31 10/15
Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6)
Considere o nmero p1 p2 . . . pn + 1.

v. 2013-7-31 11/15
Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6)
Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por
nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo

v. 2013-7-31 11/15
Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6)
Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por
nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e,
alm disso, maior do que todos os demais nmeros primos,
incluindo pn .

v. 2013-7-31 11/15
Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6)
Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por
nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e,
alm disso, maior do que todos os demais nmeros primos,
incluindo pn . Mas isto contradiz a afirmao de que pn o maior
primo de todos, o que um absurdo!

v. 2013-7-31 11/15
Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6)
Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por
nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e,
alm disso, maior do que todos os demais nmeros primos,
incluindo pn . Mas isto contradiz a afirmao de que pn o maior
primo de todos, o que um absurdo!
Como o nosso raciocnio foi construdo corretamente aps a
hiptese no p, isto nos leva a concluir que no p falsa,
consequentemente a proposio p = existem infinitos nmeros
primos verdadeira. 

v. 2013-7-31 11/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba .

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos afirmar que:

( 2)2 =

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

( 2) = =
b

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
( 2) = = 2
b b

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par.

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 =

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 =

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 = 4k 2

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 = 4k 2 (2)
b 2 = 2k 2

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 = 4k 2 (2)
b 2 = 2k 2
o que nos diz que b tambm par.

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 = 4k 2 (2)
b 2 = 2k 2
o que nos diz que b tambm par. Mas isto uma contradio,
pois se a e b so pares, a frao irredutvel ba poderia ser reduzida,
um absurdo!

v. 2013-7-31 12/15
Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

Demonstrao: Suponha, por absurdo, que 2 racional.
Portanto, seria possvel
encontrar nmeros inteiros a, b, com
b 6= 0, tais que 2 poderia ser representado como frao
irredutvel ba . A partir disto, podemos  afirmar que:
2 a 2

a2
2 = ( 2) = = 2
b b
2 2
2b = a
Disto temos que a2 par e, pelo que demonstramos no exemplo 3,
a tambm par. Como a par, a = 2k para algum inteiro k, e da:
2b 2 = a2 = (2k)2 = 4k 2 (2)
b 2 = 2k 2
o que nos diz que b tambm par. Mas isto uma contradio,
pois se a e b so pares, a frao irredutvel ba poderia ser reduzida,

um absurdo! Logo, podemos concluir que o nmero real 2 no
pode ser racional, portanto irracional. 
v. 2013-7-31 12/15
Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use

diretamente propriedades e regras vlidas at chegar na tese.

v. 2013-7-31 13/15
Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use

diretamente propriedades e regras vlidas at chegar na tese.
2. Demonstrao por Contraposio: para algumas
proposies do tipo p q, pode ser mais fcil demonstrar
(usando os outros mtodos) no q no p.

v. 2013-7-31 13/15
Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use

diretamente propriedades e regras vlidas at chegar na tese.
2. Demonstrao por Contraposio: para algumas
proposies do tipo p q, pode ser mais fcil demonstrar
(usando os outros mtodos) no q no p.
3. Demonstrao por Reduo ao Absurdo: dada uma
proposio p a ser provada, assuma inicialmente a hiptese
no p, e faa um raciocnio direto a partir desta hiptese at
achar uma contradio.

v. 2013-7-31 13/15
Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use

diretamente propriedades e regras vlidas at chegar na tese.
2. Demonstrao por Contraposio: para algumas
proposies do tipo p q, pode ser mais fcil demonstrar
(usando os outros mtodos) no q no p.
3. Demonstrao por Reduo ao Absurdo: dada uma
proposio p a ser provada, assuma inicialmente a hiptese
no p, e faa um raciocnio direto a partir desta hiptese at
achar uma contradio.
Dica 1: geralmente, uma boa idia tentar aplicar os mtodos
nesta ordem.
Dica 2: comum demonstraes do tipo nmero x irracional
ou no existe x tal que. . . serem por reduo ao absurdo.

v. 2013-7-31 13/15
Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum:

p ( verdade) se, e somente se, q ( verdade)

v. 2013-7-31 14/15
Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum:

p ( verdade) se, e somente se, q ( verdade)

Ou, na forma simblica, p q (l-se: p, se e somente se, q)

v. 2013-7-31 14/15
Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum:

p ( verdade) se, e somente se, q ( verdade)

Ou, na forma simblica, p q (l-se: p, se e somente se, q)

Isto equivale a duas proposies:

se p ento q E se q ento p

Ou, simbolicamente, (p q) e (q p).

v. 2013-7-31 14/15
Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum:

p ( verdade) se, e somente se, q ( verdade)

Ou, na forma simblica, p q (l-se: p, se e somente se, q)

Isto equivale a duas proposies:

se p ento q E se q ento p

Ou, simbolicamente, (p q) e (q p).

Cada uma das duas proposies deve ser demonstrada
separadamente.

v. 2013-7-31 14/15
Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades

diferentes se, e somente se, a + b nmero mpar.

v. 2013-7-31 15/15
Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades

diferentes se, e somente se, a + b nmero mpar.
Demonstrao: Temos que provar as implicaes:
1. a e b possuem paridades diferentes a + b mpar.
2. a + b mpar a e b possuem paridades diferentes

v. 2013-7-31 15/15
Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades

diferentes se, e somente se, a + b nmero mpar.
Demonstrao: Temos que provar as implicaes:
1. a e b possuem paridades diferentes a + b mpar.
2. a + b mpar a e b possuem paridades diferentes
Note que a implicao 1 a contrapositiva da proposio do
exemplo 4, portanto j foi demonstrada ser verdadeira.

v. 2013-7-31 15/15
Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades

diferentes se, e somente se, a + b nmero mpar.
Demonstrao: Temos que provar as implicaes:
1. a e b possuem paridades diferentes a + b mpar.
2. a + b mpar a e b possuem paridades diferentes
Note que a implicao 1 a contrapositiva da proposio do
exemplo 4, portanto j foi demonstrada ser verdadeira.
Resta agora demonstrar a implicao 2, usando algum dos mtodos
vistos (direto, por contrapositiva, por reduo ao absurdo).

v. 2013-7-31 15/15
Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades

diferentes se, e somente se, a + b nmero mpar.
Demonstrao: Temos que provar as implicaes:
1. a e b possuem paridades diferentes a + b mpar.
2. a + b mpar a e b possuem paridades diferentes
Note que a implicao 1 a contrapositiva da proposio do
exemplo 4, portanto j foi demonstrada ser verdadeira.
Resta agora demonstrar a implicao 2, usando algum dos mtodos
vistos (direto, por contrapositiva, por reduo ao absurdo).
Trabalho para casa: terminar de provar o exemplo 8, ler as notas
at a pgina 29, fazer os exerccios das notas e da lista 1.

v. 2013-7-31 15/15