Archivo de la etiqueta: desigualdades

Seminario de Resolución de Problemas: Rango de matrices y el teorema de factorización PJQ

Introducción

El algunas ocasiones es suficiente saber si una matriz es invertible o no. Sin embargo, esta es una distinción muy poco fina. Hay algunos otros problemas en los que se necesita decir más acerca de la matriz. Podemos pensar que una matriz invertible, como transformación lineal, “guarda toda la información” al pasar de un espacio vectorial a otro. Cuando esto no sucede, nos gustaría entender “qué tanta información se guarda”. El rango de matrices es una forma de medir esto. Si la matriz es de m\times n, el rango es un número entero que va de cero a n. Mientras mayor sea, “más información guarda”.

Por definición, el rango de una matriz A de m\times n es igual a la dimensión del subespacio vectorial de \mathbb{R}^m generado por los vectores columna de A. Una matriz de n\times n tiene rango n si y sólo si es invertible.

Si pensamos a A como la transformación lineal de \mathbb{R}^n a \mathbb{R}^m tal que X\mapsto AX, entonces el rango es precisamente la dimensión de la imagen de A. Esto permite extender la definición de rango a transformaciones lineales arbitrarias, y se estudia con generalidad en un curso de álgebra lineal.

En las siguientes secciones enunciaremos sin demostración algunas propiedades del rango de matrices y las usaremos para resolver problemas.

Propiedades del rango de matrices

Comenzamos enunciando algunas propiedades del rango de matrices

Teorema. Sean m, n y p enteros. Sea B una matriz de n\times p, y A, A' matrices de m\times n. Sean además P una matriz de n\times p cuya transformación lineal asociada es suprayectiva y Q una matriz de r\times m cuya transformación lineal asociada es inyectiva. Entonces:

  1. \rank(A)\leq \min(m,n)
  2. \rank(AB)\leq \min(\rank(A),\rank(B))
  3. \rank(A+A')\leq \rank(A) + \rank(A')
  4. \rank(QA) = \rank(A)
  5. \rank(AP)=\rank(A)

Consideremos el siguiente problema, tomado del libro Essential Linear Algebra de Titu Andreescu.

Problema. Las matrices A y B tienen entradas reales. La matriz A es de 3\times 3, la matriz B es de 2\times 3 y además

    \[AB=\begin{pmatrix} 0 & -1 & -1 \\ -1 & 0 & -1 \\ 1 & 1 & 2 \end{pmatrix}.\]

Determina el valor del producto BA.

Sugerencia pre-solución. Un paso intermedio clave es mostrar que el producto BA es invertible.

Solución. Para empezar, afirmamos que (AB)^2=AB. Esto se puede verificar directamente haciendo el producto de matrices.

Luego, afirmamos que el rango de AB es 2. En efecto, eso se puede hacer fácilmente por definición. Por un lado, la suma de las primeras dos columnas es igual a la tercera, así que el espacio vectorial que generan las tres es de dimensión a lo más dos. Pero es al menos dos, pues las primeras dos columnas son linealmente independientes. Esto muestra la afirmación.

Ahora, usando la propiedad (2) del teorema dos veces, tenemos que

    \begin{align*}\rank(BA)&\geq \rank (A(BA)) \\&\geq \rank (A(BA)B)\\&=\rank((AB)^2) \\&= \rank (AB)\\&=2.\end{align*}

Así, BA es una matriz de 2\times 2 de rango 2 y por lo tanto es invertible.

Consideremos ahora el producto (BA)^3. Desarrollando y usando que (AB)^2=AB, tenemos que

    \begin{align*}(BA)^3 &= BABABA \\&=B(AB)^2 A\\&=BABA\\&=(BA)^2.\end{align*}

Como BA es invertible, entonces (BA)^2 tiene inversa. Si multiplicamos la igualdad (BA)^3 = (BA)^2 por esa inversa, obtenemos que

    \[BA=I_2.\]

\square

El teorema anterior nos permite acotar por arriba el rango del producto de dos matrices. También hay una desigualdad que nos permite acotar por abajo el rango de dicho producto, cuando las matrices son cuadradas.

Teorema (desigualdad de Sylvester). Para matrices A y B de n\times n, se tiene que

    \[\rank(AB)\geq \rank(A) + \rank(B) - n.\]

Problema. La matriz A es de 2020 \times 2020. Muestra que:

  • Si A tiene rango 2017, entonces la matriz A^{673} no puede ser la matriz de 2020\times 2020 de puros ceros, es decir, O_{2020}.
  • Si A tiene rango 2016, entonces la matriz A^{673} puede ser la matriz O_{2020}.

Sugerencia pre-solución. Enuncia una afirmación más general relacionada con el rango que puedas probar por inducción utilizando la desigualdad de Sylvester.

Solución. Para la primer parte, probaremos primero algo más general. Afirmamos que si M es una matriz de n \times n de rango n-s y k es un entero positivo, entonces el rango de la matriz M^k es por lo menos n-ks. Procedemos por inducción sobre k. Si k=1, el resultado es cierto pues M tiene rango n-s=n-1\cdot s.

Supongamos el resultado para cierto entero k. Usando la desigualdad de Sylverster y la hipótesis inductiva, tenemos que

    \begin{align*}\rank(A^{k+1})&\geq \rank(A^k) + \rank(A) - n\\&\geq (n-ks) + (n-s) - n\\&=n-(k+1)s.\end{align*}

Esto muestra la afirmación general.

Si regresamos a la primer parte del problema original y aplicamos el resultado anterior, tenemos que A^{673} es una matriz de rango por lo menos

    \[2020 - 673 \cdot 3 = 2020 - 2019 = 1.\]

De esta forma, A^{673} no puede ser la matriz 0.

Hagamos ahora la segunda parte del problema. Para ello, debemos construir una matriz A de 2020\times 2020 de rango 2016 tal que A^{673} sea la matriz 0. Para ello, consideremos la matriz A tal que sus primeras 4 columnas sean iguales al vector 0, y que sus columnas de la 5 a la 2020 sean los vectores canónicos e_1,\ldots, e_{2016}.

Esta matriz claramente es de rango 2016, pues el espacio generado por sus columnas es el espacio generado por e_1,\ldots, e_{2016}, que es de dimensión 2016. Por otro lado, se puede mostrar inductivamente que para k=1,\ldots,505, se tiene que A^{k} es una matriz en donde sus columnas de 1 a 4k son todas el vector 0, y sus columnas de 4k+1 a 2020 son e_1,\ldots, e_{2020-4k}. En particular, A^{505}=O_{2020}, y entonces A^{673} también es la matriz de puros ceros.

\square

Equivalencias de rango de matrices

Hay muchas formas alternativas para calcular el rango de una matriz. El siguiente teorema resume las equivalencias más usadas en resolución de problemas.

Teorema. Sea A una matriz de m\times n con entradas reales. Los siguientes números son todos iguales:

  • El rango de A, es decir, la dimensión del espacio vectorial generado por los vectores columna de A.
  • La dimensión del espacio vectorial generado por los vectores fila de A. Observa que esto es, por definición, el rango de la transpuesta de A.
  • La cantidad de filas no cero que tiene la forma escalonada reducida de A.
  • (Teorema de rango-nulidad) n-\dim \ker(A), donde \ker(A) es el espacio vectorial de soluciones a AX=0.
  • El tamaño más grande de una submatriz cuadrada de A que sea invertible.
  • La cantidad de eigenvalores complejos distintos de cero contando multiplicidades algebraicas.

Problema. Determina todos los posibles rangos que pueden tener las matrices con entradas reales de la forma

    \[\begin{pmatrix} a & b  & c & d \\ b & a & d & c \\ c & d & a & b \\ d & c & b & a \end{pmatrix}.\]

Sugerencia pre-solución. Comienza haciendo casos pequeños. Para dar los ejemplos y mostrar que tienen el rango deseado, usa el teorema de equivalencia de rango para simplificar algunos argumentos.

