You are on page 1of 47

Mtodos de Prova

Antonio Alfredo Ferreira Loureiro


loureiro@dcc.ufmg.br
http://www.dcc.ufmg.br/~loureiro

UFMG/ICEx/DCC

MD

Me
todos de Prova

Introduo
Objetivo: ter preciso de pensamento e linguagem para obter a certeza matemtica a respeito de um determinado problema.
Mtodos de prova:
Prova direta
Contra-exemplo
Diviso em casos
Prova por contradio
Prova por contraposio

UFMG/ICEx/DCC

MD

Me
todos de Prova

Prova direta: Definies


importante saber o significado de cada termo na afirmao matemtica.
Definio de par e mpar:
n par um inteiro k tal que n = 2k
n mpar um inteiro k tal que n = 2k + 1
Exemplos:
(a) 0 par?
Sim. 0 = 2 0.
(b) 301 mpar?
Sim. 301 = 2 (151) + 1.
(c) Se a e b so inteiros, 6a2b par? Por que?
6a2b = 2 (3a2b)
O conjunto dos nmeros inteiros fechado para as operaes de +,
e . Logo, 3a2b um nmero inteiro e, consequentemente, o seu dobro.
(d) Se a e b so inteiros, ento 10a + 8b + 1 mpar. Por que?
Sim. 10a + 8b + 1 = 2 (5a + 4b) + 1.
(e) Todo nmero inteiro par ou mpar.
UFMG/ICEx/DCC

MD

Me
todos de Prova

Prova direta: Definies


Definio de primo e nmero composto:
n primo
inteiros positivos r e s, se n = r s, n > 1, ento r = 1 ou s = 1.
n composto
inteiros positivos r e s tal que n = r s, e r 6= 1 e s 6= 1.
Questo: inteiro n, n 2, n um nmero primo ou um nmero composto?
Sim. Uma definio a negao da outra.

UFMG/ICEx/DCC

MD

Me
todos de Prova

Provando proposies existenciais


x D tal que Q(x) = V sse Q(x) V para pelo menos um x em D.
Possveis mtodos de prova:
(a) Ache/apresente x em D que faz Q(x) verdadeiro.
(b) Mostre como achar x que faz Q(x) verdadeiro.
Mtodos de prova construtiva de existncia.
Exemplo:
Prove: um inteiro par n que pode ser escrito de duas formas diferentes
como a soma de dois nmeros primos.
n = 10 = 5 + 5 = 7 + 3
Exemplo:
Sejam r e s inteiros.
Prove: um inteiro k, expresso em termos de r e s, tal que 22r + 18s = 2k.
22r + 18s = 2 (11r + 9s) = 2k
UFMG/ICEx/DCC

MD

Me
todos de Prova

Prova no-construtiva de existncia


Consiste em mostrar que:
(a) A existncia de um valor x, que faz com que Q(x) seja verdadeiro,
garantida por um axioma ou teorema; ou
(b) A suposio que no existe um valor x leva a uma contradio.
Desvantagem deste tipo de prova:
Pode no dar uma pista de como ou onde x pode ser encontrado.
Tendncia em computao devido ao acesso a computadores cada vez mais
rpidos em ambientes paralelos e distribudos:
Busca de uma prova construtiva atravs de um programa de computador.
Exemplo ligado teoria de CC: Michael R. Fellows & Michael A. Langston.
Nonconstructive tools for proving polynomial-time decidability, Journal of
the ACM (JACM), 35(3):727739, July 1988.
Veja
https://en.wikipedia.org/wiki/Non-constructive_
algorithm_existence_proofs
UFMG/ICEx/DCC

MD

Me
todos de Prova

Provando afirmaes universais


A maioria das afirmaes em matemtica so universais da forma:
A: x D, se P (x) ento Q(x).
Qual uma possvel forma de provar A no caso de D ser finito ou existir um
nmero finito de valores x que satisfazem P (x)?
Mtodo da exausto.
Mtodo da exausto:
n Z, se n par e 4 n 30, ento n pode ser escrito como a soma de
dois nmeros primos.
4
12
20
28

=
=
=
=

