Ta có: `a<b` `⇔ -2019a> -2019b`(vì `-2019<0`) `⇔2018-2019a>2018-2019b`(liên hệ giữa thứ tự và phép cộng) Mà `2020>2018` `⇔ 2020-2019a>2018-2019b`(tính chất bắc cầu) Bình luận
Ta có: `a<b`
`⇔ -2019a> -2019b`(vì `-2019<0`)
`⇔2018-2019a>2018-2019b`(liên hệ giữa thứ tự và phép cộng)
Mà `2020>2018`
`⇔ 2020-2019a>2018-2019b`(tính chất bắc cầu)
`a<b`
`⇔-2019a>` `-2019b`
`⇔2020-2019a>2020-2019b>2018-2019b`