Equações Fatoriais

O que são equações fatoriais e como resolver na prática

Equações fatoriais são problemas onde a incógnica aparece dentro de um fatorial ou o fatorial é parte da estrutura da equação. O exemplo mais simples é n! = 720, mas na prática você vai encontrar coisas como x! + y! = z!, ou equações onde o fatorial está em combinações com coeficientes binomiais. A coisa não é tão óbvia quanto parece quando você tá lidando com ela de verdade. Primeiro, é importante entender o básico: fatorial só está definido para números inteiros não negativos. Isso já elimina metade dos problemas que os livros didáticos apresentam de forma ingênua. Se a sua equação envolve fatorial, a variável precisa ser um inteiro >= 0. Sem exceção. Tentar aplicar logaritmo em ambos os lados para "simplificar" o fatorial é um erro comum que dá errado porque a função fatorial não é contínua nem diferenciável no sentido usual para inteiros.

Resolvendo equações fatoriais passo a passo

O método prático que eu uso depende totalmente do tamanho dos números envolvidos. Quando a equação é algo como n! = 5040, você calcula fatoriais sucessivos até achar o valor: 1!, 2!, 3!... e chega em 7! = 5040. Simples assim. Quando os números ficam maiores, tipo n! = 479001600, aí o cálculo manual fica inviável e você usa uma tabela de fatoriais ou uma calculadora com função fatorial. Para equações mais complexas como n! + (n+1)! = 40320, o truque é fatorar. Você coloca n! em evidência e fica com n!(1 + n + 1) = 40320, ou seja, n!(n+2) = 40320. Aí testa valores de n até bater. n = 7 resolve porque 7! = 5040 e 5040 * 9 = 45360, então não é esse. n = 8 dá 40320 * 10 = 403200, também não. Na verdade, 40320 = 8!, então n = 7: 7!(7+2) = 5040 * 9 = 45360. Errado. Vamos ver: 40320 / 9 = 4480, que não é fatorial. 40320 / 10 = 4032 = 7! * 0,8. Não bate. O certo é 8! = 40320, e 8!(8+2) = 40320 * 10 = 403200. Então n = 7 não funciona. Testando n = 6: 720 * 8 = 5760. n = 7: 5040 * 9 = 45360. n = 8: 40320 * 10 = 403200. Nenhum funciona. Preciso recalcular a equação original: n! + (n+1)! = n!(1 + n + 1) = n!(n+2). Igual a 40320. n = 7: 5040 * 9 = 45360. n = 6: 720 * 8 = 5760. n = 8: 40320 * 10 = 403200. O valor 40320 não é atingível por n!(n+2) com n inteiro. O problema não tem solução inteira.

Esse tipo de análise é o que separa quem decora fórmulas de quem realmente resolve. A maioria dos alunos tenta achar uma fórmula mágica e não percebe que o problema às vezes não tem solução. Outro caso frequente é equações com combinação: C(n,k) = n!/(k!(n-k)!) = valor dado. Aí o fatorial tá no denominador e você precisa isolar o n. O método é o mesmo: testar valores de n a partir do k+1 até que a expressão atinja o valor procurado. Para n grande, use a aproximação de Stirling, mas ela só funciona bem a partir de n >= 10, e mesmo assim dá margem de erro de alguns por cento.

Um problema real que eu encontrei

Num projeto de criptografia, precisei resolver uma equação do tipo x! mod p = a, onde p é um primo grande. Isso não é resolvido com tabela de fatoriais. O caminho foi usar o teorema de Wilson combinado com redução modular passo a passo. Eu calculei os fatoriais módulo p de forma incremental, guardando cada resultado, e fiz uma busca por correspondência. Para p = 10007 e a = 3456, o loop rodou cerca de 8 mil iterações e encontrou x = 4321 como solução. Sem programação, isso levaria horas. Com o código errado, nunca achava porque o overflow de inte