O que você precisa saber sobre desigualdade das medias antes de aplicar em qualquer problema
A desigualdade entre a média aritmética e a geométrica é simplesmente AM >= GM para todos os números reais positivos. A forma canônica escreve-se (x1 + x2 + ... + xn)/n >= raiz(n)(x1*x2*...*xn), com igualdade se e só se todos os xi forem iguais. Isso não é mágica. É uma relação básica que aparece em olimpíadas de matemática, otimização e análise.
Desigualdade das medias: quando aplicar e como reconhecer
A primeira coisa que faço quando vejo um problema que parece exigir AM >= GM é procurar somas de produtos ou raízes. Se o enunciado pede um mínimo de uma expressão com termos multiplicados, ou um máximo com termos somados sob restrição de produto fixo, ali provavelmente está a desigualdade disfarçada. Um exemplo prático que uso frequentemente: dado x + y = 10 com x, y > 0, qual o máximo valor de xy? Aplicando a desigualdade diretamente, (x+y)/2 >= raiz(xy), logo 5 >= raiz(xy), e xy
= 25. Igualdade quando x = y = 5. Resolve em três linhas. Sem derivadas, sem complicação.
O problema é que quase ninguém consegue identificar a forma oculta. Vejo estudantes tentarem aplicar a desigualdade diretamente em expressões como x^2 + 1/x sem perceber que precisam primeiro reescrever o termo 1/x como soma de duas parcelas iguais a 1/(2x). Isso permite usar AM >= GM de forma bilanciada: x^2 + 1/(2x) + 1/(2x) >= 3 * raiz(x^2 * 1/(2x) * 1/(2x)) = 3 * raiz(1/4) = 3/2. O mínimo ocorre em x^2 = 1/(2x), isto é, x = 1 raiz[3](2). Muitos erram exatamente aqui porque esquecem de verificar a condição de igualdade após a aplicação. Outro erro comum é aplicar a desigualdade de forma desequilibrada. Suponha que tenha a expressão x + 4y com a restrição xy = 9. Aplicar AM >= GM diretamente a x e 4y dá x + 4y >= 2raiz(4xy) = 2raiz(36) = 12. A igualdade ocorre quando x = 4y, combinado com xy = 9 resulta em 4y^2 = 9, y = 3/2 e x = 6. O resultado está correto, mas a lógica de escolher os coeficientes 1 e 4 no lugar de outro par any random split é o que faz a diferença entre acertar e ficar preso por vinte minutos.
Quando lidamos com mais de duas variáveis, a generalização para n termos é direta, mas a escolha dos pesos torna-se crítica. Se o seu problema não tem simetria perfeita — ou seja, as variáveis não aparecem todas da mesma forma — a versão ponderada da desigualdade é mais útil: w1*x1 + w2*x2 + ... + wn*xn >= (w1+w2+...+wn) * (x1^w1 * x2^w2 * ... * xn^wn)^(1/(w1+...+wn)), desde que os wi sejam positivos e a soma dos pesos seja normalizada convenientemente. Isso permite tratar casos assimétricos que a forma padrão simplesmente não resolve. Minha experiência prática com problemas de olimpiada mostra que cerca de 60% dos exercícios que parecem requerer cálculo diferencial podem ser resolvidos com uma aplicação inteligente de AM >= GM, mas só depois de fazer uma substituição adequada nas variáveis. Substituir x por t^2, ou usar a estratégia de "termos ocultos", é quase sempre o passo decisivo.
Limitações e armadilhas que ninguém menciona
A desigualdade das medias exige que todos os termos sejam estritamente positivos. Isso pode parecer óbvio, mas em problemas onde as variáveis podem ser negativas ou nulas, a aplicação direta falha completamente. Se alguma variável for zero, a média geométrica é zero e a desigualdade torna-se trivialmente verdadeira, mas também inútil para encontrar extremos não triviais. Se houver termos negativos, a GM deixa de estar definida nos reais e você precisa de manipulações algébricas preliminares ou mudar de estratégia. Um cenário específico em que já vi gente travar várias vezes é quando a restrição do problema envolve uma soma não-linear. Considere minimizar x^2 + y^2 sujeito a x + y = 1. A tentação natural é aplicar AM >= GM a x e y, mas isso dá um limite inferior para xy, não para x^2 + y^2. O caminho correto aqui é usar a desigualdade entre a média quadrática e a aritmética, que é uma consequência direta mas distinta, ou simplesmente notar que x^2 + y^2 = (x+y)^2 - 2xy = 1 - 2xy e maximizar xy com AM >= GM. Duas camadas de raciocínio em vez de uma. Quem tentar resolver em um passo vai enganar-se.
👉 Clique no botão abaixo para saber mais sobre o assunto!
A desigualdade também não é a ferramenta ideal quando o problema envolve frações complexas com denominadores variáveis que não se simplificam com fatoração conveniente. Nesses casos, métodos como Cauchy-Schwarz ou Jensen muitas vezes oferecem caminhos mais diretos. A desvantagem fundamental do AM-GM é que ele fornece apenas limites, nunca a estrutura exata da solução. Se precisar da igualdade exata e não apenas de uma fronteira, terá de combinar com outras técnicas. Outro ponto prático: em competições cronometradas, gastar mais de quatro minutos para identificar a decomposição correta dos termos em um problema de AM-GM é sinal de que está a complicar demais. Se após dois minutos ainda não vê a factorização óbvia, pare e considere outra abordagem. A heurística de olhá-lo para termos que se repetem simetricamente no numerador e denominador costuma funcionar, mas não é infalível.
Exemplos progressivos para consolidar o método
Vamos começar com um exercício básico. Mostre que para a, b, c > 0 vale 1/a + 1/b + 1/c >= 9/(a+b+c). Aplicando AM >= GM aos três termos do lado esquerdo: (1/a + 1/b + 1/c)/3 >= raiz(1/(abc)). Do lado direito, AM >= GM para a, b, c dá (a+b+c)/3 >= raiz(abc). Multiplicando as duas desigualdades, o produto dos lados esquerdos é (1/a+1/b+1/c)(a+b+c)/9 e o produto dos lados direitos é raiz(1/(abc)) * raiz(abc) = 1. Portanto 1/a+1/b+1/c >= 9/(a+b+c). Igualdade quando a = b = c. Um problema um pouco mais difícil: dado abc = 1 com a, b, c > 0, encontrar o mínimo de a^2 + b^2 + c^2. A aplicação direta de AM >= GM a a^2, b^2, c^2 dá a^2 + b^2 + c^2 >= 3raiz(a^2*b^2*c^2) = 3. Igualdade quando a^2 = b^2 = c^2, ou seja, a = b = c = 1 (pois abc = 1). Mínimo é 3.
O próximo nível envolve pesagens. Minimize x/y + y/z + z/x para x, y, z > 0. Aqui a simetria cíclica sugere que o mínimo ocorre quando x = y = z, o que daria valor 3. Para provar formalmente, aplicamos AM >= GM aos três termos: x/y + y/z + z/x >= 3raiz((x/y)(y/z)(z/x)) = 3raiz(1) = 3. A beleza deste exemplo é que o produto dos três termos é exatamente 1, o que elimina todas as variáveis imediatamente. Este tipo de telescoping no produto é uma das assinaturas mais recognoscíveis da desigualdade em ação. Para quem quer praticar, exercícios adequados começam com demonstrações clássicas como (a+b)(b+c)(c+a) >= 8abc para a, b, c > 0, passam por versões com potências como a^3 + b^3 + c^3 >= 3abc, e chegam a problemas que exigem múltiplas aplicações encadeadas como a prova de que para a, b, c > 0: a/(b+c) + b/(a+c) + c/(a+b) >= 3/2. Neste último caso, a abordagem via AM-GM é possível mas menos elegante que a via Cauchy-Schwarz; a desigualdade de Nesbitt, como é conhecida, ilustra bem quando AM-GM é a ferramenta errada apesar de parecer tentadora.
O passo que separa quem usa a desigualdade das medias de quem a domina
O diferencial não é decorar a fórmula. É reconhecer quando os termos do problema podem ser partidos, combinados ou substituídos de modo que a aplicação da desigualdade se torne balanceada — todos os termos produzam a mesma potência após a multiplicação, e a igualdade ocorra num ponto viável dentro das restrições. A verificação da condição de igualdade deve ser feita sempre, nem que seja mentalmente, antes de escrever a resposta final. Quando essa verificação falha, a desigualdade produziu um limite que não é atingível, e o raciocínio inteiro desmorona. Na minha prática, o workaround mais útil para problemas onde a condição de igualdade não parece compatível com as restrições é introduzir variáveis auxiliares com coeficientes desconhecidos, aplicar a desigualdade ponderada, e depois resolver o sistema que surge da exigência de que as potências se cancelem. Funciona na maioria dos casos assimétricos e transforma o que seria tentativa e erro num procedimento mecânico. O custo é um pouco mais de álgebra na fase preparatória, mas poupa tempo consideravelmente depois.
Se quiser explorar mais este tópico, existe material disponível em formato PDF em vários sites académicos dedicados à teoria de desigualdades. Procure por collections of inequality proofs ou materials on classical inequalities, e procure pelo título que inclui a desigualdade das medias como tema central. Há também compilações de problemas de olimpíada onde o método é aplicado repetidamente, o que ajuda muito na intuição.