2
5
7
11

+
+
+
+

2
7
13
17

6
14
22
30

=
=
=
=

3
11
5
11

+
+
+
+

3
3
17
19

8=3+ 5
16 = 5 + 11
24 = 5 + 19

10 = 5 + 5
18 = 7 + 11
26 = 7 + 19

Este mtodo pouco prtico porque em geral os domnios no so finitos


ou so muito grandes.
UFMG/ICEx/DCC

MD

Me
todos de Prova

Provando afirmaes universais


Mtodo da generalizao de um elemento especfico genrico:
Para mostrar que cada elemento de um domnio satisfaz uma certa
propriedade, suponha que x um elemento especfico mas escolhido
arbitrariamente de um domnio e mostre que x satisfaz a propriedade.
Como mostrar que x satisfaz uma propriedade da forma
se P (x) ento Q(x)?
A nica forma para a sentena P (x) Q(x) ser falsa P (x) ser V e
Q(x) ser F.
Para mostrar que P (x) Q(x) V suponha que P (x) V e mostre que
Q(x) tambm deve ser V.
Para provar que x D, P (x) Q(x), deve-se supor que x um elemento especfico mas escolhido arbitrariamente do domnio D que satisfaz
P (x), e deve-se provar que x satisfaz Q(x).
Prova direta.
UFMG/ICEx/DCC

MD

Me
todos de Prova

Prova direta
1. Expresse a afirmao a ser provada na forma x D, P (x) Q(x).
[Geralmente feito mentalmente]

2. Comece a prova supondo que x um elemento especfico de D mas escolhido arbitrariamente para o qual a hiptese P (x) V. [Normalmente abreviado
para Suponha x D e P (x)]

3. Mostre que a concluso V usando definies, resultados anteriores e as


regras de inferncia lgica.
Como x escolhido arbitrariamente:
ele pode ser generalizado para todos os elementos de D, e
no depende de nenhuma suposio especial sobre x

UFMG/ICEx/DCC

MD

Me
todos de Prova

Prova direta: Exemplo


Teorema:
Se a soma de dois nmeros inteiros par, ento a sua diferena tambm
par. [Linguagem natural]
inteiros m e n, se m + n par ento m n par. [Linguagem formal]
Prova:
Suponha m e n so inteiros [especficos mas escolhidos arbitrariamente] tal que
m + n par.
Deve-se mostrar que m n par.
Pela definio de par, m + n = 2k para algum inteiro k.
Subtraindo n dos dois lados, m pode ser expresso como: m = 2k n
A diferena entre m e n pode ser expressa como
m n = (2k n) n
= 2k 2n
= 2(k n)

substituindo m pelo valor acima

A expresso k n um nmero inteiro que multiplicado por 2 um inteiro


par. [O que devia ser mostrado.]
UFMG/ICEx/DCC

MD

Me
todos de Prova

10

Regras para escrever provas de afirmaes


universais
Escreva o teorema a ser provado.
Marque o incio da prova com a palavra P ROVA.
Escreva a prova de tal forma que ela seja auto-contida.
Identifique cada varivel usada na prova juntamente com o seu tipo.
Exemplos: Seja x um nmero real maior que 2.
Suponha que m e n so inteiros.
Similar a declarao de variveis e seus tipos numa linguagem de programao.
Escreva provas em linguagem natural usando sentenas completas.

UFMG/ICEx/DCC

MD

Me
todos de Prova

11

Erros comuns
Argumentar a partir de exemplos:
Exemplo incorreto da prova do teorema:
Se m = 14 e n = 6 ento m + n = 20 que par e m n = 8 que
tambm par.
Usar a mesma letra para representar duas coisas diferentes
Pular para uma concluso:
Alegar a verdade de alguma coisa sem dar uma razo adequada.
Exemplo: Suponha que m e n sejam inteiros e que m + n par. Pela
definio de par, m + n = 2k para algum inteiro k. Ento m = 2k n e
assim m n par.

UFMG/ICEx/DCC

MD

Me
todos de Prova

12

