Saltar al contenido

Cauchy-Schwarz y Titu's Lemma

Dos herramientas muy frecuentes en desigualdades olimpicas para controlar sumas de cuadrados y fracciones.

Brujula de estudio

Tres maneras utiles de abrir este tema

Una puerta de entrada a desigualdades mas serias.

Entrada~10 min

Ubicate sin abrir todo

Sirve cuando vienes con poco tiempo o solo quieres recordar la idea dominante antes de pasar a otra lectura.

Principal~15 min

Haz una vuelta completa

Lectura base, un recurso central y una practica corta suelen bastar para que el tema ya empiece a quedarse.

Cierre~10 min

Comprueba si ya te sirve

Util antes de clase, despues de entrenar o cuando quieras confirmar que no te llevas una confusion escondida.

Ruta sugerida

Como conviene estudiar este tema

No hace falta abrir todo. Empieza por la lectura base, usa un recurso principal para mover la idea y deja lo complementario para cuando de verdad te aporte.

Antes de abrir este tema

Si alguno de estos temas te falta, te conviene repasarlo primero para que la lectura fluya mejor.

Lectura principal

Teoria y desarrollo

Recorrido sugerido

Si te pierdes, usa este mapa

No hace falta leer todo de un tiron. Puedes avanzar por bloques: entender la idea, fijar algunas reglas, comprobar si las distingues bien y luego practicar.

Idea central

En desigualdades olimpicas, una de las preguntas mas utiles es:

como comparo una suma complicada con algo mas simple sin expandir todo.

Cauchy-Schwarz y Titu's Lemma aparecen justo ahi. No sustituyen pensar, pero suelen comprimir una expresion de forma muy poderosa.

La forma basica de Cauchy-Schwarz

Para reales a,b,x,ya,b,x,y:

(a2+b2)(x2+y2)(ax+by)2.(a^2+b^2)(x^2+y^2) \ge (ax+by)^2.

Una forma rapida de leerla es:

el producto de dos sumas de cuadrados domina el cuadrado del producto escalar.

Ejemplo 1

Demuestra que

(x2+y2)(1+1)(x+y)2.(x^2+y^2)(1+1) \ge (x+y)^2.

Aplicamos Cauchy con (a,b)=(x,y)(a,b)=(x,y) y (x,y)=(1,1)(x,y)=(1,1):

(x2+y2)(12+12)(x1+y1)2.(x^2+y^2)(1^2+1^2) \ge (x\cdot 1 + y\cdot 1)^2.

Entonces:

2(x2+y2)(x+y)2.2(x^2+y^2) \ge (x+y)^2.

Esto es una forma elegante de recuperar la desigualdad

x2+y2(x+y)22.x^2+y^2 \ge \frac{(x+y)^2}{2}.

Una version con tres variables

Ejemplo 2

Demuestra que

3(a2+b2+c2)(a+b+c)2.3(a^2+b^2+c^2) \ge (a+b+c)^2.

Aplicamos Cauchy a los vectores

(a,b,c)y(1,1,1).(a,b,c) \qquad \text{y} \qquad (1,1,1).

Entonces:

(a2+b2+c2)(12+12+12)(a+b+c)2.(a^2+b^2+c^2)(1^2+1^2+1^2) \ge (a+b+c)^2.

Es decir,

3(a2+b2+c2)(a+b+c)2.3(a^2+b^2+c^2) \ge (a+b+c)^2.

Esta forma aparece muchisimo cuando quieres controlar una suma por su promedio cuadratico.

Titu's Lemma

Una forma muy usada de Engel-Cauchy es:

a2x+b2y(a+b)2x+y,\frac{a^2}{x}+\frac{b^2}{y} \ge \frac{(a+b)^2}{x+y},

si x,y>0x,y>0.

Se parece mucho a Cauchy, pero esta escrita justo para sumas de fracciones cuadraticas.

De donde sale Titu

No hace falta memorizarla como una formula aislada. Puedes verla como una aplicacion de Cauchy a

(ax,by)y(x,y).\left(\frac{a}{\sqrt{x}},\frac{b}{\sqrt{y}}\right) \qquad \text{y} \qquad (\sqrt{x},\sqrt{y}).

De ahi sale una intuicion muy importante:

  • los numeradores quieren parecer cuadrados;
  • los denominadores deben ser positivos;
  • y la suma final suele querer colapsar a algo como (a+b)2(a+b)^2.

Ejemplo 3

Demuestra que, para x,y>0x,y>0,

1x+1y4x+y.\frac{1}{x}+\frac{1}{y} \ge \frac{4}{x+y}.

Aplicamos Titu con a=b=1a=b=1:

