Докажем методом Математической Индукции, что для распределения по весу k слитков потребуется как минимум 2^k - 1 бирок.
База (k = 1) очевидна.
Переход (от k к k+1):
Пусть для того, чтобы распределить по весу k слитков требуется 2^k - 1 бирка. Докажем, что для k+1 слитка требуется 2^(k+1) - 1 бирок.
Пусть бирок не более 2^(k+1) - 2. Рассмотрим самый первый слиток. Если Архимед выдаст ему бирку с номером меньше 2^k, сделаем его самым тяжёлым (и тогда осталось не более 2^k - 2 бирок на k слитков, чего не хватит по предположению индукции), а если выдаст бирку с номером не меньше 2^k, сделаем его самым лёгким (аналогично). Но тогда на первый слиток нельзя повесить ни одну из бирок, следовательно, бирок должно быть не менее 2^(k+1) - 1.
Докажем теперь, что 2^(k+1) - 1 бирки хватит. Отложим временно 2^k бирок с нечётными номерами. Все слитки, кроме последнего, пронумеруем исключительно бирками с чётными номерами. Бирок хватит, так как их ровно 2^k - 1 (на k слитков). Последний слиток находится по весу между какими-то двумя (возможно, только одним) слитками. Между бирками с их весами есть хотя бы одна незанятая бирка (так как оба их номера чётны). Её можно поставить на последний слиток.
Переход доказан.
Для k = 6 получаем ответ 63.
ответ: 63 бирки.
Задание № 3:
Сколько целых неотрицательных решений имеет уравнение: 3x+4y=30?
чтобы было побыстрее заметим, что 4у должно делиться на 3
у=0: 3х=30; х=10 - ПОДХОДИТ
у=3: 3х+12=30; 3х=18; х=6 - ПОДХОДИТ
у=6: 3х+24=30; 3х=6; х=2 - ПОДХОДИТ
у=9: 3х+36=30; 3х=-6; х=-2 - НЕ ПОДХОДИТ (-2 не целое неотрицательное)
дальнейшие решения для х будет еще меньше
всего три решения
ответ: 3