Solución. El rango de una matriz de 4\times 4 es un entero de 0 a 4. Debemos ver cuáles de estos valores se pueden alcanzar con matrices de la forma dada.

Tomando a=b=c=d=0, obtenemos la matriz O_4, que tiene rango 0. Si a=b=c=d=1, obtenemos la matriz de puros unos, que tiene rango 1. Además, si a=1 y b=c=d=0, obtenemos la matriz identidad, que tiene rango 4.

Si a=b=1 y c=d=0, obtenemos la matriz

    \[A = \begin{pmatrix} 1 & 1 & 0 & 0 \\1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 \\ 0 & 0 & 1 & 1 \end{pmatrix}.\]

Esta matriz tiene sólo dos columnas diferentes, así que su rango es a lo más dos. Pero tiene como submatriz a la matriz

    \[I_2=\begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix},\]

que tiene rango 2, entonces el rango de A es al menos 2. De esta forma, el rango de A es 2.

Veamos ahora que el rango puede ser 3. Para ello, damos un argumento de determinantes. Llamemos s=a+b+c+d. Sumando las tres últimas filas a la primera y factorizando s, tenemos que

    \begin{align*}\begin{vmatrix} a & b & c & d \\ b & a & d & c \\ c & d & a & b \\ d & c & b & a \end{vmatrix}&=\begin{vmatrix} s & s & s & s \\ b & a & d & c \\ c & d & a & b \\ d & c & b & a \end{vmatrix}\\&=s\begin{vmatrix} 1 & 1 & 1 & 1 \\ b & a & d & c \\ c & d & a & b \\ d & c & b & a \end{vmatrix}.\end{align*}

Así, si tomamos a=b=c=1 y d=-3, entonces s=0 y por lo tanto la matriz B que obtenemos no es invertible, así que su rango es a lo más tres. Pero además es de rango al menos tres pues B tiene como submatriz a

    \[\begin{pmatrix} 1 & 1 & -3 \\ 1 & -3 & 1  \\ -3 & 1 & 1 \end{pmatrix},\]

que es invertible pues su determinante es

    \[-3-3-3-1-1+27=16\neq 0.\]

Concluimos que los posibles rangos que pueden tener las matrices de esa forma son 0,1,2,3,4.

\square

El teorema de factorización PJQ

Existen diversos teoremas que nos permiten factorizar matrices en formas especiales. De acuerdo a lo que pida un problema, es posible que se requiera usar uno u otro resultado. El teorema de factorización más útil para cuando se están resolviendo problemas de rango es el siguiente.

Teorema (factorización PJQ). Sea A una matriz de m\times n y r un entero en \{0,\ldots,\min(m,n)\}. El rango de A es igual a r si y sólo si existen matrices invertibles P de m\times m y Q de n\times n tales que A=PJ_rQ, en donde J_r es la matriz de m\times n cuyas primeras r entradas de su diagonal principal son 1 y todas las demás entradas son cero, es decir, en términos de matrices de bloque,

    \[J_r=\begin{pmatrix}I_r & O_{r,n-r} \\O_{m-r,r} & O_{m-r,n-r}\end{pmatrix}.\]

Como evidencia de la utilidad de este teorema, sugerimos que intentes mostrar que el rango por columnas de una matriz es igual al rango por filas, usando únicamente la definición. Esto es relativamente difícil. Sin embargo, con el teorema PJQ es inmediato. Si A es de m\times n y tiene rango r, entonces su factorización PJQ es de la forma

    \[A=PJ_rQ.\]

Entonces al transponer obtenemos

    \begin{align*}^tA&= {^tQ} {^t J_r} {^tP}.\end{align*}

Esto es de nuevo un factorización PJQ, con {^t J_r} la matriz de n\times m que indica que ^t A es de rango r.

Veamos ahora un problema clásico en el que se puede usar la factorización PJQ.

Problema. Sea A una matriz de m \times n y rango r. Muestra que:

  • A puede ser escrita como la suma de r matrices de rango 1.
  • A no puede ser escrita como la suma de r-1 o menos matrices de rango 1.

Sugerencia pre-solución. Para la primer parte, usa el teorema PJQ. Para la segunda parte, usa desigualdades del rango.

Solución. Tomemos A=PJ_rQ una factorización PJQ de A.

Hagamos la primer parte. Para ello, para cada i=1,\ldots,r, consideremos la matriz L_i de m\times n tal que su i-ésima entrada en la diagonal principal es 1 y el resto de sus entradas son iguales a 0.

Por un lado, L_i es de rango 1, pues tiene sólo una columna distinta de cero. De este modo,

    \[\rank(PL_iQ)\leq \rank(PL_i) \leq \rank(L_i)=1,\]

y como P y Q son invertibles,

    \[\rank(PL_iQ)\geq \rank(L_i) \geq 1.\]

Así, para cada i=1,\ldots, r, se tiene que L_i es de rango 1.

Por otro lado,

    \[J_r = L_1 + L_2 + \ldots + L_r,\]

así que

    \begin{align*}A&=PJ_rQ\\&=P(L_1 + L_2 + \ldots + L_r)Q\\&=PL_1Q + PL_2Q + \ldots + PL_rQ.\end{align*}

Esto expresa a A como suma de r matrices de rango 1.

Para la segunda parte del problema, usamos repetidamente que el rango es subaditivo. Si tenemos matrices B_1,\ldots,B_s matrices de m\times n, entonces

    \begin{align*}\rank(B_1&+B_2+\ldots+B_s) & \\&\leq \rank(B_1) + \rank (B_2 + \ldots + B_s)\\&\leq \rank(B_1) + \rank(B_2) + \rank(B_3+\ldots+B_s)\\& vdots \\&\leq \rank(B_1) + \rank(B_2) + \ldots + \rank(B_s).\end{align*}

Si cada B_i es de rango 1, entonces su suma tiene rango a lo más s.

Así, la suma de r-1 o menos matrices de rango 1 tiene rango a lo más r-1, y por lo tanto no puede ser igual a A.

\square

Más problemas

Puedes encontrar más problemas de rango de una matriz en la Sección 5.4 del libro Essential Linear Algebra de Titu Andreescu. El teorema PJQ, así como muchos problemas ejemplo, los puedes encontrar en el Capítulo 5 del libro Mathematical Bridges de Andreescu, Mortici y Tetiva.

Álgebra Superior II: Desigualdades de polinomios reales

Introducción

En la entrada anterior mostramos el teorema de factorización para polinomios con coeficientes reales. Lo que haremos ahora es ver que podemos aplicarlo en la resolución de desigualdades de polinomios en \mathbb{R}[x]. El objetivo es que, al final de la entrada, entendamos cómo se pueden resolver problemas como los siguientes:

Problema. Determina todos los números x en \mathbb{R} para los cuales

    \[x^6-12x^4-49x^2-30 > 3x^5-48x^3-51x+6.\]

Problema. Determina todos los números x en \mathbb{R} para los cuales

    \[\frac{1}{x}>x^3-x^2+1.\]

Antes de hablar de resolución de desigualdades de polinomios, veremos una forma alternativa de factorizar en \mathbb{R}[x] usando potencias.

Teorema de factorización de polinomios reales con potencias

De acuerdo al teorema de factorización en \mathbb{R}[x], un polinomio p(x) se puede factorizar de manera única en factores lineales y factores cuadráticos con discriminante negativo. De ser necesario, podemos agrupar los factores lineales iguales y reordenarlos para llegar a una factorización de la forma

    \[a(x-r_1)^{\alpha_1}\cdots(x-r_m)^{\alpha_m}(x^2-b_1x+c_1)\cdots (x^2-b_{n}x+c_{n}),\]

