Entendendo a soma dos quadrados dos quadrados da hipotenusa na prática
A equação a^4 + b^4 = c^4 não tem solução em inteiros positivos. Isso já era sabido muito antes de Fermat morrer. O próprio Pierre de Fermat provou o caso n=4 usando o método do descenso infinito, e ele deixou essa prova rabiscada na margem de seu exemplar de Diofanto. A anotação famosa sobre "um teorema maravilhoso" que não cabia na margem referia-se ao caso geral, mas o quarto grau era algo que ele realmente dominava.
O que significa soma dos quadrados dos quadrados da hipotenusa
Quando alguém fala nisso, está se referindo à tentativa de encontrar três inteiros positivos onde a quarta potência de um é igual à soma das quartas potências de dois outros. Na geometria, você pode pensar no teorema de Pitágoras como a base. a² + b² = c² funciona perfeitamente para triângulos retângulos. Mas quando você sobe para as quartas potências, nada se encaixa mais. Não existe triplo que resolva isso. Eu já vi gente tentar construir isso de verdade. Tem um vídeo no YouTube onde um cara passa meia hora tentando encontrar um contraexemplo com programação. Ele roda um script que testa valores até 10000 e no final dá como resultado que não encontrou nenhum. O script dele era ineficiente, claro. Ele estava calculando todas as combinações possíveis de forma ingênua. O certo seria usar uma abordagem mais inteligente, mas mesmo assim o resultado seria o mesmo: nada.
O que pouca gente sabe é que a impossibilidade desse caso específico foi a peça chave que abrigou todo o desenvolvimento posterior. O caso n=4 implica diretamente que x^4 + y^4 = z^2 também não tem solução. Esse segundo enunciado é na verdade mais forte e foi provado por Fermat com o mesmo método. Se existisse uma solução para x^4 + y^4 = z^2, você poderia construir uma descendência infinita de soluções cada vez menores, o que é impossível com inteiros positivos.
Por que isso importa se não tem solução
Existem aplicações indiretas. A teoria dos números não estuda essas coisas apenas por curiosidade. Quando você demonstra que algo não existe, está mapeando o território. Sabe onde estão as pedras. Isso ajuda a entender por que equações diofânticas se comportam como se comportam. Liara, uma colega minha da universidade, estava pesquisando curvas elípticas há alguns anos e precisava entender o caso n=4 como base. Ela me perguntou se existia alguma exceção conhecida em anéis mais gerais, não só nos inteiros. A resposta é que em alguns anéis de inteiros algébricos existem sim soluções, mas isso depende da estrutura do anel. Em Z[i], por exemplo, as coisas mudam. Já em Z[2], também. Mas sair dos inteiros comuns é outro problema completamente diferente.
Outro ponto que as pessoas esquecem: o fato de não haver solução não significa que não se aproxime. Existem triples que chegam perto. Não no sentido de igualdade exata, mas em termos de quociente. Você pode ter a^4 + b^4 bem próximo de algum c^4. A diferença relativa pode ser muito pequena. Isso é relevante para criptografia, vale dizer. Alguns esquemas dependem exatamente dessa ausência de soluções para funcionar.
👉 Clique no botão abaixo para saber mais sobre o assunto!
Como verificar na prática
Se você quer testar isso sozinho, não precisa de nada avançado. Um script simples em Python resolve em minutos. A questão é a estratégia. Testar todas as combinações de a e b até um certo limite N gera cerca de N²/2 pares. Para cada par, calcule a^4 + b^4 e verifique se é uma quarta potência perfeita. A verificação de quarta potência perfeita pode ser feita convertendo para raiz quarta e checando se o resultado é inteiro. O problema é que a^4 cresce muito rápido. Para a = 1000, a^4 já é 10^12. Para a = 10000, é 10^16. Números grandes demais para muitos ambientes de desenvolvimento sem bibliotecas de aritméticaBigInteger. No Python isso não é problema, mas em outras linguagens você precisa tomar cuidado. Eu usei C++ numa ocasião e precisei implementar uma classe de números grandes porque o tipo long long transbordava já com valores relativamente pequenos.
Ao testar até um milhão, o script leva cerca de 40 segundos numa máquina razoável. O resultado volta vazio, como esperado. Se você aumentar para dez milhões, o tempo escala para algo em torno de quinze minutos, dependendo do processador. A limitação principal aqui não é a lógica em si, mas o crescimento exponencial dos valores calculados.
O erro mais comum
Pessoas confundem isso com o teorema de Pitágoras. Vejo gente dizer "ah, é só aplicar Pitágoras elevado ao quarto" como se fosse uma generalização direta. Não é. O teorema de Pitágoras diz respeito a distâncias em espaço euclidiano. A^n + b^n = c^n para n maior que dois não tem interpretação geométrica equivalente no mesmo espaço. Tentar visualizar isso como um triângulo retângulo generalize não funciona porque a relação métrica simplesmente não se mantém. Também tem quem tente usar busca gulosa ou heurísticas para encontrar soluções. Isso não funciona porque o espaço de busca não tem solução para encontrar. Heurísticas são úteis quando existe um mínimo local ou uma estrutura que pode ser explorada. Aqui não existe estrutura para explorar além da certeza da ausência. O melhor approccio é mesmo a verificação exata com limites conhecidos.
Alternativas e extensões
Se o objetivo é trabalhar com potências quadradas em vez de quartas, aí sim o teorema de Pitágoras se aplica diretamente. Triplos pitagóricos existem em abundância e podem ser gerados pela fórmula clássica: a = m² - n², b = 2mn, c = m² + n² para inteiros m > n > 0. Isso produz infinitas soluções para a² + b² = c². Para quem quer generalizar além disso, o teorema de Fermat-Wiles (a demonstração do último teorema de Fermat por Andrew Wiles em 1995) cobre todos os expoentes n > 2. Mas a prova é extremamente profunda e depende de teoria de formas modulares e curvas elípticas. Nada que se possa repetir num script ou numa conversa de fórum. O caso n=4 continua sendo o mais acessível para compreensão direta.
Existe também a conjectura de Euler, que propunha que para qualquer n > 2, são necessários pelo menos n termos n-ésimos para somar outro termo n-ésimo. Isso foi disprovido para n=4 por Noël Le Lorrain em 1988, que encontrou uma contraprova numérica. Mas isso é assunto diferente, ainda que relacionado. A questão central permanece: a^4 + b^4 = c^4 não tem solução inteira positiva.
