a) Ta có:
a/b < c/d
=> a/b . d/c < c/d . d/c
=> ad/bc < 1
=> ad < 1.bc
=> ad < bc ( đpcm)
b) Ta có: ad < bc
=> ad + ab < bc + ab
=> a.(b + d) < b.(a + c)
=> a/b < a+c/b+d (1)
Ta có: ad < bc
=> ad + cd < bc + cd
=> d.(a + c) < c.(b + d)
=> a+c/b+d < c/d (2)
Từ (1) và (2) => a/b < a+c/b+d < c/d ( đpcm)