Quantcast

A community for students. Sign up today!

Here's the question you clicked on:

55 members online
  • 0 replying
  • 0 viewing

richyw

  • one year ago

Under what conditions on \(\mathbf{a}\) and \(\mathbf{b}\) is Cauchy's inequality an equality? Examine the proof

  • This Question is Closed
  1. richyw
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    The proof is done as shown. We introduce the real variable\(t\) and consider the function \[f(t)=|\mathbf{a}-t\mathbf{b}|^2=|\mathbf{a}|^2-2t\mathbf{a}\cdot\mathbf{b}+t^2|\mathbf{b}|^2\] This is a quadratic function of t. Its minimum value occurs at \[t=\frac{(\mathbf{a}\cdot\mathbf{b})}{|\mathbf{b}|^2}\] and that minimum value is \[f\left((\mathbf{a}\cdot\mathbf{b})/|\mathbf{b}|^2\right)=|\mathbf{a}|^2-\frac{(\mathbf{a}\cdot\mathbf{b})}{|\mathbf{b}|^2}\]clearly \(f(t)\geq0\,\forall \,t\) so \[|\mathbf{a}|^2-\frac{(\mathbf{a}\cdot\mathbf{b})}{|\mathbf{b}|^2}\geq 0\] which completes the proof.

  2. richyw
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    first of all. I have no idea why they did the proof like that. How would I ever guess to do that? second, how to I examine this proof to find where cauchy's inequality an equality?

  3. wio
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 1

    Usually really weird stuff like that comes about by doing things backwards.

  4. wio
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 1

    To answer your second question... look for things like division by variables to see where holes would be.

  5. wio
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 1

    Like what if \(|\mathbf{b}| = 0\)

  6. experimentX
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    1 Attachment
  7. richyw
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    does anyone know how I would show that it is an equality if an only if a and b are colinear?

  8. joemath314159
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 1

    If you assume that a and b are colinear, then:\[a=tb\]for some real number t. If you plug this in the cauchy inequality it turns out to be an equality.

  9. richyw
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    does that show that this is the only case though?

  10. richyw
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 0

    like the "and only" part of if and only if

  11. joemath314159
    • one year ago
    Best Response
    You've already chosen the best response.
    Medals 1

    Thats correct, what I posted above is only one direction of the proof (if a and b are colinear, then there is equality in Cauchy's inequality). For the other direction, you should do a proof by contradiction. Assume that there is equality, and that a and b are not colinear. Since a and b are not colinear, you have that the function:\[f(t)=|a-tb|^2\] is always strictly greater than 0 for any value of t. So using:\[|a-tb|^2>0\]and \[|(a\cdot b)|=|a|\cdot |b|\] you should end up with a contradiction.

  12. Not the answer you are looking for?
    Search for more explanations.

    • Attachments:

Ask your own question

Ask a Question
Find more explanations on OpenStudy

Your question is ready. Sign up for free to start getting answers.

spraguer (Moderator)
5 → View Detailed Profile

is replying to Can someone tell me what button the professor is hitting...

23

  • Teamwork 19 Teammate
  • Problem Solving 19 Hero
  • You have blocked this person.
  • ✔ You're a fan Checking fan status...

Thanks for being so helpful in mathematics. If you are getting quality help, make sure you spread the word about OpenStudy.

This is the testimonial you wrote.
You haven't written a testimonial for Owlfred.