Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Diculdades Provar Teoremas no uma tarefa da qual se pode utilizar a e frmulas, no existem algoritmos ou programas para tal tarefa. O o a mais importante realmente a experincia. e e

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Conjecturas Um resultado que ainda no foi provado, ou desmentido a e denominado conjectura. Se esta conjectura for provada (demonstrada) ela torna-se um Teorema, se ela puder ser desmentida atravs de um contraexemplo temos a certeza de que e o resultado falso. e

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Provar ou Encontrar um Contraexemplo? Quando sabemos se uma conjectura falsa ou verdadeira pelo e menos sabemos qual caminho seguir, agora quando isto no a acontece necessrio uma anlise de qual caminho tomar. e a a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exemplo 1 Como sabemos para qualquer n Z positivo, n! denido como e n(n 1)(n 2) . . . 1. Vamos analisar a seguinte conjectura Para qualquer inteiro positivo n, n! n2 .

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exemplo 2 Como vimos, a conjectura vlida para n = 1, 2, 3, mas isto no e a a prova a conjectura, mas o contraexemplo n = 4 suciente para e armarmos que esta conjectura no vlida. a e a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Prova por Exausto (prova Exaustiva) a Este tipo de prova funciona apenas quando temos uma quantidade nita de elementos a serem testados, basicamente testa-se todos os poss veis valores e verica-se a veracidade da conjectura.

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exemplo 3 Vamos provar a seguinte conjectura Se um nmero natural, entre u 1 e 20 divis por 6, ento ele tambm divis por 3. e vel a e e vel

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exerc 1 cio Prove que a seguinte conjectura verdadeira: Qualquer n N, e com n 5 temos n2 10 + 5 n.

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exerc 2 cio Prove que a conjectura a seguir falsa: Qualquer n N temos e n2 10 + 5 n.

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Prova Direta Geralmente quando vamos provar uma conjectura do tipo P Q a prova por exausto no util. Dessa forma utilizamos a prova a a e direta, assumimos que a hiptese P verdadeira e obtemos a o e concluso Q. a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exemplo 4 Vamos provar que a multiplicao de quaisquer dois inteiros pares ca tambm par. e e

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exerc 3 cio Prove que o seguinte teorema: Se um inteiro divis por 6, e vel ento duas vezes esse inteiro divis por 4. a e vel

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Prova por Contraposio ca Ao invs de provarmos de forma direta P Q, pode-se provar e tambm de forma direta Q P, isso implica obrigatoriamente e que P Q uma conjectura vlida. Isto vlido, j que e a e a a P Q Q P.

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Exemplo 5 Vamos provar agora que o produto xy e mpar, se e somente se, x e y so inteiros. a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Referncias Bibliogrcas e a
BEZERRA, Licio Hernanes, BARROS, P.H.V.; TOMEI, Carlos; WILMER, Celso; BEZERRA, Introduo ` Matemtica, Ed. da ca a a Universidade Federal de Santa Catarina; Florianpolis, 1995. o GERSTING, J. L.. Fundamentos Matemticos para a Cincia da Computao. 5a ed., Rio de Janeiro: LTC, e ca 2004. HALMOS, Paul; Teoria Ingnua dos Conjuntos; Ed. Cincia e e Moderna, So Paulo, 2001. a HUNTER, D.J. Fundamentos da Matemtica, LTC, 2011. a LIPSCHUTZ, S.; LIPSON, M.. Matemtica Discreta. 2a a ed., So Paulo: Bookman, 2004. ISBN: 8536303611. a

Tcnicas de Demonstrao de Teoremas e ca

Tcnicas de Demonstrao de Teoremas e ca Referncias Bibliogrcas e a

Referncias Bibliogrcas e a

MENEZES, P. B.. Matemtica Discreta para Computao e a ca Informtica. So Paulo: 2a ed. Bookman, 2004. a a ROSEN, K. Matemtica Discreta e suas Aplicaes, MCGRAW a co HILL - ARTMED, 2008. SCHEINERMAN, Edward R.; Matemtica Discreta, Uma a Introduo Ed. Thomson Learning, So Paulo 2003. ca a

Tcnicas de Demonstrao de Teoremas e ca