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


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

До­ка­жи­те, что для любых на­ту­раль­ных a_1,a_2,\ldots,a_k таких, что

 дробь: чис­ли­тель: 1, зна­ме­на­тель: a_1 конец дроби плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: a_2 конец дроби плюс \ldots дробь: чис­ли­тель: 1, зна­ме­на­тель: a_k конец дроби боль­ше 1,

у урав­не­ния

 левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_1 конец дроби пра­вая квад­рат­ная скоб­ка плюс левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_2 конец дроби пра­вая квад­рат­ная скоб­ка плюс \ldots плюс левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_k конец дроби пра­вая квад­рат­ная скоб­ка =n

не боль­ше чем a_1a_2\ldots a_k ре­ше­ний в на­ту­раль­ных чис­лах. ([x]  — целая часть числа x, то есть наи­боль­шее целое число, не пре­вос­хо­дя­щее x.)

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

Ре­ше­ние.

Обо­зна­чим

S= дробь: чис­ли­тель: 1, зна­ме­на­тель: a_1 конец дроби плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: a_2 конец дроби плюс \ldots плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: a_k конец дроби .

Пред­по­ло­жим, что на­ту­раль­ное число n яв­ля­ет­ся ре­ше­ни­ем урав­не­ния из усло­вия за­да­чи. Пусть ri  — это оста­ток от де­ле­ния n на ai, иными сло­ва­ми, n=a_i левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_i конец дроби пра­вая квад­рат­ная скоб­ка плюс r_i. Тогда

 n=
= левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_{1 конец дроби пра­вая квад­рат­ная скоб­ка плюс \ldots плюс левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_k конец дроби пра­вая квад­рат­ная скоб­ка = дробь: чис­ли­тель: n минус r_1, зна­ме­на­тель: a_1 конец дроби плюс \ldots плюс дробь: чис­ли­тель: n минус r_k, зна­ме­на­тель: a_k конец дроби =n левая круг­лая скоб­ка дробь: чис­ли­тель: 1, зна­ме­на­тель: a_1 конец дроби плюс \ldots плюс дробь: чис­ли­тель: 1, зна­ме­на­тель: a_k конец дроби пра­вая круг­лая скоб­ка минус левая круг­лая скоб­ка дробь: чис­ли­тель: r_1, зна­ме­на­тель: a_1 конец дроби плюс \ldots плюс дробь: чис­ли­тель: r_k, зна­ме­на­тель: a_k конец дроби пра­вая круг­лая скоб­ка =n S минус левая круг­лая скоб­ка дробь: чис­ли­тель: r_1, зна­ме­на­тель: a_1 конец дроби плюс \ldots плюс дробь: чис­ли­тель: r_k, зна­ме­на­тель: a_k конец дроби пра­вая круг­лая скоб­ка ,

от­ку­да

 n= дробь: чис­ли­тель: 1, зна­ме­на­тель: S минус 1 конец дроби левая круг­лая скоб­ка дробь: чис­ли­тель: r_1, зна­ме­на­тель: a_1 конец дроби плюс \ldots плюс дробь: чис­ли­тель: r_k, зна­ме­на­тель: a_k конец дроби пра­вая круг­лая скоб­ка .

Таким об­ра­зом, при за­дан­ном на­бо­ре чисел  левая круг­лая скоб­ка r_1, \ldots, r_k пра­вая круг­лая скоб­ка , удо­вле­тво­ря­ю­щих усло­ви­ям 0 мень­ше или равно r_i мень­ше a_i, может быть не более од­но­го на­ту­раль­но­го ре­ше­ния n с таким на­бо­ром остат­ков. Всего таких на­бо­ров ровно a_1 a_2 \ldots a_k, по­это­му и ко­ли­че­ство ре­ше­ний урав­не­ния

 n= левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_1 конец дроби пра­вая квад­рат­ная скоб­ка плюс \ldots плюс левая квад­рат­ная скоб­ка дробь: чис­ли­тель: n, зна­ме­на­тель: a_k конец дроби пра­вая квад­рат­ная скоб­ка

не боль­ше a_1 a_2 \ldots a_k.