Предположим, что существует натуральное число b такое, что b⁴=5a⁴+13 (знак b значения не имеет, поэтому достаточно доказать, что таких натуральных чисел нет). Тогда число b можно записать как 5n+r, где r - остаток от деления числа b на 5. Получаем равенство (5n+r)⁴=5a⁴+13. Заметим, что правая часть имеет остаток 3 при делении на 5, а значит, число b⁴ имеет остаток 3 при делении на 5 и r≠0. Выражение (5n+r)⁴ имеет такой же остаток при делении на 5, что и число r⁴ (если мы раскроем скобки, то слагаемое r⁴ окажется единственным, не делящимся на 5). Легко проверить, что при r=1,2,3,4 число r⁴ имеет остаток 1 при делении на 5. Мы получили противоречие, следовательно, такого числа b не существует и число 5a⁴+13 не является четвертой степенью никакого целого числа.
Возможно, можно сделать все проще, но моя идея такая: 1) Переливаем из 3-го стакана (Самого большого) в 1-й (3л.) Теперь у нас все так: 1 - 3л., 2 - 0 л., 3 - 17 л. 2) Переливаем из 1-го во второй, получаем: 1 - 0 л., 2 - 3 л., 3 - 17 л. 3) Снова из самого большого (3) льём в самый маленький (1), получаем: 1 - 3л, 2 - 3л, 3 - 14 л. 4) Из 1 льём во второй, получаем: 1 - 1л (Т.к. второй полностью наполнен), 2 - 5 л., 3 - 14л. 5) Выливаем из 2 в 3. Затем льём из 1 во второй, получаем: 1 - 0л, 2-1л, 3- 19 л. 6) Из 3 льём в 1, из 1 во второй. Получаем: 1 - 0л, 2 - 4л, 3 - 16л.
