Có:
y + z = ax + cz + ax + by
-> 2ax = y + z - x
a = (y + z - x)/(2x) --> a + 1 = (x + y + z)/(2x)
-> 1 /(1 + a) = 2x /(x + y + z)
Tương tự có: 1/(1 + b) = 2y/(x + y + z)
1/(1 + c) = 2z/(x + y + z)
-> 1/(1 + a) + 1/(1 + b) + 1/(1 + c) = 2.(x+y+z) / (x+y+z)=2(dpcm)