> 9. "Таня и Петя играют на лекции по алгебре в следующую игру. Таня выписывает многочлен произвольной степени от одной переменной с неотрицательными целыми коэффициентами, не показывая его Пете. Петя может задавать Тане вопрос о том, какое значение у многочлена при данном целом значении переменной. За какое минимальное число вопросов Петя может узнать все коэффициенты многочлена?"Ответ: 2. Достаточно 
двух вопросов, вне зависимости от степени многочлена.
Решение. Пусть мы угадываем многочлен 

. Зададим следующие вопросы:
Вопрос1: 

. 
Ответ1: какое-то натуральное число 

. Обозначим 
![$n={[\log_2{f(1)}]+1}$ $n={[\log_2{f(1)}]+1}$](https://dxdy-01.korotkov.co.uk/f/4/3/a/43a762ba848091672576aa9a591e95f182.png)
  (под 
![$[x]$ $[x]$](https://dxdy-04.korotkov.co.uk/f/7/e/1/7e1c4a3a07c941625c2f20c594cb9f7c82.png)
 обозначена целая часть 

).
Вопрос2: 

.
Ответ2: какое-то натуральное число 

. Тогда для коэффициентов многочлена 

 верна следующая формула (под 

 обозначена дробная часть числа 

):

Пример: загадано 

.
Вопрос1: 
 
 Ответ1: 

, отсюда 
![$n={[\log_2{117}]+1}=7$ $n={[\log_2{117}]+1}=7$](https://dxdy-03.korotkov.co.uk/f/a/d/c/adcdc4429ae27a43fe268d5adc57dd7d82.png)
.
Вопрос2: 

. 
Ответ2: 

Теперь находим коэффициенты исходного многочлена:
Пусть 

, ищем коэффициент при 

, т.е. свободный член:
 
 Пусть 

, ищем коэффициент при 

, т.е. при 

:
 
 Пусть 

, ищем коэффициент при 

:
 
 Пусть 

, ищем коэффициент при 

:
 
 Пусть 

, ищем коэффициент при 

:
 
 При 

 формула даст 

, т.к. знаменатели слишком большие. Это означает, что более старших членов, чем 

, в многочлене нет.
Для тех, кому это кажется невозможным фокусом, привожу те же расчёты на языке Maple. Попробуйте изменять многочлен и убедиться, что формула верно угадывает коэффициенты (trunc и frac в Maple означают целую и дробную часть числа соответственно).
f:=x->3*x^4+2*x^2+x+111;
n:=trunc(log[2](f(1)))+1;
f(2^n);
coef:=k->2^n*frac(f(2^n)/2^((k+1)*n))-frac(f(2^n)/2^(k*n));
coef(0);coef(1);coef(2);coef(3);coef(4);

Попробуйте-ка доказать, что это решение верное! Даже видя формулы, это не очень-то просто. Дам две подсказки:
1. Важно, что коэффициенты 

 — неотрицательные целые числа (а не любые действительные). 
2. Сложная формула для 
![$n={[\log_2{f(1)}]+1}$ $n={[\log_2{f(1)}]+1}$](https://dxdy-01.korotkov.co.uk/f/4/3/a/43a762ba848091672576aa9a591e95f182.png)
 может быть переформулирована так: 

 есть число знаков в двоичной записи числа 

.
(если кто-то прочитает это решение и поймёт его, или убедится в верности формулы, напишите, пожалуйста — я много думал над решением этой задачи, было бы приятно услышать, что сей текст кто-то прочитал и/или понял)
Хорошая задача, спасибо!
Сергей Маркелов