Demonstração matemática

Por Nilton Cezar Ferreira

Instituto Federal de Goiás – IFG

1. O que é uma demonstração matemática?

Quando olhamos para a Matemática com mais formalismo, percebemos que ela se organiza, em grande medida, a partir de dois elementos fundamentais: definições e proposições. As definições introduzem nomes para classes de objetos matemáticos, de acordo com características que esses objetos compartilham. Por exemplo, ao definir número par como “todo número inteiro divisível por \(2\)”, não criamos um novo objeto: apenas separamos, dentro do conjunto dos inteiros, aqueles que possuem essa propriedade.

Já as proposições surgem quando analisamos esses objetos e as relações entre eles. Ao descrevermos propriedades, comparações, igualdades ou implicações, formulamos enunciados que podem ser considerados verdadeiros ou falsos. Quando uma proposição verdadeira admite uma justificativa cuidadosamente organizada, chamamos esse enunciado de teorema. Quando uma proposição é tomada como verdadeira sem demonstração, por convenção, estamos diante de um axioma.

A questão central, então, é: se alguns enunciados podem (e devem) ser provados, o que significa exatamente provar? Em um sentido geral, prova é aquilo que garante a veracidade de uma afirmação. Em Matemática, porém, essa ideia precisa ser refinada: não basta “acreditar” que algo é verdadeiro, é preciso mostrar como essa verdade decorre de outras afirmações já aceitas (definições, teoremas anteriores, axiomas etc.).

Autores como Carnielli e Epstein chamam a atenção para o fato de que, na prática, muitos matemáticos não se preocupam em formular um conceito rigoroso de prova. Ao longo da formação, aprende-se por imitação, correções e ajustes: cada geração incorpora um certo “padrão” de argumentação, que vai se transformando historicamente. Assim, o estilo das demonstrações feitas hoje é bem diferente daquele presente em Euclides, ou mesmo no início do Cálculo com Leibniz e Newton.

Apesar dessas mudanças, permanece uma ideia importante: uma demonstração é uma forma de comunicação matemática. Ao construir uma prova, buscamos convencer alguém (inclusive nós mesmos) de que uma afirmação decorre logicamente de outras que já foram aceitas como verdadeiras. A demonstração é, portanto, um arranjo de argumentos que explicita essa passagem.

2. Métodos de demonstração

Elaborar uma demonstração matemática nem sempre é uma tarefa simples. Mesmo resultados com enunciados curtos podem exigir anos (ou séculos) de trabalho. O conhecido Último Teorema de Fermat, por exemplo, afirma que a equação
\[
x^n + y^n = z^n
\]
não possui soluções inteiras não nulas para \(n > 2\). A prova completa, concluída apenas no final do século XX, envolve teorias sofisticadas e centenas de páginas.

Ainda assim, a prática matemática mostra que muitos argumentos podem ser classificados em alguns métodos de demonstração, que aparecem recorrentemente em livros, artigos e aulas. Entre eles, destacam-se:

o método direto;
o método indireto (ou prova por contradição);
a prova por construção;
a prova por contraexemplo.

Esses métodos podem ser combinados entre si e com outros recursos (como o uso de princípios gerais, inequações conhecidas, propriedades geométricas etc.), compondo um repertório que é fundamental para quem deseja compreender ou produzir demonstrações.

2.1. Método direto

No método direto, partimos das hipóteses do teorema e, por meio de uma sequência de passos lógicos, chegamos à conclusão desejada. Cada passo deve ser justificado por definições, resultados já estabelecidos ou regras de inferência válidas. A ideia é encadear proposições de modo que a tese apareça como a “última peça” de uma cadeia de implicações.

Considere, por exemplo, a proposição:

Proposição. Sejam \(A\), \(B\) e \(C\) conjuntos. Se \(A \subseteq B\) e \(B \subseteq C\), então \(A \subseteq C\).

