Prova matemtica

Prova matemtica
Em matemtica, uma prova uma demonstrao de que, dados certos axiomas, algum enunciado de interesse necessariamente verdadeiro.[] Utiliza como base premissas intrnsecas a um modelo conceitual e um silogismo que, a partir de uma srie de operaes, chega ao resultado. Costuma-se marcar o final de uma prova com a abreviao c. q. d. (como queramos demonstrar).

Introduo
As provas empregam lgica proposicional, tendo dentre seus elementos uma cadeia de afirmaes (proposies) ligadas por implicaes. Alm da lgica, as provas usualmente incluem alguma quantidade de linguagem natural, o que pode levar a Prova do teorema de Euclides. ambiguidade ou dificuldade de entendimento, tendo em vista o carter deste tipo de linguagem ser mais dependente da interpretao humana. Assim, a forma como a grande maioria das provas na matemtica ensinada pode ser considerada como aplicaes da lgica informal, mas uma afirmao s deixa de ser considerada uma conjectura aps ter uma demonstrao escrita usando lgica formal nos trechos onde pode haver ambiguidades. No contexto da teoria da prova, em que as provas puramente formais so consideradas, as demonstraes no inteiramente formais so frequentemente chamadas de "provas sociais". A distino levou anlise da prtica matemtica atual e histrica, do quasi-empiricismo em matemtica e da ento chamada matemtica popular (em ambos os sentidos deste termo). A filosofia da matemtica, por sua vez, preocupa-se com o papel da linguagem e da lgica em provas, e da matemtica como linguagem[][]. Independentemente da atitude que se tenha em relao ao formalismo, o resultado provado um teorema[]; em uma prova completamente formal isto seria o ponto final, e a prova completa mostra como o resultado segue apenas dos axiomas. Uma vez o teorema provado, ele pode ser usado como base para provar outros enunciados. As chamadas fundaes da matemtica so aqueles enunciados que no se pode, ou no necessrio, provar. Estes foram uma vez o estudo primrio dos filsofos da matemtica. Hoje o foco mais na prtica matemtica, isto , tcnicas aceitveis.

Histrico
A histria da prova matemtica comea na Grcia antiga com matemticos como Tales, Eudoxo, Teeteto e Aristteles. Euclides revolucionou a prova com seu mtodo axiomtico; seu livro Elementos chegou a ser lido por qualquer pessoa que se alfabetizava, at o incio do sculo XX, e considerado um dos mais lidos pela humanidade ficando atrs da Bblia[1]. Uma das provas mais notrias o teorema de Pitgoras. A prova matemtica evoluiu tambm na idade mdia, com matemticos islmicos como Al-Karaji. Modernamente, uma das mais notrias obras a tratar do tema da prova matemtica, dentre outros, o Principia mathematica. Como resultado da evoluo do tratamento deste tema, hoje no se considera mais o axioma como uma verdade dogmaticamente aceita, mas um conjunto de verdades necessrias para um determinado conjunto de modelos.

Prova matemtica

Tcnicas de prova comuns

Prova direta: a concluso estabelecida atravs da combinao lgica dos axiomas, definies e teoremas j existentes. Prova por induo: um caso base provado e uma regra de induo usada para provar uma srie de outros casos (normalmente infinita)[]. Prova por contradio (tambm conhecida como reductio ad absurdum): mostrado que se algum enunciado fosse verdadeiro, ocorreria uma contradio lgica, e portanto o enunciado deve ser falso. Prova por construo: consiste em construir um exemplo concreto com determinada propriedade para mostrar que existe algo com tal propriedade. Prova por exausto: a concluso estabelecida dividindo o problema em um nmero finito de casos e provando cada um separadamente. Prova pela negativa: a concluso uma refutao que prova ser falso o problema especificado. (ou seja, uma negao matemtica). Prova por impossibilidade: a concluso, neste caso, no significa responder se o problema do caso verdadeiro ou falso e sim determinar se o problema pode ser resolvido ou se ele jamais ter uma resposta geral que o solucione. Exemplos de casos assim:
A existncia de um nmero infindvel de casos que verifique certas condies no constitui prova. O exemplo ilustra o teorema das quatro cores, onde no basta criar um nmero infinito de casos que verificam o teorema para o provar.

a soluo de Yuri Matiyasevich em 1970 para o 10 problema de David Hilbert (este lanou uma lista de 23 problemas matemticos para serem resolvidos, em 1900). o Problema das Sete pontes de Knigsberg, provado por Leonhard Euler como impossvel de ser solucionado, em 1736. a insolubilidade da quntupla.

Prova probabilstica
Argumentaes de que algo provavelmente verdadeiro, mesmo que acompanhado de estatsticas ou de clculos mostrando a probabilidade de um determinado evento que confirma a conjectura acontecer no so aceitos em matemtica como prova, ao contrrio do que pode ocorrer em outras cincias. Este ltimo tipo de raciocnio pode ser chamado de argumento de plausibilidade; no caso da conjectura de Collatz deve estar claro o quo longe isto de uma prova genuna. Uma prova probabilstica significa uma prova na qual se mostra a existncia de algo atravs de mtodos da teoria da probabilidade - e no um argumento de que o teorema 'provavelmente' verdadeiro. Estas provas se baseiam em conceitos de Teoria da Medida para estabelecer que o conjunto de mundos onde tal a hiptese em estudo no ocorre tem medida zero ou, em termos leigos, negligvel. Neste tipo de raciocnio, no se diz que a hiptese em estudo verdadeira, mas sim que ela ocorre com probabilidade um ou que ela quasi-verdadeira. Provas probabilsticas so uma das muitas maneiras de provar teoremas de existncia, alm de prova por construo.

