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

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

1 октября 2015 г.

\( \bigl\{ 1, \, 2, \, 3, \, 3, \, 4, \, 4, \, 4, \, 5, \, 5, \, 5, \, 5, \, 5, \, \ldots, \, \underbrace { m, \, m, \, \ldots, \, m }_{F_m \text { элементов}}, \, \ldots \bigr\} \)

(*) Вывод формулы \( n \)-го члена последовательности, которая задается вербально, можно отнести к самым математическим задачам, потому что это задание — на формализацию в виде некоторого алгебраического выражения описанной лишь словами целочисленной закономерности.
46. \( \left\{ a_n \right\} \) — неубывающая числовая последовательность, в которой каждое натуральное число \( m \) повторяется \( F_m \) раз, где \( F_m \) — \( m \)-ое число Фибоначчи: \[
\left\{ a_n \right\} =
\bigl\{
1, \, 2, \, 3, \, 3, \, 4, \, 4, \, 4, \, 5, \, 5, \, 5, \, 5, \, 5, \, \ldots, \,
\underbrace {
m, \, m, \, \ldots, \, m
}_{
F_m \text { элементов}
}, \, \ldots
\bigr\} .
\] Выведите формулу \( n \)-го элемента этой последовательности.
Решение. В «А. и м.» таким задачам посвящен п. 20.1. «Целочисленные последовательности», в начале которого изложен метод вывода формулы \( n \)-го элемента. Продемонстрируем этот алгоритм.
Пусть \[
a_n =
a_{n+1} = \ldots =
a_{n+F_m-1} = m .
\] Тогда \[
F_1 + F_2 + \ldots + F_{m-1} < n ,
\] \[
n+F_m-1 \leqslant F_1 + F_2 + \ldots + F_m .
\] Или для \(
k = n, \, n+1, \, \ldots, \, n+F_m-1
\) \(
\left( a_k = m \right)
\) \[
F_1 + F_2 + \ldots + F_{m-1}
< k \leqslant
F_1 + F_2 + \ldots + F_m .
\tag{46.1}
\] Примечание. Неравенства для индексов последовательности \( \left\{ a_n \right\} \) (46.1) — первый этап метода. Далее требуется вывести неравенство вида \(
m \leqslant f (n) < m+1
\) (мы же догадываемся, что задача на антье). А поскольку \( m = a_n , \) то ответом будет \(
a_n = \ant { f (n) } .
\)

Воспользуемся тождеством \(
F_1 + F_2 + \ldots + F_n = F_{n+2}-1 :
\) \[
F_{m+1} - 1
< k \leqslant
F_{m+2} - 1 ,
\] \[
F_{m+1}
< k+1 \leqslant
F_{m+2} .
\] В задаче 344 доказывается, что \(
F_n = \ant { \dfrac {\varphi^n}{\sqrt5} + \dfrac12 } ,
\) где \(
\varphi = \dfrac {1+\sqrt5} 2 .
\) Значит, \[
\ant { \dfrac {\varphi^{m+1}}{\sqrt5} + \dfrac12 }
< k+1 \leqslant
\ant { \dfrac {\varphi^{m+2}}{\sqrt5} + \dfrac12 } .
\] Перейдем к неравенству-следствию \[
\dfrac {\varphi^{m+1}}{\sqrt5} + \dfrac12
< k+1 <
\dfrac {\varphi^{m+2}}{\sqrt5} + \dfrac12 .
\] Дальнейшее приведем без пояснений \[
\varphi^{m+1}
< \sqrt5 \left( k+\dfrac12 \right) <
\varphi^{m+2} ,
\] \[
m+1
< \log_{\varphi} \left( \sqrt5 \left( k+\dfrac12 \right) \right) <
m+2 ,
\] \[
m
< \log_{\varphi} \left( \sqrt5 \left( k+\dfrac12 \right) \right) - 1 <
m+1 ,
\] \[
m = a_k = \ant {
\log_{\varphi} \left( \sqrt5 \left( k+\dfrac12 \right) \right)
} - 1 .
\]
Ответ: \(
a_n =\ant {
\log_{\varphi} \left( \sqrt5 \left( n+\dfrac12 \right) \right)
} - 1 .
\)


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