Pela definição de inclusão, dizer que \(A \subseteq B\) significa: “para todo \(x\), se \(x \in A\), então \(x \in B\)”. O mesmo vale para \(B \subseteq C\). A prova direta segue o seguinte esquema:

Seja \(x\) um elemento qualquer de \(A\).
Como \(A \subseteq B\), temos \(x \in B\).
Como \(B \subseteq C\), obtemos \(x \in C\).
Logo, todo elemento de \(A\) pertence a \(C\), isto é, \(A \subseteq C\).

O argumento começa exatamente nas hipóteses e avança em direção à tese, sem recuos: essa é a marca do método direto.

2.2. Método indireto (prova por contradição)

No método indireto, também chamado de prova por contradição ou redução ao absurdo, partimos da suposição de que a afirmação que queremos provar é falsa. Se essa suposição leva a uma contradição (isto é, a algo impossível dentro do sistema em que estamos trabalhando), concluímos que a negação da tese é insustentável e, portanto, o enunciado original deve ser verdadeiro.

Um exemplo simples é a proposição:

Proposição. Se \(a\) é um número inteiro par, então \(a^2\) também é par.

Por definição, \(a\) é par se existe um inteiro \(n\) tal que \(a = 2n\). A prova direta é imediata: \(a^2 = (2n)^2 = 4n^2 = 2(2n^2)\), logo \(a^2\) é múltiplo de 2. Pelo método indireto, fazemos diferente:

Supomos que \(a\) é par e que \(a^2\) não é par (ou seja, é ímpar).
Ser ímpar significa poder escrever \(a^2 = 2k + 1\) para algum inteiro \(k\).
Mas, de \(a = 2n\), obtemos \(a^2 = 4n^2 = 2(2n^2)\), que é par.
Chegamos a uma contradição: \(a^2\) foi suposto ímpar e mostrado como par.

Portanto, a suposição de que \(a^2\) não é par não pode ser mantida, e a proposição é verdadeira.

O método indireto é particularmente poderoso em situações em que a prova direta é difícil ou em que não dispomos de uma definição conveniente, como na demonstração clássica de que \(\sqrt{2}\) é um número irracional.

2.3. Prova por construção

Em uma prova por construção, criamos deliberadamente um objeto matemático (um número, uma figura, uma função, um conjunto, etc.) que torna visível a veracidade da afirmação que queremos demonstrar ou que viabiliza os argumentos necessários.

Um exemplo simples aparece na Trigonometria, ao determinar \( sen \ 45^\circ\). Construímos um quadrado e traçamos uma diagonal, obtendo dois triângulos retângulos isósceles. Se os catetos têm comprimento \(a\), então, pelo Teorema de Pitágoras, a hipotenusa tem comprimento \(\sqrt{2}\,a\). Tomando o cateto oposto ao ângulo de \(45^\circ\) como \(a\) e a hipotenusa como \(\sqrt{2}\,a\), temos:

\[
sen \ 45^\circ = \frac{a}{\sqrt{2}\,a} = \frac{1}{\sqrt{2}} = \frac{\sqrt{2}}{2}.
\]

Em Aritmética e Teoria dos Números, a prova de que “todo número natural composto é divisível por algum primo” também pode ser organizada a partir de uma construção: considera-se o conjunto de divisores de \(n\) distintos de \(1\) e do próprio \(n\), aplica-se o princípio da boa ordem (existência de um menor elemento) e, por contradição, mostra-se que esse menor divisor precisa ser primo.

2.4. Prova por contraexemplo

A prova por contraexemplo é usada quando se quer mostrar que uma afirmação geral não é sempre verdadeira (ou não é sempre falsa). Para isso, basta encontrar um caso particular que contradiga o enunciado.

