Sistemas simétricos y cíclicos

Polinomios simétricos y cíclicos: definiciones

Un polinomio $P(a, b, c)$ es simétrico si no cambia al permutar cualquier par de sus variables: $P(a,b,c) = P(b,a,c) = P(a,c,b) = \ldots$ para toda permutación. Es cíclico si no cambia bajo la permutación cíclica $a \to b \to c \to a$, aunque sí puede cambiar al intercambiar solo dos variables.

Ejemplos de polinomios simétricos: $a + b + c$, $ab + bc + ca$, $abc$, $a^2 + b^2 + c^2$. Ejemplo de polinomio cíclico pero no simétrico: $a^2 b + b^2 c + c^2 a$ (bajo $a \to b \to c \to a$ se convierte en $b^2 c + c^2 a + a^2 b$, igual; pero bajo $a \leftrightarrow b$ se convierte en $b^2 a + a^2 c + c^2 b \neq a^2 b + b^2 c + c^2 a$ en general).

El teorema fundamental de los polinomios simétricos garantiza que todo polinomio simétrico en $a, b, c$ puede expresarse como polinomio en los tres polinomios simétricos elementales: $e_1 = a + b + c$, $\; e_2 = ab + bc + ca$, $\; e_3 = abc$. Esto es extraordinariamente poderoso: en lugar de manejar tres variables independientes, trabajamos con tres cantidades que a menudo el problema nos da directamente.

Identidades de Newton: conectando sumas de potencias

Las identidades de Newton relacionan las sumas de potencias $p_k = a^k + b^k + c^k$ con los polinomios simétricos elementales $e_1, e_2, e_3$. Las tres primeras identidades son las más usadas en olimpiadas:

$p_1 = e_1$, es decir, $a + b + c = e_1$. Esta es trivial. $p_2 = e_1 p_1 - 2e_2$, es decir, $a^2 + b^2 + c^2 = (a+b+c)^2 - 2(ab+bc+ca) = e_1^2 - 2e_2$. $p_3 = e_1 p_2 - e_2 p_1 + 3e_3$, es decir, $a^3 + b^3 + c^3 = (a+b+c)(a^2+b^2+c^2) - (ab+bc+ca)(a+b+c) + 3abc$.

La fórmula general de Newton es $p_k = e_1 p_{k-1} - e_2 p_{k-2} + e_3 p_{k-3} - \cdots$ con signos alternados y usando la convención $p_0 = n$ (número de variables). En dos variables: $p_k = (a+b)p_{k-1} - (ab)p_{k-2}$, lo que genera la recurrencia $p_k = e_1 p_{k-1} - e_2 p_{k-2}$. Estas recurrencias son herramientas de olimpiada de primer nivel.

Aplicación inmediata: si $a + b = 5$ y $ab = 3$, entonces $a^2 + b^2 = 25 - 6 = 19$; $a^3 + b^3 = 5 \cdot 19 - 3 \cdot 5 = 95 - 15 = 80$; $a^4 + b^4 = 5 \cdot 80 - 3 \cdot 19 = 400 - 57 = 343$. Todo sin conocer $a$ y $b$ individualmente.

Ejemplo trabajado: resolver un sistema simétrico

Problema: Sean $a, b, c$ reales tales que $a + b + c = 6$, $ab + bc + ca = 11$ y $abc = 6$. Halla $a^2 + b^2 + c^2$ y $a^3 + b^3 + c^3$.

Tenemos $e_1 = 6$, $e_2 = 11$, $e_3 = 6$. Por la primera identidad de Newton: $a^2 + b^2 + c^2 = e_1^2 - 2e_2 = 36 - 22 = 14$. Para la suma de cubos: $a^3 + b^3 + c^3 = e_1(a^2+b^2+c^2) - e_2 \cdot e_1 + 3e_3 = 6 \cdot 14 - 11 \cdot 6 + 3 \cdot 6 = 84 - 66 + 18 = 36$.

