Từ `x < y -> a/m < b/m -> a < b`
Ta có :
`x = a/m = (2a)/(2m)`
`y = b/m = (2b)/(2m)`
Từ `a < b -> a + a < a +b => 2a < a +b`
`=> (2a)/(2m) < (a+b)/(2m)`
`=>x < z \quad (1)`
Từ `a < b -> a +b < b +b => (a+b) < 2b`
`=> (a+b)/(2m) < (2b)/(2m)`
`=> z < y \quad (2)`
Từ `(1)` và `(2)`
`=> x < z < y` ( ĐPCM)