Aritmética |
Geometría |
Polinomios |
Desigualdades |
Álgebra |
Combinatoria |
Invariantes |
Si has seguido las lecciones anteriores, tendrás ya algunas ideas para atacar desigualdades, aunque la mayoría de ellas consisten en aplicar desigualdades conocidas a ciertas cantidades y hacer operaciones. Ahora vamos a ver algunas técnicas más para transformar algunas desigualdades en otras que posiblemente sean más sencillas.
Imagina que has ganado un concurso y el premio consiste en 6 regalos. Sin embargo, hay tres tipos de regalos: unos valorados en 100€, otros valorados en 200€ y otros valorados en 500€, y, de los seis regalos, se te permite escoger tres de un valor, dos de otro valor y el último del tercer valor. ¿Cómo hacer para maximizar el valor del premio? Bueno, todo el mundo sabe que lo ideal es coger tres regalos de 500€, dos de 200€ y el último de 100€. Es decir, el máximo número posible de los regalos de más valor, después el máximo número posible de los del segundo mejor valor, y así sucesivamente. Esta es la idea que subyace en la desigualdad de reordenación.
En otras palabras, la desigualdad de reordenación nos dice que la suma es máxima cuando emparejamos el mayor con el mayor, el segundo mayor con el segundo mayor, y así sucesivamente. La suma es mínima cuando emparejamos el mayor con el menor, el segundo mayor con el segundo menor, etc. Antes de pasar a ver algunos ejemplos, vamos a hacer algunas observaciones importantes:
Vamos a ver ahora algunos ejemplos en los que aplicar estas ideas (hay que decir que no siempre es fácil usar la desigualdad de reordenación, pero cuando se usa resulta ser muy útil).
En realidad, la demostración de la desigualdad es muy sencilla. Para verlo, vamos a comenzar viendo lo que ocurre para $n=2$, es decir, tendremos $a_1\leq a_2$ y $b_1\leq b_2$ y queremos probar que \[a_1b_2+a_2b_1\leq a_1b_1+a_2b_2\] (observa que con $n=2$ sólo hay dos ordenaciones posibles). Si pasamos todo al segundo miembro, la desigualdad es equivalente a \[0\leq a_1b_1+a_2b_2-a_1b_2-a_2b_1=(a_2-a_1)(b_2-b_1),\] que obviamente es cierta porque $a_2-a_1\geq 0$ y $b_2-b_1\geq 0$.
¿Cómo puede ayudarnos esto al caso general? Bueno, si tenemos $n\gt 2$, entonces podemos ir cambiando los números de dos en dos. Sería bueno que te convencieras de esto, aunque aquí vamos a ver un ejemplo concreto: dados $a_1\leq a_2\leq a_3$ y $b_1\leq b_2\leq b_3$, probemos que \[a_1b_3+a_2b_1+a_3b_2\leq a_1b_1+a_2b_2+a_3b_3{,}\] para lo que usamos el caso $n=2$ con el primer y el segundo sumando y luego con el segundo y el tercero: \[a_1b_3+a_2b_1+a_3b_2\leq a_1b_1+a_2b_3+a_3b_2\leq a_1b_1+a_2b_2+a_3b_3{,}\] En otras palabras, nos llevamos primero el mayor con el mayor, luego el segundo mayor con el segundo mayor y así sucesivamente. Intenta entender por qué esto se puede hacer siempre.
Aunque ya veremos otra demostración de este resultado, vamos a utilizar la desigualdad de reordenación para demostrar la desigualdad entre las medias aritmética y geométrica de un conjunto de números $x_1,x_2,\ldots,x_n\gt 0$, es decir, para demostrar que \[\sqrt[n]{x_1x_2\cdots x_n}\leq\frac{x_1+x_2+\ldots+x_n}{n}{.}\] Para eso, vamos a considerar los números auxiliares \[y_1=\frac{x_1}{\sqrt[n]{x_1\cdots x_n}},\quad y_2=\frac{x_2}{\sqrt[n]{x_1\cdots x_n}},\ldots\quad y_n=\frac{x_n}{\sqrt[n]{x_1\cdots x_n}}{,}\] que cumplen que $y_1y_2\cdots y_n=1$. Entonces, vamos a escribir \[y_1=\frac{a_1}{1},\quad y_2=\frac{a_2}{a_1},\quad y_3=\frac{a_3}{a_2},\ldots\quad y_{n-1}=\frac{a_{n-1}}{a_{n-2}}{.}\] para ciertos números positivos $a_1,a_2,\ldots,a_{n-1}$ (esto puede hacerse siempre por ser $y_1,y_2,\ldots,y_{n-1}$ positivos). Ahora bien, como $y_1y_2\cdots y_n=1$, tendremos que \[y_n=\frac{1}{y_1y_2\cdots y_{n-1}}=\frac{1\cdot a_1\cdot a_2\cdots a_{n-2}}{a_1\cdot a_2\cdots a_{n-1}}=\frac{1}{a_{n-1}}{.}\] Aplicando la desigualdad de reordenación a $\{1,a_1,a_2,\ldots,a_{n-1}\}$ y a sus inversos (que están ordenados en orden opuesto), tenemos que \[y_1+y_2+\ldots+y_n=\frac{1}{a_1}+\frac{a_1}{a_2}+\ldots+\frac{a_{n-2}}{a_{n-1}}+\frac{a_{n-1}}{1}\geq\frac{1}{1}+\frac{a_1}{a_1}+\ldots+\frac{a_{n-1}}{a_{n-1}}=n.\] Finalmente, tenemos que \[n\leq y_1+y_2+\ldots+y_n=\frac{x_1+x_2+\ldots+ x_n}{\sqrt[n]{x_1x_2\cdots x_n}}{,}\] de donde deducimos la desigualdad buscada.
Ir arribaIr al índiceInformar Problemas que puedes resolver con lo aprendido en esta lecciónProblemas de Desigualdades