Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Tcnicas de Demonstrao
Resultados matemticos geralmente so expressos como teoremas da forma "se P, ento Q" ou P Q, onde P e Q podem representar sentenas compostas. Em um teorema desta forma, tentamos deduzir Q de P, usando axiomas e regras de inferncia lgica. Se for possvel usar somente axiomas da lgica pura (verdadeira em todas as interpretaes), ento o teorema tambm verdadeiro para todas as interpretaes.
Tcnicas de Demonstrao
Suponha que voc um pesquisador tentando formular e demonstrar um teorema, e que examinou um elenco de casos nos quais se P verdadeiro, ento Q tambm verdadeiro. (Por exemplo, voc pode ter examinado sete ou oito inteiros divisveis por 6, e constatou que estes inteiros tambm so divisveis por 3.) Com base nesta experincia, voc pode conjecturar: Se P, ento Q (se um inteiro divisvel por 6, ento ele tambm divisvel por 3). Quantos mais casos voc encontrar nos quais Q resulta de P, mais confiante voc estar em sua conjectura. Este passo ilustra o raciocnio indutivo, construindo uma concluso baseada em experincia. No importa o quanto a conjectura parea confivel, voc no ficar satisfeito at que tenha aplicado a ela o raciocnio dedutivo. Neste processo, voc tenta verificar se sua conjectura verdadeira ou falsa. Voc pode elaborar a prova de que P Q (construindo um teorema), ou ento encontrar um exemplo que contrarie sua conjectura.
http://rogerio.in
Tcnicas de Demonstrao
Frequentemente difcil decidir qual das duas abordagens voc dever seguir demonstrar ou negar a conjectura! Suponha que voc decida tentar neg-la. Voc ir procurar um exemplo no qual P verdadeiro, mas Q falso voc procurar por um contraexemplo para a sua conjectura. Um nico contraexemplo suficiente para negar a conjectura. Ento, voc pode refutar a sua conjectura simplesmente encontrando um inteiro divisvel por 6 mas no por 3. Se nossa conjectura for verdadeira, tal inteiro no existe. claro que o fato de procurarmos por um contraexemplo sem ach-lo no constitui prova de que a conjectura verdadeira.
http://rogerio.in
Tcnicas de Demonstrao
Considere a sentena "Todo inteiro menor que 10 maior que 5", ou, expresso em uma implicao "Se um inteiro menor que 10, ento ele maior que 5".
http://rogerio.in
Tcnicas de Demonstrao
Todos os animais que vivem nos oceanos so peixes; As entradas para um programa de computador so sempre fornecidas atravs do teclado.
http://rogerio.in
Mtodos de Abordagem
Suponha que voc decida provar sua conjectura P Q . Ainda que um simples contraexemplo seja suficiente para refutar a conjectura, em geral muitos exemplos no provam a suposio eles simplesmente fortalecem sua inclinao a procurar uma demonstrao. A nica exceo desta situao ocorre quando voc est fazendo uma assero sobre uma coleo finita. Neste caso, a assero pode ser provada verdadeira desde que se mostre ser verdadeira para cada um dos elementos da coleo. Por exemplo, a assero "Se um inteiro entre 1 e 20 divisvel por 6, ento ele tambm divisvel por 3" pode ser provada, mostrando-se simplesmente para os inteiros divisveis por 6 entre 1 e 20.
http://rogerio.in
Abordagem Direta
No caso geral, como podemos demonstrar que P Q verdadeira? A abordagem bvia a demonstrao direta assume-se a hiptese P como verdadeira e deduz-se a tese Q. Ns iremos dar uma demonstrao direta para o exemplo dado como teorema. "Se um inteiro divisvel por 6, ento ele tambm divisvel por 3."
http://rogerio.in
Abordagem Direta
O teorema faz uma afirmao sobre um inteiro arbitrrio, sua forma : (x) (x divisvel por 6 x divisvel por 3). onde o domnio de interpretao entendido como sendo os inteiros. Vamos ento representar por x um inteiro arbitrrio e provar x divisvel por 6 x divisvel por 3 Para desenvolver a demonstrao, assumimos que a hiptese de que x divisvel por 6 verdadeira, e ento deduzimos que a tese x divisvel por 3 tambm verdadeira. Ns temos que utilizar a definio de divisibilidade a divisvel por b, se a igual ao produto de um inteiro por b e tambm outras propriedades aritmticas.
http://rogerio.in 9
Abordagem Direta
Hiptese: x divisvel por 6 6 = 2.3 (fato numrico) x = k(2 . 3) (substituio) x = (k . 2)3 (associatividade do produto) k . 2 um inteiro (fato conhecido dos inteiros) x = k .6 para algum inteiro k (definio de divisibilidade)
http://rogerio.in
10
Abordagem Direta
Uma demonstrao direta de que o produto de dois pares par : Seja x = 2m e y = 2n, com m e n inteiros. Ento xy = (2m)(2n) = 2(2mn), onde 2mn um inteiro. Ento xy da forma 2k, onde k um inteiro, logo xy par.
http://rogerio.in
11
Se voc tiver tentado assiduamente, mas falhado, produzir uma demonstrao direta de sua conjectura P Q e ainda sente que a conjectura verdadeira, voc deve tentar algumas variantes da tcnica de prova direta. Se voc pode demonstrar o teorema Q' P', pode concluir que P Q pelo uso da tautologia (Q' P') (P Q). Q' P' a contrapositividade de P Q. A tcnica para demonstrar que P Q construindo uma prova direta de Q' P' chamada de demonstrao por contraposio. J vimos demonstraes diretas, de forma que a nica ideia nova aqui a aplicao da contrapositividade.
http://rogerio.in
12
A implicao "Se a > 5 ento a > 2" verdadeira, no entanto a sua recproca "Se a > 2 ento a > 5" falsa.
http://rogerio.in
13
Alm da demonstrao direta e da demonstrao por contraposio, podemos usar a tcnica de demonstrao por contradio (algumas vezes chamada demonstrao indireta; entretanto este termo significa, na verdade, qualquer argumento que no seja uma demonstrao direta).
http://rogerio.in
14
http://rogerio.in
15
Exerccios
Prove que se n = 25, 100 ou 169 ento n um quadrado perfeito e a soma de dois quadrados perfeitos (3). Prove que a soma de dois inteiros mpares par (7). Prove que o quadrado de um nmero par divisvel por 4 (11). Prove que se dois inteiros so ambos divisveis por um inteiro n, ento a sua soma divisvel por n (17). Prove que o produto dos quadrados de dois inteiros um quadrado perfeito (23).
Prove ou apresente um contraexemplo: O produto de quaisquer trs inteiros consecutivos par (28). Prove ou apresente um contraexemplo: A soma de um inteiro com o seu cubo par (31).
http://rogerio.in 16
Respostas
http://rogerio.in
17
Respostas
http://rogerio.in
18
Respostas
http://rogerio.in
19
Referncias
GERSTING, J. L. Fundamentos Matemticos para a Cincia da Computao. LTC Editora, 3 Edio, 2001.
http://rogerio.in
20