Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In Spivak Calculus you are asked to prove that in Schwarz inequality, equality holds only when $y_1 = y_2 = 0$ or when there is a number $\lambda$ such that $x_1 = \lambda y_1$ and $x_2 = \lambda y_2$.

I can go from $x_1y_1 + x_2y_2 = \sqrt{x_1^2 + x_2^2} + \sqrt{y_1^2 + y_2^2}$ to $x_1y_2 = x_2y_1$ but then I got stuck, or is it that the implication is the other way around?

share|improve this question
4  
That's correct. Conclude that if neither of $y_1, y_2$ are 0, then $\frac {x_1}{y_1} = \frac {x_2}{y_2}$, and set it to be your favorite parameter. Then deal with the case $y_1 y_2 = 0$. –  Calvin Lin Jan 15 '13 at 4:28
    
Thank you Calvin, with your $\lambda = \frac{x_1}{y_1}$ trick I was able to complete the proof. –  Edgar Sánchez Jan 15 '13 at 5:23

1 Answer 1

$|\langle \mathbf{x},\mathbf{y}\rangle|=\|\mathbf{x}\|\,\|\mathbf{y}\| \iff \mathbf{x}$ and $\mathbf{y}$ are linearly dependent, i.e. if $\mathbf{x}=\lambda\mathbf{y}$ (or, trivially, if either $\mathbf{x}$ or $\mathbf{y}$ is zero; handle this first to get it out of the way).

($\implies$): Follow the normal Schwarz inequality argument, but equality will force $\mathbf{x}={\langle \mathbf{x},\mathbf{y}\rangle\over \langle\mathbf{y},\mathbf{y}\rangle}\mathbf{y}$

($\Longleftarrow$): Substitute $\mathbf{x}=\lambda\mathbf{y}$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.