A frase “todo número primo é ímpar” é refutada imediatamente pelo número \(2\), que é primo e par ao mesmo tempo. Da mesma forma, a expressão
\[
n^2 + n + 41
\]
produz números primos para vários valores inteiros de \(n\), mas deixa de ser prima quando \(n = 41\), pois a expressão se torna divisível por \(41\).

Em pesquisas mais avançadas, encontrar um contraexemplo pode ser extremamente difícil, e às vezes a própria impossibilidade (ou fracasso persistente) em encontrar um exemplo que viole o enunciado acaba motivando novas proposições, as chamadas conjecturas. A história do Último Teorema de Fermat e a busca (ainda inconclusa) por certos tipos de números quase perfeitos são exemplos de como a procura por contraexemplos pode impulsionar o desenvolvimento da teoria.

É interessante notar que, em muitos contextos, o que chamamos de “prova por contraexemplo” poderia ser visto simplesmente como “prova por exemplo”, dependendo de como a proposição é formulada. A lógica subjacente é a mesma: um único caso bem escolhido pode ser suficiente para confirmar ou refutar um enunciado universal.

3. Considerações finais

A capacidade de compreender e produzir demonstrações matemáticas é decisiva para o desenvolvimento do raciocínio lógico, da argumentação e da autonomia intelectual dos estudantes. Essa habilidade, porém, não se constrói de forma rápida: exige tempo, oportunidades de experimentação, erros, correções e situações em que o aluno seja provocado a justificar por que determinada afirmação é verdadeira.

Por isso, faz sentido pensar que o trabalho com argumentos e justificativas não comece apenas no Ensino Médio ou na graduação, mas seja iniciado desde as séries iniciais, em nível adequado à faixa etária. Questionamentos simples, que peçam explicações e não apenas respostas, já podem configurar uma “cultura de demonstração”, mesmo antes do formalismo dos teoremas.

A pesquisa que embasa este texto analisou apenas uma obra didática e um recorte específico do Ensino Médio, mas abre diversas possibilidades: comparar diferentes livros aprovados em programas oficiais, investigar como a demonstração é trabalhada em outras séries, ou ainda estudar as dificuldades de licenciandos em Matemática ao lidar com provas formais. Em todos esses casos, a pergunta de fundo permanece atual: se os currículos e os cursos superiores enfatizam a importância da demonstração, por que tantos estudantes chegam à graduação com tanta dificuldade para entender e produzir provas matemáticas?

Enfrentar essa questão implica articular concepções de Matemática, escolhas didáticas e organização curricular. Não se trata apenas de “acrescentar demonstrações” ao programa, mas de construir, ao longo de toda a escolarização, experiências que deem sentido à ideia de justificar, argumentar e demonstrar em Matemática.

Referências

BARDIN, L. Análise de conteúdo. São Paulo: Edições 70, 2011.

CARNIELLI, W.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da Matemática. São Paulo: Editora Unesp, 2005.

GARBI, G. G. Q.E.D.: explicações e demonstrações sobre conceitos, teoremas e fórmulas essenciais da geometria. São Paulo: LF Editorial, 2010.

GIL, A. C. Métodos e técnicas de pesquisa social. 7. ed. São Paulo: Atlas, 2019.

GODOY, A. Introdução à pesquisa qualitativa e suas possibilidades. Revista de Administração de Empresas, 1995.

HOUAISS, A.; VILLAR, M. S. Dicionário Houaiss da Língua Portuguesa. Rio de Janeiro: Objetiva, 2009.

IEZZI, G. et al. Matemática: ciência e aplicações. 9. ed. São Paulo: Saraiva, 2016. v. 1.

KAUARK, F. S.; MANHÃES, F. C.; MEDEIROS, C. H. Metodologia da pesquisa: um guia prático. Itabuna-BA: Via Litterarum, 2010.

SINGH, S. O último teorema de Fermat. 8. ed. Rio de Janeiro: Record, 2001.

VELOSO, E. Geometria – temas atuais. Lisboa: Instituto de Inovação Educacional, 1998.