Ta có :
`x < y`
`-> a/m < b/m`
`-> a < b`
Ta có :
`x = {a}/m = {2a}/{2m} = {a+a}/{2m}`
`y = b/m = {2b}/{2m} = {b+b}/2m`
Ta có :
`a <b ` (cmt)
`-> a +a < a +b`
`-> 2a < a +b`
`-> {2a}/m < {a+b}/m -> x < z` $(1)$
$\\$
`a < b`
`-> a +b < b+b`
`-> a +b < 2b`
`-> {a+b}/m < {2b}/{2m} -> z < y` $(2)$
Từ $(1)$ và $(2)$
`=> x < z < y`
Vậy ta có điều phải chứng minh .