Prova matemtica

Tcnicas de prova no-triviais e sua nomenclatura

Uma prova combinatorial estabelece a equivalncia de diferentes expresses mostrando que elas contam o mesmo objeto de maneiras diferentes. Normalmente um correspondncia um-a-um usada para mostrar que as duas interpretaes fornecem o mesmo resultado. Se ns estivermos provar, por exemplo, que "algum X satisfaz f(x)", uma prova no-construtiva provar que existe um x que satisfaz f(x), mas no mostra como este x obtido. Uma prova construtiva, por outro lado, mostra.

Conjecturas, provabilidade e incompletude

Um enunciado que se pensa ser verdadeiro mas ainda no foi provado conhecido como uma conjectura. s vezes possvel provar que um determinado enunciado no pode ser provado a partir de um dado conjunto de axiomas; veja por exemplo a hiptese do contnuo. Em muitos sistemas axiomticos h enunciados que no podem ser provados nem refutados; veja o teorema da incompletude de Gdel.

Bibliografia
Cupillari, Antonella. The Nuts and Bolts of Proofs (http://books.google.com.br/books?id=6wXSWeYtkIMC& dq=The+Nuts+and+Bolts+of+Proofs&hl=pt-BR&source=gbs_navlinks_s) (em ingls). 4ed. [S.l.]:Academic Press, 2012.296 p. ISBN 9780123822178 Pgina visitada em 10 de janeiro de 2012. Eves, Howard Whitley. An Introduction to the History of Mathematics (http://books.google.com.br/ books?id=PXvwAAAAMAAJ&dq=isbn:0030295580&ei=6tcLT8yZNYSbUoCyzZwH&hl=pt-BR&cd=1& redir_esc=y) (em ingls). 6ed. Universidade de Michigan:Saunders College Pub., 1990.775 p. ISBN 9780030295584 Pgina visitada em 10 de janeiro de 2012. Fallis, Don. What Do Mathematicians Want?: Probabilistic Proofs and the Epistemic Goals of Mathematicians (em ingls). [S.l.]:Logique et Analyse, 2002. Franklin, James; Daoud, Albert. Proof in Mathematics (http://books.google.com.br/ books?id=V_0akgAACAAJ&dq=isbn:0646545094&ei=xtgLT8bNMMaaUrSjvIIH&hl=pt-BR&cd=1& redir_esc=y): An Introduction (em ingls). [S.l.]:Kew Books, 2010. ISBN 9780646545097 Pgina visitada em 10 de janeiro de 2012. Plya, George. Mathematics and Plausible Reasoning (http://books.google.com.br/ books?id=XzHugAEACAAJ&dq=Mathematics+and+Plausible+Reasoning&hl=pt-BR&sa=X& ei=rtwLT-_TEMidgQft2cDQBw&ved=0CC8Q6AEwAA): Patterns of Plausible Inference (em ingls). ilustradaed. [S.l.]:Ishi Press, 2009.204 p. ISBN 9784871878340 Pgina visitada em 10 de janeiro de 2012. Solow, Daniel. How to Read and Do Proofs (http://books.google.com.br/books?id=dE4ZAQAAIAAJ& dq=isbn:0471680583&ei=J9oLT4C_GMHvULf7vJwH&hl=pt-BR&cd=1&redir_esc=y): An Introduction to Mathematical Thought Processes (em ingls). [S.l.]:John Wiley, 2005.269 p. ISBN 9780471680581 Pgina visitada em 10 de janeiro de 2012. Velleman, Daniel. How to Prove It (http://books.google.com.br/books?id=lptwaMuAtBAC& dq=isbn:0521675995&hl=pt-BR&source=gbs_navlinks_s): A Structured Approach (em ingls). 2ed. [S.l.]:Cambridge University Press, 2006.384 p. ISBN 9780521675994 Pgina visitada em 10 de janeiro de 2012.

Fontes e Editores da Pgina

Fontes e Editores da Pgina

Prova matemtica Fonte: http://pt.wikipedia.org/w/index.php?oldid=34486687 Contribuidores: Castelobranco, Ceklock, Clara C., Dilermando, Eduardofeld, HVL, Ilustrador, Jos AF, Lgallindo, Merrill, Rodrigo Rocha, Salgueiro, 6 edies annimas

Fontes, Licenas e Editores da Imagem

Imagem:Euclid-proof.jpg Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Euclid-proof.jpg Licena: GNU General Public License Contribuidores: Original uploader was Bcrowell at en.wikipedia Imagem:Four Colour Map Example.svg Fonte: http://pt.wikipedia.org/w/index.php?title=Ficheiro:Four_Colour_Map_Example.svg Licena: GNU Free Documentation License Contribuidores: Inductiveload

Licena
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/