Cap tulo 1 M etodos de Demonstra c ao

1.1
1.1.1

M etodos de Demonstra c ao
M etodo direto

O m etodo direto de demonstra ca o consiste em se provar uma proposi c ao tendo como estrutura b asica a Implica c ao. Isto e, consideramos a condi ca o suciente (hip otese) ser verdadeira e, com aux lio de artif cios matem aticos, provamos que a condi ca o necess aria (tese) e verdadeira, aquilo que justamente quer amos provar. Exemplo 1.1 Provar a proposi c ao: Se um n umero e par, ent ao a soma desse n umero com o seu quadrado e um n umero par. Demonstra c ao: Hip otese: a e um n umero par. Tese: a + a2 e par. Assim, fazendo a = 2k, k Z (da algebra, sabemos que todo n umero par e escrito desta forma). Logo, a + a2 = 2k + (2k )2 = 2k + 4k 2 = 2(k + 2k 2 ). Como k e um n umero inteiro, do estudo de conjuntos num ericos sabemos que o seu quadrado tamb em e um n umero inteiro, o dobro dele e um n umero inteiro, e a soma de

n umeros inteiros resulta um n umero inteiro. Isto e, k Z k 2 Z 2k 2 . Portanto (k + 2k 2 ) = C Z. Desta forma, a + a2 = 2C ou seja, e um n umero par. 2

1.1.2

M etodo de demonstra c ao por absurdo

Nem sempre e simples usar o m etodo direto para demonstrar algo, principalmente porque, a `s vezes, o artif cio matem atico usado n ao e t ao trivial assim. Por isso, e conveniente a `s vezes negar uma proposi c ao. Isso acontece especialmente nas demonstra co es por redu c ao ao absurdo (demonstra c oes indiretas) de teoremas. Um teorema e, basicamente, uma proposi ca o que para ser admitida precisa ser provada. O enunciado do teorema sempre explicita as hip oteses e considera toda a teoria pertinente que a precede. o resultado a ser provado e a tese. A estrutura l ogica usada para embasar o m etodo indireto e a seguinte: p q c p q. Portanto, para usar o m etodo, precisamos negar uma das proposi c oes, no caso, a tese (q ) e considerando a hip otese (p) isto implicar a numa contradi ca o (absurdo), que e referente a ` proposi ca o c que tem valor l ogico sempre Falso. Exemplo 1.2 Deseja-se provar que Se m2 e mpar, ent ao m tamb em e mpar.(m Z) Demonstra c ao: Negando a tese, vamos supor que m seja par. Ou seja, podemos escrever m = 2t, t Z. Ent ao m2 = 4t2 = 2 (2t2 ), pela forma que observamos, tamb em seria par, o que contraria a hip otese. Absurdo. Portato, m e necessariamente par. Exemplo 1.3 (Transitividade) Se P Q e Q R, ent ao P R Demonstra c ao: Vamos supor que P R seja Falsa. Isto s o aconteceria se V (P ) = V e V (R) = F . Por em, como P Q e Verdadeira e V (P ) = V , ent ao s o podemos ter V (Q) = V . Agora, como Q R e Verdadeira, ent ao s o podemos ter V (R) = V , o que contradiz o que supomos V (R) = F . Fizemos assim uma prova por redu c ao ao absurdo. 2 2

1.1.3

Demonstra c ao de exist encia

Neste caso, a prova e feita simplesmente exibindo-se um objeto que cumpre as condi co es desejadas. Exemplo 1.4 Provar: Dados dois n umeros racionais, a e b, com a < b, ent ao sempre existe um n umero irracional tal que a < < b. Demonstra c ao: Seja o n umero ba =a+ . 2 (1.1)

Este n umero satisfaz a condi ca o. Para mostrar isso, usaremos, dentro da prova da exist encia, o m etodo por redu ca o ao absurdo. Observe que: O n umero e maior que a e menor que b. De (1.1), temos que

2=

ba . a

Portanto, se e racional, ent ao o segundo membro da igualdade acima e racional, e assim concluir amos que 2 e racional. Absurdo! Logo, e irracional. ` vezes Observa c ao 1.1 Exibir um objeto nem sempre e t ao simples. As e tarefa complicada. Depende insighte bagagem matem atica.

1.1.4

Demonstra c ao por contra-exemplo

H a situa co es em que se tem que demonstrar que uma proposi c ao e falsa. Neste caso, basta dar um contra-exemplo. Exemplo 1.5 A proposi c ao se a e um divisor de b e de c, ent ao a e um divisor de b + c e notoriamente verdadeira. Entretanto a rec proca e Falsa. Isto e, Se a e um divisor de b + c, ent ao a e um divisor de b e de c e proposi c ao falsa. Demonstra c ao: Basta exibir um contra-exemplo: 5 e divisor de 3 + 7, mas 5 n ao divide nenhuma das parcelas dessa soma. 3

1.1.5

M etodo da Contrapositiva de uma proposi c ao

Observemos que a seguinte estrutura l ogica e uma tautologia. p q q p. Ou seja, temos uma Equival encia l ogica. Isto signica que trabalharmos a implica c ao pq e equivalente a trabalharmos q p, a qual esta chamaremos de Contrapositiva de p q . Exemplo 1.6 Consideremos a proposi c ao: Se a soma de um n umero inteiro com seu quadrado e um mpar, ent ao o n umero dado e mpar. Demonstra c ao:, Para provar a proposi ca o acima, vamos utilizar o m etodo da contrapositiva. A contrapositva e dada por: Se um n umero e par, ent ao a soma desse n umero com o seu quadrado e um n umero par, cuja a demonstra ca o dessa proposi c ao j a fora feita em 1.1. Portanto, a prova est a conclu da. 2