Provas Zen

Teoremas explicados de forma intuitiva. Os resultados famosos da matemática, mostrados do jeito que realmente fazem sentido.

Teoremas

O paradoxo do aniversário: por que 23 pessoas já bastam para haver coincidência

Junte 23 pessoas e um aniversário repetido é mais provável que não: 50,7%. A chave são os 253 pares, uma contagem que mostra exatamente onde a intuição falha.

20 de julho de 2026

Teoremas

O problema de Monty Hall: por que trocar de porta dobra suas chances

Três portas, um carro e um apresentador que sabe onde ele está. Trocar de porta vence duas vezes mais do que ficar, e aqui está a explicação que encaixa.

11 de julho de 2026

Teoremas

Erdős e o método probabilístico: provar que algo existe usando o acaso

Paul Erdős provou que certo grafo tem de existir sem jamais construí-lo, usando só uma moeda e um argumento de contagem. Conheça o método probabilístico.

28 de junho de 2026

Teoremas

A identidade de Euler: por que e^(iπ) + 1 = 0

A identidade de Euler reúne cinco constantes, e, i, π, 1 e 0, numa linha só. A prova: e^(iθ) percorre o círculo unitário, e meia volta cai exatamente em -1.

28 de junho de 2026

Teoremas

A prova de Euclides de que existem infinitos números primos

Euclides mostrou, há mais de dois mil anos, que nenhuma lista finita contém todos os primos. O argumento cabe em um parágrafo e ainda surpreende.

27 de junho de 2026

Teoremas

O argumento diagonal de Cantor: por que os números reais não podem ser listados

Georg Cantor provou que nenhuma lista de números reais é completa: um truque diagonal sempre produz um número que ficou de fora. O argumento, passo a passo.

26 de junho de 2026

Teoremas

Teorema de Goodstein: a sequência que explode e depois sempre volta a zero

O teorema de Goodstein descreve uma sequência que dispara além de um googol e, ainda assim, sempre volta a zero. Veja por que isso acontece.

25 de junho de 2026