Results 1 to 15 of 15

Math Help - inequality proof

  1. #1
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    inequality proof

    How do we prove : \frac{1}{a}>0\Longrightarrow a>0.

    Proof:

    Let \frac{1}{a}>0 and suppose \neg(a>0),then by trichotomy law we have :

    a<0 or a-0

    For a<0 => \frac{1}{a}.a =1<0 ,hence contradiction ,since 1>0

    For a=0,how do we cope with this case??
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Nov 2013
    From
    California
    Posts
    2,487
    Thanks
    963

    Re: inequality proof

    there is no $a=0$ case. Division by $0$ is undefined.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by romsek View Post
    there is no $a=0$ case. Division by $0$ is undefined.
    So there is no theorem : (1/a) >0 => a>0 ??
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,707
    Thanks
    1470

    Re: inequality proof

    What does "there is no a= 0 case" have to do with "if (1/a)> 0 then a> 0"? Why do you conclude that the theorem is not true?
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by HallsofIvy View Post
    What does "there is no a= 0 case" have to do with "if (1/a)> 0 then a> 0"? Why do you conclude that the theorem is not true?
    If there is no a=0 case ,we cannot prove: (1/a)>0 => a>0.
    I cannot prove the theorem .

    Perhaps you can??
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Nov 2013
    From
    California
    Posts
    2,487
    Thanks
    963

    Re: inequality proof

    Quote Originally Posted by psolaki View Post
    If there is no a=0 case ,we cannot prove: (1/a)>0 => a>0.
    I cannot prove the theorem .

    Perhaps you can??
    Given $\dfrac 1 a > 0$

    suppose $a < 0$ then

    $a = -|a|$

    $\dfrac 1 a = \dfrac {1}{-|a|}=-\dfrac{1}{|a|}=-\left|\dfrac 1 a\right|$

    by definition

    $\left|\dfrac 1 a\right| > 0$

    so

    $-\left|\dfrac 1 a\right| < 0$

    and thus

    $\dfrac 1 a < 0$

    but we're given that

    $\dfrac 1 a > 0$

    and thus we have a contradiction so it must be that

    $a > 0$
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor
    Prove It's Avatar
    Joined
    Aug 2008
    Posts
    11,564
    Thanks
    1425

    Re: inequality proof

    Quote Originally Posted by psolaki View Post
    How do we prove : \frac{1}{a}>0\Longrightarrow a>0.

    Proof:

    Let \frac{1}{a}>0 and suppose \neg(a>0),then by trichotomy law we have :

    a<0 or a-0

    For a<0 => \frac{1}{a}.a =1<0 ,hence contradiction ,since 1>0

    For a=0,how do we cope with this case??
    The product of two positive numbers (and so the quotient of two positive numbers) gives a positive number.

    The product of two negative numbers (and so the quotient of two negative numbers) gives a negative number.

    The product of two numbers of different sign (and so the quotient of two numbers of different sign) gives a negative number.

    Since your quantity 1/a is positive, that means the two numbers must be of the same sign. Since 1 is positive, so must be a. Q.E.D.
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by romsek View Post
    Given $\dfrac 1 a > 0$

    suppose $a < 0$ then

    $a = -|a|$

    $\dfrac 1 a = \dfrac {1}{-|a|}=-\dfrac{1}{|a|}=-\left|\dfrac 1 a\right|$

    by definition

    $\left|\dfrac 1 a\right| > 0$

    so

    $-\left|\dfrac 1 a\right| < 0$

    and thus

    $\dfrac 1 a < 0$

    but we're given that

    $\dfrac 1 a > 0$

    and thus we have a contradiction so it must be that

    $a > 0$

    ΝΟ If you have a contradiction you must have:

    \neg(a<0) and not a>o

    But \neg(a<0) implies by trichotomy law : a>0 OR a=0 and not only a>0
    Follow Math Help Forum on Facebook and Google+

  9. #9
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by Prove It View Post
    The product of two positive numbers (and so the quotient of two positive numbers) gives a positive number.

    The product of two negative numbers (and so the quotient of two negative numbers) gives a negative number.

    The product of two numbers of different sign (and so the quotient of two numbers of different sign) gives a negative number.

    Since your quantity 1/a is positive, that means the two numbers must be of the same sign. Since 1 is positive, so must be a. Q.E.D.
    The product of \frac{1}{a}.a=1 IF a is NOT zero

    But we donot know that
    Follow Math Help Forum on Facebook and Google+

  10. #10
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,707
    Thanks
    1470

    Re: inequality proof

    Yes, we do know that. The very fact that we are talking about \frac{1}{a} tells us that a is not 0.
    Follow Math Help Forum on Facebook and Google+

  11. #11
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by HallsofIvy View Post
    Yes, we do know that. The very fact that we are talking about \frac{1}{a} tells us that a is not 0.
    There is no theorem,axiom or definition that tell us:

    if (1/a) exists then \neg(a=0)

    The only axiom we have tell us what happens IF \neg(a=0).

    And : \neg(a=0)\Longrightarrow \frac{1}{a}.a=1
    Follow Math Help Forum on Facebook and Google+

  12. #12
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,707
    Thanks
    1470

    Re: inequality proof

    You don't need it. If there exist x such that x\left(\frac{1}{0}\right)= 1 then x= 1(0)= 0. But 0 times any number is 0 so that 1/x exist only if "0" is the only number in your set (and most field axioms include the axiom that the set of "numbers" contains more than one number). In any field, 0 has no multiplicative inverse: the is NO \frac{1}{0}.
    Follow Math Help Forum on Facebook and Google+

  13. #13
    MHF Contributor
    Joined
    Nov 2013
    From
    California
    Posts
    2,487
    Thanks
    963

    Re: inequality proof

    Quote Originally Posted by psolaki View Post
    There is no theorem,axiom or definition that tell us:

    if (1/a) exists then \neg(a=0)

    The only axiom we have tell us what happens IF \neg(a=0).

    And : \neg(a=0)\Longrightarrow \frac{1}{a}.a=1
    What's your story anyway? Every thread you've started you end up arguing with people trying to answer your questions.

    If you have all the answers already just go away.
    Follow Math Help Forum on Facebook and Google+

  14. #14
    Member
    Joined
    Jul 2011
    Posts
    121
    Thanks
    1

    Re: inequality proof

    Quote Originally Posted by romsek View Post
    What's your story anyway? Every thread you've started you end up arguing with people trying to answer your questions.

    If you have all the answers already just go away.
    If i had all the answers i would not ask in the 1st place,would i

    And if somebody gives me wrong answers ,what must i do
    Follow Math Help Forum on Facebook and Google+

  15. #15
    MHF Contributor

    Joined
    Apr 2005
    Posts
    15,707
    Thanks
    1470

    Re: inequality proof

    If you do not have the answers, how do you know you are being given wrong answers?

    If you believe that an answer given is wrong (which certainly can happen!) ask for an explanation of clarification.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. proof of inequality
    Posted in the Algebra Forum
    Replies: 2
    Last Post: August 14th 2012, 05:50 PM
  2. Inequality proof.
    Posted in the Algebra Forum
    Replies: 1
    Last Post: May 16th 2011, 04:15 PM
  3. Inequality proof
    Posted in the Algebra Forum
    Replies: 4
    Last Post: October 5th 2008, 01:10 PM
  4. inequality proof
    Posted in the Advanced Math Topics Forum
    Replies: 2
    Last Post: September 11th 2008, 02:26 AM
  5. Help inequality proof
    Posted in the Calculus Forum
    Replies: 3
    Last Post: May 14th 2008, 03:48 AM

Search Tags


/mathhelpforum @mathhelpforum