Решение
Пусть пробирок вида А, В и С взяли соответственно a, b и с штук. По условию
Левая часть последнего равенства делится на 1000, следовательно на 1000 должна делиться и правая часть. Значит, наименьшее возможное значение суммы
равно 1000. Покажем, что эта оценка достижима. То есть, докажем, что существуют неотрицательные целые числа a, b и с такие, что
Последние три неравенства служат необходимым и достаточным условиям того, что удастся избежать использования пробирок одного вида при двух последовательных переливаниях. Из первых двух уравнений системы находим
Подставив эти выражения в последние три неравенства системы, получим
Отсюда наибольшее значение с равно 73. После этого находим соответствующие ему значения a и b по найденным выше формулам. Они, очевидно, удовлетворяют неравенствам системы. Таким образом, разрешимость в неотрицательных целых числах системы доказана.