«Антье и мантисса. Сборник задач с решениями»

В блоге публикуются рецензии на книгу, обсуждения критических замечаний, ответы на часто задаваемые вопросы, комментарии к задачам из сборника, а также материалы, не вошедшие в книгу, формулировки и решения новых задач.
http://keldysh.ru/e-biblio/entier — электронная версия книги в формате PDF (редакция от 20.11.2017).

12 октября 2016 г.

\( \bigant x + \bigant {2x} + \bigant {3x} + \ldots + \bigant {nx} = \dfrac { n \left( \bigant x + \bigant {nx} \right) } 2 \)

Предлагаю очередную разминочную задачу.
148. (Румыния/2010, региональный этап) Докажите, что если для любого \(
x \in \mathbb R \) и для любого \( n \in \mathbb N \) выполняется равенство \[
\bigant x +
\bigant {2x} +
\bigant {3x} + \ldots +
\bigant {nx} =
\dfrac { n \left( \bigant x + \bigant {nx} \right) } 2 ,
\tag {148.1}
\] то \( x \) является целым числом.
Доказательство. Понятно, что при целых значениях \( x \) равенство (148.1) выполняется.

Введем функцию \( f(x) \) \[
f(x) = \bigant x +
\bigant {2x} +
\bigant {3x} + \ldots +
\bigant {nx} -
\dfrac { n \left( \bigant x + \bigant {nx} \right) } 2 .
\] Очевидно, что \( f(x+1) = f(x) \), т.е. функция \( f(x) \) периодическая. Значит, достаточно рассмотреть поведение \( f(x) \) на полуинтервале \(
0 \leqslant x < 1 \), на котором вид функции \( f(x) \) несколько упрощается \[
f(x) =
\bigant {2x} +
\bigant {3x} + \ldots +
\bigant {nx} -
\dfrac { n \bigant {nx} } 2 .
\tag {148.2}
\] Переформулируем задание — докажите, что если для любого \(
x \in \bigl[ 0; \, 1 \bigr) \) и для любого \( n \in \mathbb N \) выполняется равенство \( f(x) = 0 \), то \( x \) может быть равен только \( 0 \). (Очевидно, что \( f(0) = 0 \).)

Контрпример для доказательства от противного подбирается несложно.
При \(\dfrac 1n \leqslant x < \dfrac 1{n-1} \), где \(
n \geqslant 3 \), \( f(x) < 0 \).
\( \color{gray}{\blacksquare} \)



Автор: И.Л. на 15:23
Отправить по электронной почте Написать об этом в блоге Опубликовать в Twitter Опубликовать в Facebook Поделиться в Pinterest
Следующее Предыдущее Главная страница

Автор

Автор
СЕМЕНОВ
Игорь Ленидович,
науч.сотр-к (1983-2018)
ИПМ им. М. В. Келдыша РАН

Разделы

  • Обозначения
  • Определения
  • Свойства
  • Cообщения

Просмотров за неделю

Архив

  • янв. 2017 ( 1 )
  • нояб. 2016 ( 9 )
  • окт. 2016 ( 11 )
  • сент. 2016 ( 7 )
  • авг. 2016 ( 8 )
  • июл. 2016 ( 5 )
  • июн. 2016 ( 5 )
  • мая 2016 ( 10 )
  • апр. 2016 ( 12 )
  • мар. 2016 ( 5 )
  • янв. 2016 ( 1 )
  • дек. 2015 ( 11 )
  • нояб. 2015 ( 11 )
  • окт. 2015 ( 17 )
  • сент. 2015 ( 13 )
  • авг. 2015 ( 12 )
  • июл. 2015 ( 14 )
  • июн. 2015 ( 2 )
Технологии Blogger.