Prova por Contradição — Método e Exemplo Clássico

A prova por contradição demonstra uma afirmação supondo o contrário e mostrando que essa suposição leva a uma impossibilidade. Se a lógica for válida e a contradição for real, então a afirmação original deve ser verdadeira.

Esse método é útil quando a negação dá algo concreto com que trabalhar. Um caso clássico é provar que $\sqrt{2}$ é irracional: ao supor que ele é racional, você pode escrevê-lo como uma fração e seguir as consequências.

Como a prova por contradição funciona

Suponha que a afirmação que você quer provar seja $P$.

Em uma prova por contradição, você começa supondo que $P$ é falsa. Depois, raciocina a partir dessa suposição até chegar a uma contradição, como:

$$1 = 0$$

ou a um conflito com uma definição conhecida, ou a uma afirmação que não pode ser verdadeira ao mesmo tempo que um passo anterior.

Nesse ponto, a negação de $P$ não pode estar correta, então $P$ deve ser verdadeira.

A condição principal é que a contradição venha de um raciocínio válido e de fatos aceitos. Um resultado que apenas parece estranho não basta. Ele precisa ser impossível dentro das definições ou teoremas que você está usando.

Quando usar prova por contradição

A prova por contradição funciona melhor quando o oposto de uma afirmação tem uma estrutura rígida. Isso acontece com frequência em teoria dos números, provas de impossibilidade e algumas questões de existência.

Por exemplo, se você quer provar que um número é irracional, supor que ele é racional fornece uma forma fracionária com a qual trabalhar. Essa estrutura extra muitas vezes torna a contradição mais fácil de encontrar do que em uma prova direta.

Ela é menos útil quando já existe uma prova direta curta. A contradição é um método válido, mas deve esclarecer o argumento em vez de fazê-lo parecer mais longo do que o necessário.

Exemplo resolvido: por que $\sqrt{2}$ é irracional

Uma prova clássica por contradição mostra que $\sqrt{2}$ é irracional.

Comece supondo o contrário:

$$\sqrt{2} \text{ é racional.}$$

Se isso fosse verdade, então $\sqrt{2}$ poderia ser escrito como

$$\sqrt{2} = \frac{a}{b}$$

em que $a$ e $b$ são inteiros, $b \neq 0$, e a fração está na forma irredutível.

Agora eleve os dois lados ao quadrado:

$$2 = \frac{a^2}{b^2}$$

logo,

$$a^2 = 2b^2.$$

Isso nos diz que $a^2$ é par. Isso obriga $a$ a ser par também, porque o quadrado de um inteiro ímpar é ímpar. Então escreva

$$a = 2k$$

para algum inteiro $k$.

Substitua isso em $a^2 = 2b^2$:

$$(2k)^2 = 2b^2$$ $$4k^2 = 2b^2$$ $$2k^2 = b^2.$$

Agora $b^2$ é par, então $b$ também é par.

Mas agora tanto $a$ quanto $b$ são pares. Isso significa que ambos são divisíveis por $2$, o que contradiz a suposição de que $\frac{a}{b}$ já estava na forma irredutível.

Portanto, a suposição original era falsa. Logo, $\sqrt{2}$ é irracional.

Por que a contradição é decisiva

A contradição não é apenas “algo parece errado”. Ela é específica:

1. A suposição diz que $\sqrt{2} = \frac{a}{b}$ está na forma irredutível.
2. A álgebra mostra que tanto $a$ quanto $b$ devem ser pares.
3. Uma fração não pode estar ao mesmo tempo na forma irredutível e ter numerador e denominador divisíveis por $2$.

Esse choque direto é a contradição.

Erros comuns em prova por contradição

Um erro comum é supor o contrário de forma vaga demais. Você precisa da negação real da afirmação, não apenas de uma afirmação próxima que soa parecida.

Outro erro é chegar a uma contradição por causa de um passo algébrico inválido. Nesse caso, a contradição prova apenas que a álgebra estava errada, não que a afirmação original era verdadeira.

Um terceiro erro é não dizer qual fato está sendo contradito. Boas provas deixam o conflito explícito: uma regra de paridade, uma definição, uma condição de minimalidade ou um teorema já provado.

Também é fácil esconder um raciocínio fraco atrás da frase “isso é uma contradição”. Se você não consegue apontar exatamente qual fato falhou, a prova provavelmente está incompleta.

Um modelo simples de prova por contradição

Em muitas provas para iniciantes, a estrutura é assim:

1. Suponha que a afirmação é falsa.
2. Traduza essa suposição para uma forma concreta.
3. Desenvolva as consequências passo a passo.
4. Chegue a uma contradição com um fato conhecido.
5. Conclua que a afirmação original é verdadeira.

Se o passo 2 for fraco, a prova geralmente continua vaga. As provas por contradição mais fortes costumam surgir quando a negação é transformada em algo bem concreto.

Tente uma prova por contradição parecida

Tente a afirmação “não existe o menor número racional positivo”. Suponha que exista um, chame-o de $r$, e pergunte o que acontece com $\frac{r}{2}$. Se você quiser verificar seu raciocínio passo a passo em uma prova parecida, tente fazer sua própria versão no GPAI Solver e compare cada afirmação com a contradição que você quer obter.