domingo, 6 de maio de 2012

Técnicas de Prova



·         Prova por contradição: Este teorema contradiz um resultado bem conhecido encontrado por Isaac Newton.
·         Prova por metacontradição: Provamos que existe uma prova. Para fazer isso, presuma que não exista uma prova...
·         Prova por postergação: Vamos provar isso na semana que vem.
·         Prova por postergação cíclica: Como provamos na semana passada...
·         Prova por postergação indefinida: Como falei na semana passada, vamos provar isso na semana que vem.
·         Prova por intimidação: Como qualquer idiota pode ver, a prova é obviamente trivial.
·         Prova por intimidação postergada: Desculpe professor, o senhor tem certeza disso? – Professor sai durante meia hora. Volta. – Tenho.
·         Prova por gesticulação: Autoexplicativa! – mais eficaz em seminários e conferências.
·         Prova por gesticulação vigorosa: - Mais cansativa, porém mais eficaz.
·         Prova por citação hiperotimista: Como Pitágoras provou, a soma de dois cubos nunca é igual a um cubo.
·         Prova por convicção pessoal: Tenho a crença profunda de que o conjunto pseudo-Mandelbrot quaterniônico é localmente desconexo.
·         Prova por falta de imaginação: Não consigo imaginar nenhum motivo pelo qual seja falsa, portanto, deve ser verdadeira.
·         Prova por referência futura: Minha prova de que o conjunto pseudo-Mandelbrot quaterniônico é localmente descone aparecerá num artigo vindouro. – Com frequência não tão vindouro quanto parecia quando a referência foi feita.
·         Prova por exemplo: Provamos o caso n = 2, então seja 2 = n.
·         Prova por omissão: Os outros 142 casos são análogos.
·         Prova por terceirização: Os detalhes ficam por conta do leitor.
·         Prova por notação ilegível: Se você estudar as próximas 500 páginas de fórmulas incrivelmente densas em seis alfabetos, verá que ela tem de ser verdadeira.
·         Prova por autoridade: Encontrei o Milnor na lanchonete e ele disse que achava muito provável ser localmente desconexo.
·         Prova por comunicação pessoal: O conjunto pseudo-Mandelbrot quarteniônico é localmente desconexo  (Milnor, comunicação pessoal).
·         Prova por autoridade vaga: Sabe-se bem que o conjunto pseudo-Mandelbrot quarteniônico é localmente desconexo.
·         Prova por autoridade provocativa: Se o conjunto pseudo-Mandelbrot quarteniônico não for localmente desconexo, vou pular da ponte de Londres usando uma fantasia de gorila.
·         Prova por alusão erudita: A conectividade local do conjunto pseudo-Mandelbrot quarteniônico decorre da adaptação dos métodos de Cheeseburguer e Fritas às quase variedades não compactas de infinitas dimensões sobre anéis de divisão de de característica maior que 11.
·         Prova por redução ao problema errado: Para vermos que o conjunto pseudo-Mandelbrot quaterniônico é localmente desconexo, basta reduzi-lo ao teorema de Pitágoras.
·         Prova por referência inacessível: Uma prova de que o conjunto pseudo-Mandelbrot quarteniônico é localmente desconexo pode ser facilmente derivada das memórias de Pzkizwcziewszczii, impressas privadamente e contidas no volume 11/2 das provas editoriais da revista Atas do círculo de tricô das damas do sul de Liechtenstein, publicadas em 1831 antes que toda a edição fosse destruída.

STEWART, Ian. Incríveis passatempos matemáticos. Rio de Janeiro: Zahar, 2010. - Vale a pena comprar o livro!