Ta có a/b < c/d => ad< bc => ad + ab < bc + ab ( cộng hai vế với ab )
<=> a(b + d ) < b( a + c )
<=> a/b < a + c/ b+ d ( 1)
Mặt khác ad < bc => ad + cd < bc + cd ( cộng hai vế với cd )
<=> d(a + c ) < c( b + d ) <=> a + c/ b + d < c/d ( 2)
Từ (1) và (2) suy ra a/b < a + c / b + d < c/d