Prova Redução ao absurdo( do latim reductio ad absurdum) é um método de prova matemática indireta, não construtiva(Ou seja, apenas válida na lógica clássica).
Este tipo de prova é feito assumindo-se como verdade o contrário do que queremos provar e então chegando-se a uma contradição.
A prova por redução ao absurdp é muito usada em teoremas de existência. Neste caso, é usada para provar a existência de um elemento com determinada característica, sem no entanto mostrar tal elemento. Por esta razão, alguns matemáticos a evitam quando possível, preferindo métodos de prova construtivos. O argumento de diagonalização de Cantor para demonstrar a não enumerabilidade dos números reais normalmente é provado por contradição, embora possa ser pensado como uma prova construtiva .
Ao contrário do que se pensa nas línguas lusófonas, Redução ao absurdo não é a mesma coisa de Prova por contradição.
Prove que existem infinitos números primos.
Prova: Suponha por absurdo, que existem n (uma quantidade finita) números primos, denotados por p1, p2, ..., pn. Considere o número x = p1p2...pn + 1. O número x não é divisível por nenhum dos números p1, p2, ..., pn (o resto da divisão é sempre 1). Logo, existe um primo diferente de p1, p2 ... pn que divide x. Isto contradiz a nossa hipótese inicial de que existem apenas n números primos. Então nossa hipótese inicial está errada e portanto existem infinitos números primos.
This article uses material from the Wikipedia Português article Prova por contradição, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Conteúdo disponibilizado nos termos da CC BY-SA 4.0, salvo indicação em contrário. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Português (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.