Областная олимпиада по математике, 2017 год, 10 класс
Комментарий/решение:
Ответ $: n = 1, 3$
Для решения нам понадобится следующий факт:
$$\left \lfloor \frac{n^2}{4} \right \rfloor = \left\{ \begin{gathered} \frac{n^2}{4}, 2 \mid n \\ \frac{n^2 - 1}{4}, 2\nmid n \end{gathered}\right.$$
Отсюда выходит явная формула для $x_{n}$,
$$x_{n} = \sum_{i = 1}^n \left \lfloor \frac{i^2}{4} \right \rfloor = \left\{ \begin{gathered} \frac{n^2}{4} + \frac{(n - 1)^2 - 1}{4} + \ldots + \frac{2^2}{4} + \frac{1^2 -1 }{4}, 2 \mid n \\ \frac{n^2 - 1}{4} + \frac{(n-1)^2}{4} + \ldots + \frac{1^2 - 1}{2}, 2\nmid n \end{gathered}\right. \iff \left\{ \begin{gathered} \frac{\sum_{i = 1}^n (i^2) - \frac{n}{2}}{4}, 2 \mid n \\ \frac{\sum_{i = 1}^n (i^2) - \frac{n+1}{2}}{4}, 2\nmid n \end{gathered}\right. \iff$$
$$\left\{ \begin{gathered} \frac{\frac{n(n+1)(2n + 1)}{6} - \frac{n}{2}}{4}, 2 \mid n \\ \frac{\frac{n(n+1)(2n + 1)}{6} - \frac{n + 1}{2}}{4}, 2\nmid n \end{gathered}\right. \iff \left\{ \begin{gathered} \frac{n(2n^2 + 3n - 2)}{24}, 2 \mid n \\ \frac{n(2n^2 + 3n - 2) - 3}{24}, 2\nmid n \end{gathered}\right.$$
Разберем отдельно $2 \nmid n$ и $2 \mid n$
$$1. 2 \nmid n$$
Тогда $n \mid \frac{n(2n^2 + 3n - 2) - 3}{24} \implies n \mid (n(2n^2 + 3n - 2) - 3) \implies n \mid 3 \implies n = 1, 3$
Если $n = 1: 1 \mid x_{1} = 0$ - подходит
Если $n = 3: 3\mid x_{3} = 3$ - подходит
$$2. 2 \mid n$$
$n \mid \frac{n(2n^2 + 3n - 2)}{24} \iff i) 3 \mid 2n^2 + 3n - 2$ $ ii) 8 \mid 2n^2 + 3n - 2$ - выполняются одновременно. Поймем по отдельности
$i)$
$n \equiv 0 (mod 3) \implies 2n^2 + 3n - 2 \equiv 1 \not\equiv 0 (mod 3)$
$n \equiv 1(mod 3) \implies 2n^2 + 3n - 2 \equiv 0 (mod 3)$ - подходит
$n \equiv 2 (mod 3) \implies 2n^2 + 3n - 2 \equiv 0 (mod 3)$ - подходит
$ii)$ Так как $2 \mid n$, то достаточно перебрать только четные остатки
$n \equiv 0 (mod 8) \implies 2n^2 + 3n - 2 \equiv 6 \not\equiv 0 (mod 8)$
$n \equiv 2 (mod 8) \implies 2n^2 + 3n - 2 \equiv 4 \not\equiv 0 (mod 8)$
$n \equiv 4 (mod 8) \implies 2n^2 + 3n - 2 \equiv 2 \not\equiv 0 (mod 8)$
$n \equiv 6 (mod 8) \implies 2n^2 + 3n - 2 \equiv 0 \implies n \equiv 6 (mod 8)$
Так как $i) n \equiv 1, 2 (mod 3)$ $ii) n \equiv 6 (mod 8) \implies \nexists n \in \mathbb{N} : n \mid x_{n}$
Возможно, что при неправильном наборе формул, они будут
доредактированы модератором. При этом содержание не будет меняться.