en donde:

  • a es un real distinto de cero,
  • \alpha_1,\ldots,\alpha_m y n son enteros positivos tales que 2n+\sum_{i=1}^m \alpha_i es igual al grado de p(x),
  • para cada i en \{1,\ldots,m\} se tiene que r_i es raíz real de p(x) y r_1<r_2<\ldots<r_m
  • para cada j en \{1,\ldots,n\} se tiene que b_j,c_j son reales tales que b_j^2-4c_j<0.

Observa que los r_i son ahora distintos y que están ordenados como r_1<\ldots<r_m. De aquí, obtenemos que (x-r_i)^{\alpha_i} es la mayor potencia del factor lineal x-r_i que divide a p(x). Este número \alpha_i se usa frecuentemente, y merece una definición por separado.

Definición. Sea p(x) un polinomio en \mathbb{R}[x] y r una raíz de p(x). La multiplicidad de r como raíz de p(x) es el mayor entero \alpha tal que

    \[(x-r)^\alpha \mid p(x).\]

Decimos también que r es una raíz de multiplicidad \alpha.

Ejemplo. El polinomio k(x)=x^4-x^3-3x^2+5x-2 se factoriza como (x-1)^3(x+2). Así, la multiplicidad de 1 como raíz de k(x) es 3. Además, -2 es una raíz de k(x) de multiplicidad 1.

\square

Después hablaremos de una forma práctica en la que podemos encontrar la multiplicidad de una raíz, cuando hablemos de continuidad de polinomios y sus derivadas.

Desigualdades de polinomios reales factorizados

Supongamos que tenemos un polinomio p(x) no constante en \mathbb{R}[x] para el cual conocemos su factorización en la forma

    \[a(x-r_1)^{\alpha_1}\cdots(x-r_m)^{\alpha_m}(x^2-b_1x+c_1)\cdots (x^2-b_{n}x+c_{n}),\]

y que queremos determinar para qué valores reales r se cumple que

    \[p(r)>0.\]

Daremos por cierto el siguiente resultado, que demostraremos cuando hablemos de continuidad de polinomios.

Proposición. Las evaluaciones en reales de un polinomio cuadrático y mónico en \mathbb{R}[x] de discriminante negativo, siempre son positivas.

Lo que nos dice este resultado es que, para fines de la desigualdad que queremos resolver, podemos ignorar los factores cuadráticos en la factorización de p(x) pues

    \[a(x-r_1)^{\alpha_1}\cdots(x-r_m)^{\alpha_m}(x^2-b_1x+c_1)\cdots (x^2-b_{n}x+c_{n})\]

y

    \[a(x-r_1)^{\alpha_1}\cdots(x-r_m)^{\alpha_m}\]

tienen el mismo signo.

Por la miasma razón, podemos ignorar aquellos factores lineales con exponente par, y de los de exponente impar, digamos (x-r)^{2\beta +1} obtenemos una desigualdad equivalente si los remplazamos por exponente 1, pues (x-r)^{2\beta} es positivo y por lo tanto no cambia el signo de la desigualdad si lo ignoramos.

En resumen, cuando estamos resolviendo una desigualdad del estilo p(x)>0 podemos, sin cambiar el conjunto solución, reducirla a una de la forma

    \[q(x):=a(x-r_1)(x-r_2)\ldots(x-r_m)>0.\]

La observación clave para resolver desigualdades de este estilo está resumida en el siguiente resultado.

Proposición. Tomemos un polinomio q(x) en \mathbb{R}[x] de la forma

    \[q(x)=a(x-r_1)(x-r_2)\ldots(x-r_m)\]

con r_1<\ldots<r_m reales.

Si m es par:

  • Para reales r en la unión de intervalos

        \[(-\infty,r_1)\cup(r_2,r_3)\cup\ldots \cup (r_{m-2},r_{m-1})\cup (r_m,\infty),\]

    la evaluación q(r) tiene el mismo signo que a
  • Para reales r en la unión de intervalos

        \[(r_1,r_2)\cup(r_3,r_4)\cup\ldots \cup (r_{m-3},r_{m-2})\cup (r_{m-1},r_m),\]

    la evaluación q(r) tiene signo distinto al de a.

Si m es impar:

  • Para reales r en la unión de intervalos

        \[(r_1,r_2)\cup(r_3,r_4)\cup\ldots \cup (r_{m-2},r_{m-1})\cup (r_m,\infty),\]

    la evaluación q(r) tiene el mismo signo que a
  • Para reales r en la unión de intervalos

        \[(-\infty,r_1)\cup(r_2,r_3)\cup\ldots \cup (r_{m-3},r_{m-2})\cup (r_{m-1},r_m),\]

    la evaluación q(r) tiene signo distinto al de a.

Demostración. El producto (r-r_1)(r-r_2)\ldots(r-r_m) es positivo si y sólo si tiene una cantidad par de factores negativos. Si r>r_m, todos los factores son positivos, y por lo tanto q(r) tiene el mismo signo que a cuando r está en el intervalo (r_m,\infty).

Cada que movemos r de derecha a izquierda y cruzamos un valor r_i, cambia el signo de exactamente uno de los factores, y por lo tanto la paridad de la cantidad de factores negativos. El resultado se sigue de hacer el análisis de casos correspondiente.

\square

Veamos cómo podemos utilizar esta técnica para resolver desigualdades polinomiales que involucran a un polinomio que ya está factorizado en irreducibles.

Problema. Determina para qué valores reales x se tiene que

    \[-2(x-5)^7(x+8)^4(x+2)^3(x+10)(x^2-x+2)^3\]

es positivo.

Solución. Por la discusión anterior, podemos ignorar el polinomio cuadrático del final, pues es irreducible. También podemos ignorar los factores lineales con potencia par, y podemos remplazar las potencias impares por unos. Así, basta con encontrar los valores reales de x para los cuales

    \[q(x)=-2(x-5)(x+2)(x+10)\]

es positivo. Tenemos 3 factores, así que estamos en el caso de m impar en la proposición.

Las tres raíces, en orden, son -10, -2, 5. Por la proposición, para x en la unión de intervalos

    \[(-\infty,-10)\cup (-2,5)\]

se tiene que q(x) tiene signo distinto al de a=-2 y por lo tanto es positivo. Para x en el conjunto

    \[(10,-2)\cup (5,\infty)\]

se tiene que q(x) tiene signo igual al de a=-2, y por lo tanto es negativo. De esta forma, la respuesta es el conjunto

    \[(-\infty,-10)\cup (-2,5).\]

Puedes dar clic aquí para ver en GeoGebra las gráfica de q(x) y del polinomio original, y verificar que tienen el mismo signo en los mismos intervalos.

\square

Si estamos resolviendo una desigualdad y el valor de a en la factorización es positivo, es un poco más práctico ignorarlo desde el principio, pues no afecta a la desigualdad.

Problema. Determina para qué valores reales x se tiene que

    \[7(x+7)^{13}(x+2)^{31}(x-5)^{18}(x^2+1)\]

es positivo.

Solución. Tras las cancelaciones correspondientes, obtenemos la desigualdad equivalente

    \[(x+7)(x+2)>0.\]

Las raíces del polinomio que aparece son -7 y -2. De acuerdo a la proposición, estamos en el caso con m par. De esta forma, la expresión es negativa en el intervalo (-7,-2) y es positiva en la unión de intervalos

    \[(-\infty,-7)\cup (-2,\infty).\]

\square

Otras desigualdades de polinomios y manipulaciones algebraicas

Si tenemos otras expresiones polinomiales, también podemos resolverlas con ideas similares, solo que a veces se tienen que hacer algunas manipulaciones previas para llevar la desigualdad a una de la forma p(x)>0.

Problema. Determina todos los números x en \mathbb{R} para los cuales

    \[x^6-12x^4-49x^2-30 > 3x^5-48x^3-51x+6.\]

Solución. El problema es equivalente a encontrar los reales x para los cuales

    \[x^6-3x^5+12x^4+48x^3-29x^2+51x-36>0.\]

