Неравенства. Неравенства
 Скачать 232.05 Kb.
|
|
Научно- редакционный совет сер и и: В. В. Прасолов, А. Б. Сосинский (гл. ред.), А. В. Спивак, В. М. Тихомиров, ИВ. Ященко. Серия основана в 1999 году. Библиотека <Математическое просвещение> Выпуск Ю. П. Соловьёв НЕРАВЕНСТВА Издательство Московского центра непрерывного математического образования Москва • 2005 УДК 517.16 ББК 22.161 С60 Аннотация В брошюре различными способами доказываются известные, в том числе из школьной программы, неравенства Коши, Йенсена, Коши—Буняковского. Многие утверждения сформулированы в виде упражнений, решения которых приведены в конце брошюры. Кроме того, приведён список задач для самостоятельного решения. Текст брошюры представляет собой запись лекции, прочитанной автором 6 октября 2001 года на Малом мехмате МГУ для школьников 9—11 классов (запись А. А. Белкина). Брошюра рассчитана на широкий круг читателей, интересующихся математикой школьников, учителей. Юрий Петрович Соловьёв Неравенства (Серия: Библиотека Математическое просвещение“>) М.: МЦНМО, 2005. — 16 с ил. Художник У. В. Сопова. Редактор ЮЛ. Притыкин. Техн. редакторы МН. Вельтищев, МЮ. Панов. Лицензия ИД № 01335 от 24/III 2000 года. Подписано к печати 14/XI 2005 года. Формат бумаги 60×88 1 / 16 . Офсетная бумага № 1. Офсетная печать. Физ. печ. л. Усл. печ. л. 0,98. Уч.-изд. л. 1,06. Тираж 3000 экз. Заказ Брошюра соответствует гигиеническим требованиям к учебным изданиям для общего и начального профессионального образования (заключение государственной санитарно- эпидемиологической службы Российской Федерации № Дот 2/VI 2004 года). Издательство Московского центра непрерывного математического образования, Москва, Г, Бол. Власьевский пер, 11. Тел. 241 05 Отпечатано с готовых диапозитивов в ФГУП <Производственно-издательский комбинат ВИНИТИ, г. Люберцы Московской обл, Октябрьский пр-т, 403. Тел. 554 21 86. ISBN 5-94057-190-5 © МЦНМО, 2005. ВВЕДЕНИЕ В школьном курсе математики рассматриваются различные неравенства. Многие из них основаны на очень простом неравенстве неравенстве о средних, появившемся ещё в древние времена где a, Доказывается оно очень просто. 1. Докажите неравенство (1) Вначале века французский математик Коши занимался обобщением этого неравенства. Самым интересным оказалось следующее обобщение. . .+a n )≥ n √ a 1 a 2 . . . a где a 1 , a 2 , . . . , a Несложно доказать это неравенство для трёх, четырёх или пяти чисел, но дальше, если рассматривать отдельно каждое n, придётся очень повозиться. 2. Докажите неравенство (2) для Подсказка. ведите неравенство (2) к неравенству (объединив слагаемые и множители в пары. 3. Докажите неравенство (2) для n=2m, предположив, что оно верно для Докажите, что если в неравенстве (2) заменить a на среднее арифметическое чисел a 1 , a 2 , . . . , a n −1 , то получится тоже неравенство (2), только для количества чисел, равного Неравенство (2) было доказано в общем виде для произвольного с большим трудом и имеет своё имя — неравенство Коши. Его также называют неравенством между средним арифметическими средним геометрическим. В книгах можно найти разные его доказательства, но многие из них трудные. В них требуется помнить много деталей. Мы же рассмотрим несколько очень простых способов, с помощью которых можно, кроме того, получить много частных неравенств и решить много задач. Первая часть будет посвящена этим доказательствам) Двумя чертами слева выделены тексты упражнений. В конце брошюры (сс. 14—16) приведены их решения ДОКАЗАТЕЛЬСТВО НЕРАВЕНСТВА КОШИ Прежде всего нам необходимо познакомиться с одним широко известными очень важным методом доказательства, на случай, если кто-либо из читателей с ним незнаком это метод математической индукции. Метод математической индукции Пусть есть утверждение, содержащее натуральное число Пусть также выполняются следующие условия. База индукции утверждение выполняется для n=1. 2. Шаги н д у к ц и и для любого n из того, что утверждение выполняется для n, следует, что оно выполняется для Предположение того, что утверждение верно для n, называется предположением индукции. Тогда, согласно принципу математической индукции, утверждение верно для всех Метод математической индукции теми хорош, что позволяет провести доказательство в общем виде, не рассматривая отдельно каждое n. Конечно, это не единственный способ провести доказательство в общем виде, но очень часто хорошо срабатывает именно он. 5. Докажите, что неравенство (2) верно для любых n, представимых в виде 2 k , где k — натуральное число. П од сказка. Примените метод математической индукции и используйте результат упражнения Докажите, что если неравенство (2) верно для некоторого то оно верно и для любого Подсказка. Примените метод математической индукции <вниз>, использовав результат упражнения Первое доказательство Упражнения 5 и 6 составляют наше первое доказательство неравенства Коши для произвольного n. Действительно, для любого натурального n всегда существует такое натуральное k, что А утверждение упражнения 5, основанное на упражнениях 1 и состоит в том, что неравенство (2) верно для количества слагаемых, равного 2 k , где k — любое натуральное число. Тогда, в силу утверждения упражнения 6 (m следует положить равным 2 k ), основанного на упражнении 4, получаем, что неравенство верно для нашего n, так как число n меньше 2 k в силу выбора k. Если ко- мутоне удалось самостоятельно проделать все упражнения, то их решения следует посмотреть в конце брошюры. 4 Второе доказательство Прежде всего, давайте для краткости предполагать далее, что все введённые и вводимые числа положительны. Заменим наши переменные таким образом p a 1 a 2 . . . a n , y 2 = a 2 n p a 1 a 2 . . . a n , . . . , y n = a n n p a 1 a 2 . . . a n . (Тогда неравенство (2) примет вид y 1 +y 2 +. . .+y где имеет место условие y 1 y 2 . . . y В самом деле, условие (5) появилось оттого, что y 1 , y 2 , . . . , y это уже непроизвольные положительные числа, а только те, которые представимы в виде (3). Легко видеть, что для любых чисел, представимых в виде (3), выполнено условие (5), и любые положительные числа, удовлетворяющие условию (5), представимы в виде (Итак, иными словами, в неравенстве Коши утверждается, что из (5) следует (4). Кстати, обратное, конечно, неверно. Проведём доказательство по индукции. Наше утверждение, зависящее от n, — это утверждение о том, что из (5) следует База индукции. Очевидно, что в нашем случае она верна, так как при n=1 утверждение принимает вид из y 1 =1 следует Шаги н д у к ц и и. Докажем, что из верности утверждения для n следует его верность длят. е. докажем, что если для произвольных n чисел из (5) следует (4), то для произвольных n+1 чисел из (5), принимающего вид z 1 z 2 . . . z n z следует (4), принимающее вид z 1 +z 2 +. . .+z n +z где в (4 ′ ) и (5 ′ ) положено z 1 = a 1 n+1 p a 1 a 2 . . . a n a n+1 , z 2 = a 2 n+1 p a 1 a 2 . . . a n a n+1 , . . . , z n = a n n+1 p a 1 a 2 . . . a n a n+1 , z n+1 = a n+1 n+1 p a 1 a 2 . . . a n a Доказательство шага. Числа z 1 , z 2 , . . . , z удовлетворяют условию z 1 z 2 . . . z n+1 =1. 5 Положим z 1 =y 1 , z 2 =y 2 , . . . , z n −1 =y n −1 , z n z n+1 =y Тогда, очевидно, верно условие (5). По предположению индукции из него следует неравенство (4), которое в силу наших новых обозначений имеет вид z 1 +z 2 +. . .+z n −1 +z n z В шаге нужно доказать, что z 1 +z 2 +. . .+z n +z Итак, далее будем предполагать, что не все z равны единице, так как иначе всё тривиально доказывается. В самом деле, сумма n+1 слагаемых, равных единице, равна n+1, и условие (7) заведомо выполнено. Так что по крайней мере пара чисел не является парой единиц. Более того, заметим, что тогда есть пара чисел, одно из которых больше единицы, а другое меньше. Просто иначе невыполнимо условие равенства произведения всех чисел единице. Перенумеруем числа z так, чтобы этой парой оказались два последних числа z n >1 и z n+1 <1. Обратите внимание, что мы ничего не считаем, только переобозначаем переменные, и сейчас это удивительное доказательство вылезет из неравенства, которое выглядит так n +z n+1 −z n z Докажите, что (8) следует из условий z n >1, z Осталось сложить неравенство (8) с неравенством (6), и мы получили (7), а значит и доказательство шага индукции. Доказательство неравенства Коши для произвольного n тем самым завершено. То, чему вы должны научиться больше, чем конкретным фактам хранить математическую информацию. Почему-то нив школах, нив университетах обычно этому не учат. Дело в том, что человеческая память устроена так, что человек просто не в состоянии запомнить три тысячи теорем явным текстом. Даже если память очень хорошая — вдруг знак забыл, перепутали толку с этих знаний никакого. Возьмёте неверную формулу — и всё пропало. Поэтому важно не держать в голове лазерный диск с голыми формулами. Важны другие способы хранения информации в голове. Такие, чтобы можно былое получать в нужный момент ига- рантированно верно, и желательно ещё и быстро. Вот, в частности, это доказательство очень мощного неравенства Коши именно такое. Его нестрашно забыть в деталях, так как в нём нет ничего трудного. Прелесть науки в томи состоит, чтобы находить такой угол зрения, под которым всё становится просто. Наиболее важно в школьные годы суметь организовать всезнания (формулы, теоремы) 6 подобным образом, найдя этот простой а) б) Рис. 1 НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК НАДГРАФИК x Рис. 2 ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК ПОДГРАФИК x Рис. подход, потому что тогда их нельзя потерять или забыть. НЕРАВЕНСТВО ЙЕНСЕНА Итак, мы доказали неравенство Коши. Из него можно получать огромное количество других задач. А теперь рассмотрим ещё одно очень мощное неравенство — неравенство Йенсена. Оно тоже очень просто доказывается, но посвежее, ему примерно сто лет. Прежде всего введём несколько новых обозначений. Определение. Множество называется выпуклым, если отрезок, соединяющий любые две его точки, сам целиком содержится в множестве (на риса показан пример выпуклого множества, а вот множество, показанное на рис. 1, б, выпуклым не является). Пусть имеется функция y=f(x), опре- делённая на некотором интервале. У каждой функции имеется график. График функции, определённой на всей числовой прямой, разбивает плоскость на два множества) и y Пусть f(x) определена на некотором интервале. Тогда множество y ≥f(x), где х принадлежит интервалу, называется надграфиком (риса множество, где x принадлежит интервалу подграфиком (рис. Слова ужасные, но любого человека спроси — ему будет ясно, что имеется ввиду. Кстати, совершенно неважно, куда отнести саму кривую. Мы, например, отнесли её к надграфику. Определение. Функция называется выпуклой на некотором интервале, если её надграфик на этом интервале выпуклый, и вогнутой, если выпуклым является под- график Пример. Парабола y=x 2 — вы- x y Рис. 4 x Рис. 5 x y y=sin Рис. 6 x Рис. 7 x Рис. 8 пуклая на всей числовой оси функция (рис. Докажите это. П р им ер. Функция y=1/x на по- лупрямой x<0 — вогнутая (рис. Пример. На всей числовой оси синусоида, любой многочлен нечётной степени больше единицы и гипербола не являются ни выпуклыми, ни вогнутыми (рис. Приведите пример функции, являющейся одновременно и выпуклой, и во- гнутой. З а меча ни е. Функцию, являющуюся согласно нашему определению выпуклой, ещё называют выпуклой вниз, а функцию, являющуюся вогнутой, — выпуклой вверх. Такие названия были даны им в XIX веке, и сейчас сохранились только в математических кружках, а в университетских курсах их называют наоборот: выпуклая вниз функция — вогнутая, выпуклая вверх — выпуклая. Теорема Йенсена Теорема. Пусть y=f(x) — функция, выпуклая на некотором интервале x 1 , x 2 , . . . , x n — некоторые числа из этого интервала m 1 , m 2 , . . . , m n — положительные числа, сумма которых равна единице. Тогда выполняется неравенство Йенсена f(m 1 x 1 +m 2 x 2 +. . .+m n x n )≤ ≤m 1 f(x 1 )+m 2 f(x 2 )+. . .+m n f(x Из этого неравенства можно получить важнейшие неравенства, которые знает современная математика. Для доказательства нам понадобится один чисто математический факт, который обычно в школах не освещают. 8 Центр масс Предположим, что с каждой точкой плоскости связано некоторое число, которое будем называть массой этой точки (<масса> не обязательно должна быть положительной. Тогда можно определить центр масс двух точек. Определение. Центром масс двух точек A и B будем называть такую точку C на отрезке AB, что, где и m B — массы точек A и B соответственно. Это и есть знаменитое правило рычага. В XVIII веке люди пытались его доказать, но оказывается, оно эквивалентно пятому постулату Евклида*). Декартовы координаты точки C выражаются через координаты точек A и B очень просто: x C = m A x A +m B x B m A +m B , y C = m A y A +m B y B m A +m B Кстати, видно, что обе координаты точки C выражаются одинаково. Легко обобщить это определение до определения центра масс системы точек. Действительно, центр масс трёх точек определим как центр масс центра масс первых двух точек и третьей. В координатах это выглядит так: x C = m 1 x 1 +m 2 x 2 m 1 +m 2 (m 1 +m 2 )+m 3 x 3 1 (m 1 +m 2 )+m 3 = = m 1 x 1 +m 2 x 2 +m 3 x 3 m 1 +m 2 +m 3 , y C = m 1 y 1 +m 2 y 2 m 1 +m 2 (m 1 +m 2 )+m 3 y 3 1 (m 1 +m 2 )+m 3 = = m 1 y 1 +m 2 y 2 +m 3 y 3 m 1 +m 2 +m 3 ) (10) Легко проверить, что от порядка, в котором берутся точки, положение центра масс не зависит, так как от него не зависит получаемое выражение для координат точки. 10. Убедитесь, что это действительно так) Пятый постулат Евклида (или аксиома о параллельных) гласит, что через точку вне прямой можно провести не более одной прямой, параллельной данной. В течение более чем двух тысячелетий считалось, что аксиоматика Евклида (включающая в себя и пятый постулат) не является независимой, что пятый постулат можно доказать, основываясь на других аксиомах этой аксиоматики. Но в XIX веке сразу несколько математиков (среди которых Лобачевский, Гаусс и Бойаи) почти одновременно показали, что доказать его невозможно. Так родилась новая, неевклидова геометрия Поэтому ясно, что центр масс Рис. системы n точек будет определяться следующими выражениями для его декартовых координат (рис. 9): x C = m 1 x 1 +m 2 x 2 +. . .+m n x n m 1 +m 2 +. . .+m n , y C = m 1 y 1 +m 2 y 2 +. . .+m n y n m 1 +m 2 +. . .+m n Лемма. Пусть имеется выпуклая фигура, и внутри неё взяты n точек. Тогда центр масс этих точек тоже принадлежит фигуре. Д ока за тел ь ст во проведём по индукции. Докажем базу центр масс двух точек по определению принадлежит соединяющему их отрезку, который в силу выпуклости фигуры принадлежит фигуре. База доказана, теперь шаги н д у к ц и и. Центр масс точек — это в силу определения центр масс двух точек любой одной и центра масс всех остальных, которых n штук. В силу предположения индукции центр масс этих остальных n точек принадлежит фигуре, а значит, центр масс его и (й точки тоже принадлежит фигуре, так как по определению лежит наотрез- ке, соединяющем эти две точки нашей выпуклой фигуры. Лемма доказана. Доказательство теоремы Йенсена Рассмотрим функцию из условия теоремы. На графике возь- мм точки, у которых абсциссы имеют значения x 1 , x 2 , . . . , x и обозначим эти точки через A 1 , A 2 , . . . , рис. 10). Возьмём для этих точек совершенно произвольные массы m 1 , m 2 , . . . , m n , сумма которых равна 1. Согласно условию, наша функция выпуклая и, значит, надграфик — выпуклое множество. Тогда центр масс точек A 1 , A 2 , . . . , A n тоже является точкой надграфика. Выпишем координаты центра масс и условие того, что он принадлежит надграфику: x C = m 1 x 1 +m 2 x 2 +. . .+m n x n m 1 +m 2 +. . .+m n =m 1 x 1 +m 2 x 2 +. . .+m n x n , y C = m 1 y 1 +m 2 y 2 +. . .+m n y n m 1 +m 2 +. . .+m n =m 1 f(x 1 )+m 2 f(x 2 )+. . .+m n f(x Теперь подставим в условие (11) координаты центра масс и получим неравенство (9) теоремы Йенсена. Оказывается, что неравен- 10 ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС ЦЕНТР МАСС Рис. 10 ство Йенсена — это всего лишь утверждение о том, что центр масс точек графика выпуклой функции лежит в надграфике! ПРИМЕРЫ Возникает вопрос, о котором стоило бы поговорить отдельно: как определить, является ли некоторая функция выпуклой Многие из вас знают, что если задана функция, то выпуклость проверить можно так если вторая производная на интервале не меньше нуля, то функция на этом интервале выпуклая, а если не больше нуля, то она вогнутая. Вывод неравенства Коши из неравенства Йенсена Оказывается, неравенство Коши несложно выводится из неравенства Йенсена. Мы уже доказали неравенство Коши, даже двумя способами. Можете в книжках посмотреть, какое оно там сложное бывает, это доказательство. А сейчас мы докажем его ещё проще! Давайте просто прологарифмируем неравенство (2). Обе части положительные, а логарифм во всей области своего определения возрастающая функция, поэтому получим эквивалентное неравенство log a 1 +a 2 +. . .+a n n ≥log( n √ a 1 a 2 . . . a Логарифм произведения — это сумма логарифмов, а степень можно вынести как множитель. . .+a n n ≥ 1 n log a 1 + 1 n log a 2 +. . .+ 1 n log a А это и есть неравенство Йенсена для логарифма, который является вогнутой функцией в своей области определения в силу того, что его вторая производная везде в этой области отрицательна. Так как полученное неравенство Йенсена верно и является эквивалентным исходному, то исходное неравенство Коши тоже верно. Всё, это и есть доказательство. Вывод неравенства Коши—Буняковского из неравенства Йенсена Ещё одно неравенство, которое появилось в XIX веке, — это неравенство Коши—Буняковского. Оно выглядит так. . .+x n ) 2 ≤n(x 2 1 +x 2 2 +. . В лоб доказать и не мечтайте. Докажем его, используя неравенство Йенсена. Доказательство основано на том, что функция выпуклая (см. упражнение 8). Запишем для неё неравенство Йенсена, положив m 1 =m 2 =. . .=m n = 1 n : x 1 +x 2 +. . .+x n n 2 ≤ x 2 1 +x 2 2 +. . .+x 2 n А теперь если мы умножим обе части на n 2 , то и получится как раз неравенство (Получилось, что неравенство Коши—Буняковского — это тривиальное следствие неравенства Йенсена. ЗАДАЧИ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ Докажите следующие неравенства (11—22, 25—27). 11. x 1 ≤ x 1 +x 2 +. . .+x n n ≤x n , где x 1 ≤x 2 ≤. . .≤x n 12. 1 1+x 1 + 1 1+x 2 +. . .+ 1 1+x n ≥ n 1+ n p x 1 x 2 . . . x n , где x 1 , x 2 , . . . . . . , x n ≥1, n≥2. 13. 2 1 a + 1 b ≤ √ ab ≤ a+b 2 ≤ s a 2 +b 2 2 , где a, b>0. 12 14. n 1 a 1 + 1 a 2 +. . .+ 1 a n ≤ n pa 1 a 2 . . . a n ≤ a 1 +a 2 +. . .+a n n ≤ ≤ t a 2 1 +a 2 2 +. . .+a 2 n n , где a 1 , a 2 , . . . , a n >0. 15. a 1 a 2 + a 2 a 3 +. . .+ a n −1 a n + a n a 1 ≥n, где a 1 , a 2 , . . . , a n >0. 16. (a 1 +a 2 +. . .+a n ) 1 a 1 + 1 a 2 +. . .+ 1 a n ≥n 2 , где a 1 , a 2 , . . . . . . , a n >0. 17. 1 2 · 3 4 ·. . .· 2n−1 2n ≤ 1 √ 3n+1 , где n — натуральное число. . .+x n )|≤|sin x 1 |+|sin x 2 |+. . .+|sin x n |, где, 0≤x 2 ≤π, . . . , 0≤x n ≤π. 19. a 1 +a 2 2 +. . .+a n n ≤na 1 a 2 . . . a n , где a 1 ≥a 2 ≥. . .≥a n ≥1. 20. n √ n> n+1 √ n+1, где n — натуральное число, n ≥3. 21. sin x 1 +sin x 2 +. . .+sin x n n ≤sin x 1 +x 2 +. . .+x n n , где 0≤x 1 ≤ ≤π, 0≤x 2 ≤π, . . . , 0≤x n ≤π. 22. m p p + n q q ≥mn, где m, n, p, q>0 и 1 p + 1 q =1. 23. Докажите, что из всех выпуклых угольников, вписанных в данную окружность, наибольшую площадь имеет правильный. 24. Докажите, что из всех выпуклых угольников, вписанных в данную окружность, наибольший периметр имеет правильный 2 2 ≥ s a 2 +b 2 2 − a+b 2 , где a, b≥ 1 2 26. a 1 x 1 +a 2 x 2 +. . .+a n x n ≥x a 1 1 x a 2 2 . . . x a n n , где x 1 , x 2 , . . . . . . , x n >0, a 1 , a 2 , . . . , a n ≥0 и a 1 +a 2 +. . .+a n =1. 27. x a 1 +x a 2 +. . .+x a n n 1/a ≤ x b 1 +x b 2 +. . .+x b n n 1/b , где x 1 , x 2 , . . . . . . , x n >0, a РЕШЕНИЯ УПРАЖНЕНИЙ 1. Это неравенство является простым следствием неотрицатель- ности квадрата разности чисел и 2 = ( √ a − √ b) 2 Объединим слагаемые в пары a 1 , и a 3 , a 4 , а затем для каждой из них применим неравенство Коши для n=2: a 1 +a 2 2 ≥ √ a 1 a 2 , a 3 +a 4 Используем эти два неравенства и ещё раз неравенство Коши для n=2: a 1 +a 2 +a 3 +a 4 4 = a 1 +a 2 2 + a 3 +a 4 2 2 ≥ √ a 1 a 2 +√a 3 a 4 2 ≥ ≥ q √ a 1 a 2 √ a 3 a 4 = 4 √ a 1 a 2 a 3 a 4 Решается аналогично упражнению 2, только вместо сведения к неравенству Коши для n=2 нужно сводить к неравенству Коши для Рассмотрим левую часть, те. среднее арифметическое. Ясно, что среднее арифметическое n чисел равно среднему арифметическому себя и этих же n чисел. Это всё равно что к системе точек добавить в её центр масс ещё одну точку и снова рассчитать центр масс, который, естественно, не сдвинется. Подставьте и убедитесь. Теперь осталось возвести всё в степень n, разделить на сумму a 1 +a 2 +. . .+a и извлечь корень (й степени. 5. Доказательство индукцией по k. База индукции (k=1) это уже доказанное в упражнении 1 неравенство Коши для 2 k = =2 1 =2 чисел. А шаг индукции — уже доказанное утверждение упражнения 3, которое позволяет перейти к неравенству Коши для 2 k+1 чисел, если для 2 k чисел оно уже доказано. 6. Что такое метод математической индукции вниз Очень просто Если в шаге доказывать, что из предположения индукции следует верность высказывания не для n+1, а для n−1, то высказывание окажется верным для всех n, небольших, а меньших базового. Таким образом, для решения данного упражнения нужно всего лишь доказать этот шаг вниз. Заметим, что именно они был доказан в упражнении 4. 14 Умножим обе части неравенства z n >1 y= x 2 x 1 x 2 y 1 y 2 x Рис. на положительное число 1−z n+1 . Получим n −z n z n+1 >1 −z Перенеся слагаемое (−z n+1 ) в левую часть с переменой знака, получим искомое неравенство (Вот как можно доказать выпуклость функции y=x 2 , не используя производных. Запишем уравнение прямой, проходящей через точки (x 1 , y 1 ) и (x 2 , y 2 ) на параболе (рис. 11), в виде и сложим с ним неравенство x 2 −y<0, которое нам необходимо доказать для всех x из интервала (x 1 , Если мы докажем это неравенство, это будет означать, что указанный отрезок прямой полностью лежит выше параболы, т. е. весь принадлежит надграфику, что, в свою очередь, будет означать его выпуклость. Итак, разделим полученное неравенство на Осталось подставить вместо и соответствующие значения y 1 = =x 2 1 , y 2 =x 2 2 , а затем сократить полученные дробина разности и x 2 −x 1 . Получим: x+x 1 ≤x 2 +x 1 Это, очевидно, верное неравенство, которое в силу наших преобразований является эквивалентным исходному. Утверждение доказано. 9. Прямая является выпуклой и вогнутой одновременно. Этот пример очень хорош, потому как иллюстрирует, что почтив любых определениях существуют предельные моменты. Кстати, можно доказать, что других одновременно и выпуклых, и вогнутых функций нет. 10. Докажем это утверждение по индукции. База для одной точки очевидна, потому что одну точку мы можем брать только водном порядке. Теперь докажем шаг индукции. Пусть для n точек мы уже доказали, что независимо от порядка, в котором мы берём точки для вычисления координат центра масс, всё равно получаются выражения наподобие (10), те Теперь попробуем доказать тоже самое для произвольных n+1 точек. Выберем произвольный порядок, в котором мы будем брать точки для вычисления координат центра масс. Без ограничения общности будем считать, что последней добавляется точка n+1 , y n+1 ) (это означает, что такого можно добиться простой перенумерацией точек. Таким образом, центр масс всей системы из n+1 точек совпадает с центром масс системы двух точек точки массы m с координатами (x n+1 , y n+1 ) и точки массы m 1 + +m 2 +. . .+m с координатами. . .+m n x n m 1 +m 2 +. . .+m n , m 1 y 1 +m 2 y 2 +. . .+m n y n m 1 +m 2 +. . .+m эту вторую точку мы получаем по предположению индукции). Мы уже знаем, что центр масс системы из этих двух точек имеет координаты x C = m 1 x 1 +m 2 x 2 +. . .+m n x n m 1 +m 2 +. . .+m n (m 1 +m 2 +. . .+m n )+x n+1 m n+1 (m 1 +m 2 +. . .+m n )+m n+1 , y C = m 1 y 1 +m 2 y 2 +. . .+m n y n m 1 +m 2 +. . .+m n (m 1 +m 2 +. . .+m n )+y n+1 m n+1 (m 1 +m 2 +. . .+m n )+m А именно это и нужно было доказать в шаге индукции. Поскольку мыс самого начала взяли произвольный порядок выбора точек, то формулы будут верны в любом случае, а значит, они не зависят от порядка выбора точек. Что и требовалось. М АГА З И Н < М атематическая книга> в М Ц НМ О Брошюры серии Библиотека Математическое просвещение вы можете приобрести в магазине <Математическая книга> в МЦНМО. В магазине представлен наиболее полный ассортимент книг издательства МЦНМО. Эти книги продаются по издательским ценам. Здесь также можно найти книги по математике других ведущих издательств. В отделе школьной литературы представлен широкий ассортимент книг для школьников, учителей, руководителей математических кружков. Вот- деле вузовской и научной литературы можно найти учебники и научные монографии ведущих российских и зарубежных математиков. В магазине имеется отдел <книга—почтой>. Адрес магазина Москва, Г, Бол. Власьев- ский пер, 11. Проезд до ст. м. Смоленская или <Кропоткинская>, далее пешком (см. схему). Телефоны для справок 72 85, 241 05 Магазин работает ежедневно кроме воскресенья (летом — кроме субботы и воскресенья) с 11 до 20 перерывы с 13 дои с 16 до 16 50 E-mail: biblio@mccme.ru http://biblio.mccme.ru БИБЛИОТЕКА МАТЕМАТИЧЕСКОЕ ПРОСВЕЩЕНИЕ> Вып. 1. В. М. Тихомиров. Великие математики прошлого и их великие теоремы. Вып. 2. А. А. Болибрух. Проблемы Гильберта (100 лет спустя). Вып. 3. Д. В. Аносов. Взгляд на математику и нечто из неё. Вып. 4. В. В. Прасолов. Точки Брокара и изогональное сопря- жение. Вып. 5. Н. П. Долбилин. Жемчужины теории многогранников. Вып. 6. А. Б. Сосинский. Мыльные плёнки и случайные блу- ждания. Вып. 7. ИМ. Парамонова. Симметрия в математике. Вып. 8. В. В. Острик, МА. Цфасман. Алгебраическая геометрия и теория чисел рациональные и эллиптические кривые. Вып. 9. Б. П. Гейдман. Площади многоугольников. Вып. 10. А. Б. Сосинский. Узлы и косы. Вып. 11. Э. Б. Винберг. Симметрия многочленов. Вып. 12. В. Г. Сурдин. Динамика звёздных систем. Вып. 13. ВО. Бугаенко. Уравнения Пелля. Вып. 14. В. И. Арнольд. Цепные дроби. Вып. 15. В. М. Тихомиров. Дифференциальное исчисление (теория и приложения). (См. ю стр. обложки 5 94057 190 5 9 785940 571902 |