Ta có :
`x < y`
`=> a/m < b/m`
`=> a < b`
`a/m = {2a}/{2m} `
`2a = a + a < a +b`
`=> a/m < {a+b}/{2m}` `(1)`
`b/m ={2b}/{2m}`
`2b = b +b > a +b`
`=> {2b}/{2m} > {a+b}/{2m}`
`=> b/m > {a+b}/{2m}` `(2)`
Từ `(1)` và `(2)`
`=> a/m < {a+b}/2m < b/m`
`=> x < z < y`