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


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

Куз­не­чик пры­га­ет по чис­ло­вой пря­мой, на ко­то­рой от­ме­че­ны точки –а и b. Из­вест­но, что a и b  — по­ло­жи­тель­ные числа, а их от­но­ше­ние ир­ра­ци­о­наль­но. Если куз­не­чик на­хо­дит­ся в точке, ко­то­рая ближе к –a, то он пры­га­ет впра­во на рас­сто­я­ние, рав­ное a. Если же он на­хо­дит­ся в се­ре­ди­не от­рез­ка  левая квад­рат­ная скоб­ка минус a; b пра­вая квад­рат­ная скоб­ка или в точке, ко­то­рая ближе к b, то он пры­га­ет влево на рас­сто­я­ние, рав­ное b. До­ка­жи­те, что не­за­ви­си­мо от сво­е­го на­чаль­но­го по­ло­же­ния куз­не­чик в не­ко­то­рый мо­мент ока­жет­ся от точки 0 на рас­сто­я­нии, мень­шем 10−6.

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

Ре­ше­ние.

Сна­ча­ла по­ка­жем, что рас­сто­я­ние до бли­жай­ше­го це­ло­го числа от числа вида c минус m q (где m при­над­ле­жит N , q  — ир­ра­ци­о­наль­ное и c  — любое фик­си­ро­ван­ное число) можно вы­бо­ром m сде­лать сколь угод­но малым. Рас­смот­рим n плюс 1 чисел q, 2q, 3q, ...,  левая круг­лая скоб­ка n плюс 1 пра­вая круг­лая скоб­ка q. Их дроб­ные части по­па­да­ют в один из n про­ме­жут­ков

 левая круг­лая скоб­ка 0; дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби пра­вая круг­лая скоб­ка ,  левая круг­лая скоб­ка дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби ; дробь: чис­ли­тель: 2, зна­ме­на­тель: n конец дроби пра­вая круг­лая скоб­ка ,  \ldots,  левая круг­лая скоб­ка дробь: чис­ли­тель: n минус 1, зна­ме­на­тель: n конец дроби ; 1 пра­вая круг­лая скоб­ка .

Тогда по прин­ци­пу Ди­ри­х­ле най­дут­ся два числа m1q и m2q  левая круг­лая скоб­ка m_2 боль­ше m_1 пра­вая круг­лая скоб­ка , дроб­ные доли ко­то­рых по­па­ли в один и тот же про­ме­жу­ток. Их раз­ность

 левая круг­лая скоб­ка m_2 q минус m_1 q пра­вая круг­лая скоб­ка = левая круг­лая скоб­ка m_2 минус m_1 пра­вая круг­лая скоб­ка q,

также яв­ля­ет­ся чис­лом вида mq, причём, по­сколь­ку раз­ность их дроб­ных ча­стей по мо­ду­лю мень­ше  дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби , для не­ко­то­ро­го це­ло­го N верно не­ра­вен­ство

 N минус дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби мень­ше левая круг­лая скоб­ка m_2 минус m_1 пра­вая круг­лая скоб­ка q мень­ше N плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби .

Сле­до­ва­тель­но, су­ще­ству­ет такое число \psi при­над­ле­жит левая круг­лая скоб­ка минус дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби ; дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби пра­вая круг­лая скоб­ка , что  левая круг­лая скоб­ка m_2 минус m_1 пра­вая круг­лая скоб­ка q=N плюс \psi. Вы­бе­рем на­ту­раль­ное число l так, что вы­пол­ня­ет­ся одно из двой­ных не­ра­венств l \psi \leqslant левая фи­гур­ная скоб­ка c пра­вая фи­гур­ная скоб­ка мень­ше левая круг­лая скоб­ка l плюс 1 пра­вая круг­лая скоб­ка \psi или  минус левая круг­лая скоб­ка l плюс 1 пра­вая круг­лая скоб­ка \psi мень­ше левая фи­гур­ная скоб­ка c пра­вая фи­гур­ная скоб­ка \leqslant минус l \psi. Тогда найдётся такое целое число K, что

| левая круг­лая скоб­ка N плюс \psi пра­вая круг­лая скоб­ка l минус левая круг­лая скоб­ка K плюс c пра­вая круг­лая скоб­ка | мень­ше дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби ,

то есть

 \left|l левая круг­лая скоб­ка m_2 минус m_1 пра­вая круг­лая скоб­ка q минус левая круг­лая скоб­ка K плюс c пра­вая круг­лая скоб­ка | мень­ше дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби .

Сле­до­ва­тель­но,

 минус K минус дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби мень­ше c минус m q мень­ше минус K плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби ,

где m=l левая круг­лая скоб­ка m_2 минус m_1 пра­вая круг­лая скоб­ка при­над­ле­жит N . Зна­чит, рас­сто­я­ние от це­ло­го числа −K до числа c минус m q мень­ше  дробь: чис­ли­тель: 1, зна­ме­на­тель: n конец дроби . Уве­ли­чи­вая зна­че­ние n, можно сде­лать это рас­сто­я­ние сколь угод­но малым.

