Comparar Frações Online: Descubra Qual é Maior (-1, 0 ou 1)

A comparação é feita com multiplicação cruzada de inteiros exatos, não com divisão em ponto flutuante, então a resposta está correta mesmo para numeradores e denominadores enormes, nos quais o arredondamento decimal inverteria o resultado silenciosamente. É o tipo de verificação que aparece em ajudantes de lição de casa, pipelines de conversão de unidades e motores de precificação, resolvida em uma única chamada determinística, em vez de uma comparação improvisada que quebra discretamente nos casos extremos.

O que a comparação retorna

Você envia quatro inteiros: o numerador e o denominador da primeira fração e o numerador e o denominador da segunda. Uma comparação de -1 significa que a primeira fração é menor, 0 significa que as duas frações representam exatamente o mesmo valor e 1 significa que a primeira fração é maior. Como 1/2 e 2/4 são o mesmo valor, compará-las retorna 0 — a igualdade diz respeito ao valor, não à aparência dos dígitos.

Junto com o veredito, você também recebe cada fração de volta com seu valor decimal, o que é útil para exibir o resultado, mas nunca é o que o decide: a decisão em si é tomada com aritmética exata, portanto o decimal exibido é uma conveniência, não o mecanismo.

Por que a multiplicação cruzada exata importa

A maneira ingênua de comparar a/b e c/d é dividir ambas e comparar os decimais. Isso funciona até que os números fiquem grandes o suficiente para que duas frações diferentes sejam arredondadas para o mesmo valor de ponto flutuante — ou para que a mesma fração seja arredondada de duas formas diferentes em duas máquinas diferentes.

Este recurso, em vez disso, compara os produtos cruzados a×d e c×b como inteiros exatos, o que é matematicamente equivalente a comparar as frações e não envolve divisão alguma, de modo que não há erro de arredondamento em nenhuma magnitude. Valores negativos se comportam como a matemática determina: -1/2 é menor que 1/3, e um denominador negativo simplesmente torna a fração inteira negativa, então 1/-2 é comparada exatamente como -1/2. Numeradores zero são válidos e são considerados iguais a qualquer outra fração de valor zero.

As únicas entradas rejeitadas de imediato são denominadores zero, porque uma fração com denominador zero é indefinida, e valores não inteiros, porque o contrato trata de frações exatas de inteiros.

Onde ela se encaixa em um pipeline

As equipes a utilizam sempre que um limiar fracionário precisa ser avaliado com exatidão: um motor de descontos que deve decidir se 2/3 de uma cota já foi consumido, uma ferramenta educacional que confere a resposta de um aluno em relação à ordenação correta, ou uma etapa de limpeza de dados que normaliza razões armazenadas em colunas separadas de numerador e denominador.

E como o veredito é um simples -1, 0 ou 1, ele se encaixa diretamente em qualquer callback de ordenação, asserção ou ramificação condicional, sem análise adicional nem conversão de unidades do seu lado.