El polinomio del lado izquierdo se puede factorizar como (x-3)^2(x-1)(x+4)(x^2+1), así que obtenemos el problema equivalente

    \[(x-3)^2(x-1)(x+4)(x^2+1)>0,\]

que ya sabemos resolver. El resto de la solución queda como tarea moral.

Puedes ver la gráfica del polinomio

    \[(x-3)^2(x-1)(x+4)(x^2+1)\]

en GeoGebra si das clic aquí.

\square

Tener cuidado al multiplicar por denominadores

Hay que tener cuidado al realizar algunas manipulaciones algebraicas, pues pueden cambiar el signo de la desigualdad que estamos estudiando. Veamos un ejemplo donde sucede esto.

Problema. Determina todos los números x en \mathbb{R} para los cuales

    \[\frac{1}{x}>x^3-x^2+1.\]

Solución. La expresión no está definida en x=0, pues se anula un denominador. Supongamos entonces que x\neq 0, y recordémoslo al expresar la solución final. Vamos a multiplicar la desigualdad por x, pero tenemos que hacer casos.

Si x>0, entonces el signo de desigualdad no se altera y obtenemos la desigualdad equivalente

    \[0>x^4-x^3+x-1=(x-1)(x+1)(x^2-x+1).\]

El factor cuadrático es irreducible y lo podemos ignorar. Si estuviéramos trabajando en todo \mathbb{R}, el conjunto solución sería el intervalo (-1,1). Sin embargo, tenemos que restringir este conjunto solución sólo al caso en el que estamos, es decir, x>0. Así, para este caso sólo los reales en (0,1) son solución.

Si x<0, entonces el signo de la desigualdad sí se altera, y entonces obtenemos la desigualdad equivalente

    \[0<x^4-x^3+x-1=(x-1)(x+1)(x^2-x+1).\]

De nuevo podemos ignorar el factor cuadrático. La desigualdad tiene solución en todo \mathbb{R} al conjunto (-\infty,-1)\cup (1,\infty), pero en este caso debemos limitarlo adicionalmente con la restricción x<0. De este modo, las soluciones para este caso están en el intervalo (-\infty,-1).

Ahora sí, juntando ambos casos, tenemos que el conjunto solución final es

    \[(-\infty,-1)\cup(0,1).\]

Puedes ver la gráfica en GeoGebra de \frac{1}{x}-x^3+x^2-1 dando clic aquí. Ahí puedes verificar que esta expresión es positiva exactamente en el conjunto que encontramos.

\square

Reflexión final y lo que resta del curso

Como queda claro, resulta ser útil tener un polinomio en su forma factorizada para resolver desigualdades de polinomios reales. En los ejemplos que dimos en esta entrada, se dieron las factorizaciones de los polinomios involucrados. En el resto del curso veremos herramientas que nos permitirán encontrar la factorización de un polinomio o, lo que es parecido, encontrar sus raíces:

  • Veremos propiedades de continuidad de polinomios para mostrar la existencia de raíces para polinomios reales en ciertos intervalos.
  • El teorema del factor nos dice que si r es raíz de p(x), entonces x-r divide a p(x). Sin embargo, no nos dice cuál es la multiplicidad de r. Veremos que la derivada de un polinomio nos puede ayudar a determinar eso.
  • También veremos el criterio de la raíz racional, que nos permite enlistar todos los cantidatos a ser raíces racionales de un polinomio p(x) con coeficientes racionales.
  • Finalmente, veremos que para los polinomios de grado 3 y 4 hay formas de obtener sus raíces de forma explícita, mediante las fórmulas de Cardano y de Ferrari.

Tarea moral

Los siguientes ejercicios no forman parte de la evaluación del curso, pero te servirán para entender mucho mejor los conceptos vistos en esta entrada, así como temas posteriores.

  • Completa la solución del problema enunciado en la sección de manipulaciones algebraicas.
  • Encuentra el conjunto solución de números reales x tales que

        \[(x+1)(x+2)^2(x+3)^3(x+4)^4>0.\]

  • Determina las soluciones reales a la desigualdad

        \[\frac{x-1}{x+2}>\frac{x+2}{x-1}.\]

    Ten cuidado con los signos. Verifica tu respuesta en este enlace de GeoGebra, que muestra la gráfica de f(x)=\frac{x-1}{x+2}-\frac{x+2}{x-1}.
  • Realiza las gráficas de otros polinomios de la entrada en GeoGebra para verificar las soluciones dadas a las desigualdades de polinomios.
  • Revisa esta entrada, en donde se hablan de aplicaciones de desigualdades polinomiales para un problema de un concurso de matemáticas.

Seminario de Resolución de Problemas: Desigualdad de Cauchy-Schwarz

Introducción

Seguimos con las entradas de temas de desigualdades. Con anterioridad ya hablamos de desigualdades básicas y de desigualdades con medias. En esta ocasión estudiaremos una desigualdad muy versátil: la desigualdad de Cauchy-Schwarz.

En su versión más simple, lo que dice la desigualdad de Cauchy-Schwarz es lo siguiente.

Desigualdad (de Cauchy-Schwarz). Para cualesquiera números reales a_1,\ldots,a_n y b_1,\ldots,b_n se tiene que

    \[|a_1b_1+\ldots+a_nb_n| \leq \sqrt{a_1^2+\ldots+a_n^2} \sqrt{b_1^2+\ldots+b_n^2}.\]

Primero, veremos cómo se demuestra esta desigualdad. Luego, veremos varios problemas en los que se puede aplicar. Finalmente, hablaremos un poco de sus extensiones a espacios vectoriales.

La demostración polinomial de la desigualdad de Cauchy-Schwarz

Una forma de demostrar la desigualdad de Cauchy-Schwarz es usando inducción sobre n. Hay otra demostración usando polinomios. Veamos esa demostración, pues tiene la idea útil de usar argumentos polinomiales para demostrar igualdades.

Consideremos la expresión

    \[p(t)=\sum_{i=1}^n (a_i+b_i t)^2.\]

Como es una suma de cuadrados, esta expresión es no negativa. Haciendo los cuadrados, y desarrollando la suma, podemos escribirla de la siguiente forma, que nos dice que es un polinomio cuadrático en t:

    \begin{align*}\sum_{i=1}^n (a_i+b_i t)^2&=\sum_{i=1}^n \left(a_i^2 + 2a_ib_i t + b_i^2 t^2\right)\\&=\sum_{i=1}^n a_i^2 + \left(2\sum_{i=1}^n a_ib_i \right)t + \left(\sum_{i=1}^n b_i^2\right)t^2.\end{align*}

De esta forma p(t) es un polinomio cuadrático y siempre toma valores no negativos. Así, a lo más puede tener una raíz t, por lo que su discriminante es menor o igual a 0:

    \[\left(2\sum_{i=1}^n a_ib_i \right)^2-4\left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right)\leq 0\]

Al pasar el segundo término sumando al otro lado y dividir entre 4 queda

    \[\left(\sum_{i=1}^n a_ib_i \right)^2\leq \left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right).\]

Al sacar raíz cuadrada de ambos lados hay que tener cuidado de poner un valor absoluto al lado izquierdo. Al hacer esto, se obtiene el resultado deseado:

    \[\left|\sum_{i=1}^n a_ib_i \right|\leq \sqrt{\sum_{i=1}^n a_i^2}\cdot \sqrt{\sum_{i=1}^n b_i^2}.\]

Observa que la igualdad se da si y sólo si el discriminante es 0, lo cual sucede si y sólo si el polinomio tiene una raíz t. Cuando esto pasa, cada uno de los sumandos al cuadrado de p(t) debe ser 0. Así, existe un real t tal que a_i=-tb_i para todo i=1,\ldots,n. Esto lo podemos decir en términos vectoriales como que “la igualdad se da si y sólo si el vector (a_1,\ldots,a_n) es un múltiplo escalar del vector (b_1,\ldots,b_n) ” .

