x<y suy ra a/m<b/m suy ra a<b (vì m<0)
mà a<b suy ra a+b < b+b
suy ra a+b<2b
suy ra a+b/2 <b
suy ra a+b/2m <b/m
suy ra a+b/2m< y
Suy ra z<y (1)
Mặt khác a<b suy ra a+a <a+b
suy ra 2a <a+b
suy ra 2a/m <a+b/ m
suy ra a/m < a+b/2m
suy ra x<z (2)
Từ (1) và (2)
suy ra x<z<y