Prova direta

Uma prova direta parti da hiptese P e deduz que Q deve ser vlida.De acordo com a prova direta,
somos livres para usar todas as hipteses que so dadas e qualquer assero que tenha sido previamente estabelecida.Aqui est um exemplo elementar.
Exemplo 1.Prove: o produto de dois inteiro impares um inteiro mpar.
Primeiro,vamos transformar esta afirmao em uma implicao. Nossa tentativa inicial no ter
nenhum smbolo.
1.Se o produto de dois inteiros mpares dado,ento esse produto um inteiro mpar.
2.Se so dados dois inteiro mpares,ento seu produto um inteiro mpar.
Agora,vamos utilizar uma verso usando variveis.
3.Se a e b so inteiros mpares, ento a.b um inteiro mpar.
Para fazer a quantificao de a e b explicito,temos a seguinte verso:
4.Para todos os inteiros a e b, se a e b so mpares, ento a.b um inteiro mpar.
Todas essas sentenas descreve a mesma propriedade do conjunto dos inteiros.Por isso nenhuma
mais ''matemtica'' que qualquer uma das outras.Enquanto que a terceira e quarta sentena pode
parecer ser a mais matemtica das quatro, elas diferem das outras principalmente em sua consistncia e sofisticao.Por exemplo,o uso de a.b na concluso deve ser interpretado pelo leitor como
sendo ''o produto de a e b''.Agora a prova.Por definio,um inteiro a mpar se a no par.Usando
o teorema da diviso(p.66),segue que se a mpar,ento existe um inteiro m de modo que a=2m+1.
Prova: por definio,como a e b so mpares,existem inteiro m e n tais que a=2m+1 e b=2n+1.
Ns devemos mostrar que existe um inteiro k de modo que a.b=2k+1.Por propriedades conhecidas
da adio e multiplicao dos nmeros reais a serem descritos oficialmente na seo 6:
a.b=(2m+1)(2n+1)
=2m.2n+2n+2m+1
=4mn+2n+2m+1
=2(2mn+m+n)+1
Portanto, a.b=2k+1 onde k o inteiro 2mn+m+n.Isso prova que a.b mpar se a e b so mpares.
Observao.Aqui est uma prova incorreta do resultado anterior:sejam a e b inteiro mpares.Por
exemplo,sejam a=5 e b=7.Ento a.b=35,que mpar.Logo,a.b um inteiro mpar.Essa prova est incorreta pois ela ignora as quantificaes de a e b.Deve-se mostrar que para todos os inteiro a e b,a.b
mpar.Todos esses argumentos mostram que existem inteiro a e b tais que a.b mpar.Para repetir
o que j foi dito antes: lembre do domnio das variveis.
A seguir damos uma prova direta de uma importante propriedade do sistema dos nmeros reais.
Note mais uma vez que esta prova usa propriedades do sistema dos nmeros reais,tais como associativa da multiplicao e existncia do inverso multiplicativo,que so apresentados formalmente na
seo 6.
Teorema 1.(lei de cancelamento da multiplicao).Se a,b e c so nmeros reais tais que a0 e
ab=ac ,ento b=c
Prova: suponha que a,b e c sejam nmeros reais arbitrrios tais que a0 e ab=ac.
Como a0 ,o inverso multiplicativo de a , a1 existe.Ento:
a1 (ab)=a1 (ac)
Logo,pela lei associativa da multiplicao:
(a1 . a ). b=(a 1 . a ). c
1.b=1.c
b=c
Q.E.D
O resultado seguinte pode ser derivado do teorema 1 ou provado via um argumento similar.Vamos deixar a prova como exerccio(veja exerccio 3).
Corolrio 1.Se a e b so nmeros reais tais que ab=0 e a0 ,ento b=0.
Exemplo 2.Se x um nmero real e x 26x+10=x ento x=2 ou x=5.(observao:neste livro
usamos as palavras prove e demonstre indistintamente)