2
$\begingroup$

I am an engineer and just started getting into pure mathematics (to get a complete understanding of the workings of calculus. I cannot 'use' calculus unless I know how it works), so please bear with me.

In the book, Analysis - Volume I, by Terence Tao, he gives the following proposition

Prove $A\geq B$ if and only if $A+C \geq B+C$ where $A,B,C$ belong to whole numbers.

My solution is : $A+C \geq B+C$ implies $A+C = B+C + m$ ( where $m$ is a whole number )

We can cancel $C$ to get $A = B + m$, which by the definition implies that $A \geq B$.

My question is I am not sure if my proof is complete. I am not clear if I am addressing the "if and only if" part of the proposition.

  • 1
    Good question ; you were clear and provided your thoughts so that we can answer the precise question you are having trouble with. +12012-11-20

1 Answers 1

3

You are correct that you are not addressing the entire "if and only if"

In order to show "if and only if" you must show that each of the two statements imply each other. In this case we need to show:

(1) $A \geq B$ implies $A + C \geq B + C$

&

(2) $A + C \geq B + C$ implies $A \geq B$

  • 1
    +1 for leaving the proof to OP. That was precisely his question and you answered it.2012-11-20
  • 0
    Ok. I'll finish the proof and post it. Thanks a lot !2012-11-20
  • 0
    @devenware So this is my solution. Please tell me if it's right. I'm only proving the first part as I've already proved the second part. $A\geqB \Rightarrow A = B + _m_ $ , where _m_ belongs to whole numbers. From the above equation, we get, $\ A + C = B + C + _m_ $ $\ \Rightarrow A + C \geq B + C $2012-11-20
  • 1
    @RaghavendraKumar Yes that seems like a good solution to me!2012-11-20