Erros comuns
Usando a questo a ser provada:
Assumir como verdadeiro o que deve ser provadovariao de pular para
uma concluso. Exemplo: Prove que, se m e n so dois inteiros tais que
m n mpar ento m e n so ambos mpares.
Suponha m e n so nmeros mpares.
Se m n mpar, ento m n = 2k + 1 para algum inteiro k.
Tambm pela definio de mpar, m = 2a + 1 e n = 2b + 1 para inteiros
a e b.
Ento m n = (2a + 1)(2b + 1) = 2k + 1, que mpar por definio.
Uso incorreto do vocbulo SE.
Exemplo: Suponha que p um nmero primo. Se p primo, ento p no
pode ser escrito como o produto de dois nmeros menores que so inteiro.
O vocbulo SE, nesta ltima sentena, coloca em dvida se de fato p
primo ou no.

UFMG/ICEx/DCC

MD

Me
todos de Prova

13

Prova por contra-exemplo


Para negar uma afirmao da forma
x D, P (x) Q(x)
ache um valor de x em D para o qual P (x) V e Q(x) F. O elemento x
chamado de contra-exemplo.
Exemplo:
Negue a seguinte afirmao:
a, b R, (a2 = b2) (a = b).
Contra-exemplo:
a = 1 e b = 1.

UFMG/ICEx/DCC

MD

Me
todos de Prova

14

Prova e contra-exemplo
ltimo Teorema de Fermat:
No existem inteiros positivos x, y, z e n 3 tais que xn + y n = z n.
Teorema (conjectura proposta em 1637), provado em 1994 e publicado
em 1995 (358 anos depois); no existe contra-exemplo.
Conjectura de Goldbach (16901764)
Todo inteiro maior que 2 pode ser representado como uma soma de dois
primos. [Uma das conjecturas mais antigas de teoria dos nmeros.]
Conjectura j verificada por um programa de computador para nmeros at
21018 (Novembro de 2010). Veja mais informaes na pgina de Toms
Oliveira e Silva da Universidade do Aveiro, Portugal, em http://www.
ieeta.pt/~tos/goldbach.html.
No quer dizer que seja verdade para todos os nmeros entre 21018 e
.

UFMG/ICEx/DCC

MD

Me
todos de Prova

15

Prova e contra-exemplo
Seja p(n) = n2 + n + 41.
Conjectura: n N, p(n) primo.
Evidncia:
n
0
1
2
3
...
20
p(n)
41
43
47
53
...
461
Isto no pode ser uma coincidncia!
A hiptese deve ser verdadeira!
Mas no , p(40) = 1681, que no primo!

...
...

39
1601

Em 1769, Euler (17071783) conjecturou que a4 + b4 + c4 = d4 no tinha


soluo no conjunto dos nmeros inteiros positivos.
Em 1987, ou 218 anos depois, Noam Elkies provou que
958004 + 2175194 + 4145604 = 4224814.

UFMG/ICEx/DCC

MD

Me
todos de Prova

16

Conjectura
Escreva
1
1
1
1
+
+
+ ... +
12
23
34
99 100
como um frao usando os menores termos.
Somando os primeiros termos e simplificando temos que:
1
1
2
+
=
12
23
3
1
1
1
3
+
+
=
12
23
34
4
1
1
1
1
4
+
+
+
=
12
23
34
45
5
o que leva a conjectura que para todos os inteiros positivos n,
1
1
1
n
1
+
+
+ ... +
=
12
23
34
n(n + 1)
n+1
UFMG/ICEx/DCC

MD

Me
todos de Prova

17

Conjectura
Definio:
Inferir ou deduzir que algo provvel, com base em presunes, evidncias
incompletas; hiptese, suposio (Dicionrio Houaiss).
Esta conjectura verdadeira?
1
1
n
1
+
+ ... +
=
12
23
n(n + 1)
n+1

UFMG/ICEx/DCC

MD

Me
todos de Prova

18