Nótese que $a, b, c$ son raíces del polinomio $t^3 - e_1 t^2 + e_2 t - e_3 = t^3 - 6t^2 + 11t - 6 = (t-1)(t-2)(t-3) = 0$. Así $\{a,b,c\} = \{1,2,3\}$, lo cual es consistente: $1^3 + 2^3 + 3^3 = 1 + 8 + 27 = 36$ ✓.

Este es el flujo estándar para sistemas simétricos en olimpiadas: identificar $e_1, e_2, e_3$ desde las condiciones del problema, aplicar identidades de Newton para calcular las cantidades pedidas, y si se requieren los valores individuales de $a, b, c$, construir el polinomio cúbico $t^3 - e_1 t^2 + e_2 t - e_3$ cuyas raíces son $a, b, c$.

Sistemas cíclicos: técnicas adicionales

En sistemas cíclicos no simétricos, las identidades de Newton no se aplican directamente, pero la simetría cíclica todavía permite simplificar. La técnica más común es sumar todas las ecuaciones del ciclo, lo que produce una expresión simétrica, y luego usar álgebra simétrica.

Ejemplo clásico: $a + b = 5$, $b + c = 7$, $c + a = 4$. Sumando las tres: $2(a+b+c) = 16$, luego $a + b + c = 8$. Ahora cada variable: $c = 8 - 5 = 3$, $a = 8 - 7 = 1$, $b = 8 - 4 = 4$. La suma total desacopla el sistema.

Para sistemas cíclicos de grado 2 o superior, a veces conviene restar ecuaciones para cancelar términos. En otros casos, la substitución $a = x + y$, $b = x\omega + y\omega^2$, $c = x\omega^2 + y\omega$ con $\omega = e^{2\pi i/3}$ (raíz cúbica de la unidad) diagonaliza el sistema cíclico, aunque esta técnica excede el nivel ONEM regional.

Truco frecuente en competencias: si el sistema tiene la forma $a^2 + b = k$, $b^2 + c = k$, $c^2 + a = k$ (un ciclo con la misma constante $k$), resta pares de ecuaciones para obtener $a^2 - b^2 = c - b$, es decir $(a-b)(a+b) = -(b-c)$. Esta cadena de relaciones suele demostrar que $a = b = c$, que es la solución simétrica.

Problemas resueltos de nivel ONEM

Problema 1: Si $x + y = 4$ y $x^2 + y^2 = 10$, halla $x^3 + y^3$ y $xy$. Solución: $xy = \dfrac{(x+y)^2 - (x^2+y^2)}{2} = \dfrac{16 - 10}{2} = 3$. Luego $x^3+y^3 = (x+y)(x^2-xy+y^2) = 4 \cdot (10 - 3) = 28$.

Problema 2: Dado que $a + b + c = 0$, simplifica $a^3 + b^3 + c^3$. Solución: sabemos $a^3 + b^3 + c^3 - 3abc = (a+b+c)(a^2+b^2+c^2-ab-bc-ca)$. Como $a+b+c = 0$, el lado derecho es $0$. Luego $a^3 + b^3 + c^3 = 3abc$. Este resultado es una identidad esencial de olimpiadas.

Problema 3 (ONEM estilo): Si $a + b + c = 6$, $a^2 + b^2 + c^2 = 14$ y $a^3 + b^3 + c^3 = 36$, halla $abc$. Solución: de las dos primeras, $e_2 = ab + bc + ca = \dfrac{e_1^2 - p_2}{2} = \dfrac{36 - 14}{2} = 11$. De la fórmula de $p_3$: $36 = e_1 p_2 - e_2 e_1 + 3e_3 = 6 \cdot 14 - 11 \cdot 6 + 3e_3 = 84 - 66 + 3e_3 = 18 + 3e_3$. Así $3e_3 = 18$, luego $abc = 6$.