Do x < y
=> a/m < b/m
=> a/m + a/m < a/m + b/m < b/m + b/m
=> 2a/m < a+b/m < 2b/m
=> a/m < a+b/m : 2 < b/m
=> a/m < a+b/m × 1/2 < b/m
=> a/m < a+b/2m < b/m
=> x < z < y
=> am<bm
=>am+am<am+bm =>a.2m<m.(a+b)
=>a/m<a+b/2m (1)
=>am+bm<bm+bm=>m(a+b)<b.2m
=>a+b/2m<b/m (2)
tu (1) va (2)
=>a/m<a+b/m2<b/m