Sử dụng tính chất : nếu a , b , c \(\in\) Z và a < b thì a + c < b - c . Từ đó
=> \(\frac{a}{m}< \frac{a+b}{2m}\) ( chia 2 vế cho m > 0 )
Vậy x < z ( 1 )
- Ta chứng minh z < y hay \(\frac{a+b}{2m}< \frac{b}{m}\)
Ta có : am < bm => am + bm < bm + bm ( cộng hai vế với bm )
=> ( a + b )m < 2bm
=> a + b < 2b ( chia 2 vế cho m )
=> \(\frac{a+b}{2m}< \frac{2b}{2m}=\frac{b}{m}\) ( chia 2 vế cho 2m )
Hay z < y ( 2 )
Từ ( 1 ) và ( 2 ) => x < z < y
* Nhận xét : từ kết quả trên ta rút ra kết luận : trên trục số , giữa 2 điểm hữu tỉ khác nhau bất kì bao giờ cũng có ít nhất một điểm hữu tỉ nữa và do đó có vô số điểm hữu tỉ . Ta bảo tập hợp Q là tập trù mật.