12x+12y(1+1)2x+y=4x+y.\frac{1^2}{x}+\frac{1^2}{y} \ge \frac{(1+1)^2}{x+y}=\frac{4}{x+y}.

Una lectura util

Titu's Lemma funciona bien cuando ves una suma del tipo:

(algo)2denominador.\frac{(\text{algo})^2}{\text{denominador}}.

Si la expresion no tiene esa forma, forzarla demasiado puede ser una mala idea.

Un clasico de competencia

Ejemplo 4

Para x,y,z>0x,y,z>0, demuestra que

(x+y+z)(1x+1y+1z)9.\left(x+y+z\right)\left(\frac1x+\frac1y+\frac1z\right)\ge 9.

Aplicamos Cauchy a los vectores

(x,y,z)y(1x,1y,1z).(\sqrt{x},\sqrt{y},\sqrt{z}) \qquad \text{y} \qquad \left(\frac1{\sqrt{x}},\frac1{\sqrt{y}},\frac1{\sqrt{z}}\right).

Entonces:

(x+y+z)(1x+1y+1z)(1+1+1)2=9.(x+y+z)\left(\frac1x+\frac1y+\frac1z\right) \ge (1+1+1)^2 = 9.

Este es un ejemplo muy importante porque enseña a fabricar el lado derecho correcto.

Ejemplo un poco mas olimpico

Ejemplo 5

Para a,b,c>0a,b,c>0, demuestra que

a2b+b2c+c2aa+b+c.\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a} \ge a+b+c.

Aplicamos Titu:

a2b+b2c+c2a(a+b+c)2a+b+c=a+b+c.\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a} \ge \frac{(a+b+c)^2}{a+b+c} = a+b+c.

Ese tipo de salto es muy comun en entrenamiento olimpico: una suma aparentemente desigual se vuelve directa al reconocer la forma correcta.

Donde mirar la igualdad

En muchas desigualdades, la igualdad aparece cuando todas las variables relevantes coinciden. Aqui, por ejemplo:

  • en 1x+1y4x+y,\frac{1}{x}+\frac{1}{y} \ge \frac{4}{x+y}, la igualdad ocurre cuando x=yx=y;
  • en (x+y+z)(1x+1y+1z)9,\left(x+y+z\right)\left(\frac1x+\frac1y+\frac1z\right)\ge 9, la igualdad ocurre cuando x=y=zx=y=z;
  • en a2b+b2c+c2aa+b+c,\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a} \ge a+b+c, la igualdad ocurre cuando a=b=ca=b=c.

Buscar la igualdad te ayuda a comprobar si la herramienta elegida tiene sentido.

Como decidir si conviene usarla

Hazte estas preguntas:

  1. Hay sumas de cuadrados o productos escalares.
  2. Hay fracciones con numeradores cuadrados.
  3. La expresion objetivo recuerda a un cuadrado de suma o a una suma simple.
  4. Las variables son positivas o los denominadores estan controlados.
Tip:

En desigualdades de olimpiada, reconocer la forma suele importar mas que memorizar veinte herramientas.

Ejercicios

Ejercicio

Nivel 3/5

Demuestra que

2(x2+y2)(x+y)2.2(x^2+y^2) \ge (x+y)^2.

Ejercicio

Nivel 3/5

Demuestra que

3(a2+b2+c2)(a+b+c)2.3(a^2+b^2+c^2)\ge(a+b+c)^2.

Ejercicio

Nivel 4/5

Si x,y>0x,y>0, demuestra que

1x+1y4x+y.\frac{1}{x}+\frac{1}{y} \ge \frac{4}{x+y}.

Ejercicio

Nivel 4/5

Para a,b>0a,b>0, demuestra que

a2b+b2aa+b.\frac{a^2}{b}+\frac{b^2}{a} \ge a+b.

Ejercicio

Nivel 4/5

Para x,y,z>0x,y,z>0, demuestra que

(x+y+z)(1x+1y+1z)9.\left(x+y+z\right)\left(\frac1x+\frac1y+\frac1z\right)\ge 9.

Ejercicio

Nivel 5/5

Para a,b,c>0a,b,c>0, demuestra que

a2b+c+b2c+a+c2a+ba+b+c2.\frac{a^2}{b+c}+\frac{b^2}{c+a}+\frac{c^2}{a+b} \ge \frac{a+b+c}{2}.

Pista: primero intenta escribir la expresion en una forma que recuerde a Titu.

Errores que conviene vigilar

  • Aplicar la desigualdad sin mirar si la forma encaja de verdad.
  • Usar Titu cuando el denominador puede ser cero o negativo sin revisar el contexto.
  • Olvidar reconocer la igualdad.

Si quieres seguir leyendo

Estos temas encajan bien como siguiente paso natural despues de este tema.