сайты - меню - вход - но­во­сти


Задания
Версия для печати и копирования в MS Word

По­сле­до­ва­тель­ность раз­лич­ных на­ту­раль­ных чисел an, n  =  1, 2, 3 ... та­ко­ва, что a_1=1, a_n плюс 1 мень­ше или равно 2n при всех n боль­ше или равно 1. До­ка­зать, что для лю­бо­го на­ту­раль­но­го числа m най­дут­ся такие члены этой по­сле­до­ва­тель­но­сти ap и aq, что a_q минус a_p=m.

Спрятать решение

Ре­ше­ние.

Для про­из­воль­но­го фик­си­ро­ван­но­го на­ту­раль­но­го m рас­смот­рим мно­же­ство из m плюс 1 числа a1, a2, ..., am + 1, все они по усло­вию, раз­лич­ны и не пре­вос­хо­дят 2m. Разобьём все на­ту­раль­ные числа от 1 до 2m на m пар

 левая фи­гур­ная скоб­ка 1, m плюс 1 пра­вая фи­гур­ная скоб­ка , левая фи­гур­ная скоб­ка 2, m плюс 2 пра­вая фи­гур­ная скоб­ка , \ldots, левая фи­гур­ная скоб­ка m, 2 m пра­вая фи­гур­ная скоб­ка ,

по прин­ци­пу Ди­ри­х­ле одна из этих пар со­дер­жит два из чисел a1, a2, ..., am + 1, ко­то­рые и об­ра­зу­ют ис­ко­мую в усло­вии пару чле­нов по­сле­до­ва­тель­но­сти с раз­ни­цей m. Что тре­бо­ва­лось до­ка­зать.