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: Denies

importante saber o signicado de cada termo na armao matemtica. Denio 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: Denies

Denio 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 = 1 e s = 1. Questo: inteiro n, n 2, n um nmero primo ou um nmero composto? Sim. Uma denio 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 tal que 225 + 183 = 2k. 225 + 183 = 2 (11r + 9s)
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.

UFMG/ICEx/DCC

MD

Me todos de Prova

Provando armaes universais

A maioria das armaes 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 nito ou existir um nmero nito 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 nitos ou so muito grandes.
UFMG/ICEx/DCC MD

Me todos de Prova

Provando armaes universais

Mtodo da generalizao de um elemento especco genrico: Para mostrar que cada elemento de um domnio satisfaz uma certa propriedade, suponha que x um elemento especco 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 especco 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 armao a ser provada na forma x D, P (x) Q(x).
[Geralmente feito mentalmente]

2. Comece a prova supondo que x um elemento especco 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 denies, 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 [especcos mas escolhidos arbitrariamente] tal que m + n par. Deve-se mostrar que m n par. Pela denio 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 armaes 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. Identique 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 denio 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: Suponha m e n so nmeros mpares. Se m n mpar, ento m n = 2k + 1 para algum inteiro k. Tambm pela denio 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 denio. 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 armao 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 armao: 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 e 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 vericada 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

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 criptogrcos Criptograa a base de todos os sistemas seguros de comunicao atualmente!
UFMG/ICEx/DCC MD

Me todos de Prova

17

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 nal do sculo XIX. Uma prova extremamente trabalhosa foi nalmente encontrada em 1976 pelos matemticos Kenneth Appel e Wolfgang Haken, que utilizaram um programa para categorizar os mapas colorveis de quatro cores.
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

18

Prova com o uso de computador Colorao de mapas

O programa deixou alguns milhares de mapas no categorizados, que foram vericados mo. Houve muita discusso sobre se esta era uma prova legtima: a prova era grande para ser vericada 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 vericar a colorao de vrias centenas de mapas especiais usando um programa.
Four Colors Sufce. 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

19

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! 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. 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!

UFMG/ICEx/DCC

MD

Me todos de Prova

20

Denio de racional e irracional

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

UFMG/ICEx/DCC

MD

Me todos de Prova

21

Denio 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 nito 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

22

Termos num sistema formal

Axioma ou postuladodo Grego o (xios): Armaes que so aceitas como verdadeiras. (lambanein): Armao que deve ser provada Lemado Grego e que normalmente usada na prova de um teorema. Teoremado Grego o (theorein): Armao que deve ser provada e que normalmente o resultado principal. Um teorema envolvendo as condies suciente 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

23

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 denio de racional, r = a/b e s = c/d para inteiros a, b, c e d com b = 0 e d = 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 = 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

24

Denies
Sejam n e d inteiros e d = 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 = 0, d|n um inteiro k tal que n = d k.

UFMG/ICEx/DCC

MD

Me todos de Prova

25

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 [especcos mas escolhidos arbitrariamente] tais que a divide b e b divide c. Deve-se mostrar que a divide c. Pela denio 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 denio de divisibilidade. [O que devia ser mostrado.]
UFMG/ICEx/DCC MD

Me todos de Prova

26

Prova direta: Divisibilidade e nmeros primos

