Técnicas de Desigualdades para Olimpiadas

Teoría

Las técnicas de desigualdades para olimpiadas son un paso más allá de solo aplicar teoremas estándar (como AM-GM, Cauchy-Schwarz o Hölder); se trata de usar métodos estructurales y algorítmicos para demostrar desigualdades algebraicas difíciles. Estas técnicas son súper importantes cuando una desigualdad es "ajustada" (o sea, cuando la igualdad se da en casos no triviales) o cuando no puedes estimar la expresión fácilmente término a término. Las más famosas son la Suma de Cuadrados (SOS), el método $uvw$ (que también se conoce como el método $abc$), el truco de la Recta Tangente y el suavizado de variables (Mixing Variables).

La intuición detrás de SOS es que, en teoría, puedes escribir cualquier polinomio no negativo como una suma de cuadrados. Cuando reescribes una desigualdad cíclica o simétrica en la forma canónica $\sum S_a(b-c)^2 \ge 0$, el problema se reduce a analizar los coeficientes $S_a, S_b, S_c$. Mixing Variables y el Suavizado se basan en deformar continuamente las variables para empujar la expresión hacia sus extremos, que casi siempre están en los puntos frontera (por ejemplo, donde las variables son iguales o alguna es cero). El método $uvw$ formaliza esto al transformar polinomios simétricos en funciones de polinomios simétricos elementales; esto