Prova e contra-exemplo
Hiptese:
313(x3 + y 3) = z 3
no tem soluo no conjunto Z+.
Falso, mas o menor contra-exemplo tem mais de 1000 dgitos.
O computador mais poderoso no seria capaz de obter essa soluo usando
a estratgia baseada na fora bruta.
Por que importante resolver esse problema?
Achar solues para tais equaes importante na rea de curvas elpticas
Curvas elpticas so importantes no estudo de fatorao de inteiros grandes
Fatorar inteiros grandes importante no estudo de sistemas criptogrficos
Criptografia a base de todos os sistemas seguros de comunicao atualmente!
UFMG/ICEx/DCC

MD

Me
todos de Prova

19

Prova com o uso de computador


Colorao de mapas
Proposio: Cada mapa pode ser colorido com quatro cores de modo que regies adjacentes tenham cores diferentes.
A prova desta proposio difcil e levou mais de um sculo para ser aperfeioada.
Nesse perodo, muitas provas incorretas foram propostos, incluindo uma que foi
considerada vlida por 10 anos no final do sculo XIX.
Uma prova extremamente trabalhosa foi finalmente encontrada em 1976 pelos
matemticos Kenneth Appel e Wolfgang Haken, que utilizaram um programa
para categorizar os mapas colorveis de quatro cores.
Nota: Duas regies so adjacentes somente quando elas compartilham um segmento limtrofe de comprimento positivo. Elas no so consideradas adjacentes
se seus limites encontram em alguns pontos.
UFMG/ICEx/DCC

MD

Me
todos de Prova

20

Prova com o uso de computador


Colorao de mapas
O programa deixou alguns milhares de mapas no categorizados, que foram
verificados mo.
Houve muita discusso sobre se esta era uma prova legtima: a prova era
grande para ser verificada sem um computador, e ningum podia garantir que o
resultado calculado estava certo nem o trabalho feito mo.
Na ltima dcada, uma prova mais inteligvel foi proposta mas ainda foi necessrio verificar a colorao de vrias centenas de mapas especiais usando um
programa.
Four Colors Suffice. How the Map Problem was Solved. Robin Wilson. Princeton
Univ. Press, 2003, 276pp. ISBN 0-691-11533-8.
Veja tambm www.math.gatech.edu/~thomas/FC/fourcolor.html
UFMG/ICEx/DCC

MD

Me
todos de Prova

21

Prova e hiptese: Humor


Hiptese: todos nmeros mpares maiores que 1 so primos.
Matemtico:
3 primo, 5 primo, 7 primo, mas 9 = 3 3, que no primo, e a hiptese falsa!
Estatstico:
Tomemos uma amostra de impares: 5, 13, 37, 41 e 53. Ela contm somente nmeros
primos. Portanto, todos nmeros impares so nmeros primos.
Fsico:
3 primo, 5 primo, 7 primo, mas 9 no primo, 11 primo, 13 primo. Assim, 9 deve
ser um erro experimental, e assim, a hiptese verdadeira.
Qumico:
3 primo, 5 primo, 7 primo, . . . J o suficiente!
Advogado:
Senhores e senhoras do juri: no h dvida que nmeros mpares so primos. A evidncia
clara: 3 primo, 5 primo, 7 primo, 9 primo, 11 primo, e assim por diante!
Professosr:
3 primo, 5 primo, 7 primo. O restante fica como exerccio de casa para os alunos.
Engenheiro 1:
3 primo, 5 primo, 7 primo, 9 . . . , 9 . . . . Vamos usar a aproximao de que 9
primo!
Engenheiro 2:
3 primo, 5 primo, 7 primo. A partir deste ponto precisamos fazer um oramento do
trabalho para sabermos quanto isto vai te custar.
Economista:
2 primo, 4 primo, mas na atual conjuntura dos processos de globalizao . . .
UFMG/ICEx/DCC

MD

Me
todos de Prova

22

Definio de racional e irracional


Um nmero real r racional inteiros a e b tal que r = a/b e b 6= 0.
Um nmero real que no racional irracional.

UFMG/ICEx/DCC

MD

Me
todos de Prova

23

Definio de racional e irracional


