JALGB#18 JOGOS PARA O PENSAMENTO ALGBRICO N 18 MTODOS DE PROVA DE TEOREMAS

Os Mtodos de Prova de Teoremas envolvem raciocnios da Lgica bem como conhecimentos bastante complexos de Geometria e de lgebra. Neste JALGBR iremos mostrar muitos destes mtodos e exemplific-los a cada passo.

18.1.- Introduo
O conceito de Teorema afirmaes que podem ser provadas foi introduzido por Euclides de Alexandria (360 a.C./295 a.C.) em sua obra Os Elementos em que ele enuncia um limitado conjunto de axiomas e, a partir destes e de definies, prova vrios Teoremas.

18.1.1.- Axiomas, Teoremas, Corolrios, Lemas e Conjecturas

Quando comeamos a nos aprofundar no estudo da Matemtica ns iremos nos deparar com os axiomas, as definies e os Teoremas. No entanto, h alm destes, outros elementos a serem considerados nesta estrutura denominada Teoria da Prova, a saber: Definio: operao lingustica que busca a determinao clara e precisa de um conceito ou um objeto, estabelecendo suas caractersticas, propriedades e suas delimitaes exatas. O conceito ou objeto a definir (onde a definir = definiendum, do latim termo que designa o objeto a ser determinado pelo conjunto de termos definidores (onde termos definidores = definiens, do latim termos com os quais se determina o objeto a definir determinando as caractersticas gerais do conceito ou objeto). Axioma: Os axiomas so afirmaes ou proposies consideradas verdades bsicas que sero utilizadas como conjuntos de hipteses nas provas de Teoremas. Os axiomas so afirmaes que no necessitam de prova e so aceitas como necessrias para o desenvolvimento de uma Teoria. Teorema: Em geral os teoremas so representados como uma implicao: Se P ento Q ou em smbolos P Q, onde P o antecedente e Q o consequente da implicao que, em se tratando de teoremas, so respectivamente denominada hiptese e tese. Alguns autores assumem a notao P Q de um teorema, como podendo P ser

composto por um conjunto de verdades, ou seja, x [P1(x), P2(x)...Pn(x)] x Q(x), onde P1(x), P2(x)...Pn(x) a hiptese, composta normalmente por definies, axiomas, lemas e teoremas. Corolrio de um Teorema: um teorema que entre as suas hipteses se inclui um teorema anteriormente provado, um corolrio deve ser entendido como uma consequncia de um teorema anteriormente provado. Lema: os lemas so geralmente apresentados como um conjunto de pr-teoremas, bsicos e necessrios para se provar um teorema mais complexo. A prova de um teorema complexo a partir da adoo de lemas se constitui na estratgia de dividir para conquistar, ou seja, resolver subproblemas (provar os lemas) para em seguida resolver o problema principal (provar o teorema mais complexo). Conjectura: uma proposio hipottica aceita como verdadeira apesar de no poder ser provada, mas tambm no poder ser rejeitada. Uma conjectura tal que no se consegue encontrar nenhum caso em que ela tenha falhado e por isto vem sendo utilizada como verdadeira apesar, de no se ter encontrado ainda uma forma de prov-la. Outros nomes dados aos Teoremas: Outros nomes, no muito utilizados, podem ser dados eventualmente aos teoremas, mas isto quando necessrio para o desenvolvimento de uma teoria mais ampla ou intrincada, tais como: Lei, Princpio, Regra.

18.8.- Mtodos de Prova

Para provarmos proposio um lema, um teorema ou um corolrio podemos escolher entre vrios mtodos aquele mais conveniente ou indicado para cada caso. Um mtodo de prova envolve a utilizao de rigorosos argumentos lgicos e matemticos sejam aritmticos e/ou algbricos e/ou geomtricos que demonstrem inequivocamente a verdade da proposio. H pelo menos quatro Mtodos de Prova mais importantes no campo do Pensamento Lgico-Matemtico que so os seguintes:

Prova Direta
Sem Uso de Palavras Por Disseco (ou Dissecao) Por Mtodos Hipttico-Dedutivos

 Prova Indireta
Por Reduo ao Absurdo

Prova por Contradio Induo Matemtica 18.2.1.- Mtodos Diretos de Prova

18.2.1.- Prova Sem o Uso de Palavras
um Mtodo de Prova que, baseado em elementos visuais e/ou numricos sequenciais, exige apenas que se descubra algum tipo de Lei de Formao da sequncia. Normalmente a descoberta destas leis intuitiva dispensando argumentos formais lgico-matemticos, quase no havendo a necessidade de argumentao lingustica ou at mesmo de comentrios por isto prova sem o uso de palavras.

18.2.1.1.- Exemplo:
Veja o exemplo a seguir, onde os nmeros pitagricos triangulares so mostrados de forma figurativa acompanhados das respectivas contagens de pontos que participam de cada uma das figuras.

... ?

10

Por inspeo direta aos dados acima apresentados devemos tentar primeiramente entender a forma de construo das prximas figuras da sequncia, bem como os prximos valores da sequncia numrica. Veja abaixo a figura seguinte da srie mostrada anteriormente:

15

Veja abaixo a sequncia numrica com a nova figura: (1, 3, 6, 10, 15, ..., n) Onde: 1= 1 1+2=3 1+ 2 + 3 = 6 1 + 2 + 3 + 4 = 10 1 + 2 + 3 + 4 + 5 = 15 ... ... 1 + 2 + 3 + 4 + 5 + ... + n-1 + n = ...

A forma de se encontrar os prximos valores da sequncia construtiva: optamos por seguir adicionando novos valores numricos aos valores anteriormente obtidos, ou ento teremos que construir figura a figura, o que seria mais complicado do que a alternativa anterior.

Veremos mais frente neste texto, que poderemos provar pelo Mtodo da Induo Finita que a frmula que permite calcular diretamente o valor numrico da n-sima figura da sequncia: 1 + 2 + 3+ 4 + 5 + ...+ (n - 1) + n =
2n 2 + 1 3

Veja a prova desta frmula no item 19.4.2.

18.2.2.2.- Contra-exemplo:
Muito cuidado deve ser tomado com relao s formulas, que testadas para uma certa quantidade de termos de uma sequncia, so adotadas como vlidas. Vejamos a seguir um destes tipos de frmula que deixa de valer a partir de algum termo da sequncia de nmero primos: Considere a seguinte sentena: n N, n2 + n + 41 um nmero primo. Esta sentena verdadeira para n = 0, n = 1, e espantosamente vlida at que at n seja igual a 40. No entanto, ela falha para n = 41, pois: 41 2 + 41 + 41 = 1763 no um nmero primo, isto , 1763 um nmero composto, pois divisvel por 41 e 43, ou seja: 1763 = 41 43. evidente que basta um exemplo de falha desta frmula para mostrar que ela no vlida..

18.2.2.- Prova por Dissecao (Disseco)

Dissecar decompor os elementos ou a estrutura de algo, para melhor compreend-lo ou torn-lo compreensvel. Um teorema que comumente provado por disseco (ou dissecao) o Teorema de Pitgoras.

Exemplo:
H mais de 40 maneiras de provar o Teorema de Pitgoras pelo mtodo da dissecao. A seguir iremos mostrar dois exemplos de prova deste teorema.

Teorema de Pitgoras
Num tringulo retngulo qualquer, o quadrado da medida da hipotenusa igual soma dos quadrados das medidas dos catetos Hiptese: Seja um tringulo retngulo cuja hipotenusa mede a e os catetos medem b e c Tese: Ento vlida a seguinte relao: a2 = b2 + c2

B
Hiptese:

a C b

c A

Tese: a2 = b2 + c2

PROVA:
[1] Sobrepor ao ABC os quadrados b2 e c2 Obtendo: rea Total = b2 + c2 [2] Transformar em uma nica figura: rea= (b+c) b (bc) c = b2 + c2

c b-c

c
c

b c c b+c
[4] rea Final = a2

[3] Recortar e montar

b a a c a c

[5] Assim, de [1] e [4] podemos concluir que: a2 = b2 + c2 que a Tese.

18.2.3.- Mtodos Hipottico-Dedutivo Modus Ponens

Esta uma prova baseada unicamente em rigorosos argumentos lgicos e matemticos normalmente justificados atravs de linguagem natural envolvendo os elementos no definidos, os axiomas e as eventuais definies de uma teoria. Normalmente, neste caso, utilizada a regra de inferncia lgica conhecida como Modus Ponens (Afirmao do Antecedente): Seja P Q uma implicao lgica , ento a seguinte regra , vlida:

P P Q , que significa, Se P e P Q so vlidas, ento Q vlida. Q

Note que as proposies acima do trao so as premissas vlidas, a proposio abaixo do

trao a concluso, validada pelas premissas. Assim, a regra de inferncia lgica Modus Ponens, pode ser reescrita, no nosso caso da prova de Teoremas (na Lgica Matemtica), como sendo:

Teorema: Se P ento Q
Observao:

Hiptese: P Tese: Q

Prova: Mostra-se que a hiptese verdadeira, isto , Se P verdade ento Q ser verdade.

Uma outra regra de inferncia que pode ser utilizada na prova de Teoremas aquela denominada Modus Tollens (Negao do Consequente):
P P Q , que significa: Se P e P Q so vlidas, ento Q vlida. Q

Exemplo 1: Teorema do tipo P Q (implicao)

Teorema: Se n um nmero inteiro mpar ento n2 mpar. Em smbolos: n Z, n mpar n2 mpar.

Observaes:
1. No basta mostrar que a proposio vale para alguns valores de n: 5 5 = 25, 3 3 =9, 1 1 = 1, 1 1 = 1, 3 3 = 9, 5 5 = 25, 7 7 = 49 e assim por diante, preciso provar algebricamente que o Teorema vlido para todo nZ. 2. A prova algbrica deste Teorema envolve dois conceitos definidos: 2.1. 2.2. Definio: xZ par se existir kZ tal que x = 2k. Definio: xZ mpar se existir kZ tal que x = 2k+1.

Prova:
Hiptese: n Z, n mpar Tese: n2 mpar

Seja por hiptese n um nmero inteiro mpar, ento por definio n = 2k+1 para algum k inteiro. Seja tomar o quadrado de n: n2 = (2k+1)2 = 4k2 + 4k + 1 = 2(2k2+2k) + 1. Adotando 2k2+2k = KZ podemos escrever: n2 = 2K + 1, de onde pela definio podemos tirar que: n2 um nmero inteiro mpar. CQD

Exemplo 2: Teorema do tipo P Q (bi-implicao ou equivalncia)

Teorema: ax2 + bx + c = 0, a,b,cR, a0 x =
b b 2 4ac , a,b,cR, a0 2a

Observao:
Provar este Teorema implica em provar a duas seguintes implicaes:
2 (Ida: ) ax2 + bx + c = 0, a,b,cR, a0 x = b b 4ac , a,b,cR, a0

2a

2 (Volta: ) x = b b 4ac , a,b,cR, a0 ax2 + bx + c = 0, a,b,cR, a0

2a

Como mera sugesto pedaggica, sugerimos que o educador aborde primeiramente a prova da validade da volta deste teorema, por exigir menos ideias tericas, enquanto a ida por ser mais complexa e exigir um conhecimentos algbrico bastante mais avanado, deve ser reservado para uma aula especial em que os pr-requisitos sejam bem estudados.

18.2.4.- Mtodo Hipottico-Dedutivo Prova por Contraposio

Este mtodo leva em conta a seguinte equivalncia da Lgica proposicional: (P Q) ( Q P). Dado um Teorema da forma "p implica q" podemos coloc-lo na forma contrapositiva: "q no implica p" ou seja: a negao de q implica a negao de p. No se deve confundir este tipo de prova com a prova por contradio. Em resumo, os passos por provar um teorema atravs de contraposio so os seguintes : 1. Escreva a declarao na forma: p implica q ou (p q); 2. Escreva a contrapositiva da declarao inicial: no q no implica p ou ( q p). 3. Prove a contraposio de forma direta. 4. Conclua que o teorema verdadeiro, baseado na equivalncia: (p q) ( q p).

Exemplo:
TEOREMA P: Se n2 um nmero inteiro par ento Q: n um nmero par. A ser provado por contraposio, isto : (P Q) ( Q P)

Prova:
1. Vamos negar que n seja um nmero par: q n um nmero mpar ou q n no um nmero par. 2. A contraposio da afirmativa : q Se n um nmero inteiro mpar, ento p n2 um nmero mpar ou p n2 no um nmero par. 3. Se n um nmero inteiro mpar ento n = 2x + 1, x Z ( q verdadeira). 4. Vamos calcular o quadrado de n: n2 = (2x + 1)2 = 4 x 2 + 4 x + 1 = 2(2x 2 + 2x) + 1. 5. Fazendo (2x 2 + 2x) = y , y Z iremos obter: n2 = 2(2x 2 + 2x) + 1 = 2y + 1 um nmero mpar ( p verdadeira).

6. CQD - O teorema est provado.

18.3.- Mtodo Indireto de Prova:

18.3.1.- Prova por Reduo ao Absurdo
A prova de teoremas por reduo ao absurdo um mtodo de prova que se inicia por estabelecer uma afirmativa contrria quilo que se pretende provar. Esta afirmativa deve levar a uma contradio, ou seja um absurdo. Assim o objeto da prova, antes negado e constatado como falso, agora deve ser assumido como verdadeiro. O Mtodo de Prova de Teoremas por Reduo ao Absurdo baseado na seguinte tautologia da Lgica Predicativa: quer-se provar que: P Q
P) a contradio. ento usa-se: (Q (P P)) Q , onde (P

Teorema:

Hiptese: P verdade; Assumir Q como verdade, por hiptese;

Se P ento Q Tese: Q verdade.

Se Q acarreta uma contradio, isto , P P passam a ocorrer, ento Q falsa, e pela Lei do Terceiro Excludo da Lgica Predicativa tem-se: Q verdadeira.

Exemplo:
TEOREMA
2 um nmero Irracional.

Prova:
Vamos supor como hiptese que Teorema). Assim sendo,
2 um nmero racional (o que contraria a tese do

2 pode ser escrito sob a forma de razo:

2=

a , com a,bZ, impondo-se b

que mdc(a,b) = 1 (a e b no tm fatores comuns). Seja quadrar a expresso

2=

a a2 2 = 2 2b2 = a2. b b

Temos que: 2b2 = a2 a2 = 2b2 ,ou seja, a2 um nmero par. Se a2 um nmero par, ento deve existir kZ tal que a = 2k. Se 2b2 = a2 e a = 2k ento 2b2 = (2k)2 = 4k2.

Mas se 2b2= 4k2 ento b2 = 2k2 ou seja, fazendo k = 2K2, b = 2K, NOTA: J provamos acima que: Se b mpar b 2 mpar (vide item 19.2.3.) e que Se b par b2 par (vide item 19.2.4.) obtm-se que b tambm par b2 = 2K implica que b par, Se a e b so nmeros pares temos que: mmc(a,b) = 2 ou seja, a e b tm como fator comum o 2 o que contraria a hiptese. Logo
2 um nmero irracional.

18.4.- Induo Matemtica

Muitos teoremas, frmulas e propriedades que sejam verdadeiras para os nmeros naturais ou para alguma varivel que possa assumir valores em N (conjunto dos nmeros naturais) podem ser provadas utilizando-se o mtodo da Induo Finita Matemtica ou o Princpio da Induo Matemtica: Se P(0) verdadeira e se para algum nN, P(n+1) verdadeira sempre que P(n) for verdadeira, ento, P(n) verdadeira para todo nmero inteiro N.

18.4.1.- Princpio de Induo Matemtica Um Exemplo

Provar que 1 + 2 + 3 + 4 + 5 + ... + n =
n (n +1) 2

Prova:

Provar a validade da frmula consiste em mostrar que: X = {x | x =

n ( n +1) , para nN } = N. 2 0(0 + 1) 0 = =0 0 X 2 2 k ( k +1) 2

Vamos usar o princpio da Induo Finita:

(1) Verificar a validade para n = 0: x =

(2) Aceitar como hiptese que, para um dado k X: 1 + 2 + 3 + ... + k = (3) Verificar se a igualdade vlida para k + 1:

Ser que 1 + 2 + 3 + ... + k + (k+1) =

k (k + 1) ( k + 1)(k + 2) + (k + 1) = verdadeira? 2 2

Vejamos duas maneiras distintas de se mostrar a validade de (3)

1 Maneira de provar a Frmula:

De (2) acima vamos supor por hiptese que: 1 + 2 + 3 + ... + k = Adicionando (k+1) igualdade: 1 + 2 + 3 + ... + k + (k+1) = 1 + 2 + 3 + ... + k + (k+1) =

k ( k +1) verdade 2

k ( k +1) + (k+1) 2

k (k + 1) + 2( k + 1) de onde colocando-se o fator (k+1) em 2 ( k + 1)(k + 2) evidncia, obtm-se, finalmente: 1 + 2 + 3 + ... + k + (k+1) = que prova o 2

que queramos.

2 Maneira de Provar a Frmula:

Seja tomar: 1 + 2 + 3 + ... + k + (k+1) =

( k + 1)(k + 2) 2 (k + 1)(k + 2) k 2 + 2k + k + 2 = = 2 2

1 + 2 + 3 + ... + k + (k+1) = =

k 2 + k 2k + 2 k (k + 1) 2( k + 1) + + = 2 2 2 2

de onde 1 + 2 + 3 + ... + k + (k+1) =

k ( k + 1) + (k + 1) e est provada a igualdade. 2

18.4.2.- Princpio de Induo Matemtica Um Contra-Exemplo

Dada a igualdade: 1 + 2 + 3+ 4 + 5 + ...+ (n - 1) + n =
2n 2 + 1 , 3

mostre que apesar de P(0), P(1), ..., P(n) para um certo n finito, serem verdadeiras, esta relao no verdadeira para P(n+1).

Sugesto:

Teste a relao para 1, 2 e 3, e diga o que pde ser concludo.

Veja que a adio de nmeros inteiros deve sempre resultar um nmero inteiro, no entanto, para n = 3:
2 32 + 1 3 = 19 3

, ou seja: 1 + 2 + 3 =

19 o que mostra que a frmula falsa. 3

Basta que a frmula falhe para um dado valor para aceitarmos que ela no vlida. Veja no item a seguir a prova de que a igualdade falsa por mtodos algbricos.

Prova Algbrica da Falsidade da uma Frmula

Dada a igualdade: 1 + 2 + 3+ 4 + 5 + ...+(n - 1) + n =
2n 2 + 1 , 3

mostre pelo mtodo da induo finita matemtica que ela falsa.

Prova:

Seja adotar Soma(n) = 1 + 2 + 3 + 4 + 5 + ...+(n - 1) + n = Assim teremos para n = 1 que: Soma(1) = Se n = n1 ento:
2 12 +1 =1, 3

2n 2 + 1 , 3

2 (n 1) 2 + 1 2(n 2 2n + 1) + 1 2n 2 4n + 2 + 1 2n 2 4n + 3 = = Soma(n-1) = = 3 3 3 3

Assim, iremos adotar como hiptese de induo: Soma(n-1) =

2n 2 4n + 3 . 3 2n 2 + 1 ,a 3

Substituindo na igualdade original Soma(n) = 1 + 2 + 3 + 4 + 5 + ...(n - 1) + n= nossa hiptese de induo, teremos: Soma(n) = 1 + 2 + 3 + 4 + 5 + ...+(n - 1) + n = Soma(n) = seguir:
2n 2 4n + 3 2n 2 + 1 +n= 3 3 2n 2 + 1 3

2n 2 4n + 3 2n 2 + 1 +n= , mas isto vai acarretar uma desigualdade, veja a 3 3

2n 2 4n + 3 + 3n 2n 2 + 1 = 3 3

2n 2 n + 3 2n 2 + 1 = 3 3

2 2 2n n + 1 + 2 = 2n + 1

n +2 2n 2 + 1 2n 2 + 1 + = 3 3 3

que uma igualdade falsa, ou seja, uma desigualdade.

18.5.- Expresses Utilizadas na Teoria da Prova de Teoremas

H algumas expresses e smbolos utilizados durante e ao final de demonstraes de teoremas. Vamos analisar algumas delas a seguir.

18.5.1.- O que significam C.Q.D. ou Q.E.D.

Q.E.D. (s vezes escrito QED) a abreviatura da expresso Latina "quod erat demonstrandum" ("como queramos demonstrar") que em portugus corresponde a C.Q.D. (s vezes escrito como CQD), normalmente colocado no final de uma demonstrao matemtica para indicar que ela foi completada. Um pequeno quadrado preenchido ou , ou ento vazio , normalmente podem ser utilizados, com a mesma finalidade, em textos impressos.

18.5.2.- O que quer dizer Sem perda de generalidade

Ao provarmos um teorema podemos estabelecer hipteses onde a varivel envolvida apenas uma das muitas que poderiam escolhidas ou selecionadas. Na verdade, o que se vai provar para aquela varivel vlido para todas as demais, por extenso, e isto torna conveniente a meno de Seja supor sem perda de generalidade, que : uma hiptese que envolvendo apenas uma das variveis ou um dos valores pode ser estendida a todas as demais variveis ou valores.

18.6.- Concluindo
No JALGB#20 iremos continuar a anlise do Mtodo de Induo Matemtica, tanto a finita como a infinita, para somente ento provar a validade da frmula que permite calcular a quantidade mnima de movimentos na Torre de Hani por Induo Matemtica.