Difference between revisions of "2023 IMO Problems/Problem 3"
(→Solution) |
(→Solution) |
||
Line 42: | Line 42: | ||
with <math>C_{0}=k!m^{k}</math> and coefficients of polynomial <math>\geq 0</math> | with <math>C_{0}=k!m^{k}</math> and coefficients of polynomial <math>\geq 0</math> | ||
− | Then, <math>a_{n}=a_{1}+f(n)=a_{1}+(n-1)m</math>, <math>\forall m\geq 0 \mid | + | Then, <math>a_{n}=a_{1}+f(n)=a_{1}+(n-1)m</math>, <math>\forall m\geq 0 \mid m \in \mathbb{Z}</math> |
Revision as of 13:33, 3 October 2023
Problem
For each integer , determine all infinite sequences of positive integers
for which there exists a polynomial
of the form
, where
are non-negative integers, such that
for every integer
.
Solution
https://www.youtube.com/watch?v=JhThDz0H7cI [Video contains solutions to all day 1 problems]
https://www.youtube.com/watch?v=SP-7LgQh0uY [Video contains solution to problem 3]
https://www.youtube.com/watch?v=CmJn5FKxpPY [Video contains another solution to problem 3]
Let and
be functions of positive integers n and i respectively.
Let , then
,
Let
If we want the coefficients of to be positive, then
for all
which will give the following value for
:
Thus for every and
we need the following:
Solving for we get:
for all
and
This means that needs to be increasing with
or staying constant, and also with
because
In addition, since we need all coefficients to be integer then all
and
must also be integers. We also need
to not be dependent of
, so in the expression
, the
needs to cancel. This mean that the rate of change needs to be constant. This can only be achieved with
be the equation of a line with slope being either zero or positive integer.
So, we set with
being the slope with a non-negative value and with
the intercept at
. We know that
so
which means that
and our function becomes
. Since f(n) needs to be non-negative integer then
then
is increasing or constant, with
Then,
This gives:
with and coefficients of polynomial
Then, ,