Батороев писал(а):
Для решения задачи необходимо ...
О какой задаче речь? Видимо об исходной, так как для вышенаписанного случая (б) первые сравнения не всегда имеют место быть.
В исходной задаче, собственно нужно было доказать, что a+b+c=27, так что, как я уже говорил, если получить второе Ваше сравнение, то и всё.
В своём выводе Вы используете первые Ваши сравнения, а откуда Вы их получили, я не знаю. Однако они и не нужны - достаточно иметь более слабые сравнения

.
На самом деле и это можно ослабить и возникает новый поворот в задаче - я думал, что после всего, что уже было, он всем очевиден.