Page 1 of 2 12 LastLast
Results 1 to 15 of 18

Math Help - analysis of a proof

  1. #1
    Banned
    Joined
    Jul 2009
    Posts
    107

    analysis of a proof

    for the following proof :

     ab\leq |ab|\Longrightarrow 2ab\leq 2|a||b|\Longrightarrow (a+b)^2\leq (|a|+|b|)^2 \Longrightarrow |a+b|\leq |a|+|b|

    Write the theorems involved in the proof and how are they involved
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Member Focus's Avatar
    Joined
    Aug 2009
    Posts
    228
    Quote Originally Posted by alexandros View Post
    for the following proof :

     ab\leq |ab|\Longrightarrow 2ab\leq 2|a||b|\Longrightarrow (a+b)^2\leq (|a|+|b|)^2 \Longrightarrow |a+b|\leq |a|+|b|

    Write the theorems involved in the proof and how are they involved
    I am not quite sure what you are asking. The first statement holds by definition, second one by Cauchy-Schwarz, third by squaring out and using the inequality, last one by taking square roots.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Banned
    Joined
    Jul 2009
    Posts
    107
    Quote Originally Posted by Focus View Post
    I am not quite sure what you are asking. The first statement holds by definition, second one by Cauchy-Schwarz, third by squaring out and using the inequality, last one by taking square roots.
    Thank you.

    The Nos are Real Nos and not vectors and i was asked to mention the theorems involved in each step of the proof ( like you did ) and then to show
    how are they involved in the proof
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785
    (Read the note in the end.)

    This seems like a nice exercise. Obviously, the reasoning displayed uses several things: (1) properties of addition, subtraction, multiplication and division; (2) properties of inequalities; (3) properties of the |\cdot| function; and (4) possibly some other properties, like those of square root, etc.

    Imagine that you are talking to a elementary-school student who is extremely smart and understands everything you say provided you explain every new concept. However, he/she knows only the properties of the four basic operations and inequalities, as well as the definition of the absolute value. As I understand, first you are supposed to write this reasoning in much finer detail, on the level something like: "Now add ... to both sides of inequality. Now move this term to the other side. Now use the formula for the expansion of the square of a sum". Then you have to note every place that the young student won't understand without more explanation. For example, you replace |ab| with |a|\cdot|b| because you claim they are equal. This is not a property of the basic operations or inequalities; it involves some reasoning (very simple) about |\cdot|. So you have to identify all such places and write the statements that you use, such as |ab|=|a|\cdot|b|.

    Note: this is my interpretation of the problem. You may have recently studied concrete properties or theorems, to which you gave names, etc. Then maybe the professor wants you to identify those facts only.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Banned
    Joined
    Jul 2009
    Posts
    107
    Thank you.

    I asked my professor and he said for the first step of the implication i.e

     ab\leq |ab| we use the theorem :

    for all x :  -|x|\leq x\leq |x|.

    But how do we use that thyeorem to get :  ab\leq |ab|??
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member Focus's Avatar
    Joined
    Aug 2009
    Posts
    228
    Quote Originally Posted by alexandros View Post
    Thank you.

    I asked my professor and he said for the first step of the implication i.e

     ab\leq |ab| we use the theorem :

    for all x :  -|x|\leq x\leq |x|.

    But how do we use that thyeorem to get :  ab\leq |ab|??
    Hint,  x\leq |x|.

    P.S. Cauchy-Schwarz still applies as multiplication in R^1 is an inner product.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by alexandros View Post
    Thank you.

    I asked my professor and he said for the first step of the implication i.e

     ab\leq |ab| we use the theorem :

    for all x :  -|x|\leq x\leq |x|.

    But how do we use that theorem to get :  ab\leq |ab|??
    If you know that \left( {\forall x} \right)\left[ { - \left| x \right| \leqslant \color{blue}x \leqslant \left| x \right|} \right]
    then surely it follows that \color{blue}ab \leqslant \left| ab \right|
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by Plato View Post
    If you know that \left( {\forall x} \right)\left[ { - \left| x \right| \leqslant \color{blue}x \leqslant \left| x \right|} \right]
    then surely it follows that \color{blue}ab \leqslant \left| ab \right|
    How ,by putting x= ab?

    By what theorem are you allowed to do this?

    And again by what theorem you get : ab\leq |ab| from

    -|ab|\leq ab\leq |ab|
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by xalk View Post
    How ,by putting x= ab?
    By what theorem are you allowed to do this?
    And again by what theorem you get : ab\leq |ab| from
    -|ab|\leq ab\leq |ab|
    What is your point?
    Surely you understand that ab is a real number?
    If not, why are you posting at this level?
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Banned
    Joined
    Jul 2009
    Posts
    107
    Quote Originally Posted by Plato View Post
    If you know that \left( {\forall x} \right)\left[ { - \left| x \right| \leqslant \color{blue}x \leqslant \left| x \right|} \right]
    then surely it follows that \color{blue}ab \leqslant \left| ab \right|

    Thank you ,can you help me with the rest of the problem ?
    Follow Math Help Forum on Facebook and Google+

  11. #11
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by alexandros View Post
    for the following proof :

     ab\leq |ab|\Longrightarrow 2ab\leq 2|a||b|\Longrightarrow (a+b)^2\leq (|a|+|b|)^2 \Longrightarrow |a+b|\leq |a|+|b|

    Write the theorems involved in the proof and how are they involved
    Comming late to this thread, I don't know if this will help.
    Here facts we have now.
    a^2=|a|^2,~b^2=|b|^2~\&~2ab\le 2|a||b|.

    a^2+2ab+b^2\le |a|^2 +2|a||b|+|b|^2

    (a+b)^2\le (|a|+|b|)^2
    Follow Math Help Forum on Facebook and Google+

  12. #12
    Banned
    Joined
    Jul 2009
    Posts
    107
    Thank you ,first of all ,before we go any further, how do we know that this proof is correct
    Follow Math Help Forum on Facebook and Google+

  13. #13
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,969
    Thanks
    1788
    Awards
    1
    Quote Originally Posted by alexandros View Post
    How do we know that this proof is correct?
    Well it certainly is fairly standard.
    What it does is to prove the triangle inequality.
    We start very basic properties of the distance function (the metric, the absolute value) and then using basic properties of order we prove the triangle inequality.
    This basic form of the proof is used in a variety of different courses.
    Follow Math Help Forum on Facebook and Google+

  14. #14
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by alexandros View Post
    Thank you ,first of all ,before we go any further, how do we know that this proof is correct
    What class are you in?
    Follow Math Help Forum on Facebook and Google+

  15. #15
    Banned
    Joined
    Mar 2009
    Posts
    256
    Thanks
    1
    Quote Originally Posted by Drexel28 View Post
    What class are you in?
    He is a bit confused but the problem is quite complicated
    Follow Math Help Forum on Facebook and Google+

Page 1 of 2 12 LastLast

Similar Math Help Forum Discussions

  1. Analysis proof
    Posted in the Differential Geometry Forum
    Replies: 11
    Last Post: April 29th 2010, 09:49 AM
  2. analysis of proof
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: November 16th 2009, 06:04 AM
  3. Proof analysis
    Posted in the Calculus Forum
    Replies: 3
    Last Post: March 9th 2008, 03:20 AM
  4. Analysis Proof
    Posted in the Calculus Forum
    Replies: 2
    Last Post: September 25th 2006, 02:53 PM
  5. Analysis Proof
    Posted in the Calculus Forum
    Replies: 5
    Last Post: September 18th 2006, 05:24 PM

Search Tags


/mathhelpforum @mathhelpforum