Desigualdad de Cauchy-Schwarz (C-S)
Desigualdad de Cauchy-Schwarz (C-S)
La desigualdad de Cauchy-Schwarz dice que si [math] y [math] son números reales, entonces
Comentario:
Si todos los números son positivos, la igualdad vale si y solamente si [math].
[math]
Además la igualdad vale si y solamente si ([math] para todo [math]) o (existe [math] tal que [math] para todo [math]).Comentario:
Si todos los números son positivos, la igualdad vale si y solamente si [math].
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
Re: Desigualdad de Cauchy-Schwarz (C-S)
Demostración:
Si [math] para todo [math] estamos (y vale la igualdad).
Si no, consideremos el polinomio cuadrático [math].
Notemos que el coeficiente de [math] no es [math], así que el razonamiento que hacemos a continuación es válido.
Es claro que [math]. Entonces si llamamos [math] al discriminante de ese polinomio, tenemos [math].
Pero [math], se puede escribir como [math], que es la desigualdad que queríamos.
Más aún, [math] el polinomio tiene exactamente una raíz [math] tal que [math] para todo [math]. Esto muetra cuando vale la igualdad.
Esta es la demostración habitual de Cauchy-Schwarz, también hay una usando álgebra lineal.
Si [math] para todo [math] estamos (y vale la igualdad).
Si no, consideremos el polinomio cuadrático [math].
Notemos que el coeficiente de [math] no es [math], así que el razonamiento que hacemos a continuación es válido.
Es claro que [math]. Entonces si llamamos [math] al discriminante de ese polinomio, tenemos [math].
Pero [math], se puede escribir como [math], que es la desigualdad que queríamos.
Más aún, [math] el polinomio tiene exactamente una raíz [math] tal que [math] para todo [math]. Esto muetra cuando vale la igualdad.
Esta es la demostración habitual de Cauchy-Schwarz, también hay una usando álgebra lineal.
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
-
Vladislao
- Mensajes: 808
- Registrado: Mar 28 Dic, 2010 3:26 pm
- Medallas: 6
- Nivel: Exolímpico
- Ubicación: Córdoba
Re: Desigualdad de Cauchy-Schwarz (C-S)
Una demostración más directa de Cauchy Schwarz es la siguiente:
Sean [math]. Entonces, [math]. Luego:
[math]
Es conocido que la función coseno tiene toma valores del conjunto [math], por lo que la expresión de la derecha debe cumplir que:
[math]
[math]
De la última desigualdad se deduce que:
[math]
Que es la desigualdad de Cauchy Schwarz.
NOTA: Si bien la desigualdad del final involucra vectores, es sencillo ver que es exactamente la misma que la que posteó Iván (faltaría elevar al cuadrado a ambos lados, pero en definitiva es lo mismo) usando las componentes.
Sean [math]. Entonces, [math]. Luego:
[math]
Es conocido que la función coseno tiene toma valores del conjunto [math], por lo que la expresión de la derecha debe cumplir que:
[math]
[math]
De la última desigualdad se deduce que:
[math]
Que es la desigualdad de Cauchy Schwarz.
NOTA: Si bien la desigualdad del final involucra vectores, es sencillo ver que es exactamente la misma que la que posteó Iván (faltaría elevar al cuadrado a ambos lados, pero en definitiva es lo mismo) usando las componentes.
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Re: Desigualdad de Cauchy-Schwarz (C-S)
Esa demostración está mal, estás haciendo razonamiento circular.
La definición del coseno del ángulo que forman [math] y [math] es [math].
Hay que demostrar que [math], este no es un hecho obvio, ya que esa función no es el coseno que conocemos y en principio no sabemos cual es la imagen.
La demostración de que está en [math] es precisamente Cauchy-Schwarz.
La definición del coseno del ángulo que forman [math] y [math] es [math].
Hay que demostrar que [math], este no es un hecho obvio, ya que esa función no es el coseno que conocemos y en principio no sabemos cual es la imagen.
La demostración de que está en [math] es precisamente Cauchy-Schwarz.
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
-
Vladislao
- Mensajes: 808
- Registrado: Mar 28 Dic, 2010 3:26 pm
- Medallas: 6
- Nivel: Exolímpico
- Ubicación: Córdoba
Re: Desigualdad de Cauchy-Schwarz (C-S)
No, la demostración de que el coseno está acotado no es complicada, y la podés hacer sin CS. Pensé que era muy conocida por eso no la puse... Se la puede hacer usando la proyección escalar de un vector sobre otro. (De hecho se puede demostrar CS usando esto también).
PD: No creo que esté mal, porque algunos libros (o bases de datos como Wolfram) demuestran C-S exactamente como puse arriba; mientras que otros lo hacen al revés..
PD: No creo que esté mal, porque algunos libros (o bases de datos como Wolfram) demuestran C-S exactamente como puse arriba; mientras que otros lo hacen al revés..
Sea [math] Para todo entero positivo [math] se cumple que [math] es un número primo.
Re: Desigualdad de Cauchy-Schwarz (C-S)
Para mí Iván tiene razón. Cuando estás en [math] (o más en general en cualquier espacio vectorial con producto interno) la definición de ángulo entre dos vectores es el [math] tal que [math]. Para poder hacer esta definición uno primero tiene que demostrar Cauchy-Schwarz, si no podría ser que no exista un tal [math].
En principio este ángulo no tiene nada que ver con la idea geométrica que uno puede tener para [math] o [math] (obviamente después uno puede probar que las nociones coinciden).
En principio este ángulo no tiene nada que ver con la idea geométrica que uno puede tener para [math] o [math] (obviamente después uno puede probar que las nociones coinciden).
We gave you a start so you'd know what to do
You've seen how it works, now it's over to you (...)
For there's so much more to explore!
Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
You've seen how it works, now it's over to you (...)
For there's so much more to explore!
Numberblocks - https://www.youtube.com/watch?v=KzTR72_srTU
Re: Desigualdad de Cauchy-Schwarz (C-S)
Claro, [math] es algo que uno demuestra para vectores en el plano (no es una cosa obvia). Fijate si podés demostrarlo en [math] (en principio uno ni sabe que significa el ángulo entre los vectores, pero aún definiendo el ángulo de alguna forma habría que probar que vale esa identidad.)
Guía de $\LaTeX$ (sirve para escribir ecuaciones como $2^{3\times 2}+1=13\cdot 5$)
Re: Desigualdad de Cauchy-Schwarz (C-S)
Otra demostracion:
"Though my eyes could see I still was a blind man"
Re: Desigualdad de Cauchy-Schwarz (C-S)
Lo que a veces alguno se olvida, es de que hay cosas que se pueden demostrar para un lado definiendo desde otro, o viceversa, entonces si vos arrancas a construirlo de una forma que arranque del otro lado pareciese que usas razonamiento circular, pero para realmente estar seguro habria que conocer de adonde arranco la persona.Vladislao escribió:Nah, la demostración de que el coseno está acotado no es tan complicada, y la podés hacer sin CS. Pensé que era muy conocida por eso no la puse... Se la puede hacer usando la proyección escalar de un vector sobre otro. (De hecho se puede demostrar CS usando esto también).
PD: No creo que esté mal, porque algunos libros (o bases de datos como Wolfram) demuestran C-S exactamente como puse arriba; mientras que otros lo hacen al revés..
Re: Desigualdad de Cauchy-Schwarz (C-S)
La prueba de que [math], donde O es el origen y A y B son puntos distintos a O:
Sea [math] un plano que contiene a A, O y B. Tomemos una base ortonormal de R^n [math] tal que [math] y [math] generan el plano [math]. Como A y B pertencen a [math]:
[math]
[math]
Entonces
[math]
[math]
[math]
La ecuación a probar es equivalente a
[math]
que es Cauchy para n=2.
[math]
[math]
[math]
Que se cumple.
Hay igualdad sii ad=bc, sii OA y OB son paralelos, sii b_i=ka_i, para todo i.
Sea [math] un plano que contiene a A, O y B. Tomemos una base ortonormal de R^n [math] tal que [math] y [math] generan el plano [math]. Como A y B pertencen a [math]:
[math]
[math]
Entonces
[math]
[math]
[math]
La ecuación a probar es equivalente a
[math]
que es Cauchy para n=2.
[math]
[math]
[math]
Que se cumple.
Hay igualdad sii ad=bc, sii OA y OB son paralelos, sii b_i=ka_i, para todo i.