Vì x<y nên a<b.Ta có x=a/m=2a/2m,y=b/m=2b/2m
Chọn số z=2a+1/2m .Do 2a<2a+1=>x<z(1)
Do a<b nên a+1nên a+1 nhỏ hơn hoặc bằng b=>2a+2<=2b
Ta có 2a+1<2a+2<=2b nên 2a+1<2b. Do đó z<y (2)
Từ 1 và 2 suy ra x<z<y
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
suy ra : a + a < b + a
hay 2a < a + b
suy ra x < z (1)
mà : a < b
suy ra : a + b < b + b
hay a + b < 2b
suy ra z < y (2)