Заметим, что b+1a+1−ba=b(b+1)b−a для любых положительных a и b. Значит, после переноса всех членов в левую часть требуемое неравенство приобретает вид
y(y+1)y−x+z(z+1)z−y+x(x+1)x−z≤0.(1)
Можно считать, что x — наибольшее из трёх данных чисел. Возможны два случая.
Случай 1. y≥z. В этом случае имеем
x(x+1)x−y≤y(y+1)x−y,x(x+1)y−z≤z(z+1)y−z.
Складывая эти неравенства, получаем
x(x+1)x−z≤−y(y+1)y−x−z(z+1)z−y,
что равносильно (1).
Случай 2. y<z. Тогда имеем
z(z+1)z−y≤y(y+1)z−y,x(x+1)x−z≤y(y+1)x−z.
Складывая эти неравенства, получаем
z(z+1)z−y+x(x+1)x−z≤−y(y+1)y−x,
что опять же равносильно (1).