Exemplos:
(a) 10/3 racional?
Sim. Quociente de inteiros.
(b) 0.281 racional?
Sim. Nmero na notao decimal que representa 281/1000.
(c) Qualquer nmero representado numa calculadora tradicional racional?
Sim. O display da calculadora finito e por essa razo todos os nmeros
representados so racionais.
(d) 0.121212 . . . racional?
Sim.
Seja x = 0.121212 . . . e 100x = 12.121212 . . ..
100x x = 12.121212 . . . 0.121212 . . .
99x = 12
x = 12/99

UFMG/ICEx/DCC

MD

Me
todos de Prova

24

Termos num sistema formal


Axioma ou postuladodo Grego o (xios): Afirmaes que so aceitas
como verdadeiras.
 (lambanein): Afirmao que deve ser provada
Lemado Grego
e que normalmente usada na prova de um teorema.
Teoremado Grego o
(theorein): Afirmao que deve ser provada e
que normalmente o resultado principal.
Um teorema envolvendo as condies suficiente e necessria, ou seja, se
e somente se, chamado de teorema de caracterizao.
Exemplo: Um paralelogramo um retngulo se e somente se um dos seus
ngulos reto.
Corolriodo Latim corollarium: Um teorema que pode ser derivado de
forma natural, imediata ou bvia de um outro teorema onde a prova do teorema derivado praticamente desnecessria.
UFMG/ICEx/DCC

MD

Me
todos de Prova

25

Prova direta: Exemplo


Teorema: A soma de dois nmeros racionais um nmero racional.
Prova:
Suponha que r e s sejam dois nmeros racionais.
Deve-se mostrar que r + s racional.
Pela definio de racional, r = a/b e s = c/d para inteiros a, b, c e d com
b 6= 0 e d 6= 0.
Por substituio e lgebra temos que:
a
c
ad + bc
r+s= + =
b
d
bd
Se p = ad + bc e q = bd ento p e q so inteiros porque o conjunto dos
nmeros inteiros fechado para as operaes de + e sendo que q 6= 0.
Logo,
p
,
r+s =
q
ou seja, a soma de r + s um nmero racional. [O que devia ser mostrado.]
UFMG/ICEx/DCC

MD

Me
todos de Prova

26

Definies
Sejam n e d inteiros e d 6= 0.
n divisvel por d sse n = d k para algum inteiro k.
Alternativamente, podemos dizer que:
n mltiplo de d, ou
d um fator de n, ou
d um divisor de n, ou
d divide n.
A notao d|n deve ser lida como d divide n. Simbolicamente, se n e d so
inteiros e d 6= 0,
d|n um inteiro k tal que n = d k.

UFMG/ICEx/DCC

MD

Me
todos de Prova

27

Prova direta: Transitividade da divisibilidade


Teorema: Para todos inteiros a, b e c, se a divide b e b divide c, ento a divide c.
Prova:
Suponha que a, b e c so inteiros [especficos mas escolhidos arbitrariamente] tais
que a divide b e b divide c.
Deve-se mostrar que a divide c.
Pela definio de divisibilidade, b = a r e c = b s para inteiros r e s.
Por substituio e lgebra temos que:
c = bs
= (a r) s
= a (r s)
Seja k = r s, onde k um nmero inteiro.
Logo,
c = a k,
ou seja, a divide c pela definio de divisibilidade. [O que devia ser mostrado.]
UFMG/ICEx/DCC

MD

Me
todos de Prova

28

Prova direta: Divisibilidade e nmeros primos


Teorema: Todo inteiro n > 1 divisvel por um nmero primo.
Prova:
Suponha que n um inteiro [especfico mas escolhido arbitrariamente] maior que 1.
Deve-se mostrar que existe um nmero primo que divide n.
Se n primo ento n divisvel por um nmero primo, ou seja, ele prprio e
a prova chega ao fim. Se n no primo ento n composto, e pela definio
de nmero composto
n = r0 s0, onde r0 e s0 so inteiros, e
1 < r0 < n e 1 < s0 < n.
Pela definio de divisibilidade, r0|n. Se r0 primo, ento r0 um nmero
primo que divide n e a prova chega ao fim. Se r0 no primo ento r0
composto, e pela definio de nmero composto
r0 = r1 s1, onde r1 e s1 so inteiros, e
1 < r1 < r0 e 1 < s 1 < r0 .

