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

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

9 октября 2016 г.

\( a_n = a_{n-1} + \ant { \sqrt {a_{n-1}} } \)

(*) Следующая задача предлагалась на интернет-олимпиаде NIMO/2012 (National Internet Math Olympiad). Формулировка изменена мной, чтобы выделить интересный факт — бесконечное количество полных квадратов в последовательности.
139. Задана целочисленная последовательность \(
\bigl\{ a_n \bigr\}_{n=1}^{\infty} \) \[
a_1 = 1,
\quad
a_n = a_{n-1} + \ant { \sqrt {a_{n-1}} }
\ (n \geqslant 2) .
\tag {139.1}
\] Докажите, что в этой последовательности бесконечное количество полных квадратов, и определите их вид.
Решение. Вычислим первые элементы последовательности \[
a_n =
\bigl\{ 1, \, 2, \, 3, \, 4, \, 6, \, 8, \, 10, \, 13, \, 16, \, 20, \, 24, \, 28, \, 33,
\, 38, \, 44, \, 50, \, 57, \, 64, \, \ldots
\bigr\} .
\] Зададим другую последовательность \(
\bigl\{ b_k \bigr\}_{k=1}^{\infty} \), которая является подпоследовательностью \( \bigl\{ a_n \bigr\} \), с помощью формулы \(
k \)-го члена \[
b_k = \min\limits_{n \geqslant 1} \bigl( a_n \geqslant k^2 \bigr) ,
\tag {139.2}
\] первые элементы которой равны \[
b_n =
\bigl\{ 1, \, 4, \, 10, \, 16, \, 28, \, 38, \, 50, \, 64, \, \ldots
\bigr\} .
\] Если \( b_k = k^2 \), то очевидно, что \[
b_{k+1} = b_k + 3k .
\tag {139.3}
\] Почти очевидно, что если \( b_k > k^2 \), то \[
b_{k+1} = b_k + 2k .
\tag {139.4}
\] Попытаемся найти следующий полный квадрат в последовательности \(
\bigl\{ b_k \bigr\} \) вида \(
b_{k+m} = (k+m)^2 \), предположив, что \( b_k = k^2 \). Для данного условия должно выполняться равенство \[
b_{k+m} = b_k + 3k + 2(k+1) + 2(k+2) + \ldots + 2(k+m-1) ,
\] \[
(k+m)^2 = k^2 + 3k + (m - 1) (2k + m) , \ ... ,
\] \[
k = m .
\] Значит, если \( b_k = k^2 \), то \( b_{2k} = (2k)^2 \), и других полных квадратов нет.

Ответ: \( 2^{2k} \), где \( k = 0, \, 1, \, 2, \, \ldots \)


Автор: И.Л. на 22:49
Отправить по электронной почте Написать об этом в блоге Опубликовать в Twitter Опубликовать в Facebook Поделиться в Pinterest

Комментариев нет :

Отправить комментарий

Следующее Предыдущее Главная страница
Подписаться на: Комментарии к сообщению ( Atom )

Автор

Автор
СЕМЕНОВ
Игорь Ленидович,
науч.сотр-к (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.