Teorema: Todo inteiro n > 1 divisvel por um nmero primo. Prova: Suponha que n um inteiro [especco 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 m. Se n no primo ento n composto, e pela denio de nmero composto n = r0 s0, onde r0 e s0 so inteiros, e 1 < r0 < n e 1 < s 0 < n . Pela denio de divisibilidade, r0|n. Se r0 primo, ento r0 um nmero primo que divide n e a prova chega ao m. Se r0 no primo ento r0 composto, e pela denio 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

27

Prova direta: Divisibilidade e nmeros primos

Pela denio 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 m. 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 nito 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

28

Divisibilidade e contra-exemplos
Prove ou disprove a seguinte armao: Para todos inteiros a e b, se a|b e b|a ento a = b. Soluo: Suponha que a e b so inteiros [especcos mas escolhidos arbitrariamente] tais que a|b e b|a. Pela denio 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 = 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 = b.
UFMG/ICEx/DCC MD

Me todos de Prova

29

Divisibilidade e contra-exemplos
De onde se conclui que a armao acima falsa. Comentrio: em muitos casos a busca por uma prova ajuda a descobrir um contra-exemplo.

UFMG/ICEx/DCC

MD

Me todos de Prova

30

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 n = p11 p22 . . . pkk .
e e e

Prova: Alm do escopo desta matria.

UFMG/ICEx/DCC

MD

Me todos de Prova

31

O teorema do quocienteresto & Denies

Teorema: Dado qualquer inteiro n e inteiro positivo d, existem inteiros q e r tal que n=dq+r e 0r<d Denies: Dado um inteiro no-negativo n e um inteiro positivo d, temos que: n div dquociente inteiro obtido quando n dividido, por d. n mod dresto inteiro obtido quando n dividido por d.

UFMG/ICEx/DCC

MD

Me todos de Prova

32

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):

UFMG/ICEx/DCC

MD

Me todos de Prova

33

Prova direta geomtrica: Duas somas

Prove que P (n) : 13 + 23 + 33 + . . . + n3 = (1 + 2 + . . . + n)2 para todos inteiros n 1. Prova (geomtrica):

UFMG/ICEx/DCC

MD

Me todos de Prova

34

Prova direta geomtrica: rea

a b igual (em valor absoluto) rea c d do paralelograma cujos vrtices so (0, 0), (a, b), (c, d) e (a + c, b + d). (Este o paralelograma baseado nos vetores = (a, b) e = (c, d).) Mostre que a rea do paralelograma igual a |ad bc|. O determinante ad bc da matriz

UFMG/ICEx/DCC

MD

Me todos de Prova

35

Prova direta geomtrica: rea (continuao)

Prova (geomtrica): A rea do paralelograma A + B + C + D. A rea do retngulo maior A + E + F , onde por tringulos congruentes, E = C + D + G e F = B + C + H . A rea bc do retngulo menor C + G + H . Assim, geometricamente, ad bc = (A + E + F ) (C + G + H ) = A + ( C + D + G ) + ( B + C + H ) (C + G + H ) = A + B + C + D.

UFMG/ICEx/DCC

MD

Me todos de Prova

36

Diviso em casos: Exemplo I

Teorema: Dois nmeros inteiros consecutivos quaisquer tm paridade (par, mpar) oposta. Prova: Suponha que dois inteiros consecutivos [especcos 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 denio 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 denio 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 especcos 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

37

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 [especco 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

38

Diviso em casos: Exemplo II

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

UFMG/ICEx/DCC

MD

Me todos de Prova

39

Mtodo de prova por contradio: Princpios

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

UFMG/ICEx/DCC

MD

Me todos de Prova

40

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

41

Mtodo de prova por contraposio: Princpios

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

UFMG/ICEx/DCC

MD

Me todos de Prova

42

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. Deve-se mostrar que n2 no par. Sabe-se que o produto de dois nmeros no pares um nmero que no par. Desta forma, n2 = n n que no par. [O que devia ser mostrado.]

UFMG/ICEx/DCC

MD

Me todos de Prova

43

Relao entre prova por contradio e prova por contraposio

Na prova por contraposio a armao x D, se P (x) ento Q(x) provada apresentando uma prova direta da armao 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

44

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, a suposio falsa e a suposio]

UFMG/ICEx/DCC

MD

Me todos de Prova

45

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 armao. S pode ser usado para armaes com quanticadores existencial ou universal. Prova por contradio: + A prova termina assim que achada uma contradio. A negao da armao mais complexa. Pode ser mais difcil achar o caminho da prova.

UFMG/ICEx/DCC

MD

Me todos de Prova

46