1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Check simple inequality proof

  1. May 1, 2010 #1
    1. The problem statement, all variables and given/known data
    Prove:
    If a < b and c < d then a+c < b+d


    2. Relevant equations



    3. The attempt at a solution
    Proof
    Assume a < b and c < d
    then a+c < b+c and b+c < b+d
    so a+c < b+c < b+d
    therefore a+c < b+d
    Q.E.D.


    Pointers and suggestions are also welcome. I am looking for writing and presentation tips just as much as I am for accuracy.
     
  2. jcsd
  3. May 1, 2010 #2
    Looks good. The only thing that I would change is "Assume a < b and c < d". Assuming something does not mean it is necessarily correct as a proof by contradiction can demonstrate. So you can change it to something like "Stated a < b and c < d." Since a < b and c < d was given to you.
     
  4. May 1, 2010 #3

    Mark44

    Staff: Mentor

    Squeezebox, I don't think you know what you're talking about. It is perfectly reasonable to assume that a < b and c < d in this problem, because this statement is the hypothesis.

    When you set out to prove a statement such as if p then q, in a direct proof you assume that p is true and then show that this assumption leads to concluding that q is true as well.
     
  5. May 1, 2010 #4
    Thanks guys. I was actually wondering about the assume part because I know it was drilled into us in class that we should specifically state it. I assume at some point, perhaps when you move from undergrad classes to grad classes you do not specifically need to state it, but I am not sure.
    Are we just supposed to list our assumptions for a proof like this so the teacher knows that we know what we are proving?
     
  6. May 1, 2010 #5
    There's nothing wrong with listing your assumptions explicitly. My own style on homework is to write my solution as a paragraph, stating the assumptions when they are needed. In your case, there is only one assumption, which you used in the beginning, so it seems fine to me. Along the way, you should develop your own writing style, and as long as it remains clear, you're free to experiment.
     
  7. May 1, 2010 #6
    Yeah that is pretty much where I am at now, realizing that there is no one correct way to write a proof and finding my own style for mine when I write them.
    My school used Stewart for its calculus text and I came away with it feeling as though I didn't really understand much. I hated Calculus and couldn't wait to get it over with because all we were doing was doing was plug and chug math. Then I was fortunate enough to have had an instructor for Multivariable Calculus who actually went over some theory and tried to explain what was going on more than "here is this formula, memorize it." So I decided to go through Spivak's Calculus book and do double duty by actually learning Calculus and finding my own proof writing style.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Check simple inequality proof
Loading...