Durante gerações, a questão de saber se 0,999… (com noves repetidos infinitamente) é igual a 1 gerou discussões em salas de aula de matemática e fóruns online. Apesar de inúmeras explicações e provas, alguns permanecem não convencidos. A questão central não é sobre erros matemáticos, mas sobre como definimos os números e os próprios fundamentos do sistema numérico.
Como funcionam os números: dos dedos ao infinito
Aprendemos os números primeiro contando objetos concretos e depois passamos para a notação formal. Seguem-se frações e decimais, com algumas frações produzindo expansões decimais infinitas como 1/3 = 0,333… Essas expansões se repetem previsivelmente (1/7 = 0,142857…) ou, no caso de números irracionais como π ou √2, continuam infinitamente sem repetição. Como uma representação decimal exata é impossível, usamos símbolos para números irracionais para evitar aproximações.
As provas: por que 0,999… é tecnicamente 1
A prova mais direta envolve multiplicar 1/3 por 3, resultando em 0,999…. Como (1/3) × 3 = 1, a lógica dita que 0,999… deve ser igual a 1. Outras provas usam séries geométricas:
- Comece com 0,999… até o enésimo dígito.
- Fatore 0,9, resultando em 0,9 × (1 + 1/10 + 1/10² +… + 1/10ⁿ).
- Reescreva 0,9 como (1 – 1/10), criando (1 – 1/10) × (1 + 1/10 + 1/10² +… + 1/10ⁿ).
Isso simplifica para 1 – (1/10)ⁿ + 1. À medida que n se aproxima do infinito, (1/10)ⁿ se aproxima de zero, reduzindo a lacuna entre 0,999… e 1 para nada. Este padrão também se aplica à notação binária: 0,111… é igual a 1.
O problema: redefinindo as regras
Apesar do claro consenso matemático, é possível definir 0,999… como estritamente menor que 1. Isto requer o abandono dos axiomas padrão e a aceitação de consequências incomuns. Se 0,999… <1, não há número entre eles, quebrando a propriedade fundamental de que quaisquer dois números têm infinitos valores entre eles. Essa interrupção cria problemas:
- A aritmética básica falha (0,999… × 1 ≠ 1).
- As regras de arredondamento tornam-se imprevisíveis.
- A própria reta numérica torna-se descontínua.
Frameworks alternativos: análise fora do padrão
Uma forma de preservar a distinção é a análise não padronizada, que introduz infinitesimais – valores menores que qualquer número real. Neste quadro, 1 e 0,999… podem diferir numa quantidade infinitesimal sem criar contradições. No entanto, esta abordagem é complexa e raramente usada na prática matemática padrão.
Concluindo, embora a matemática apoie esmagadoramente 0,999… = 1, é possível redefinir as regras para forçar uma resposta diferente. Isto destaca o fato de que a matemática não envolve apenas cálculos; trata-se também dos alicerces sobre os quais escolhemos construir.
