Пусть выбраны гирьки с массами M1, M2, ..., Mn и ими удалось массу X.
Тогда имеет место равенство X = a1 * M1 + a2 * M2 + ... + an * Mn, где ai = 0, если i-ая гирьке не участвовала в взвешиваниях, -1, если лежала на той же чаше весов, что и масса, которкю нужно отмерить, и +1, если на другой чаше весов.
Каждый из коэффициентов принимает одно из трёх значений, тогда при гирек можно отмерить не более, чем 3^n различных масс. 3^3 < 40 + 1 < 3^4, значит, гирек нужно не менее четырёх.
Докажем, что взяв гирьки с массами 1, 3, 9 и 27, можно отмерить любую массу от 1 до 40. Будем это делать по индукции, доказав, что при гирек 1, 3, 9, ..., 3^k можно отмерить любую массу от 1 до (3^k - 1)/2.
База индукции. При одной гирьки массой 1 действительно можно отмерить массу 1. Переход. Пусть для k = k' всё доказано. Докажем и для k = k' + 1. - Если нужно отмерить массу X <= (3^k' - 1)/2, то это можно сделать при гирек. - Пусть надо отмерить массу (3^k' - 1)/2 < X <= (3^(k' + 1) - 1)/2. Кладём на другую чашу весов гирьку массой 3^k'. Тогда остаётся нескомпенсированная масса |X - 3^k'| <= (3^k' - 1)/2, которую, по предположению, можно получить. Ура!
Есть на свете такая страна под названием Информатия. Жила-была в ней семья. Папу звали Процессор, маму Клава, сына Монитор, дочку Мышка. И был в Информатии один важный житель, его звали Интернет. Важный, потому что всё знал. Интернет охотно делился знаниями со своими друзьями. Но однажды случилась беда. Интернет, путешествуя по свету, познакомился с Вирусом. Вирус сказал: «Дорогой Интернет, я такой добрый и хороший, возьми меня с собой». Интернет согласился. Так злой Вирус проник в страну Информатию. Интернет познакомил Процессор со свом новым другом, и папа заболел. А злой Вирус веселился и продолжал приносить несчастья жителям страны Информатии. Интернет решил своему другу и всем жителям этой страны. Он позвал доброго волшебника Программиста, который вылечил всех жителей и прогнал злого Вируса. Добрый волшебник дал жителям всей страны Информатии волшебный амулет, который защищает Процессор от злого Вируса.
Тогда имеет место равенство X = a1 * M1 + a2 * M2 + ... + an * Mn,
где ai = 0, если i-ая гирьке не участвовала в взвешиваниях, -1, если лежала на той же чаше весов, что и масса, которкю нужно отмерить, и +1, если на другой чаше весов.
Каждый из коэффициентов принимает одно из трёх значений, тогда при гирек можно отмерить не более, чем 3^n различных масс. 3^3 < 40 + 1 < 3^4, значит, гирек нужно не менее четырёх.
Докажем, что взяв гирьки с массами 1, 3, 9 и 27, можно отмерить любую массу от 1 до 40. Будем это делать по индукции, доказав, что при гирек 1, 3, 9, ..., 3^k можно отмерить любую массу от 1 до (3^k - 1)/2.
База индукции. При одной гирьки массой 1 действительно можно отмерить массу 1.
Переход. Пусть для k = k' всё доказано. Докажем и для k = k' + 1.
- Если нужно отмерить массу X <= (3^k' - 1)/2, то это можно сделать при гирек.
- Пусть надо отмерить массу (3^k' - 1)/2 < X <= (3^(k' + 1) - 1)/2. Кладём на другую чашу весов гирьку массой 3^k'. Тогда остаётся нескомпенсированная масса |X - 3^k'| <= (3^k' - 1)/2, которую, по предположению, можно получить. Ура!
ответ. 1, 3, 9, 27.