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


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

До­ка­жи­те, что если дей­стви­тель­ные числа a1, a2, ..., an удо­вле­тво­ря­ют не­ра­вен­ству

a_1 плюс a_2 плюс ... плюс a_n боль­ше или равно ко­рень из: на­ча­ло ар­гу­мен­та: левая круг­лая скоб­ка n минус 1 пра­вая круг­лая скоб­ка левая круг­лая скоб­ка a в квад­ра­те _1 плюс a в квад­ра­те _2 плюс ... плюс a в квад­ра­те _n конец ар­гу­мен­та ,

то все числа a1, a2, ..., an не­от­ри­ца­тель­ны.

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

Ре­ше­ние.

1)  До­ка­жем сна­ча­ла, что для лю­бо­го на­ту­раль­но­го k и про­из­воль­ных дей­стви­тель­ных чисел a1, ..., ak спра­вед­ли­во не­ра­вен­ство

 левая круг­лая скоб­ка a_1 плюс a_2 плюс \ldots плюс a_k пра­вая круг­лая скоб­ка в квад­ра­те мень­ше или равно k левая круг­лая скоб­ка a_1 в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_k в квад­ра­те пра­вая круг­лая скоб­ка .

Будем рас­суж­дать по ин­дук­ции. База ин­дук­ции при k=1 оче­вид­на. Сде­ла­ем шаг ин­дук­ции. Пусть утвер­жде­ние спра­вед­ли­во для k сла­га­е­мых. До­ка­жем его для k плюс 1 сла­га­е­мо­го. Тогда

N= левая круг­лая скоб­ка a_1 плюс a_2 плюс \ldots плюс a_k плюс 1 пра­вая круг­лая скоб­ка в квад­ра­те = левая круг­лая скоб­ка a_1 плюс a_2 плюс \ldots плюс a_k пра­вая круг­лая скоб­ка в квад­ра­те плюс a_k плюс 1 в квад­ра­те плюс 2 a_k плюс 1 левая круг­лая скоб­ка a_1 плюс a_2 плюс \ldots плюс a_k пра­вая круг­лая скоб­ка .

По пред­по­ло­же­нию ин­дук­ции в пра­вой части по­след­не­го не­ра­вен­ства, По­лу­чим:

 N мень­ше или равно k левая круг­лая скоб­ка a_1 в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_k в квад­ра­те пра­вая круг­лая скоб­ка плюс a_k плюс 1 в квад­ра­те плюс 2 a_k плюс 1 левая круг­лая скоб­ка a_1 плюс a_2 плюс \ldots плюс a_k пра­вая круг­лая скоб­ка =
= левая круг­лая скоб­ка k плюс 1 пра­вая круг­лая скоб­ка левая круг­лая скоб­ка a_1 в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_k в квад­ра­те плюс a_k плюс 1 в квад­ра­те пра­вая круг­лая скоб­ка минус a_1 в квад­ра­те минус a_2 в квад­ра­те минус \ldots минус a_k в квад­ра­те минус с минус k a_k плюс 1 в квад­ра­те плюс 2 a_1 a_k плюс 1 плюс 2 a_2 a_k плюс 1 плюс \ldots плюс 2 a_k a_k плюс 1=
= левая круг­лая скоб­ка k плюс 1 пра­вая круг­лая скоб­ка левая круг­лая скоб­ка a_1 в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_k плюс 1 в квад­ра­те пра­вая круг­лая скоб­ка минус левая круг­лая скоб­ка a_1 минус a_k плюс 1 пра­вая круг­лая скоб­ка в квад­ра­те минус левая круг­лая скоб­ка a_2 минус a_k плюс 1 пра­вая круг­лая скоб­ка в квад­ра­те минус \ldots минус левая круг­лая скоб­ка a_k минус a_k плюс 1 пра­вая круг­лая скоб­ка в квад­ра­те .

от­ку­да и по­лу­ча­ет­ся ис­ко­мое не­ра­вен­ство.

2)  Те­перь зай­мем­ся утвер­жде­ни­ем из усло­вия за­да­чи. Оно опять же оче­вид­но при k=1. Для k=n минус 1 по до­ка­зан­но­му в 1) имеем:

 \left|a_1 плюс a_2 плюс \ldots плюс a_n минус 1| мень­ше или равно ко­рень из: на­ча­ло ар­гу­мен­та: левая круг­лая скоб­ка n минус 1 пра­вая круг­лая скоб­ка левая круг­лая скоб­ка a_1 конец ар­гу­мен­та в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_n минус 1 в квад­ра­те пра­вая круг­лая скоб­ка мень­ше или равно ко­рень из: на­ча­ло ар­гу­мен­та: левая круг­лая скоб­ка n минус 1 пра­вая круг­лая скоб­ка левая круг­лая скоб­ка a_1 конец ар­гу­мен­та в квад­ра­те плюс a_2 в квад­ра­те плюс \ldots плюс a_n в квад­ра­те пра­вая круг­лая скоб­ка .

Учи­ты­вая те­перь не­ра­вен­ство из усло­вия за­да­чи, по­лу­чим:

 a_1 плюс a_2 плюс \ldots плюс a_n минус 1 мень­ше или равно \left|a_1 плюс a_2 плюс \ldots плюс a_n минус 1| мень­ше или равно a_1 плюс a_2 плюс \ldots плюс a_n,

от­ку­да сле­ду­ет вы­те­ка­ет, что a_n боль­ше или равно 0. Те­перь про­сто из­ме­няя по­ря­док ну­ме­ра­ции чисел a_i можно ана­ло­гич­но по­ка­зать, что любое a_i боль­ше или равно 0.