Реферат: Доказательства неравенств с помощью одномонотонных последовательностей
Значит a3 +b3 a2 b+b2 a.
Что и требовалось доказать.
Мы не можем сказать какой из методов доказательства решения легче, так как в данном случае оба метода решения неравенства примерно одинаковые по сложности.
Упражнение №2 .
Пусть a и b – положительные вещественные числа.
Доказать неравенство.
а2 +b2 .
Доказательство.
Заметим, прежде всего, что
а2 +b2 =, ,
А так как последовательности (), () одномонотонны, то
.
Что и требовалось доказать.
2.3 Случай с двумя последовательностями из трех переменных
Рассмотрим последовательность (а1 ,а2 ,а3 ) и (b 1 , b2 ,b3 ), и запишем в виде таблицы
Если последовательность (а1 ,а2 ,а3 )(b1 , b2 ,b3 ) записанных в виде таблицы, где наибольшее из чисел а1 ,а2 ,а3 находиться над наибольшим из чисел b 1 ,b2 ,b3 , а второе по величине а1 ,а2 ,а3 находиться над вторым по величине из чисел b 1 ,b2 ,b3 , и где наименьшее из чисел а1 ,а2 ,а3 находиться над наименьшим из чисел b 1 ,b2 ,b3 то последовательность одномонотонная.
Если =a1 b1 , и =а1 b1 +а2 b2 , то =а1 b1 +а2 b2 +a3 b3
Для доказательства следующих теорем нам понадобится одно свойство одномонотонных последовательностей, которое оформим в виде леммы.
Лемма. Если (а1 , а2 , …а n ) и (b 1 , b2 ,… bn ) одномонотонные последовательности, то их произведение не изменится при перестановки местами столбцов.
Доказательство.
Рассмотрим последовательность с двумя переменными из двух переменных.
=а1 b1 +а2 b2 .
Заметим, что а1 b1 +а2 b2 = а2 b2 + а1 b1 по переместительному свойству сложения. Значит, в самой таблице мы тоже можем переставлять столбцы переменных, при этом сохраняется одномонотонность последовательности. То есть
=
Теперь рассмотрим последовательность с двумя последовательностями из трех переменных.
=а1 b1 +а2 b2 +a3 b3 .
Кроме того, что мы можем поменять переменные по переместительному свойству, а по сочетательному свойству мы можем объединять некоторые слагаемые, сохраняя одномонотонность последовательности. То есть
а1 b1 +а2 b2 +a3 b3 = (a3 b3 +а2 b2 )+ а1 b1 =