Cho hai số hữu tỉ a/b và c/d ( a,b,c, d thuộc Z, b > 0, d > 0) Chứng minh ad < bc khi và chỉ khi a/b < c/d
Giải thích
Nếu ad < bc => adbd<bcbd=>ab<cd
Ngược lại nếu ab<cd=>ab.bd<cd.bd=>ad<bc
Nếu ad < bc => adbd<bcbd=>ab<cd
Ngược lại nếu ab<cd=>ab.bd<cd.bd=>ad<bc