2025 SSMO Team Round Problems/Problem 10
Problem
Anna has a three term arithmetic sequence of integers. She divides each term of her sequence by a positive integer
, and tells Bob that the three resulting remainders are
,
, and
, in some order. For how many values of
is it possible for Bob to uniquely determine
?
Solution
Notice that if
,
, and
are (in some order) the terms of an arithmetic sequence, then it is impossible for Bob to uniquely determine
, as the terms of Anna's arithmetic sequence could be
,
, and
and
could be arbitarily large. Henceforth, we assume
(trivally, the
case is a non-issue).
Suppose that the terms of Anna's sequence are
,
, and
, in that order, and let
,
, and
be the remainders when
,
, and
are divided by
, respectively. We know that
is a permutation of
. Note that we must have
, which is equivalent to
dividing
. Since
, we have
. Furthermore, we cannot have
, as this would imply that
,
, and
are in arithmetic progression. Thus, we must have
.
Now, the key is to rephrase the condition
in terms of the three inequalities
. There are two possibilities here; either
(implying
) or
(implying
). We handle each case separately.
Possibility 1:
. The three inequalities
become:
;
;
.
Notice that these inequalities are equivalent to
, as this condition implies
. Also, crucially, observe that if
, without knowing anything about
, we can say that
because
.
Possibility 2:
. The three inequalities in question become:
;
;
.
These inequalities together are equivalent to the single condition
, as from this we can derive
. Similarly to the previous case, we make the observation that if
, without knowing anything about
, we can say that
because
.
Therefore, we have just demonstrated the existence of the follwing two pairs of equivalent statements:
if and only if
, and
if and only if
. Let
,
, and
be
,
, and
in increasing order. From what we have just shown, we know that either
or
(possibly both). We seek to characterize when Bob is able to uniquely determine
in terms of
,
, and
.
If
holds but
does not, Bob can uniquely determine
to be
. Similarly, if
holds but
does not, Bob can uniquely determine
to be
. However, if both the conditions
and
hold, it is possible for
to equal either
or
. For Bob to be able to uniquely determine
, these values must be equal, implying
. However, this is impossible because
,
, and
cannot be in arithmetic progression.
Hence, Bob can uniquely determine
if and only if exactly one of the two conditions
and
holds. All that remains is to count the number of possible values of
, which we do by casework.
Case 1:
. In this case, we always have
and
, so we must have
. There are
possible values of
in this case.
Case 2:
. In this case, we always have
and
, so
can be anything in this case's range. There are
possible values of
in this case.
Case 3:
. In this case, we always have
and
, so we must have
. There are
possible values of
in this case.
Case 4:
. In this case, we always have
and
, so
can be anything in this case's range. There are
possible values of
in this case.
Case 5:
. In this case, we always have
and
, so there are no possible values of
in this case.
This exhausts all possibilities for
, and thus the answer is
.
~Sedro