Sobre soma de irracionais: o que funciona na prática
A afirmação de que a soma de dois numeros irracionais é sempre irracional é simplesmente falsa. Já vi isso aparecer em listas de exercícios, em fóruns de estudantes, até em materiais de curso algum. A realidade é mais irritante do que uma regra absoluta.
a soma de dois numeros irracionais é sempre irracional
Não é. Ponto. O contraexemplo canônico é o mais simples possível: pegue 2, que é irracional, e subtraia ele mesmo. 2 + (-2) = 0. Zero é racional. Dois irracionais somados deram um racional. Fim da discussão. Outro exemplo que uso quando preciso deixar claro: (1 + 2) + (1 - 2) = 2. Os dois termos são irracionais. A soma é 2, perfeitamente racional. Não tem mágica, não tem exceção rara. É apenas aritmética básica aplicada a números que não conseguem ser expressos como fração de inteiros.
👉 Clique no botão abaixo para saber mais sobre o assunto!
O que acontece na prática é que as pessoas aprendem que 2 é irracional, que é irracional, e automaticamente assumem que qualquer combinação dessas coisas também será. A intuição falha aqui porque irracionais são densos nos reais. Entre quaisquer dois números reais existe um irracional. Isso cria a sensação equivocada de que eles se comportam de forma previsível em operações, mas não se comportam. No meu trabalho, já precisei lidar com isso em contextos de análise numérica. Quando você está somando aproximações de constantes irracionais — digamos, valores de 2 e ln(3) computados com casas decimais limitadas — o resultado numérico pode parecer racional por causa do arredondamento, mas o resultado matemático exato depende totalmente dos termos originais. Já perdi tempo rastreando um bug em que o código considerava um resultado como racional porque a soma de duas aproximações irracionais havia caído exatamente sobre um valor com representação decimal finita. O problema era que os inputs eram aproximações, não os próprios irracionais. Trabalhava com floats, não com símbolos.
O corretor foi simples: parar de tratar os números como valores decimais e usar álgebra simbólica quando a questão era determinar a natureza do resultado. Em Python, pacotes como o SymPy resolvem isso diretamente. Em C++, você precisa implementar sua própria estrutura de símbolos ou ace
