Results 1 to 6 of 6

Math Help - Spivak's Calculus - Schwarz Inequality

  1. #1
    Member
    Joined
    Mar 2010
    Posts
    78

    Post Spivak's Calculus - Schwarz Inequality

    19. (a) Prove that if x_1 = ny_1 and x_2 = ny_2 for some number n, then equality holds in the Schwarz inequality. Prove the same thing if y_1 = y_2 = 0. Now suppose that y_1 and y_2 are not both 0, and that there is no number n such that x_1 = ny_1 and x_2 = ny_2. Then

    0 < (ny_1 - x_1)^2 + (ny_2 - x_2)^2
    = n^2(y_1^2 + y_2^2) - 2n(x_1y_1 + x_2y_2) + (x_1^2 + y_2^2).

    Using Problem 18, complete the proof of the Schwarz inequality (i.e. prove that x_1y_1 + x_2y_2 <= \sqrt{x_1^2 + x_2^2}\sqrt{y_1^2 + y_2^2}).

    I've proven the first two assumptions so far (by substitution), but I'm not sure how to prove the third. I know that I have to complete the square (which I've done in problem 18), but I can't seem to do that in this problem since there are double the variables. I've tried manipulating the inequality such that x_1y_1 + x_2y_2 < \frac{1}{2n}(x_1^2 + y_2^2) + \frac{n}{2}(y_1^2 + y_2^2), but that doesn't seem to work either.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1

    Re: Spivak's Calculus - Schwarz Inequality

    Quote Originally Posted by RogueDemon View Post
    19. (a) Prove that if x_1 = ny_1 and x_2 = ny_2 for some number n, then equality holds in the Schwarz inequality. Prove the same thing if y_1 = y_2 = 0. Now suppose that y_1 and y_2 are not both 0, and that there is no number n such that x_1 = ny_1 and x_2 = ny_2. Then

    0 < (ny_1 - x_1)^2 + (ny_2 - x_2)^2
    = n^2(y_1^2 + y_2^2) - 2n(x_1y_1 + x_2y_2) + (x_1^2 + y_2^2).

    Using Problem 18, complete the proof of the Schwarz inequality (i.e. prove that x_1y_1 + x_2y_2 <= \sqrt{x_1^2 + x_2^2}\sqrt{y_1^2 + y_2^2}).

    I've proven the first two assumptions so far (by substitution), but I'm not sure how to prove the third. I know that I have to complete the square (which I've done in problem 18), but I can't seem to do that in this problem since there are double the variables. I've tried manipulating the inequality such that x_1y_1 + x_2y_2 < \frac{1}{2n}(x_1^2 + y_2^2) + \frac{n}{2}(y_1^2 + y_2^2), but that doesn't seem to work either.


    If I followed your question properly, then in my opinion discriminant of quadratic equation would help you.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Mar 2010
    Posts
    78

    Re: Spivak's Calculus - Schwarz Inequality

    Do you know how to apply the discriminant to completing this proof? I can't figure it out. :/
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor Also sprach Zarathustra's Avatar
    Joined
    Dec 2009
    From
    Russia
    Posts
    1,506
    Thanks
    1

    Re: Spivak's Calculus - Schwarz Inequality

    Quote Originally Posted by RogueDemon View Post
    Do you know how to apply the discriminant to completing this proof? I can't figure it out. :/
     n^2(y_1^2 + y_2^2) - 2n(x_1y_1 + x_2y_2) + (x_1^2 + y_2^2)>0

     n^2a - 2nb + c>0 - Polynomial of degree 2.

    \Delta =b^2-4ac<0(Why?)
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Mar 2010
    Posts
    78

    Re: Spivak's Calculus - Schwarz Inequality

    Quote Originally Posted by Also sprach Zarathustra View Post
     n^2(y_1^2 + y_2^2) - 2n(x_1y_1 + x_2y_2) + (x_1^2 + y_2^2)>0

     n^2a - 2nb + c>0 - Polynomial of degree 2.

    \Delta =b^2-4ac<0(Why?)
    By completing the square, it becomes evident that n^2a - 2nb + c = n + \frac{-b + \sqrt{-(b^2 - ac)}}{a}. Thus, it must be true that b^2 - 4ac < 0 since the contrary would imply that the expression is complex.

    Though, how does this complete the proof of the Schwarz inequality?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Mar 2010
    Posts
    78

    Re: Spivak's Calculus - Schwarz Inequality

    Wait, nvm, I got it. Thanks!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Spivak's Calculus - Proof
    Posted in the Calculus Forum
    Replies: 6
    Last Post: July 26th 2011, 08:22 PM
  2. Spivak's Calculus Question
    Posted in the Calculus Forum
    Replies: 5
    Last Post: July 11th 2011, 10:13 AM
  3. cauchy schwarz inequality
    Posted in the Advanced Statistics Forum
    Replies: 4
    Last Post: January 30th 2010, 11:09 PM
  4. Replies: 2
    Last Post: January 11th 2010, 07:22 AM
  5. Schwarz's inequality
    Posted in the Algebra Forum
    Replies: 1
    Last Post: October 20th 2007, 04:33 PM

Search Tags


/mathhelpforum @mathhelpforum