Un problema sobre acotar el valor de una variable

Problema. Sean a,b,c,d números reales tales que

    \begin{align*}a+b+c+d&=6\\a^2+b^2+c^2+d^2&=12.\end{align*}


¿Cuál es el máximo valor que puede tener d?

Sugerencia. Aplica la desigualdad de Cauchy-Schwarz a las ternas (a,b,c) y (1,1,1).

Solución. Aplicando la desigualdad a las ternas (a,b,c) y (1,1,1) obtenemos que

    \[|a+b+c|\leq \sqrt{a^2+b^2+c^2}\cdot{\sqrt{3}}.\]

Usando las hipótesis sobre a,b,c,d, tenemos que esta desigualdad es equivalente a |6-d|\leq \sqrt{3}\cdot {\sqrt{12-d^2}. Elevando al cuadrado de ambos lados, obtenemos las desigualdades equivalentes

    \begin{align*}36-12d+d^2&\leq 3(12-d^2)\\36-12d+d^2&\leq 36-3d^2\\4d^2-12d&\leq 0\\4d(d-3)\&leq 0.\end{align*}

Para que se satisfaga esta desigualdad, tiene que pasar o bien que simultáneamente d\leq 0 y d\geq 3 (lo cual es imposible), o bien que simultáneamente d\geq 0 y d\leq 3. En conclusión, esto acota el máximo valor posible de d con 3.

En efecto, existe una solución con d=3. De acuerdo al caso de igualdad de la desigualdad de Cauchy-Schwarz, debe pasar cuando (a,b,c) es un múltiplo escalar de (1,1,1), es decir, cuando a=b=c. Como a+b+c+d=6 y queremos d=3, esto forza a que a=b=c=1. Y en efecto, tenemos que con esta elección

    \[a^2+b^2+c^2+d^2=1+1+1+9=12.\]

\square

Aplicando Cauchy-Schwarz en un problema con el circunradio

A veces podemos aprovechar información implícita en un problema geométrico y combinarla con la desigualdad de Cauchy-Schwarz. Veamos un problema en el que sucede esto.

Problema. Sea P un punto en el interior del triángulo ABC y p,q,r las distancias de P a los lados BC, CA, AB respectivamente, que tienen longitudes a,b,c, respectivamente. Sea R el circunradio de ABC. Muestra que

    \[\sqrt{p}+\sqrt{q}+\sqrt{r} \leq \sqrt{\frac{a^2+b^2+c^2}{2R}}.\]

Sugerencia pre-solución. Necesitarás aplicar la desigualdad de Cauchy-Schwarz más de una vez. Haz una figura para entender la expresión ap+bq+cr. Necesitarás también la fórmula que dice que se puede calcular el área T de un triángulo mediante la fórmula

    \[T=\frac{abc}{R}.\]

Solución. Lo primero que haremos es aplicar la desigualdad de Cauchy-Schwarz en las ternas (\sqrt{ap},\sqrt{bq},\sqrt{cr}) y (1/\sqrt{a},1/\sqrt{b},1/\sqrt{c}) para obtener

    \[\sqrt{p}+\sqrt{q}+\sqrt{r}\leq \sqrt{ap+bq+cr}\cdot\sqrt{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}.\]

Observa que ap es dos veces el área de \triangle BCP. De manera similar, tenemos que bq y cr son las áreas de \triangle CAP y \triangle ABP respectivamente. Así, si llamamos T al área de \triangle ABC tenemos que ap+bq+cr=2T. Otra expresión para el área de \triangle ABC en términos de su circunradio R es

    \[T=\frac{abc}{4R}.\]

En otras palabras, ap+bq+cr=\frac{abc}{2R}.

Esto nos permite continuar con la desigualdad como sigue:

    \begin{align*}\sqrt{p}+\sqrt{q}+\sqrt{r} &\leq \sqrt{\frac{abc}{2R}}\cdot\sqrt{\frac{1}{a}+\frac{1}{b}+\frac{1}{c}}\\&=\sqrt{\frac{abc}{2R}}\cdot\sqrt{\frac{ab+bc+ca}{abc}}\\&=\sqrt{\frac{ab+bc+ca}{2R}}.\end{align*}

Esto es casi la desigualdad que queremos. Para terminar, basta mostrar que

    \[ab+bc+ca\leq a^2+b^2+c^2.\]

Esto se puede hacer de varias formas (intenta hacerlo usando la desigualdad MA-MG). Pero para continuar viendo la versatilidad de la desigualdad de Cauchy-Schwarz, observa que se puede deducir de ella aplicándola a las ternas (a,b,c) y (b,c,a).

\square

En el problema anterior, ¿para qué puntos P se alcanza la igualdad?

Cauchy-Schwarz más allá de los números reales

Lo que está detrás de la desiguadad de Cauchy-Schwarz es en realidad la noción de producto interior en álgebra lineal. En cualquier espacio vectorial sobre los reales que tenga un producto interior \langle \cdot, \cdot \rangle se satisface una desigualdad del tipo de la de Cauchy-Schwarz. No entraremos en los detalles de la teoría que se necesita desarrollar, pues eso se estudia en un curso de álgebra lineal. Sin embargo, enunciaremos el teorema y veremos una forma de aplicarlo.

Teorema (desigualdad de Cauchy-Schwarz). Si V es un espacio vectorial con producto interior \langle \cdot, \cdot \rangle entonces para cualesquiera dos vectores u y v se satisface que

    \[|\langle u , v\rangle|\leq \sqrt{\langle u , u\rangle}\cdot \sqrt{\langle v , v\rangle}.\]

Se puede mostrar que bajo las hipótesis del teorema la función \norm{u}:=\langle u , u\rangle es una norma. Como platicamos con anterioridad, una norma satisface la desigualdad del triángulo, que en espacios vectoriales tiene un nombre especial.

Teorema (desigualdad de Minkowski). Si V es un espacio vectorial con producto interior \langle \cdot, \cdot \rangle y \norm{u}:=\langle u , u\rangle, entonces para cualesquiera dos vectores u y v se satisface que

    \[\norm{u}+\norm{v}\geq \norm{u+v}.\]

Es relativamente sencillo ver que las desigualdades de Cauchy-Schwarz y de Minkowski son “equivalentes”, en el sentido de que se puede mostrar una fácilmente suponiendo la otra y viceversa.

La desigualdad de Cauchy-Schwarz que usamos en las secciones anteriores es para el producto interior en \mathbb{R}^n dado por

    \[\langle (a_1,\ldots,a_n),(b_1,\ldots,b_n) \rangle = a_1b_1+\ldots + a_nb_n,\]

al cual le llamamos el producto punto.

Si tenemos a V el espacio vectorial de las funciones continuas reales en el intervalo [0,1], entonces

    \[\langle f,g\rangle = \int_0^1 f(x)g(x) \, dx\]

es un producto interior para V. Esto nos puede ayudar a resolver algunos problemas.

Problema. Sea f:[0,1]\to \mathbb{R}^+ una función continua. Muestra que

    \[\left ( \int_0^1 f(x)\, dx \right) \left (\int_0^1 \frac{1}{f(x)}\, dt \right) \geq 1.\]

Sugerencia pre-solución. Aplica la desigualdad de Cauchy-Schwarz con el producto interior que discutimos antes de esta entrada.

Solución. Tomemos el producto interior

    \[\langle f,g\rangle = \int_0^1 f(x)g(x) \, dx\]

en el espacio vectorial de funciones reales y continuas en [0,1]. Como la imagen de f está en los reales positivos, podemos definir la función h:[0,1]\to \mathbb{R}^+ dada por h(x)=\sqrt{f(x)}.

Tenemos que

    \begin{align*}\left \langle h, \frac{1}{h}\right \rangle &= \int_0^1 h(x)\cdot \frac{1}{h(x)}\, dx\\&=\int_0^1 1\, dx\\&=1.\end{align*}

Por otro lado,

    \begin{align*}\langle h, h \rangle &= \int_0^1 h(x)\cdot h(x)\, dx\\&=\int_0^1 f(x)\, dx.\end{align*}

y

    \begin{align*}\left\langle \frac{1}{h}, \frac{1}{h} \right\rangle&= \int_0^1 \frac{1}{h(x)}\cdot \frac{1}{h(x)}\, dx\\&=\int_0^1 \frac{1}{f(x)}\, dx\end{align*}

La conclusión se sigue entonces de manera inmediata de la desigualdad de Cauchy-Schwarz para \langle \cdot, \cdot \rangle.

\square

Más problemas

Puedes encontrar más problemas que usan la desigualdad de Cauchy-Schwarz en la sección 7.1 del libro Problem Solving through Problems de Loren Larson. También puedes consultar más técnicas y problemas en el libro Desigualdades de la Olimpiada Mexicana de Matemáticas.

Seminario de Resolución de Problemas: Desigualdades básicas

Introducción

En las entradas correspondientes a esta parte del curso aprenderemos varias técnicas que nos permitirán resolver problemas que involucren desigualdades. El área es enorme y hay libros enteros dedicados a ello. Nosotros sólo veremos algunas técnicas. Comenzaremos con desigualdades básicas y nos enfocaremos en los siguientes temas:

  • Desigualdad x^2\geq 0 y desigualdad del triángulo
  • Desigualdades de medias
  • La desigualdad de Cauchy-Schwarz
  • Técnicas de cálculo en desigualdades

En esta entrada veremos el primer inciso, que consiste de dos ideas muy sencillas:

Desigualdad x^2\geq 0. El cuadrado de cualquier número real es mayor o igual a cero. Es cero si y sólo si el número es cero.

Desigualdad del triángulo. Si V es un espacio vectorial con norma \norm{\cdot}, entonces para cualesquiera vectores u y v se tiene que

    \[\norm{u}+\norm{v}\geq \norm{u+v}.\]

La desigualdad x^2\geq 0 parece muy inocente. Sin embargo, es una herramienta muy versátil cuando se combina con manipulaciones algebraicas creativas. La desigualdad del triángulo la estamos enunciando para espacios vectoriales con norma en general. Dos casos particulares que a lo mejor te son más familiares son los siguientes:

Desigualdad del triángulo para \mathbb{R}. Si a y b son números reales, entonces |a|+|b| \geq |a+b|.

Desigualdad del triángulo en \mathbb{R}^n. Si ABC es un triángulo en el plano (o dimensiones más altas) , de lados de longitudes \overline{AB}=c, \overline{BC}=a y \overline{CA}=b, entonces

    \begin{align*}a+b&\geq c\\b+c &\geq a\\c+a &\geq b.\end{align*}

Si una de las igualdades se da, ABC es un triángulo degenerado, es decir, con sus tres vértices alineados. En otro caso, todas las desigualdades son estrictas.

Veamos aplicaciones de estas desigualdades básicas.

La desigualdad \frac{a^2+b^2}{2}\geq \sqrt{ab}

Comenzaremos probando de dos formas distintas una desigualdad que también resulta útil en otras ocasiones.

Problema. Sean a y b números reales mayores o iguales a cero. Muestra que

    \[\frac{a+b}{2}\geq \sqrt{ab},\]

y que la igualdad se da si y sólo si a y b son iguales.

A esta desigualdad se le conoce como la desigualdad MA-MG para dos números reales. También forma parte de las desigualdades básicas que te ayudará conocer. Se llama así pues en el lado izquierdo tenemos a la media aritmética de los números a y b, y al lado derecho tenemos la media geométrica de los números a y b. En realidad la desigualdad se vale para más reales no negativos, pero esto lo veremos en otra entrada.

Sugerencia pre-solución. El problema se puede resolver tanto de manera algebraica, (usando x^2\geq 0) como de manera geométrica (usando la desigualdad del triángulo).

Para resolverlo de la primera forma, trabaja hacia atrás. Haz manipulaciones algebraicas para formular problemas equivalentes hasta que llegues a una desigualdad obvia.

Para resolverlo de la segunda forma, haz una figura en la que puedas representar tanto a la media geométrica como a la aritmética. Una forma de hacerlo es comenzar con una semicircunferencia de diámetro a+b.

Para identificar el caso de igualdad, haz un análisis de casos.

Solución algebraica. Queremos mostrar que

    \[\frac{a+b}{2}\geq \sqrt{ab}.\]

Pasando el dos multiplicando, y luego 2\sqrt{ab} restando al lado izquierdo, esta desigualdad igualdad ocurre si y sólo si

    \[a+b-2\sqrt{ab}\geq 0.\]

En el lado izquierdo identificamos un binomio al cuadrado, que se puede factorizar para dar la desigualdad equivalente

    \[\left(\sqrt{a}-\sqrt{b}\right)^2\geq 0.\]

Esta desigualdad es de la forma x^2\geq 0, así que es claramente cierta. La igualdad ocurre si y sólo si \sqrt{a}-\sqrt{b}=0, lo cual sucede si y sólo si a=b. Todos los pasos que hicimos son reversibles. Esto termina la solución.

\square

Solución geométrica. Consideremos la siguiente figura, en donde tenemos una semicircunferencia de diámetro \overline{AB}=a+b y centro O. Aquí C es un punto en AB tal que \overline{AC}=a y entonces \overline{CB}=b. Además, D es un punto sobre la circunferencia tal que DC es perpendicular a AB. Llamemos d=\overline{CD}.

Prueba visual de la desigualdad entre la media aritmética y media geométrica usando desigualdades básicas
Prueba visual de MA-MG

Como \triangle AOD y \triangle BOD son isósceles por tener dos lados iguales al radio de la circunferencia, tenemos que \angle ADO = \angle DAO y \angle BDO = \angle DBO. Usando estas igualdades y que la suma de los ángulos internos de \triangle ABD es 180^\circ, se puede mostrar que el ángulo ADB es de 90^\circ.

De este modo, \triangle ACD y \triangle DCB son semejantes (por ser ambos semejantes a \triangle ABD por criterio AA). Por la semejanza, tenemos que

    \[\frac{a}{d}=\frac{d}{b},\]

de donde d=\sqrt{ab}.

Para terminar la demostración, tomamos un punto E sobre DO tal que \angle EOC = \angle ECO. Por la desigualdad del triángulo en \triangle DEC, tenemos que

    \begin{align*}\sqrt{ab}&=\overline{DC}\\&\leq \overline{DE} + \overline{EC}\\&= \overline{DE} + \overline {EO}\\&= \overline{DO}\\&=\frac{a+b}{2}.\end{align*}

Con esto demostramos la desigualdad. Para terminar el problema, necesitamos ver cuándo se dan los casos de igualdad. Se tiene la igualdad si y sólo si \triangle DEC es un triángulo degenerado, lo cual sucede si y sólo si E está en el segmento DC. Esto sólo es posible cuando DO es perpendicular a AB, lo cual sucede si y sólo si C=O, si y sólo si AC=CB, si y sólo si a=b.

\square

Desigualdades básicas aplicadas a un problema de la Olimpiada Mexicana de Matemáticas

El siguiente problema apareció como parte de los exámenes selectivos que el Comité Nacional de la Olimpiada Mexicana de Matemáticas envía a los estados para seleccionar a sus estudiantes en distintas etapas. Tiene muchas formas de resolverse, pero veamos cómo se puede resolver con desigualdades básicas.

Problema. Sean a,b,c,d reales positivos con a^2+b^2+c^2+d^2=4. Muestra que

    \[a^5+b^5+c^5+d^5 \geq a+b+c+d\]

Sugerencia pre-solución. Modifica el problema a mostrar como desigualdad auxiliar que para un real no negativo x se tiene que

    \[x^5-2x^2-x+2\geq 0.\]

Esta desigualdad se puede demostrar usando que los cuadrados son no negativos.

Solución. Vamos a probar primero la desigualdad

    \[x^5-2x^2-x+2\geq 0.\]

Para que sea un poco más fácil, factorizaremos la expresión del lado izquierdo.

Notemos que 1 es una raíz de x^5-2x^2-x+2, de modo que por el teorema del factor podemos factorizar x-1 del polinomio. Obtenemos que

    \[x^5-2x^2-x+2=(x-1)(x^4+x^3+x^2-x-2).\]

Notemos que, nuevamente, 1 es una raíz de (x^4+x^3+x^2-x-2). Al factorizar x-1 de nuevo, obtenemos que

    \[x^5-2x^2-x+2=(x-1)^2(x^3+2x^2+3x+2).\]

Ya estamos listos para probar la desigualdad que queremos. Notemos que (x-1)^2\geq 0 y que x^3+2x^2+3x+2 es mayor o igual que cero para x\geq 0 pues es un polinomio con puros coeficientes positivos. Esto prueba la desigualdad auxiliar. Reescribiéndola, tenemos que

    \[x^5\geq 2x^2+x-2.\]

Aplicándola en esta forma a los cuatro reales positivos a,b,c,d del problema, y usando que la suma de cuadardos es 4, obtenemos que

    \begin{align*}a^5 & + b^5+c^5+d^5\\&\geq 2(a^2+b^2+c^2+d^2)+a+b+c+d-8\\&=2\cdot 4 + a+b+c+d-8\\&=a+b+c+d.\end{align*}

Esto termina el problema.

\square

El primer paso parece un poco artificial. ¿Por qué queremos probar esa desigualdad auxiliar? En otra entrada de blog escribí cómo se puede llegar a las ideas de esta solución.

Desigualdad del triángulo aplicada a la construcción de tetraedros

Si pegamos cuatro triángulos equiláteros en el espacio se hace un tetraedro regular. De manera similar, si pegamos cuatro triángulos como el siguiente, también se hace un tetraedro en el espacio:

Pegar cuatro triángulos congruentes para hacer un tetraedro

La intuición nos dice que debería poderse con cualquier triángulo. Pero esta intuición está mal.

Problema. Sea ABC un triángulo con un ángulo mayor a 90^\circ. Muestra que no existe ningún tetraedro en el espacio tal que sus cuatro caras sean congruentes a ABC.

Sugerencia pre-solución. Procede por contradicción. Por simetría, puedes asumir que el ángulo mayor a 90^\circ es el ángulo en A. Usa como punto auxiliar al punto medio de BC y usa desigualdades.

Solución. Una observación inicial es que si ABC es un triángulo, M es el punto medio de BC y su ángulo interno en A es mayor a 90^\circ, entonces 2\overline{AM}<\overline{BC}. Esto se muestra trazando una circunferencia de diámetro BC.

Desigualdad para la mediana en términos del ángulo que hace.

De hecho,

  • Un punto X está sobre la circunfencia si y sólo si \angle BXC = 90 ^\circ, si y sólo si \overline{OX}=\overline{OA}.
  • X está dentro de la circunferencia si y sólo si \angle BXC > 90^\circ, si y sólo si \overline{OX}<\overline{OA} y
  • X está fuera de la circunferencia si y sólo si \anble BXC < 90^\circ, si y sólo si \overline{OX}>\overline{OA}.

Resolvamos el problema. Sin pérdida de generalidad, el ángulo en A es mayor a 90^\circ. Entonces \overline{AM}<\frac{\overline{BC}}{2}, de donde 2\overline{AM}<\overline{BC}.

Supongamos que se pudiera hacer en el espacio un tetraedro WXYZ tal que cada una de las caras es congruente al triángulo ABC. Sin pérdida de generalidad, tenemos que

    \begin{align*}\overline{WX}&=\overline{YZ}=\overline{AB}\\\overline{XY}&=\overline{ZW}=\overline{BC}\\\overline{WY}&=\overline{XZ}=\overline{CA}.\end{align*}

Tomemos el punto medio M de XY. En \triangle ZMW, tenemos que

    \begin{align*}\overline{ZM}&=\overline{AM}\\\overline{WM}&=\overline{AM}.\end{align*}

Así, usando la desigualdad del triángulo en \triangle ZMW tenemos que

    \begin{align*}2\overline{AM}&=\overline{ZM}+\overline{WM}\\&\geq \overline{ZW}\\&=\overline{BC}.\end{align*}

Esto es una contradicción con la desigualdad 2\overline{AM}<\overline{BC} que ya habíamos mostrado.

\square

Más problemas

Puedes encontrar más problemas de desigualdades básicas en la sección 7.1 del libro Problem Solving through Problems de Loren Larson. También puedes consultar más técnicas y problemas en el libro Desigualdades de la Olimpiada Mexicana de Matemáticas.

Álgebra Lineal I: Problemas de desigualdades vectoriales

Introducción

En esta entrada practicaremos las dos desigualdades vectoriales que hemos visto anteriormente: la desigualdad de Cauchy – Schwarz y con la desigualdad de Minkowski. Veremos que de ellas se obtiene información valiosa sobre los espacios con producto interior.

Como ya se menciono en otras entradas del blog, estos espacios son muy importantes más allá del álgebra lineal, pues también aparecen en otros áreas como el análisis matemático, variable compleja, probabilidad, etc. Así mismo, los espacios vectoriales con producto interior tienen muchas aplicaciones en el mundo real. Por esta razón es muy importante aprender a detectar cuándo podemos usar desigualdades vectoriales.

Problemas resueltos

Comencemos con algunos problemas de desigualdades vectoriales que usan la desigualdad de Cauchy-Schwarz.

Problema. Demuestra que si f:[a,b]\longrightarrow \mathbb{R} es una función continua, entonces

    \[\left(\int_a ^b f(t)dt\right)^2 \leq (b-a)\int_a ^b f(t)^2 dt.\]

Demostración. Sea V=\mathcal{C}([a,b],\mathbb{R}) el espacio de las funciones continuas de [a,b] en los reales.

Veamos que \langle \cdot , \cdot \rangle: V\times V \longrightarrow \mathbb{R} definido por

    \[\langle f,g \rangle = \int_a^b f(t)g(t) \, dt\]

es una forma bilineal simétrica.

Sea f\in V fija. Veamos que g\mapsto \langle f,g \rangle es lineal.

Sean g,h \in V y k\in F, entonces

    \begin{align*}\langle  f,g+hk \rangle &= \int_a ^b f(t)(g(t)+kh(t))dt\\&=\int_a ^b (f(t)g(t)+kf(t)h(t)) dt\\&=\int_a ^b f(t)g(t)dt +k \int_a ^b f(t)h(t)dt\\&=\langle f,g \rangle + k \langle f,h \rangle .\end{align*}

Análogamente se ve que si g\in V fija, entonces f\mapsto \langle f,g \rangle es lineal.

Luego,

    \begin{align*}\langle f,g \rangle &= \int_a ^b f(t)g(t)\, dt\\&= \int_a ^b g(t)f(t)\, dt\\&= \langle g,f \rangle.\end{align*}


Por lo tanto \langle \cdot, \cdot \rangle es una forma bilineal simétrica.

Ahora observemos que \langle \cdot  ,\cdot \rangle es positiva.

    \[\langle f,f \rangle = \int_a ^b f(t)^2 dt \geq 0\]

pues f^2 (t)\geq 0. Aunque no lo necesitaremos, mostremos además que que \langle \cdot, \cdot \rangle es positiva definida. Si f tiene algún valor c en el interior de [a,b] en la que f(c)\neq 0, como es continua, hay un \epsilon>0 tal que en todo el intervalo (c-\epsilon,c+\epsilon) se cumple que |f| es mayor que |f(c)|/2, de modo que

    \begin{align*}\langle f, f \rangle &= \int_a^b f^2(t)\, dt\\&\geq \int_{c-\epsilon}^{c+\epsilon} f^2(t)\, dt\\&\geq \int_{c-\epsilon}^{c+\epsilon}\frac{f(c)^2}{4} \, dt\\&=\frac{\epsilon f(c)^2}{2}>0.\end{align*}

Así, para que \langle f, f \rangle sea 0, es necesario que f sea 0 en todo el intervalo (a,b) y por continuidad, que sea cero en todo [a,b].

Sea q la forma cuadrática asociada a \langle \cdot, \cdot \rangle.
En vista de todo lo anterior, podemos aplicar la desigualdad de Cauchy -Schwarz tomando g la función constante 1, es decir, tal que g(x)=1 para todo x en [a,b], la cual claramente es continua.

Entonces,

    \[\langle f,g \rangle &\leq q(f)q(g),\]

que substituyendo las definiciones es

    \begin{align*}\left( \int_a ^b f(t)\, dt\right)^2 &\leq \left(\int_a ^b f(t)^2 \, dt\right)\left(\int_a ^b 1^2\, dt\right)\\&= (b-a)\int_a ^b f(t)^2 \, dt\end{align*}

\square

Problema. a) Sean x_1, \dots, x_n \in \mathbb{R}. Demuestra que

    \[(x_1^2+\dots +x_n^2)\left(\frac{1}{x_1^2} + \dots + \frac{1}{x_n^2}\right) \geq n^2.\]


