Наиб. и наим. n, целая часть от деления которого удовл уравн

[cxzbsdhwert]

Пробую решать "олимпиадные" задачи, пока только для седьмого класса (ну ладно, девятого). Хотел узнать верны ли рассуждения.

Цитата:

Найти наибольшее и наименьшее натуральное $n$ такое что $\lfloor \dfrac{n}{2}\rfloor - \lfloor \dfrac{n}{5}\rfloor = 9$

(Оффтоп)

Я обратился к теореме о делимости целых, в соответствии с которой
$n=q_1 2+r_1$ при этом $0\leq r_1 < 2$ и
$n=q_2 5+r_2$, при этом $0\leq r_2 < 5$.

Тогда
$\dfrac{n}{2}=q_1+\dfrac{r_1}{2}$, а

$\dfrac{n}{5}=q_2+\dfrac{r_2}{5}$
и получается что по условию $q_1-q_2=9$.

$q_1$ и $q_2$ зависят от $n$ и тогда нужно найти наибольшее и наименьшее $n$ при которых равенство верно.
Выразим $q$ через $n$ и подставим в равенство:

$\dfrac{n-r_1}{2}-\frac{n-r_2}{5}=9$

$5n-5r_1-2n+2r_2=90$

$3n=90+5r_1-2r_2$

$n=30+\dfrac{5r_1-2r_2}{3}$, при этом $0\leq r_1 < 2$ и $0\leq r_2 < 5$

И вот тут я не понял, нужно перебирать пары остатков $r_1$ и $r_2$ от наибольшего для нахождения наибольшего (т.е. рассматривать при $r_1=1,r_2=0$, потом $r_1=1,r_2=1$ - и так пока не получится первое целое $n$) и аналогично для наименьшего (т.е. $r_1=0,r_2=4$, потом $r_1=0,r_2=3$ - и так пока не будет целое)? Ну а если бы делители, и как следствие остатки могли бы варьироваться в большем диапазоне? Можно было тогда просто сразу $n$ подбирать без всех этих теорий делимости.

Есть предположение что достаточно взять пару остатков дающую наибольшее и наименьшее, даже если $n$ получается нецелым, и тогда целая часть будет всегда совпадать с $n$ для пары остатков дающих наименьшее\наибольшее целое $n$, ну и тогда перебирать ничего не нужно.

Ещё конечно есть идея "продиференцировать" выражение с остатками как функцию двух натуральных (целых) переменных и найти на нужном интервале нули (в нулях же, насколько я понимаю, производная, а точнее функция скорости в данном случае, показывает в какой точке у первообразной экстремум)

[dgwuqtj]

cxzbsdhwert в сообщении #1716696 писал(а):

Ну а если бы делители, и как следствие остатки могли бы варьироваться в большем диапазоне? Можно было тогда просто сразу $n$ подбирать без всех этих теорий делимости.

Смотрия в каких пределах варьировать. Если делители маленькие, а правая часть большая, то перебирать остатки эффективнее.

cxzbsdhwert в сообщении #1716696 писал(а):

Есть предположение что достаточно взять пару остатков дающую наибольшее и наименьшее, даже если $n$ получается нецелым, и тогда целая часть будет всегда совпадать с $n$ для пары остатков дающих наименьшее\наибольшее целое $n$, ну и тогда перебирать ничего не нужно.

А вы умеете доказывать, что требуемые $n$ хотя бы образуют сплошной промежуток? Это не очевидно, даже если и верно.

[cxzbsdhwert]

dgwuqtj в сообщении #1716703 писал(а):

Смотрия в каких пределах варьировать

Предел всегда один и тот же - по теореме делимости целых чисел, остаток $r$ меньше делителя и больше либо равен нуля.

dgwuqtj в сообщении #1716703 писал(а):

Если делители маленькие, а правая часть большая

Какая правая часть? $q$, которое тоже можно рассматривать как делитель?

dgwuqtj в сообщении #1716703 писал(а):

А вы умеете доказывать, что требуемые $n$ хотя бы образуют сплошной промежуток?

Ну то есть, что перебирая остатки строго в порядке возрастания\убывания, ближайшее целое $n$ будет равно целой части нецелого, если оно (нецелое) "попадётся" первее?

[dgwuqtj]

cxzbsdhwert в сообщении #1716706 писал(а):

Какая правая часть?

Которая $9$. Если бы вместо $9$ было $9 \cdot 10^{20}$, то просто перебирать все $n$ слишком долго.

[ozheredov]

dgwuqtj в сообщении #1716703 писал(а):

требуемые $n$ хотя бы образуют сплошной промежуток?

Это скорее всего не так (левая часть наверняка осциллирует). Но скорее всего, можно доказать существование числа M,такого, что при всех $n>M$ левая часть больше девяти (и тогда перебирать до M)

[mihaild]

Я бы предложил написать $n = 10m + k$, $0 \leq k < 10$ - тогда левая часть монотонна по $m$ и почти монотонна по $k$ (найдите, где монотонность нарушается).

[Mr. X]

Помогут стандартные оценки сверху и снизу для целой части.