UFMG/ICEx/DCC

MD

Me
todos de Prova

29

Prova direta: Divisibilidade e nmeros primos


Pela definio de divisibilidade, r1|r0. Mas ns j sabemos que r0|n e pela
transitividade da divisibilidade, r1|n. Se r1 primo, ento r1 um nmero
primo que divide n e a prova chega ao fim. Se r1 no primo ento podemos
continuar o processo acima fatorando r1 como r1 = r2 s2.
Pode-se continuar este processo, obtendo fatores sucessivos de n at se
obter um fator primo. Este processo tem um nmero finito de passos j que
cada novo fator menor que o anterior (que menor que n) e maior que 1, e
existem menos que n inteiros entre 1 e n. Desta forma obtm-se a sequncia:
r0, r1, r2, . . . , rk ,
onde k 0, 1 < rk < rk1 < . . . < r1 < r0 < n e ri|n para cada
i = 0, 1, 2, . . . , k. A condio para trmino que rk seja primo, ou seja, rk
um nmero primo que divide n. [O que devia ser mostrado.]

UFMG/ICEx/DCC

MD

Me
todos de Prova

30

Divisibilidade e contra-exemplos
Prove ou disprove a seguinte afirmao:
Para todos inteiros a e b, se a|b e b|a ento a = b.
Soluo:
Suponha que a e b so inteiros [especficos mas escolhidos arbitrariamente] tais
que a|b e b|a.
Pela definio de divisibilidade, as condies b|a e a|b podem ser escritas
como
b = k a e a = l b para inteiros k e l.
Por substituio e lgebra temos que:
b = k a = k (l b) = (k l) b
J que b|a e b 6= 0, tem-se que
1=kl
Em outras palavras, k e l so divisores de 1. Mas os nicos divisores de
1 so 1 e 1. Logo, k e l so ambos 1 ou 1. Se k = l = 1 ento
a = b = 1. Mas se k = l = 1 ento b = a e assim a 6= b.
UFMG/ICEx/DCC

MD

Me
todos de Prova

31

Divisibilidade e contra-exemplos
De onde se conclui que a afirmao acima falsa.
Comentrio: em muitos casos a busca por uma prova ajuda a descobrir um
contra-exemplo.
Por outro lado, um contra-exemplo poderia ser apresentado diretamente. Seja
a = 2 e b = 2. Sabe-se que a|b e b|a, mas a 6= b. Se restringirmos o
dominio ao conjunto dos naturais, ento a proposio verdadeira.

UFMG/ICEx/DCC

MD

Me
todos de Prova

32

O teorema da fatorizao nica


Teorema: Dado qualquer inteiro n > 1, existem os seguintes nmeros: um
inteiro positivo k, nmeros primos distintos p1, p2, . . . , pk e inteiros positivos
e1, e2, . . . , ek tal que
e

n = p11 p22 . . . pkk .

Prova: Alm do escopo desta matria

Este resultado chamado de Teorema Fundamental da Aritmtica. No livro Os


Elementos, escrito por Eucldes por volta do ano 300 a.C., possui essencialmente essa afirmao e prova desse resultado. Em 1796, Gauss demonstrou
esse teorema usando aritmtica modular.

UFMG/ICEx/DCC

MD

Me
todos de Prova

33

O teorema do quocienteresto
Teorema: Dado qualquer inteiro n e inteiro positivo d, existem inteiros q e r tal
que
n=dq+r
e 0r<d

Nao veremos a prova deste teorema. Alm disso, esta decomposio nica,
i.e., no existem diferentes qs e rs, sendo 0 r < d com esta propriedade.
Prove que esta fatorao nica. Sugesto: assuma que existam duas fatoracoes e mostre que elas sao idnticas.

UFMG/ICEx/DCC

MD

Me
todos de Prova

34

O teorema do quocienteresto & Definies


Dado um inteiro no-negativo n e um inteiro positivo d, temos que:
n div d: quociente inteiro obtido quando n dividido, por d.
n mod d: resto inteiro obtido quando n dividido por d.

UFMG/ICEx/DCC

