Ta có `a/b<c/d`
`⇒ad<bc`
`⇒ad^2<bcd` `(.d)` `(Vì` `d>0)`
`⇒ab^2+ad^2<ab^2+bcd` `(+ab^2)`
`⇒a(b^2+d^2)<b(ab+cd)`
`⇒a/b<{ab+cd}/{b^2+d^2}` `(1)`
Ta có `a/b<c/d`
`⇒ad<bc`
`⇒abd<b^2c` `(.b)` `(Vì` `b>0)`
`⇒abd+cd^2<b^2c+cd^2` `(+cd^2)`
`⇒d(ab+cd)<c(b^2+d^2)`
`⇒{ab+cd}/{b^2+d^2}<c/d` `(1)`
Từ `(1)` và `(2)⇒a/b<{ab+cd}/{b^2+d^2}<c/d`