Ta có:
`+) a/b - 1 = a/b - b/b = (a - b)/b`
`+) (a + 2021)/(b + 2021) - 1 = (a + 2021)/(b + 2021) - (b + 2021)/(b + 2021)`
`= ((a + 2021) - (b + 2021))/(b + 2021) = (a + 2021 - b - 2021)/(b + 2021)`
`= (a - b)/(b + 2021)`
Vì `a > b`
`=> a - b > 0`
Vì `2021 > 0`
`=> b + 2021 > b`
`=> 1/(b + 2021) < 1/b`
`=> (a - b)/(b + 2021) < (a - b)/b` (Do `a - b > 0`)
`=> (a + 2021)/(b + 2021) - 1 < a/b - 1`
`=> (a + 2021)/(b + 2021) < a/b` hay `a/b > (a + 2021)/(b + 2021)`
Vậy `a/b > (a + 2021)/(b + 2021)` khi `a > b > 0`