b) Demuestra que si f:[a,b]\longrightarrow (0,\infty) es una función continua, entonces

    \[\left ( \int_a^b f(t)dt \right) \left (\int_a^b \frac{1}{f(t)}dt \right) \geq (b-a)^2\]

Demostración. a) Considera \mathbb{R}^n con el producto interior usual. Sean a,b\in\mathbb{R}^n dados por

    \begin{align*}a&=(x_1,\dots,x_n)\\b&=\left( \frac{1}{x_1},\dots, \frac{1}{x_n}\right ).\end{align*}

La desigualdad de Cauchy-Schwarz afirma que \lvert \langle a,b \rangle \rvert \leq \norm{a} \norm{b}. Se tiene que

    \begin{align*}\langle a,b \rangle &= (x_1,\ldots,x_n)\cdot \left(\frac{1}{x_1},\ldots,\frac{1}{x_n}\right)\\&=1+1+\ldots+1\\&=n,\end{align*}

de modo que

    \begin{align*}|n|&\leq \norm{a} \norm{b}\\&=\sqrt{(x_1^2+\dots +x_n^2)}\sqrt{\left(\frac{1}{x_1^2}+\dots + \frac{1}{x_n^2}\right )}.\end{align*}

Si elevamos al cuadrado ambos extremos de esta igualdad, obtenemos la desigualdad deseada.

