Đặt A = a/a+b+c + b/b+c+d + c/c+d+a + d/d+a+b
A > a/a+b+c+d + b/a+b+c+d + c/a+b+c+d + d+a+b+c+d
A > a+b+c+d/a+b+c+d = 1 (1)
Áp dụng a/b < 1 <=> a/b < a+m/b+m (a;b;m > 0) ta có:
A < a+d/a+b+c+d + a+b/a+b+c+d + b+c/a+b+c+d + c+d/a+b+c+d
A < 2.(a+b+c+d)/a+b+c+d
A < 2
Từ (1) và (2) => đpcm