Results 1 to 3 of 3

Math Help - Proof using WOP

  1. #1
    Newbie
    Joined
    Mar 2013
    From
    Madison, WI
    Posts
    2

    Proof using WOP

    Hello everyone,

    I want to prove that for postive integers x, y, x+y \ne y . I want to do this using the WOP. Here's what I have done so far:

    Suppose for some postive integer x, \exists y such that  y=x+y. By the WOP, there exists a smallest x_0 such that y=x_0+y. Now I think I may have to apply the WOP again, but am not sure. Any advice?

    Thanks a lot,

    Kevin
    Last edited by kmerfeld; March 11th 2013 at 08:42 AM.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,605
    Thanks
    1574
    Awards
    1

    Re: Proof using WOP

    Quote Originally Posted by kmerfeld View Post
    P.S. Is there a way to enter LaTex code?
    [TEX]x+y\ne y [/TEX] gives x+y\ne y
    If you click on the “go advanced tab” you should see \boxed{\Sigma} on the tool-bar. That gives the [TEX]..[/TEX] wrap. Your LaTeX code goes between them.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Newbie
    Joined
    Mar 2013
    From
    Madison, WI
    Posts
    2

    Re: Proof using WOP

    x+y\ne y Got it. Thanks
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. [Abstract Algebra] Anyone care to proof-read a proof?
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: December 4th 2012, 01:13 PM
  2. Replies: 15
    Last Post: June 8th 2011, 11:13 AM
  3. Replies: 5
    Last Post: October 19th 2010, 10:50 AM
  4. Proof with algebra, and proof by induction (problems)
    Posted in the Discrete Math Forum
    Replies: 8
    Last Post: June 8th 2008, 01:20 PM
  5. proof that the proof that .999_ = 1 is not a proof (version)
    Posted in the Advanced Applied Math Forum
    Replies: 4
    Last Post: April 14th 2008, 04:07 PM

Search Tags


/mathhelpforum @mathhelpforum