La igualdad se cumple si todos los términos son iguales.
La Desigualdad de las Medias Aritmética y Geométrica (AM-GM) dice que para cualquier conjunto de números reales no negativos, la media aritmética siempre es mayor o igual que la media geométrica. La Condición de Igualdad es una parte clave de este teorema, y te dice que la igualdad ocurre si y solo si todos los números del conjunto son iguales. Aunque la desigualdad en sí te da un límite, la condición de igualdad te indica exactamente cuándo puedes alcanzar ese límite.
Entender la condición de igualdad es fundamental para resolver problemas de optimización en álgebra y geometría. En las olimpiadas de matemáticas, como el AMC 12 o el AIME, los problemas suelen pedir el valor mínimo de una suma cuando tienes un producto fijo, o el valor máximo de un producto cuando tienes una suma fija. La desigualdad AM-GM te da el valor límite, pero la condición de igualdad justifica que realmente puedes alcanzar ese valor. Si las variables no pueden ser iguales (por otras restricciones del problema), entonces aplica la desigualdad estricta y el límite de AM-GM no será el verdadero mínimo o máximo.
La intuición detrás de esta condición viene del concepto de "suavizado" o "balanceo". Si tienes dos números positivos distintos con una suma fija, el producto es más grande cuando los acercas entre sí, y llega al máximo cuando son idénticos. Por ejemplo, con una suma de 10, el par $(1, 9)$ tiene un producto de 9, mientras que $(5, 5)$ tiene un producto de 25.