ta có: x < y hay a/m < b/m => a < b
so sánh x,y,z ta chuyển chúng cùng mẫu: 2m
x = a/m = 2a / 2m và y = b/m = 2b / 2m và Z = (a + b) / 2m
* Mà a < b :
=> a + a < b + a
hay 2a < b + a
=> x < Z (1)
* mà a < b:
=> a + b < b + b
hay a + b < 2b
=> Z < y (2)
từ (1) và (2) => nếu chọn Z = (a + b) / 2m thì ta có x < Z < y