\square

b) En el problema 1 de esta entrada vimos que

    \[\langle f,g \rangle = \int_a^b f(t)g(t) dt\]

es un producto interior para el espacio de funciones continuas en [a,b], y el espacio de este problema es un subespacio del de funciones continuas, así que también define un producto interior aquí.

Para la función f dada, definamos \phi (t)=\sqrt{f(t)} y \psi (t)=\frac{1}{\sqrt{f(t)}}.
Notemos que \phi y \psi son continuas, y además como \forall t\in [a,b] se tiene f(t)\in(0,\infty), también tenemos que \psi (t), \phi (t)\in (0,\infty).

Aplicando la desigualdad de Cauchy-Schwarz

    \[\langle \phi, \psi \rangle^2 \leq \langle \phi , \phi \rangle \langle \psi , \psi \rangle.\]

Entonces

    \[\left(\int_a^b \phi (t) \psi (t) dt\right)^2 \leq \left(\int_a^b \phi(t)^2 dt \right)\left( \int_a^b\psi (t)^2 dt \right).\]

Luego, substituyendo los valores de \phi y \psi:

    \[\left( \int_a^b \sqrt{f(t)}\cdot \frac{1}{\sqrt{f(t)}}dt\right )^2 \leq \left(\int_a^b f(t) dt \right)\left ( \int_a^b\frac{1}{f(t)}dt \right).\]

