A Soma De Dois Numeros Irracionais É Sempre Irracional

A soma de dois números irracionais é sempre irracional? Não, e você provavelmente já errou nisso

A afirmação de que a soma de dois numeros irracionais é sempre irracional é falsa. É um desses equívocos que aparecem com frequência em provas e na prática, então vale a pena tratar disso com clareza antes que se consolide como "verdade" em algum material didático mal revisado. A razão é simples e pode ser demonstrada com um contraexemplo. Pegue sqrt(2) e sqrt(2). Ambos são irracionais, comprovado desde Euclides. A soma deles é 2*sqrt(2), que também é irracional. Até aí tudo bem, mas agora pegue sqrt(2) e (1 - sqrt(2)). O segundo número também é irracional, pois se fosse racional, então sqrt(2) seria racional, o que não é. A soma é exatamente 1, um número racional.

Por que essa confusão acontece na prática

No dia a dia, quando alguém calcula a soma de dois irracionais, o resultado costuma ser irracional mesmo. sqrt(2) + sqrt(3) dá algo que não simplifica. pi + e não tem forma fechada conhecida e continua irracional. Isso cria uma intuição enganosa. A probabilidade de dois irracionais somarem um racional é baixa se você escolher aleatoriamente, mas baixa não significa zero. E em matemática, basta um único caso para derrubar uma afirmação universal. Um erro comum é assumir que irracionais são "incompatíveis" com rationais em operações. Não são. Irracionais formam um conjunto denso em R, o que significa que entre qualquer dois reais existe um irracional. Isso permite construir pares arbitrariamente próximos de qualquer soma desejada, racional ou não. A estrutura topológica do conjunto dos irracionais é o que permite esses comportamentos contraprodutivos à intuição. Outro ponto que as pessoas deixam passar: a soma de dois irracionais pode ser racional ou irracional, e isso depende exclusivamente da relação entre os dois números. Se um deles é a diferença entre um racional e o outro, o resultado é racional. Caso contrário, o resultado tende a ser irracional na maioria dos casos práticos, mas ainda há exceções difíceis de detectar sem análise rigorosa.

Na minha experiência corrigindo exercícios de análise real, encontrei um aluno que demonstrou erroneamente que pi + e era racional usando uma cadeia de argumentos que envolvia aproximações diofânticas mal aplicadas. O erro estava em tratar limites de sequências racionais como se preservassem racionalidade na soma. A correção foi mostrar que, embora existam sequências de racionais convergindo para pi e para e separadamente, a soma dos limites não herda a propriedade dos termos individuais. Isso custa cerca de meia aula para deixar claro, mas o aluno saía com o raciocínio correto em vez de memorizar o resultado. Uma nuance que pouca gente menciona: a soma de três ou mais irracionais pode ser racional mesmo sem que nenhum par forme uma dupla complementador. Por exemplo, sqrt(2) + (1 - sqrt(2)/2) + (sqrt(2)/2) = 1. Três irracionais, soma racional, nenhum par óbvio de cancelamento. Isso expande o espaço de contraexemplos e mostra por que generalizações sobre soma de irracionais precisam de cuidado redobrado. Se você está estudando isso para uma prova ou trabalho acadêmico, o caminho mais seguro é sempre construir o contraexemplo explicitamente em vez de confiar na intuição. Pegue um irracional conhecido, subtraia-o de um racional qualquer, e o resultado é outro irracional cuja soma com o original dá esse racional. Funciona para qualquer racional que você escolher. O processo leva menos de dois minutos e elimina qualquer dúvida sobre a afirmação original.