A propriedade que todo mundo esquece quando os números ficam grandes
Você já tentou fazer uma conta de cabeça e percebeu que ela simplesmente não fechava porque a ordem das operações te pegou de surpresa. Isso acontece com frequência em planilhas que herdam fórmulas de três anos atrás, ou em código legado onde alguém escreveu uma expressão condicional que deveria ter sido dividida. A propriedade distributiva é o fundamento que permite expandir ou compactar expressões multiplicativas sobre adições e subtrações. Em sua forma mais básica, a × (b + c) = a × b + a × c. O inverso também vale, e muitas vezes é mais útil: a × b + a × c = a × (b + c). Parece óbvio até você tentar aplicar isso dentro de um sistema de floats ou num contexto onde a "adição" na verdade é uma concatenação de strings.
O que e propriedade distributiva no fundo mesmo
O conceito diz respeito à relação entre dois operadores binários, normalmente multiplicação e adição, onde a operação externa se "distribui" sobre a interna. Formalmente, um operador * é distributivo sobre um operador + se, para todos os elementos a, b e c do domínio, a * (b + c) = (a * b) + (a * c). Isso não é sempre verdade para qualquer par de operações, só para pares específicos que satisfazem essa propriedade no anel ou estrutura algébrica que você está usando. No dia a dia, você encontra isso em álgebra básica, mas também em otimização de queries SQL, na transformação de expressões regulares, e até em como compiladores reorganizam código para aproveitar unidades vetoriais de processamento. A diferença é que nos contextos avançados a "adição" e a "multiplicação" podem ser operações totalmente diferentes do que você aprendeu no ensino médio.
Eu já vi uma query que levou doze segundos para rodar porque estava somando quatro campos e depois multiplicando o resultado por um fator, quando simplesmente distribuir esse fator antes de somar cortava o tempo para meio segundo. O banco de dados tinha que materializar uma coluna intermediária desnecessária. A versão distribuída letia os quatro campos, aplicava o fator individualmente em cada um e só então somava. Menos memória, menos tempo, menos coisa para dar errado. O que muita gente não percebe na hora de entender o que e propriedade distributiva é que ela tem um lado esquerdo e um direito, e eles não são simetricamente equivalentes em termos de performance ou estabilidade numérica. Expandir pode gerar mais operações intermediárias e acumular erro de ponto flutuante. Compactar pode preservar precisão e reduzir chamadas, mas às vezes mascara dependências que você precisa manter separadas por clareza ou por requisito de negócio.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Tive um problema específico há dois anos trabalhando com cálculo de impostos em um sistema de e-commerce. A regra dizia que o imposto incidia sobre o subtotal mais o frete, e o percentual variava conforme o estado. Eu tinha uma função que calculava (subtotal + frete) * aliquota, onde aliquota era um valor decimal obtido de uma lookup por estado. O problema aparecia quando o frete era zero para certos produtos e a aliquota também tinha casas decimais irregulares. Devido ao arredondamento do IEEE 754, (subtotal + 0.0) * aliquota às vezes retornava um centavo a mais ou a menos comparado ao esperado, enquanto subtotal * aliquota + 0.0 * aliquota era consistentemente mais preciso porque eliminava a adição desnecessária antes do multiplicação. A solução foi trivial na teoria: distribuir a expressão e tratar o termo zero explicitamente com um branch condicional. Na prática, o código legado tinha dezenas de chamadas aninhadas e eu precisei escrever um transformador que identificava padrões do tipo (a + b) * c, verificava se b podia ser zero em algum caminho conhecido, e gerava o código distribuído com o guard correspondente. Levou uma tarde inteira só para mapear os casos de borda, mas após a refactor o bug de arredondamento sumiu completamente e a validação financeira passou a bater 100%.
Outro detalhe que cursos básicos costumam pular: a propriedade distributiva não é comutativa por si só. Isso significa que a × (b + c) é válido, mas (b + c) × a só é igual se a multiplicação for comutativa no seu domínio. Em matrizes, por exemplo, a multiplicação não é comutativa, então AB + AC = A(B + C) funciona, mas BA + CA (B + C)A de forma geral. Já vi engenheiro de machine learning perder metade de um dia de debugging porque assumiu que podia fatorar à direita numa expressão de tensores onde a ordem dos operandos importava. Se você está implementando um interpretador ou um otimizador de expressões, a distribuição é uma das transformações mais importantes, mas também uma das que mais geram explosão de termos. Distribuir uma soma de dez termos sobre um produto de cinco termos gera cinquenta termos. Em alguns domínios, como otimização combinatorial, isso é inaceitável. Nesses casos, a dica prática é limitar a profundidade da distribuição a dois níveis e usar heurísticas baseadas no tamanho estimado da árvore de expressão resultante, não apenas no número de nós atual.
Em calculadoras científicas e engines físicas, a distribuição direta também pode ser problemática quando um dos operandos é uma variável pequena perto da máquina epsilon. Multiplicar primeiro e depois somar tende a preservar melhor a precisão do que somar primeiro e depois multiplicar, especialmente se a soma criar um número muito maior que os termos individuais. O truque é analisar a magnitude relativa antes de escolher a forma distribuída. Existe ainda o caso das structures com mais de duas operações, como anéis com multiplicação e adição definidos de forma customizada. Nesses ambientes, a propriedade distributiva pode valer apenas parcialmente, e assumir que ela vale totalmente é uma source common de bugs em bibliotecas criptográficas e em simuladores de sistemas embarcados. Sempre verifique os axiomas da estrutura que você está usando antes de aplicar transformações distributivas cegamente.
Resumindo sem resumo: a propriedade distributiva é útil, mas exige atenção ao contexto operacional, à estabilidade numérica e ao custo de expansão de termos. O conhecimento da definição é o mínimo. O que diferencia quem domina o assunto de quem decorou para prova é saber quando não aplicar a distribuição, mesmo quando a matemática permite.
