Tính chất tỉ số:
Cho x, y, z > 0; x/y < 1 ta có: x / y < (x+z) / (y+z) (*)
cm:
(*) <=> x(y+z) < y(x+z) <=> xy+xz < yx+yz <=> xz < yz <=> x < y đúng do gt x < y
với các số dương a, b, c ta có: a < a+b ; b < b+c ; c < c+a
=> a/(a+b) < 1 ; b/(b+c) < 1 ; c/(c+a) < 1; ad (*) ta có:
A = a/(a+b) + b/(b+c) + c/(c+a) < (a+c)/(a+b+c) + (b+a)/(b+c+a) + (c+b)/(c+a+b)
=> A < 2(a+b+c)/(a+b+c) = 2
mặt khác ta có:
A = a/(a+b) + b/(b+c) + c/(c+a) > a/(a+b+c) + b/(b+c+a) + c/(c+a+b)
=> A > (a+b+c)/(a+b+c) = 1
1 < A < 2 => A không là số nguyên