Help with writing a simple proof on inequalities

  • #1
1. Let m, n, p, q [itex]\in[/itex] Z
If 0 < m < n and 0< p [itex]\leq[/itex] q, then mp < nq



2. Propositions/axioms I can use that relate to inequalities
2.4 Let m,n,p [itex]\in[/itex] Z. If m < n and n < p, then m < p
2.5 For each n [itex]\in[/itex] N there exists an m [itex]\in[/itex] N such that m > n
2.6 Let m,n [itex]\in[/itex] Z. If m [itex]\leq[/itex] n [itex]\leq[/itex] m then m=n
2.7 i)If m < n, then m+p < n+p
2.7 ii)If m < n and p < q then m+p < n+q

The Attempt at a Solution



So far, my first idea is to say if m < n, then sm < sn (s being an arbitrary integer). However, I don't have an axiom or proposition to reference for this step, so I don't even know if I can use it. If I could use it, then i would go on to say that if sm < sn, then if p<q, then pm<qn, but this is the thing they want me to prove! So I can't reference the proposition I am trying to prove, I am just stuck!

The other issue is that I can only use axioms an propositions from earlier in the book, so my options are limited, but the most obviously useful ones seem to be 2.7 (i) and (ii)
 
Last edited by a moderator:

Answers and Replies

  • #2
dynamicsolo
Homework Helper
1,648
4
You may have to establish the proposition [itex]for 0 < m < n and s > 0 , m < n \Rightarrow sm < sn [/itex] as a lemma, if you were not given it. But you're in luck, because the "universe of discourse" is the integers and we are sticking to the positive ones. Use what you know about addition of positive integers and Prop. 2.7 for this.

Then you want to build a chain of inequalities starting from mp and changing one factor at a time until you have nq . (I have said enough...)
 
  • #3
lanedance
Homework Helper
3,304
2
how about
m<n
m+m<n+n (2.7)
2m<2n

so you should be able to build up to
s>0 then
sm<sn
 
Last edited:

Related Threads on Help with writing a simple proof on inequalities

  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
8
Views
2K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
5
Views
2K
Replies
4
Views
917
  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
2
Views
1K
Replies
7
Views
2K
  • Last Post
Replies
6
Views
1K
Top