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

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

3 августа 2016 г.

\( \displaystyle \sum_{k=1}^n \ant { \log_2 \dfrac {2n-1} {2k-1} } = n -1 \)

(*) Хитроумная сумма опубликована в группе The Mathematical Olympiads (www.linkedin.com).
128. Вычислите сумму \[
\sum_{k=1}^n
\ant { \log_2 \dfrac {2n-1} {2k-1} } .
\tag {128.1}
\]
Доказательство. Последнее слагаемое равно \( 0 \), поэтому будем вычислять сумму \( (n \geqslant 2) \) \[
S(n) =
\sum_{k=1}^{n-1}
\ant { \log_2 \dfrac {2n-1} {2k-1} } ,
\quad S(1) = 0 .
\tag {128.2}
\] В дальнейшем нам пригодится тождество, которое выполняется для любых нечетных \( 0 < b < a \) \[
\ant { \log_2 \dfrac ab } =
\ant { \log_2 \dfrac {a-1} b } .
\tag {128.3}
\] (Тождество понять несложно, однако строгое обоснование, как говорится, не помешает. Доказательство данного тождества будет опубликовано в одном их следующих сообщений.)

Пусть \( n \) — четное число (т.е. \( \boldsymbol {n = 2m} \)).
Заметим, что \[
\ant { \log_2 \dfrac {2n-1} {2k-1} } =
\begin {cases}
1, \, 2, \, \ldots , & \mbox {если }
k = 1, \, 2, \, \ldots, \, m,
\\[4pt]
0 , & \mbox {если }
k = m+1, \, m+2, \, \ldots, \, 2m .
\end {cases}
\] Тогда \[
S(2m) =
\sum_{k=1}^m
\ant { \log_2 \dfrac {4m-1} {2k-1} }
\stackrel {\small\mbox {(128.3)}} {=}
\sum_{k=1}^m
\ant { \log_2 \dfrac {4m-2} {2k-1} } =
\] \[
=
\sum_{k=1}^m
\ant { \log_2 \dfrac {2(2m-1)} {2k-1} } =
\sum_{k=1}^m
\ant { 1 + \log_2 \dfrac {2m-1} {2k-1} } =

\] \[
=
m +
\sum_{k=1}^m
\ant { \log_2 \dfrac {2m-1} {2k-1} }
\stackrel {\small\mbox {(128.1)}} {=}
m + S(m) .
\]
Теперь рассмотрим другой случай, когда \( n \) — нечетное число (т.е.\(
\boldsymbol {n = 2m - 1} \)). Здесь похожая ситуация с нулевыми слагаемыми суммы \[
\ant { \log_2 \dfrac {2n-1} {2k-1} } =
\begin {cases}
1, \, 2, \, \ldots , & \mbox {если }
k = 1, \, 2, \, \ldots, \, m-1,
\\[4pt]
0 , & \mbox {если }
k = m, \, m+2, \, \ldots, \, 2m-1 .
\end {cases}
\] Тогда \[
S(2m-1) =
\sum_{k=1}^{m-1}
\ant { \log_2 \dfrac {4m-3} {2k-1} }
\stackrel {\small\mbox {(128.3)}} {=}
\sum_{k=1}^{m-1}
\ant { \log_2 \dfrac {4m-4} {2k-1} } =
\] \[
=
\sum_{k=1}^{m-1}
\ant { \log_2 \dfrac {2(2m-2)} {2k-1} } =
m-1 +
\sum_{k=1}^{m-1}
\ant { \log_2 \dfrac {2m-2} {2k-1} }
\stackrel {\small\mbox {(128.3)}} {=}
\] \[
=
m-1 +
\sum_{k=1}^{m-1}
\ant {\log_2 \dfrac {2m-1} {2k-1} }
\stackrel {\small\mbox {(128.2)}} {=}
m-1 + S(m) .
\] Таким образом, имеем \[
\begin {cases}
S(1) = 0 ,
\\[4pt]
S(2m) = m + S(m) ,
\\[4pt]
S(2m-1) = m-1 + S(m) .
\end {cases}
\] Из данных соотношений несложно сделать вывод, что \[
S(n) = 1 + S(n-1), \quad S(1) = 0.
\]
Ответ: \( S(n) = n - 1 \).


Автор: И.Л. на 02:45
Отправить по электронной почте Написать об этом в блоге Опубликовать в 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.