Números, conjuntos e o que acontece quando você tenta programar isso
Você já tentou fazer uma calculadora que lidasse com frações de verdade? Porque existem duas formas de fazer isso. A primeira é usar pontos flutuantes, que todo mundo conhece, mas que têm um problema grave: números como 0,1 e 0,2 não são exatos em binário. A segunda é usar aritmética racional, que mantém numeradores e denominadores separados e só simplifica quando necessário. Quando eu estava construindo um sistema de divisão automática para uma cooperativa agrícola, precisei lidar com medidas em frações exatas. Os produtores vinham com solicitações como "quero dividir 7 hectares por 3 sítios" ou "preciso calcular 5/6 de quilo de adubo". Se eu usasse float, depois de algumas operações encadeadas os erros de arredondamento se acumulavam e o resultado final saía errado. A solução foi representar cada número como uma tupla (numerador, denominador) e usar o máximo divisor comum para simplificar.
Os três conjuntos que todo mundo confunde
Naturais. A maioria das pessoas começa com {0, 1, 2, 3, ...} ou {1, 2, 3, ...}, dependendo da convenção que a escola adotou. No Brasil, a notação usual segue a ISO 80000-2, que define ℕ como incluindo o zero. Mas ainda vejo professor insistindo em começar do 1 porque "contagem começa com um objeto". O problema real é que Naturais não têm inverso aditivo. Se você resolver 3 + x = 1 dentro de ℕ, não existe solução. Daí a necessidade de estender o sistema. Inteiros. Aqui entra o Z, que adiciona os negativos: {..., -2, -1, 0, 1, 2, ...}. A operação que fica completa é a subtração. Qualquer subtração entre inteiros resulta em inteiro. Mas você ainda não pode dividir livremente. 1 ÷ 2 não é inteiro. É aí que entram os Racionais.
Racionais. Números que podem ser escritos como a/b, onde a e b são inteiros e b 0. A notação é ℚ. Todo inteiro é racional porque pode ser escrito como n/1. Todo racional pode ser representado como dízima periódica ou finita. O ponto cego aqui é que racionais têm cardinalidade enumerável, mas densidade. Entre dois racionais quaisquer existe outro racional infinitas vezes. Isso é diferente dos irracionais, que formam o complementar em ℝ.
Por que a representação importa na prática
Vamos ao que realmente acontece quando você programa com esses números. Se você usar float para representar racionais, está cometendo um erro conceitual. Float é binário, não decimal. Números como 1/3, 1/5, 1/10 não têm representação exata em base 2. Isso gera problemas como 0,1 + 0,2 0,3 em muitas linguagens. A representação correta para aritmética exata é manter numerador e denominador como inteiros. Você usa Python com a classe Fraction do módulo decimal, ou em Java a classe BigDecimal com precisão configurada. Em C, não há nada nativo, então você implementa uma estrutura com dois campos int e uma função de simplificação usando MDC (máximo divisor comum) pelo algoritmo de Euclides.
👉 Clique no botão abaixo para saber mais sobre o assunto!
O algoritmo de Euclides para MDC de dois números a e b funciona assim: se b for zero, o MDC é a. Senão, o MDC de a e b é o mesmo que o MDC de b e o resto de a dividido por b. Repete até o resto ser zero. Isso é eficiente, complexity O(log(min(a,b))), e funciona perfeitamente para numeração de frações. Um detalhe que pouco gente considera: a normalização da fração. Quando você simplifica, precisa garantir que o denominador seja sempre positivo. Se o denominador vier negativo,plique numerador e denominador por -1. Caso contrário, operações de comparação ficam inconsistentes. Eu perdi duas horas debugando um sistema de estoque porque esqueci desse detalhe em uma migração de dados onde os denominadores vinham com sinal variável.
A relação entre numeros naturais inteiros racionais
A hierarquia é simples mas gera confusão. ℕ ℤ ℚ ℝ. Cada conjunto inclui o anterior. Naturais estão em Inteiros, Inteiros estão em Racionais, Racionais estão em Reais. A extensão vai na direção de tornar operações fechadas. Em ℕ, soma e multiplicação são fechadas. Em ℤ, subtração também. Em ℚ, divisão também (exceto por zero). Em ℝ, radiciação também (com ressalvas para negativos e pares). O que pouca gente explica é que a passagem de ℚ para ℝ não é apenas sobre adicionar irracionais. É sobre completude. ℚ tem "buracos". A sequência de Cauchy que converge para 2 não tem limite em ℚ. ℝ fecha esses buracos. Isso é fundamental para análise, mas para o dia a dia computacional o relevante é saber que float não é ℝ, é uma aproximação finita de ℝ com propriedades especiais de arredondamento definidas pelo IEEE 754.
Pegadinhas que aparecem em produção
A primeira é a confusão entre precisão e exatidão. BigDecimal dá precisão configurável, mas não exatidão absoluta se o número for irracional. Segundo, a questão do domíniodenominator zero. Frações com denominador zero são indefinidas, mas em float temos Inf e NaN que mascaram o problema. Terceiro, a comparação de igualdade. Dois racionais podem ser equivalentes mas terem representações diferentes. 1/2 e 2/4 são o mesmo número, mas se você comparar tuplas sem normalizar, vai dizer que são diferentes. Um caso específico que encontrei: sistemas legados de contabilidade que armazenavam valores monetários como float por causa de migrações apressadas. Anos depois, quando precisaram fazer auditória, descobriram diferenças de centavos que se acumulavam em milhares de transações. A correção foi refatorar tudo para Decimal com casas decimais fixas. Isso custou três meses de trabalho e gerou dor de cabeça porque tinha que decidir qual método de arredondamento usar (banker's rounding vs truncation vs round half up).
Outro ponto: a diferença entre representações matemáticas e computacionais. Matematicamente, um racional é uma classe de equivalência de pares ordenados. Computacionalmente, é uma estrutura com dois inteiros. A ponte entre os dois mundos é a função de normalização. Sem ela, você trabalha com múltiplas representações do mesmo objeto matemático, o que quebra invariantes em algoritmos de ordenação e busca. Se você está começando a estudar esses conceitos e quer implementar, comece com uma classe Fracao simples. Implemente soma, subtração, multiplicação, divisão, simplificação, comparação. Teste com casos extremos: denominador negativo, numerador zero, frações impropias, números grandes que causam overflow. A cobertura de teste deve incluir pelo menos: identidade aditiva (x + 0 = x), identidade multiplicativa (x × 1 = x), inverso aditivo (x + (-x) = 0), e propriedades associativas e distributivas. Se algum desses falhar, sua implementação tem bug.
Para quem trabalha com dados financeiros ou científicos, considere usar bibliotecas maduras em vez de escrever do zero. Em Python, decimal e fractions são boas opções. Em JavaScript, não há padrão, então bibliotecas como bignumber.js ou big.js são necessárias. Em C#, System.Numerics.BigInteger com representação fracionária manual. A regra geral: se o domínio exige exatidão, não use float.
