How to prove inequalities

CatMeow

New member
Joined
Sep 17, 2022
Messages
2
How can I prove inequalities of the form:

If |a - b| < c and b < d then a < c + d?
 
I did it like this

From | a - b | < c

a - c < b

And since b < d

a - c < d

Therefore, a < c + d.

Is this correct?
 
Not quite in my opinion.

0(ab) and ab<c    ab<c    (ac)<b.0 \le (a - b) \text { and } |a - b| < c \implies a - b < c \implies\\ (a - c) < b.
I follow that. But if

(ab)<0 and ab<c    ba<c    b<a+c, NOT ac<b.(a - b) < 0 \text { and } |a - b| < c \implies b - a < c \implies b < a + c, \text { NOT } a - c < b.
 
I did it like this

From | a - b | < c

a - c < b

And since b < d

a - c < d

Therefore, a < c + d.

Is this correct?
It is not immediately obvious that | a - b | < c implies a - c < b, so you need to show it.

If | a - b | < c (and, by implication, c>0), then -c < a-b < c, so b-c < a < b+c, which does imply a-c < b.

Otherwise, what you say is correct.
 
How can I prove inequalities of the form:
If |a - b| < c and b < d then a < c + d?
Given ab<c & b<d|a-b|<c~\&~b<d prove a<c+da<c+d.
  c<ab<c \Rightarrow\;-c<a-b<c
  bc<a<c+b \Rightarrow\;b-c<a<c+b
  a<c+b<c+d \Rightarrow\;a<c+b<c+d
  a<c+d \Rightarrow\;a<c+d
 
Sorry but I don't accept your proof for the following reason.
You are clearly assuming that if x<y<z, then x<z. As you know, this needs to be shown.
 
Sorry but I don't accept your proof for the following reason.
You are clearly assuming that if x<y<z, then x<z. As you know, this needs to be shown.
1) The post is in the Pre-Algebra forum.
2) The less-than, <<\,, relation is transitive.
___   a<c & c<d  a<d\therefore\;a<c~\&~c<d \Rightarrow\;a<d
 
Top