PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Cauchy-Schwarz inequality (Proof)

If $a$ and $b$ are linearly dependent, we write $\boldsymbol{b}=\lambda \boldsymbol{a}$ So we get: $$\langle \boldsymbol{a},\lambda \boldsymbol{a}\rangle^2=\lambda^2\langle \boldsymbol{a},\boldsymbol{a}\rangle^2=\lambda^2 ||\boldsymbol{a}||^4=||\boldsymbol{a}||^2||\boldsymbol{b}||^2.$$ So we have equality if $\boldsymbol{a}$ and $\boldsymbol{b}$ are linearly dependent. In the other case we look at the quadratic function $$||x\cdot \boldsymbol{a}+\boldsymbol{b}||^2=x^2||\boldsymbol{a}||^2+2x\langle\boldsymbol{a} ,\boldsymbol{b}\rangle + ||\boldsymbol{b}||^2.$$ This function is positive for every real $x$ if $\boldsymbol{a}$ and $\boldsymbol{b}$ are linearly independent. Thus it has no real zeroes, which means that $$\langle\boldsymbol{a}, \boldsymbol{b}\rangle^2 - ||\boldsymbol{a}||^2 ||\boldsymbol{b}||^2$$ is always negative. So we have: $$\langle\boldsymbol{a}, \boldsymbol{b}\rangle^2 < ||\boldsymbol{a}||^2||\boldsymbol{b}||^2,$$ which is the Cauchy-Schwarz inequality if $\boldsymbol{a}$ and $\boldsymbol{b}$ are linearly independent.




"proof of Cauchy-Schwarz inequality" is owned by mathwizard.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: Cauchy-Schwarz inequality, negative, linearly independent, real, positive, function, equality, linearly dependent

This is version 3 of proof of Cauchy-Schwarz inequality, born on 2002-04-10, modified 2005-01-13.
Object id is 2827, canonical name is ProofOfCauchySchwarzInequality.
Accessed 24161 times total.

Classification:
AMS MSC15A63 (Linear and multilinear algebra; matrix theory :: Quadratic and bilinear forms, inner products)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy
a inequality question by i_am_co2 on 2008-11-24 07:49:19
i use cauchy-schwarz inequality to prove the follow inequality

Let (summation from i=1 to n) = S and X = multiply

S[a(suffix_i)]^(1/2) <or= {nXS[a(suffix_i)]}^(1/2)

it has no problem
the problem is "hence"

hence, prove that

1 + 1/2 + ... + 1/n <or= (2n-1)^(1/2)

i cannot do it
[ reply | up ]

Interact
post | correct | update request | add example | add (any)