Без огра­ни­че­ния общ­но­сти будем счи­тать, что b боль­ше a . При пре­об­ра­зо­ва­нии по­до­бия пря­мой с ко­эф­фи­ци­ен­том  дробь: чис­ли­тель: 1, зна­ме­на­тель: a конец дроби точка −a пе­рейдёт в точку −1, а точка b  — в точку  дробь: чис­ли­тель: b, зна­ме­на­тель: a конец дроби боль­ше 1. Куз­не­чик те­перь будет пры­гать на 1 впра­во и на q= дробь: чис­ли­тель: b, зна­ме­на­тель: a конец дроби влево. В не­ко­то­рый мо­мент куз­не­чик пе­ре­сечёт се­ре­ди­ну от­рез­ка  левая квад­рат­ная скоб­ка минус 1; q пра­вая квад­рат­ная скоб­ка прыж­ком на 1 впра­во и попадёт в не­ко­то­рую точку c. После этого куз­не­чик ни­ко­гда не будет де­лать прыж­ки длины q более од­но­го раза под­ряд. При прыж­ке на 1 дроб­ные доли точек, в ко­то­рых куз­не­чик на­хо­дил­ся до и после прыж­ка, оди­на­ко­вые.

Пусть куз­не­чик на­хо­дит­ся в точке c. Вы­бе­рем такое на­ту­раль­ное число m, что рас­сто­я­ние от c – mq до бли­жай­ше­го це­ло­го мень­ше  дробь: чис­ли­тель: 10 в сте­пе­ни левая круг­лая скоб­ка минус 6 пра­вая круг­лая скоб­ка , зна­ме­на­тель: a конец дроби . Если куз­не­чик сде­ла­ет m прыж­ков влево, он будет на­хо­дить­ся на рас­сто­я­нии менее  дробь: чис­ли­тель: 10 в сте­пе­ни левая круг­лая скоб­ка минус 6 пра­вая круг­лая скоб­ка , зна­ме­на­тель: a конец дроби от ка­ко­го-то це­ло­го числа, не­за­ви­си­мо от того, сколь­ко при этом он со­вер­шил прыж­ков впра­во на 1. По­сколь­ку точка 0 на­хо­дит­ся левее се­ре­ди­ны на­ше­го от­рез­ка, то, пры­гая на 1 впра­во, куз­не­чик обя­за­тель­но ока­жет­ся на рас­сто­я­нии менее  дробь: чис­ли­тель: 10 в сте­пе­ни левая круг­лая скоб­ка минус 6 пра­вая круг­лая скоб­ка , зна­ме­на­тель: a конец дроби от точки 0, а на ис­ход­ной пря­мой  — на рас­сто­я­нии, мень­шем 10−6 от точки 0.

 

При­ве­дем дру­гое ре­ше­ние.

Не­за­ви­си­мо от сво­е­го на­чаль­но­го по­ло­же­ния x0 куз­не­чик рано или позд­но ока­жет­ся на про­ме­жут­ке

\Delta= левая квад­рат­ная скоб­ка минус дробь: чис­ли­тель: a плюс b, зна­ме­на­тель: 2 конец дроби ; дробь: чис­ли­тель: a плюс b, зна­ме­на­тель: 2 конец дроби пра­вая круг­лая скоб­ка .

Дей­стви­тель­но, если x_0 мень­ше дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби , то он будет пры­гать впра­во на a, пока не пе­ре­прыг­нет точку  дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби и не ока­жет­ся на про­ме­жут­ке

\Delta_r= левая квад­рат­ная скоб­ка дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби ; дробь: чис­ли­тель: a плюс b, зна­ме­на­тель: 2 конец дроби пра­вая круг­лая скоб­ка \subset \Delta,

а если x_0 боль­ше или равно дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби , то он будет пры­гать влево на b, пока не пе­ре­прыг­нет точку  дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби и не ока­жет­ся на про­ме­жут­ке

\Delta_l= левая квад­рат­ная скоб­ка минус дробь: чис­ли­тель: a плюс b, зна­ме­на­тель: 2 конец дроби ; дробь: чис­ли­тель: b минус a, зна­ме­на­тель: 2 конец дроби пра­вая круг­лая скоб­ка \subset \Delta .

При даль­ней­ших прыж­ках куз­не­чик уже не по­ки­нет про­ме­жут­ка Δ: ока­зав­шись на Δr он пры­га­ет влево на b и по­па­да­ет на Δl, а ока­зав­шись на Δl, он пры­га­ет впра­во на a и по­па­да­ет на Δr.

Если скле­ить про­ме­жу­ток Δ в окруж­ность той же длины a плюс b, то ука­зан­ные прыж­ки куз­не­чи­ка на этой окруж­но­сти будут уже прыж­ка­ми в одну сто­ро­ну на a (или в дру­гую сто­ро­ну на b, что на дан­ной окруж­но­сти  — одно и то же). По­сколь­ку от­но­ше­ние прыж­ка a к длине a + b окруж­но­сти ир­ра­ци­о­наль­но, следы куз­не­чи­ка будут всюду плот­ны на окруж­но­сти, то есть рано или позд­но куз­не­чик попадёт на вся­кую дугу окруж­но­сти. Сле­до­ва­тель­но, и на ис­ход­ном про­ме­жут­ке Δ следы куз­не­чи­ка всюду плот­ны, так что рано или позд­но он попадёт в любую на­пе­ред за­дан­ную окрест­ность нуля.