Нужно доказать, что для любого действительного $%d$% верно $%[6d]+[d]>=[3d]+2[2d]$%.

задан 24 Сен '14 22:58

изменен 25 Сен '14 13:53

%D0%92%D0%B8%D1%82%D0%B0%D0%BB%D0%B8%D0%BD%D0%B0's gravatar image


9917

10|600 символов нужно символов осталось
0

Здесь можно предложить несколько способов рассуждения. Один из них таков: представим $%d\in\mathbb R$% в виде суммы целой и дробной части: $%d=k+\alpha$%, где $%k\in\mathbb Z$%; $%\alpha\in[0;1)$%. Тогда $%[6d]=[6k+6\alpha]=6k+[6\alpha]$%, и аналогично для остальных слагаемых. В обеих частях возникнет слагаемое $%7k$%, на которое можно сократить. Также ясно, что $%[\alpha]=0$%. Тем самым, всё сводится к проверке неравенства $%[6\alpha]\ge[3\alpha]+2[2\alpha]$% для действительных чисел $%\alpha$% из полуинтервала $%[0;1)$%. Если его разбить на 6 равных частей, то на промежутках $%[0;\frac16)$%, $%[\frac16;\frac26)$%, ... , $%[\frac56;1)$% значение целой части каждого из рассматриваемых чисел определяется однозначно. Например, при $%\alpha\in[\frac12;\frac23)$% (четвёртый промежуток из шести) получается верное (не)равенство $%3\ge1+2\cdot1$%. Для остальных промежутков всё проверяется так же просто.

Есть другой способ: взять число $%6d$%, рассмотреть его целую часть $%m$%, а потом поделить её на $%6$% с остатком, то есть представить в виде $%m=6q+r$%, где $%q$% целое, и $%0\le r\le5$%. Теперь $%6d=6q+r+\beta$%, где $%\beta\in[0;1)$%. Из такого представления все целые части легко выявляются: $%[6d]=6q+r$%, $%[3d]=3q+[\frac{r+\beta}2]=3q+[r/2]$%, $%[2d]=2q+[r/3]$%, $%d=q+[r/6]$%. Неравенство приобретает вид $%r+[r/6]\ge[r/2]+2[r/3]$%, и его проверка для каждого из шести значений $%r\in\{0;1;2;3;4;5\}$% не составляет труда.

ссылка

отвечен 25 Сен '14 0:25

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×340

задан
24 Сен '14 22:58

показан
297 раз

обновлен
25 Сен '14 0:25

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru