Существует ли многочлен от одной переменной, равный
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
при
![$x=1, 2, \dots , 2016$ $x=1, 2, \dots , 2016$](https://dxdy-02.korotkov.co.uk/f/9/1/c/91c6d7d836ea419b419cf0c09f281e0f82.png)
и принимающий иррациональные значения при остальных целых значениях аргумента?
(источник задачи: http://olympiads.mccme.ru/matboi/21111999.htm , вариант БС, задача №3)Я попробую придумать такой многочлен, и если что вы мне поможете, да?
Может, вот такой подойдёт?
![$P(x)=\pi (x-1)(x-2)\dots (x-2016)+x$ $P(x)=\pi (x-1)(x-2)\dots (x-2016)+x$](https://dxdy-02.korotkov.co.uk/f/5/5/8/5585e760979645e96f5e330f18123ee182.png)
Ведь при
![$x=1, 2, \dots , 2016$ $x=1, 2, \dots , 2016$](https://dxdy-02.korotkov.co.uk/f/9/1/c/91c6d7d836ea419b419cf0c09f281e0f82.png)
он будет равен
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
, поскольку всё остальное обнуляется, а при остальных целых значениях аргумента, наш многочлен будет равен
![$k\pi+x$ $k\pi+x$](https://dxdy-01.korotkov.co.uk/f/4/8/2/482512a1193e4b1537e0d9d341788caa82.png)
, где
![$k$ $k$](https://dxdy-03.korotkov.co.uk/f/6/3/b/63bb9849783d01d91403bc9a5fea12a282.png)
- некоторое целое
ненулевое число (а раз ненулевое, значит, на него всегда можно разделить, что мы вот-вот и проделаем).
Если
![$k\pi+x$ $k\pi+x$](https://dxdy-01.korotkov.co.uk/f/4/8/2/482512a1193e4b1537e0d9d341788caa82.png)
было бы рациональным, то было бы рациональным и
![$k\pi$ $k\pi$](https://dxdy-03.korotkov.co.uk/f/a/6/1/a6138094f6e2dbec50423c1e49ec09f982.png)
, так как
![$x$ $x$](https://dxdy-04.korotkov.co.uk/f/3/3/2/332cc365a4987aacce0ead01b8bdcc0b82.png)
- целое.
Но тогда было бы рациональным и само
![$\pi$ $\pi$](https://dxdy-04.korotkov.co.uk/f/f/3/0/f30fdded685c83b0e7b446aa9c9aa12082.png)
(вот мы и поделили), а так не бывает даже в сказках (хотя, смотря каких).
Так значит
![$P(x)=\pi (x-1)(x-2)\dots (x-2016)+x$ $P(x)=\pi (x-1)(x-2)\dots (x-2016)+x$](https://dxdy-02.korotkov.co.uk/f/5/5/8/5585e760979645e96f5e330f18123ee182.png)
подходит?
Или это не многочлен?
Пожалуйста, помогите решить.
Заранее спасибо!