Divisão entre o que dá certo e o que não dá na prática
A primeira coisa que todo mundo aprende na escola é que número racional é aquele que dá fração e irracional é o que não dá. A definição funciona para a prova. Na prática, você precisa saber lidar com eles antes de escrever qualquer demonstração. O problema é que a escola raramente ensina a parte prática. Eu comecei a ter problemas reais com isso quando precisei verificar a convergência de uma série que envolvia a razão áurea elevada a potências sucessivas. A parte racional era fácil de isolar, mas o termo irracional se repetia em cada iteração e eu estava enfrentando um overflow numérico no computador. A solução que funcionou foi usar frações contínuas para representar a parte irracional de forma exata, em vez de confiar em aproximações decimais. Isso eliminou o erro de arredondamento acumulado que estava destruindo os resultados após a décima quinta iteração.
O que todo material didático omite sobre número racional e irracional
A definição formal de número racional diz que é qualquer número que pode ser escrito como a/b, onde a e b são inteiros e b é diferente de zero. O exemplo canônico é 3/4 ou -7/2. O decimal resultante ou é exato, terminando em algo como 0,75, ou é periódico, como 1/3 = 0,333... Esse padrão periódico é a chave. Se você conseguir mostrar que a dízima se repete com um ciclo fixo, o número é racional. Se não se repete de forma alguma, ele é irracional. Já o número irracional é definido como negativo: é tudo que não é racional. A definição por exclusão parece fraca, mas funciona porque você não precisa provar diretamente que um número não tem representação fracionária. Você prova mostrando que assumir que ele é racional leva a uma contradição. O exemplo mais famoso é a raiz quadrada de 2. Suponha que sqrt(2) = a/b, onde a e b são inteiros primos entre si. Elevando ao quadrado, obtemos 2 = a²/b², ou a² = 2b². Isso implica que a² é par, logo a é par. Se a = 2k, então a² = 4k² e 4k² = 2b², o que dá b² = 2k². Logo b também é par. Mas isso contradiz a hipótese de que a e b são primos entre si. A suposição era falsa. sqrt(2) não é racional.
👉 Clique no botão abaixo para saber mais sobre o assunto!
O truque que poucos ensinam é que nem todo número que parece ter um padrão decimal é racional. Pi, por exemplo, nunca se repete. Já 0,101001000100001... não é periódico, então é irracional, mesmo parecendo ter uma estrutura. O critério absoluto é: ciclo fixo que se repete infinitamente, sim, racional. Qualquer outra coisa, irracional. Outro ponto que causa confusão constante é a soma e a multiplicação envolvendo racionais e irracionais. Se você somar um racional com um irracional, o resultado é sempre irracional. Multiplicar um racional não nulo por um irracional também produz um irracional. O caso que quebra a intuição é multiplicar zero por qualquer irracional: zero é racional, e o resultado é zero, que também é racional. As regras têm exceções só no zero.
Na minha experiência corrigindo trabalhos e revisando cálculos, o erro mais frequente é tratar irracionais como se pudessem ser manipulados algebricamente como se fossem racionais. Por exemplo, simplificar sqrt(8) + sqrt(2) como se fosse 3*sqrt(2) funciona por acaso, mas pessoas chegam a afirmar que sqrt(5) + sqrt(3) = sqrt(8). Isso não faz sentido. A única operação segura entre irracionais que vale a pena memorizar é quando eles têm a mesma radicação: aí você trata o radical como uma variável e soma os coeficientes. sqrt(5) + 2*sqrt(5) = 3*sqrt(5). sqrt(5) + sqrt(3) permanece como está. Quando você vai implementar isso em código ou fazer contas manuais longas, a recomendação prática é manter os irracionais na forma simbólica o máximo possível e só converter para decimal na última etapa. Cada conversão antecipada introduz um erro de arredondamento que se propaga. Eu já vi gente gastar duas horas refazendo uma conta porque converteu sqrt(3) para 1,732 logo no início de um problema de quatro passos. Refazendo com a forma simbólica, o resultado ficou correto no primeiro teste.
A distinção entre o conjunto dos racionais Q e o dos irracionais I é que Q é denso nos reais e também fechado sob as quatro operações básicas, enquanto I não é fechado. Somar dois irracionais pode dar racional. sqrt(2) + (1 - sqrt(2)) = 1, que é racional. Isso acontece frequentemente em exercícios de conjugados em equações quadráticas, e é o motivo pelo qual muitos alunos se pegam surpresos quando a parte irracional "some" no final de um desenvolvimento. Se o seu objetivo é apenas identificar se um número é racional ou irracional em contextos do dia a dia, o método mais eficiente é verificar se ele pode ser expresso como fração exata ou dízima periódica. Na maior parte dos problemas de engenharia e ciência da computação, irracionais aparecem como sqrt(2), sqrt(3), pi, e e. Todos esses são transcendentais, o que significa que não são raízes de nenhum polinômio com coeficientes inteiros. Essa classificação é útil porque transcendentes possuem propriedades que irracionais algébricos não têm, como a impossibilidade de serem construídos com régua e compasso.