MD

Me
todos de Prova

35

Prova direta geomtrica: Uma soma


Diferentes tcnicas geomtricas podem ser usadas para provar fatos, frmulas
e relaes.
Prove que
P (n) : 1 + 3 + 5 + . . . + (2n 1) = n2
para todos inteiros n 1.
Prova (geomtrica):
Veja o quadrado de comprimento n como formado por
vrios polgonos: o quadrado de rea 1 no canto esquerdo;
o 3 em L como trs quadrados de rea 1; o 5 em L como
cinco quadrados de rea 1, e assim por diante. Ou seja, a
soma de todos os quadrados unitrios em cada polgono
dado por 1 + 3 + 5 + ... + (2n 1) = a rea do quadrado
de lado de tamanho n.
UFMG/ICEx/DCC

MD

Me
todos de Prova

36

Prova direta geomtrica: Duas somas


Prove que
P (n) : 13 + 23 + 33 + . . . + n3 = (1 + 2 + . . . + n)2
para todos inteiros n 1.
Prova (geomtrica):
Na figura, cada quadrado com lado cujo valor um mpar k
tem area k k e existem k deles, i.e., 1 de 1 1, 3 de
3 3, 5 de 5 5, . . .
Cada quadrado de lado cujo valor um par k tem rea
k k e existem k deles. No entanto, h sempre uma parte
hachurada comum a dois deles que pode ser rebatida na
parte sombreada completando um dos quadrados
sobrepostos.
Assim, temos que a area total
13 + 23 + 33 + 43 + 53 + . . .. Mas a rea total um
quadrado de lado igual a 1 + 2 + . . . + n.
UFMG/ICEx/DCC

MD

Me
todos de Prova

37

Diviso em casos: Exemplo I


Teorema: Dois nmeros inteiros consecutivos quaisquer tm paridade (par, mpar) oposta.
Prova:
Suponha que dois inteiros consecutivos [especficos mas escolhidos arbitrariamente]
so dados. Chame esses nmeros de m e m + 1.
Deve-se mostrar que um dos nmeros m e m + 1 par e o outro mpar.
Pela definio de par e mpar, tem-se que ou m par ou m mpar.
Vamos quebrar a prova em dois casos dependendo se m par ou mpar.
Caso 1 (m par): Neste caso, m = 2k para algum inteiro k e, assim, m+1 =
2k + 1, o que mpar [Pela definio de mpar.] Neste caso um dos nmeros m
e m + 1 par e o outro mpar.
Caso 2 (m mpar): Neste caso, m = 2k + 1 para algum inteiro k e, assim,
m + 1 = (2k + 1) + 1 = 2k + 2 = 2(k + 1). Como m + 1 igual ao dobro
de um nmero, ento m + 1 par. Tambm neste caso um dos nmeros m
e m + 1 par e o outro mpar.
Pode-se concluir que independente de qual caso ocorre para valores especficos de m e m + 1 que so escolhidos, um dos nmeros m e m + 1 par e
outro mpar.
UFMG/ICEx/DCC

MD

Me
todos de Prova

38

Diviso em casos: Exemplo II


Teorema: O quadrado de qualquer inteiro mpar tem a forma 8m+1 para algum
inteiro m.
Prova:
Suponha que n um inteiro mpar [especfico mas escolhido arbitrariamente]. Pelo
teorema do quocienteresto, n pode ser escrito em uma das seguintes formas:
4q ou 4q + 1 ou 4q + 2 ou 4q + 3,
para algum inteiro q. Como n mpar e 4q e 4q + 2 so pares, n deve ter
uma das duas formas: 4q + 1 ou 4q + 3.

UFMG/ICEx/DCC

MD

Me
todos de Prova

39

Diviso em casos: Exemplo II


Caso 1 (n = 4q + 1 ): [Deve-se achar um inteiro m tal que n2 = 8m + 1.] Como
n = 4q + 1,
n2 = (4q + 1)2
= 16q 2 + 8q + 1
= 8(2q 2 + q) + 1
Caso 2 (n = 4q + 3 ): [Deve-se achar um inteiro m tal que n2 = 8m + 1.] Como
n = 4q + 3,
n2 = (4q + 3)2
= 16q 2 + 24q + 9
= 8(2q 2 + 3q + 1) + 1