Finalmente, haciendo la integral a la izquierda:

    \[(b-a)^2\leq \left(\int_a^b f(t) dt \right)\left (\int_a^b \frac{1}{f(t)}dt \right).\]

\square

Hay algunos problemas de desigualdades en los reales que necesitan que usemos herramientas de desigualdades vectoriales.

Problema. Sean x,y,z números mayores que 1, tales que \frac{1}{x} + \frac{1}{y} + \frac{1}{z}=2. Muestre que

    \[\sqrt{x+y+x} \geq \sqrt{x-1} + \sqrt{y-1} + \sqrt{z-1}.\]


Demostración. Considera \mathbb{R}^3 con el producto interior usual y u,v\in \mathbb{R}^3 con

    \begin{align*}u&=\left(\sqrt{\frac{x-1}{x}}, \sqrt{\frac{y-1}{y}},\sqrt{\frac{z-1}{z}}\right),\\v&=(\sqrt{x},\sqrt{y},\sqrt{z}).\end{align*}

Aplicamos la desigualdad de Cauchy-Schwarz a u y v:

    \begin{align*}\sqrt{x-1} +& \sqrt{y-1} + \sqrt{z-1}\\&\leq \sqrt{\frac{x-1}{x}+\frac{y-1}{y}+\frac{z-1}{z}}\sqrt{x+y+z}\\&=\sqrt{(1+1+1)-\left(\frac{1}{x}+\frac{1}{y}+\frac{1}{z}\right)}\sqrt{x+y+z}\\&=\sqrt{3-2} \cdot \sqrt{x+y+z}\\&=\sqrt{x+y+z}.\end{align*}

Por lo tanto,

    \[\sqrt{x+y+x} \geq \sqrt{x-1} + \sqrt{y-1} + \sqrt{z-1}.\]

\square

Problema. Sea f:[a,b]\longrightarrow (0,\infty) una función continua.
Demuestre que

    \[\int_a^b f(t)dt \leq \left ( (b-a)\int_a^b f(t)^2dt\right)^\frac{1}{2}.\]

Demostración. Ya vimos que

    \[\langle f,g \rangle = \int_a^b f(t)g(t)dt\]

es un producto interior para el espacio de funciones continuas.
Considera g la función constante 1.

Aplicando la desigualdad de Minkowski se tiene que

    \[\sqrt{\langle f+g,f+g \rangle}\leq \sqrt{\langle f,f \rangle} + \sqrt{\langle g,g \rangle}\]

Tenemos entonces que:

    \[\left ( \int_a^b (f(t)+1)^2 dt \right)^\frac{1}{2} \leq \left( \int_a^b f(t)^2 dt \right)^\frac{1}{2} + \left ( \int_a^b dt\right )^\frac{1}{2}.\]

Desarrollando el cuadrado en el lado izquierdo,

    \[\left (\int_a^b f(t)^2 dt +2\int_a^b f(t)dt +(b-a) \right )^\frac{1}{2} \leq \left(\int_a^bf(t)^2dt \right)^\frac{1}{2} + (b-a)^\frac{1}{2}\]

Luego, elevando ambos lados de la ecuación al cuadrado

    \[\int_a^b f(t)^2 dt + 2\int_a^b f(t) dt +(b-a)\]


    \[\leq \int_a^b f(t)^2 dt +2\sqrt{b-a}\left( \int_a^b f(t)^2 dt\right)^\frac{1}{2} +(b-a)\]

Finalmente, cancelando términos igual en ambos lados, obtenemos la desigualdad deseada

    \[\int_a^b f(t) dt \leq \left((b-a) \int_a^b f(t)^2 dt\right)^\frac{1}{2}.\]

\square

Tarea Moral

  • Resuelve el problema 2.b usando la desigualdad de Minkowski.

Entradas relacionadas