UFMG/ICEx/DCC

MD

Me
todos de Prova

40

Mtodo de prova por contradio: Princpios


1. Suponha que a afirmao a ser provada falsa.
2. Mostre que essa suposio leva logicamente a uma contradio.
3. Conclua que a afirmao a ser provada verdadeira.

UFMG/ICEx/DCC

MD

Me
todos de Prova

41

Mtodo de prova por contradio


Teorema: No existe um inteiro que seja o maior de todos.
Prova:
Suponha que no. [Supomos que a negao do teorema seja verdadeira.]
Suponha que exista um inteiro N que seja o maior de todos. [Deve-se deduzir
uma contradio.]

Tem-se ento que N n para cada inteiro n. Seja M = N + 1, que


um inteiro j que a soma de inteiros. Tem-se tambm que M > N j que
M = N + 1.
Logo, M um inteiro que maior que o maior dos inteiros, o que uma
contradio. [Essa contradio mostra que a suposio falsa e, desta forma, o teorema
verdadeiro.]

UFMG/ICEx/DCC

MD

Me
todos de Prova

42

Mtodo de prova por contraposio: Princpios


1. Expresse a afirmao a ser provada na forma
x D, se P (x) ento Q(x)
2. Reescreva a afirmao na forma contrapositiva:
x D, se Q(x) ento P (x)
3. Prove o contrapositivo por uma prova direta:
(a) Suponha x um elemento especfico mas escolhido arbitrariamente de
D tal que Q(x) seja V.
(b) Mostre que P (x) F.

UFMG/ICEx/DCC

MD

Me
todos de Prova

43

Mtodo de prova por contraposio


Teorema: Dado qualquer inteiro n, se n2 par ento n par.
Prova (pelo contrapositivo):
Seja n um inteiro que no par (i.e., mpar).
Deve-se mostrar que n2 no par (i.e., mpar).
Sabe-se que o produto de dois nmeros mpares um nmero que mpar.
Desta forma, n2 = n n que mpar. [O que devia ser mostrado.]

UFMG/ICEx/DCC

MD

Me
todos de Prova

44

Relao entre prova por contradio e prova por


contraposio
Na prova por contraposio a afirmao
x D, se P (x) ento Q(x)
provada apresentando uma prova direta da afirmao equivalente
x D, se Q(x) ento P (x)
Este tipo de prova segue os seguintes passos:
(a) Suponha que x um elemento arbitrrio de D tal que Q(x).
(b) Atravs do raciocnio dedutivo isto leva a
(c) P (x).
A prova por contradio baseada nos seguintes passos:
(a) Suponha que existe um elemento x D tal que P (x) Q(x).
(b) Usando o mesmo raciocnio dedutivo isto leva a
(c) Contradio: P (x) P (x).
UFMG/ICEx/DCC

MD

Me
todos de Prova

45

Relao entre prova por contradio e prova por


contraposio: Exemplo
Teorema: Para todo n, se n2 par ento n par.
Prova (por contradio):
Suponha que no.
Suponha que exista um inteiro n tal que n2 par e n mpar. [Deve-se chegar
a uma contradio.]

J que n mpar, n2 que o produto n n tambm mpar.


Isto contradiz a suposio que n2 par. [Logo, as proposies P (n) = n2 par e
P (n) = n2 mpar so verdadeiras ao mesmo tempo, o que uma contradio.]

UFMG/ICEx/DCC

MD

Me
todos de Prova

46

Relao entre prova por contradio e prova por


contraposio
Prova por contraposio:
+ fcil saber que concluso deve ser provada: negao da hiptese.
+ No necessrio obter a negao da afirmao.
S pode ser usado para afirmaes com quantificadores existencial ou
universal.
Prova por contradio:
+ A prova termina assim que achada uma contradio.
A negao da afirmao mais complexa.
Pode ser mais difcil achar o caminho da prova.

UFMG/ICEx/DCC

MD

Me
todos de Prova

47