Вы находитесь на странице: 1из 9

Библиотека

<Математическое просвещение>
Выпуск 30

Ю. П. Соловьёв
Н а у ч н о - р е д а к ц и о н н ы й с о в е т с е р и и:
В. В. Прасолов, А. Б. Сосинский (гл. ред.),
А. В. Спивак, В. М. Тихомиров, И. В. Ященко.

НЕРАВЕНСТВА
Серия основана в 1999 году.

Издательство Московского центра


непрерывного математического образования
Москва • 2005
УДК 517.16 ВВЕДЕНИЕ
ББК 22.161
С60 В школьном курсе математики рассматриваются различные
неравенства. Многие из них основаны на очень простом нера-
венстве — неравенстве о средних, появившемся ещё в древние
времена:
1 √
(a+b)≥ ab, (1)
2
Аннотация
В брошюре различными способами доказываются извест- где a, b>0.
ные, в том числе из школьной программы, неравенства Коши,
Йенсена, Коши—Буняковского. Многие утверждения сформу- Доказывается оно очень просто.
лированы в виде упражнений, решения которых приведены 1. Докажите неравенство (1) *).
в конце брошюры. Кроме того, приведён список задач для само-
стоятельного решения. В начале XIX века французский математик Коши занимался
Текст брошюры представляет собой запись лекции, прочи- обобщением этого неравенства. Самым интересным оказалось сле-
танной автором 6 октября 2001 года на Малом мехмате МГУ
для школьников 9—11 классов (запись А. А. Белкина). дующее обобщение:
Брошюра рассчитана на широкий круг читателей, интере-
сующихся математикой: школьников, учителей. √
1
(a +a2 +. . .+an )≥ n a1 a2 . . . an , (2)
n 1

где a1 , a2 , . . . , an >0.
Несложно доказать это неравенство для трёх, четырёх или
пяти чисел, но дальше, если рассматривать отдельно каждое n,
Юрий Петрович Соловьёв
придётся очень повозиться.
Неравенства
2. Докажите неравенство (2) для n=4.
(Серия: <Библиотека ,,Математическое просвещение“>)
М.: МЦНМО, 2005. — 16 с.: ил. П о д с к а з к а. Cведите неравенство (2) к неравенству (1),
объединив слагаемые и множители в пары.
Художник У. В. Сопова. Редактор Ю. Л. Притыкин.
Техн. редакторы М. Н. Вельтищев, М. Ю. Панов. 3. Докажите неравенство (2) для n=2m, предположив, что оно
верно для n=m.
Лицензия ИД № 01335 от 24/III 2000 года. Подписано к печати 14/XI 2005 года. 4. Докажите, что если в неравенстве (2) заменить an на сред-
Формат бумаги 60×88 1/16 . Офсетная бумага № 1. Офсетная печать. Физ. печ. л. 1,00. нее арифметическое чисел a1 , a2 , . . . , an−1 , то получится то
Усл. печ. л. 0,98. Уч.-изд. л. 1,06. Тираж 3000 экз. Заказ .
же неравенство (2), только для количества чисел, равного n−1.
Брошюра соответствует гигиеническим требованиям к учебным изданиям для общего Неравенство (2) было доказано в общем виде для произволь-
и начального профессионального образования (заключение государственной санитарно- ного n с большим трудом и имеет своё имя — неравенство Коши.
эпидемиологической службы Российской Федерации № 77.99.02.953.Д.003873.06.04
от 2/VI 2004 года). Его также называют неравенством между средним арифметиче-
ским и средним геометрическим. В книгах можно найти разные
Издательство Московского центра непрерывного математического образования. его доказательства, но многие из них трудные. В них требуется
119002, Москва, Г-2, Бол. Власьевский пер., 11. Тел. 241 05 00. помнить много деталей. Мы же рассмотрим несколько очень про-
стых способов, с помощью которых можно, кроме того, получить
Отпечатано с готовых диапозитивов
в ФГУП <Производственно-издательский комбинат ВИНИТИ>. много частных неравенств и решить много задач. Первая часть бу-
140010, г. Люберцы Московской обл., Октябрьский пр-т, 403. Тел. 554 21 86. дет посвящена этим доказательствам.

*) Двумя чертами слева выделены тексты упражнений. В конце брошюры


ISBN 5-94057-190-5 © МЦНМО, 2005. (сс. 14—16) приведены их решения.
3
ДОКАЗАТЕЛЬСТВО НЕРАВЕНСТВА КОШИ Второе доказательство
Прежде всего нам необходимо познакомиться с одним широ- Прежде всего, давайте для краткости предполагать далее, что
ко известным и очень важным методом доказательства, на случай, все введённые и вводимые числа положительны. Заменим наши
если кто-либо из читателей с ним не знаком, — это метод матема- переменные таким образом:
тической индукции. a1 a2 an
y1 = np , y2 = np , ..., yn = np . (3)
a1 a2 . . . an a1 a2 . . . an a1 a2 . . . an
Метод математической индукции
Тогда неравенство (2) примет вид
Пусть есть утверждение, содержащее натуральное число n. y1 +y2 +. . .+yn ≥n, (4)
Пусть также выполняются следующие условия.
1. Б а з а и н д у к ц и и: утверждение выполняется для n=1. где имеет место условие
2. Ш а г и н д у к ц и и: для любого n из того, что утвержде- y1 y2 . . . yn =1. (5)
ние выполняется для n, следует, что оно выполняется для n+1. В самом деле, условие (5) появилось от того, что y1 , y2 , . . . , yn —
Предположение того, что утверждение верно для n, называется это уже не произвольные положительные числа, а только те, ко-
предположением индукции. торые представимы в виде (3). Легко видеть, что для любых
Тогда, согласно принципу математической индукции, утвер- чисел, представимых в виде (3), выполнено условие (5), и любые
ждение верно для всех n≥1. положительные числа, удовлетворяющие условию (5), представи-
Метод математической индукции тем и хорош, что позволяет мы в виде (3).
провести доказательство в общем виде, не рассматривая отдельно Итак, иными словами, в неравенстве Коши утверждается, что
каждое n. Конечно, это не единственный способ провести дока- из (5) следует (4). Кстати, обратное, конечно, неверно.
зательство в общем виде, но очень часто хорошо срабатывает Проведём доказательство по индукции. Наше утверждение, за-
именно он. висящее от n, — это утверждение о том, что из (5) следует (4).
5. Докажите, что неравенство (2) верно для любых n, предста- Б а з а и н д у к ц и и. Очевидно, что в нашем случае она вер-
вимых в виде 2k , где k — натуральное число. на, так как при n=1 утверждение принимает вид <из y1 =1 сле-
П о д с к а з к а. Примените метод математической индукции дует y1 ≥1>.
и используйте результат упражнения 3. Ш а г и н д у к ц и и. Докажем, что из верности утверждения
6. Докажите, что если неравенство (2) верно для некоторого m, для n следует его верность для n+1, т. е. докажем, что если для
то оно верно и для любого n<m. произвольных n чисел из (5) следует (4), то для произвольных
П о д с к а з к а. Примените метод математической индукции n+1 чисел из (5), принимающего вид
<вниз>, использовав результат упражнения 4.
z1 z2 . . . zn zn+1 ≥1, (5′ )
Первое доказательство следует (4), принимающее вид
z1 +z2 +. . .+zn +zn+1 ≥n+1, (4′ )
Упражнения 5 и 6 составляют наше первое доказательство не-
равенства Коши для произвольного n. Действительно, для любого где в (4′ ) и (5′ ) положено
натурального n всегда существует такое натуральное k, что 2k >n. a1 a2
А утверждение упражнения 5, основанное на упражнениях 1 и 2, z1 = n+1p , z2 = n+1p , ...
a1 a2 . . . an an+1 a1 a2 . . . an an+1
состоит в том, что неравенство (2) верно для количества слагае-
мых, равного 2k , где k — любое натуральное число. Тогда, в силу an an+1
..., zn = n+1p , zn+1 = n+1p .
утверждения упражнения 6 (m следует положить равным 2k ), осно- a1 a2 . . . an an+1 a1 a2 . . . an an+1
ванного на упражнении 4, получаем, что неравенство верно для
нашего n, так как число n меньше 2k в силу выбора k. Если ко- Д о к а з а т е л ь с т в о ш а г а. Числа z1 , z2 , . . . , zn+1 удовле-
му-то не удалось самостоятельно проделать все упражнения, то их творяют условию
решения следует посмотреть в конце брошюры. z1 z2 . . . zn+1 =1.
4 5
Положим подобным образом, найдя этот простой
z1 =y1 , z2 =y2 , ..., zn−1 =yn−1 , zn zn+1 =yn . подход, потому что тогда их нельзя поте-
рять или забыть.
Тогда, очевидно, верно условие (5). По предположению индукции
из него следует неравенство (4), которое в силу наших новых
НЕРАВЕНСТВО ЙЕНСЕНА
обозначений имеет вид
z1 +z2 +. . .+zn−1 +zn zn+1 ≥n. (6) Итак, мы доказали неравенство Коши. а)
Из него можно получать огромное коли-
В шаге нужно доказать, что чество других задач. А теперь рассмотрим
z1 +z2 +. . .+zn +zn+1 ≥n+1. (7) ещё одно очень мощное неравенство — не-
Итак, далее будем предполагать, что не все zi равны единице, равенство Йенсена. Оно тоже очень просто
так как иначе всё тривиально доказывается. В самом деле, сумма доказывается, но посвежее, ему примерно
n+1 слагаемых, равных единице, равна n+1, и условие (7) заве- сто лет.
домо выполнено. Так что по крайней мере пара чисел не является Прежде всего введём несколько новых
парой единиц. Более того, заметим, что тогда есть пара чисел, од- обозначений. б)
но из которых больше единицы, а другое меньше. Просто иначе Определение. Множество называется
невыполнимо условие равенства произведения всех чисел едини- выпуклым, если отрезок, соединяющий Рис. 1
це. Перенумеруем числа zi так, чтобы этой парой оказались два любые две его точки, сам целиком содер-
последних числа zn >1 и zn+1 <1. Обратите внимание, что мы ни- жится в множестве (на рис. 1, а показан
чего не считаем, только переобозначаем переменные, и сейчас это пример выпуклого множества, а вот мно-
удивительное доказательство <вылезет> из неравенства, которое жество, показанное на рис. 1, б, выпуклым y

выглядит так: не является).


Пусть имеется функция y=f(x), опре- НАДГРАФИК
НАДГРАФИК
НАДГРАФИК
НАДГРАФИК
zn +zn+1 −zn zn+1 >1. (8) делённая на некотором интервале. У каж-
7. Докажите, что (8) следует из условий zn >1, zn+1 <1. дой функции имеется график. График функ-
Осталось сложить неравенство (8) с неравенством (6), и мы ции, определённой на всей числовой пря-
получили (7), а значит и доказательство шага индукции. До- мой, разбивает плоскость на два множе-
казательство неравенства Коши для произвольного n тем самым ства: y≥f(x) и y<f(x). Такие два множе- x
завершено. ства называются надграфик и подграфик.
То, чему вы должны научиться больше, чем конкретным фак- Определение. Пусть f(x) определена
там — хранить математическую информацию. Почему-то ни в шко- на некотором интервале. Тогда множество Рис. 2
лах, ни в университетах обычно этому не учат. Дело в том, что y≥f(x), где х принадлежит интервалу,
человеческая память устроена так, что человек просто не в со- называется надграфиком (рис. 2), а мно-
стоянии запомнить три тысячи теорем явным текстом. Даже если жество y<f(x), где x принадлежит интер-
память очень хорошая — вдруг знак забыл, перепутал. . . и толку валу, — подграфиком (рис. 3). y
с этих знаний никакого. Возьмёте неверную формулу — и всё про- Слова ужасные, но любого человека
пало. Поэтому важно не держать в голове лазерный диск с голыми спроси — ему будет ясно, что имеется
формулами. Важны другие способы хранения информации в голо- в виду. Кстати, совершенно неважно, куда
ве. Такие, чтобы можно было её получать в нужный момент и га- отнести саму кривую. Мы, например, от-
рантированно верно, и желательно ещё и быстро. Вот, в частности, несли её к надграфику. x
это доказательство очень мощного неравенства Коши именно такое. Определение. Функция называется вы-
Его не страшно забыть в деталях, так как в нём нет ничего трудно- пуклой на некотором интервале, если её ПОДГРАФИК
ПОДГРАФИК
ПОДГРАФИК
ПОДГРАФИК
го. Прелесть науки в том и состоит, чтобы находить такой угол зре- надграфик на этом интервале выпуклый,
ния, под которым всё становится просто. Наиболее важно в школь- и вогнутой, если выпуклым является под-
ные годы суметь организовать все знания (формулы, теоремы) график. Рис. 3
6 7
y
П р и м е р 1. Парабола y=x2 — вы- Центр масс
пуклая на всей числовой оси функция
(рис. 4). Предположим, что с каждой точкой плоскости связано некото-
8. Докажите это. рое число, которое будем называть <массой> этой точки (<масса>
П р и м е р 2. Функция y=1/x на по- не обязательно должна быть положительной). Тогда можно опре-

x2
делить <центр масс> двух точек.

y=
лупрямой x<0 — вогнутая (рис. 5).
П р и м е р 3. На всей числовой оси Определение. Центром масс двух точек A и B будем называть
синусоида, любой многочлен нечётной AC m
такую точку C на отрезке AB, что = B , где mA и mB — массы
x степени больше единицы и гипербола BC mA
Рис. 4
не являются ни выпуклыми, ни вогнуты- точек A и B соответственно.
y ми (рис. 6—8). Это и есть знаменитое правило рычага. В XVIII веке люди
9. Приведите пример функции, явля- пытались его доказать, но оказывается, оно эквивалентно пятому
x ющейся одновременно и выпуклой, и во- постулату Евклида*).
гнутой. Декартовы координаты точки C выражаются через координаты
y=1/x, З а м е ч а н и е. Функцию, являющую- точек A и B очень просто:
x<0 ся согласно нашему определению выпукл- mA xA +mB xB mA yA +mB yB
Рис. 5 ой, ещё называют выпуклой вниз, а функ- xC = , yC = .
mA +mB mA +mB
цию, являющуюся вогнутой, — выпукл-
y ой вверх. Такие названия были даны им Кстати, видно, что обе координаты точки C выражаются оди-
в XIX веке, и сейчас сохранились только наково. Легко обобщить это определение до определения центра
в математических кружках, а в универ- масс системы точек. Действительно, центр масс трёх точек опре-
ситетских курсах их называют наоборот: делим как центр масс центра масс первых двух точек и третьей.
x выпуклая вниз функция — вогнутая, вы- В координатах это выглядит так:
y=sin x пуклая вверх — выпуклая.
 m x +m2 x2

1
 
Рис. 6

xC =  1 1

(m1 +m2 )+m3 x3  =
 

m1 +m2 (m1 +m2 )+m3



y Теорема Йенсена 


m1 x1 +m2 x2 +m3 x3


Теорема. Пусть y=f(x) — функция, = , 
m1 +m2 +m3



выпуклая на некотором интервале; x1 , (10)


 m1 y1 +m2 y2

1
 
x2 , . . . , xn — некоторые числа из этого


yC =  (m1 +m2 )+m3 y3  =
 
интервала; m1 , m2 , . . . , mn — поло- m1 +m2 (m1 +m2 )+m3


x 


жительные числа, сумма которых равна

m1 y1 +m2 y2 +m3 y3

y=x3−x

= . 

единице. Тогда выполняется неравенство m1 +m2 +m3



Йенсена
)
Рис. 7
y Легко проверить, что от порядка, в котором берутся точки,
f(m1 x1 +m2 x2 +. . .+mn xn )≤ положение центра масс не зависит, так как от него не зависит
≤m1 f(x1 )+m2 f(x2 )+. . .+mn f(xn ). получаемое выражение для координат точки.
(9) 10. Убедитесь, что это действительно так.

Из этого неравенства можно полу- *) Пятый постулат Евклида (или аксиома о параллельных) гласит, что через
x точку вне прямой можно провести не более одной прямой, параллельной дан-
y=1/x чить важнейшие неравенства, которые ной. В течение более чем двух тысячелетий считалось, что аксиоматика Евклида
знает современная математика. Для до- (включающая в себя и пятый постулат) не является независимой, что пятый
казательства нам понадобится один чисто постулат можно доказать, основываясь на других аксиомах этой аксиоматики.
Но в XIX веке сразу несколько математиков (среди которых Лобачевский, Гаусс
математический факт, который обычно и Бойаи) почти одновременно показали, что доказать его невозможно. Так роди-
Рис. 8 в школах не освещают. лась новая, неевклидова геометрия.
8 9
y
A4 Поэтому ясно, что центр масс C
системы n точек будет определяться
A3 следующими выражениями для его де-
A5 картовых координат (рис. 9):
y3
C A3
m x +m2 x2 +. . .+mn xn ЦЕНТР
ЦЕНТР
ЦЕНТР МАСС
ЦЕНТР МАСС
МАСС
МАСС
xC = 1 1 ,
A2 m1 +m2 +. . .+mn
A1 m1 y1 +m2 y2 +. . .+mn yn
yC = .
Рис. 9 m1 +m2 +. . .+mn y1
A1
y2
Лемма. Пусть имеется выпуклая фигура, и внутри неё взяты A2
n точек. Тогда центр масс этих точек тоже принадлежит фигуре.
x
Д о к а з а т е л ь с т в о проведём по индукции.
Докажем б а з у: центр масс двух точек по определению при- x1 x2 x3
надлежит соединяющему их отрезку, который в силу выпуклости
фигуры принадлежит фигуре. Рис. 10
База доказана, теперь ш а г и н д у к ц и и. Центр масс n+1
точек — это в силу определения центр масс двух точек: любой ство Йенсена — это всего лишь утверждение о том, что центр масс
одной и центра масс всех остальных, которых n штук. В силу точек графика выпуклой функции лежит в надграфике!
предположения индукции центр масс этих остальных n точек при-
надлежит фигуре, а значит, центр масс его и (n+1)-й точки тоже
принадлежит фигуре, так как по определению лежит на отрез- ПРИМЕРЫ
ке, соединяющем эти две точки нашей выпуклой фигуры. Лемма
доказана. Возникает вопрос, о котором стоило бы поговорить отдельно:
как определить, является ли некоторая функция выпуклой? Мно-
Доказательство теоремы Йенсена гие из вас знают, что если задана функция, то выпуклость прове-
рить можно так: если вторая производная на интервале не меньше
Рассмотрим функцию из условия теоремы. На графике возь- нуля, то функция на этом интервале выпуклая, а если не больше
мём точки, у которых абсциссы имеют значения x1 , x2 , . . . , xn , нуля, то она вогнутая.
и обозначим эти точки через A1 , A2 , . . . , An (рис. 10). Возьмём для
этих точек совершенно произвольные массы m1 , m2 , . . . , mn , сум-
ма которых равна 1. Согласно условию, наша функция выпуклая Вывод неравенства Коши из неравенства Йенсена
и, значит, надграфик — выпуклое множество. Тогда центр масс
Оказывается, неравенство Коши несложно выводится из нера-
точек A1 , A2 , . . . , An тоже является точкой надграфика. Выпи-
венства Йенсена. Мы уже доказали неравенство Коши, даже двумя
шем координаты центра масс и условие того, что он принадлежит
способами. Можете в книжках посмотреть, какое оно там слож-
надграфику:
ное бывает, это доказательство. А сейчас мы докажем его ещё
m1 x1+m2 x2+. . .+mn xn проще! Давайте просто прологарифмируем неравенство (2). Обе
xC= =m1 x1+m2 x2+. . .+mn xn , части положительные, а логарифм во всей области своего опре-
m1+m2+. . .+mn
деления возрастающая функция, поэтому получим эквивалентное
m1 y1+m2 y2+. . .+mn yn
yC= =m1 f(x1 )+m2 f(x2 )+. . .+mn f(xn ), неравенство
m1+m2+. . .+mn
 a +a2 +. . .+an 
 ≥log(n√ a a . . . a ).
 
yC ≥f(xC ). (11) log  1 1 2 n
n 
Теперь подставим в условие (11) координаты центра масс и полу-
чим неравенство (9) теоремы Йенсена. Оказывается, что неравен- Логарифм произведения — это сумма логарифмов, а степень можно
10 11
вынести как множитель: n a +a2 +. . .+an
≤ n a1 a2 . . . an ≤ 1
p
14. ≤
1 1 1 n
 a1 +a2 +. . .+an  1 + +. . .+
 ≥ log a + 1 log a +. . .+ 1 log a .
 
log  a1 a2 an
n  n 1 n 2 n n t
a21 +a22 +. . .+a2n
≤ , где a1 , a2 , . . . , an >0.
А это и есть неравенство Йенсена для логарифма, который явля- n
ется вогнутой функцией в своей области определения в силу того,
что его вторая производная везде в этой области отрицательна. Так a1 a a a
15. + 2 +. . .+ n−1 + n ≥n, где a1 , a2 , . . . , an >0.
как полученное неравенство Йенсена верно и является эквивалент- a2 a3 an a1
ным исходному, то исходное неравенство Коши тоже верно. Всё,
 1 1 1 
 
это и есть доказательство. 16. (a1 +a2 +. . .+an )  + +. . .+  ≥n2 , где a1 , a2 , . . .

a a 1a 2 n
Вывод неравенства Коши—Буняковского . . . , an >0.
из неравенства Йенсена
1 3 2n−1 1
Ещё одно неравенство, которое появилось в XIX веке, — это 17. · ·. . .· ≤√ , где n — натуральное число.
2 4 2n 3n+1
неравенство Коши—Буняковского. Оно выглядит так:
(x1 +x2 +. . .+xn )2 ≤n(x21 +x22 +. . .+x2n ). (12) 18. |sin(x1 +x2 +. . .+xn )|≤|sin x1 |+|sin x2 |+. . .+|sin xn |, где
0≤x1 ≤π, 0≤x2 ≤π, . . . , 0≤xn ≤π.
<В лоб> доказать и не мечтайте. Докажем его, используя не-
равенство Йенсена. Доказательство основано на том, что y=x2 — 19. a1 +a22 +. . .+ann ≤na1a2 . . . an , где a1 ≥a2 ≥. . .≥an ≥1.
функция выпуклая (см. упражнение 8). Запишем для неё неравен-
1 n√ n+1√
ство Йенсена, положив m1 =m2 =. . .=mn = : 20. n> n+1, где n — натуральное число, n≥3.
n
 x1 +x2 +. . .+xn 2 x21 +x22 +. . .+x2n sin x1 +sin x2 +. . .+sin xn x +x2 +. . .+xn
≤sin 1
 
 ≤ . 21. , где 0≤x1 ≤

 n  n n n
≤π, 0≤x2 ≤π, . . . , 0≤xn ≤π.
А теперь если мы умножим обе части на n2 , то и получится как
раз неравенство (12)! mp nq 1 1
22. + ≥mn, где m, n, p, q>0 и + =1.
Получилось, что неравенство Коши—Буняковского — это три- p q p q
виальное следствие неравенства Йенсена.
23. Докажите, что из всех выпуклых n-угольников, вписанных
в данную окружность, наибольшую площадь имеет правильный.
ЗАДАЧИ ДЛЯ САМОСТОЯТЕЛЬНОГО РЕШЕНИЯ 24. Докажите, что из всех выпуклых n-угольников, вписанных
в данную окружность, наибольший периметр имеет правильный.
Докажите следующие неравенства (11—22, 25—27).
 a −b2 2
 2 s 2
a +b2 a+b 1

x1 +x2 +. . .+xn 25.   ≥ − , где a, b≥ .
11. x1 ≤ ≤xn , где x1 ≤x2 ≤. . .≤xn . 2 2 2 2
n
1 1 1 n 26. a1 x1 +a2 x2 +. . .+an xn ≥xa11 xa22 ... xann , где x1 , x2 , ...
12. + +. . .+ ≥ , где x1 , x2 , . . .
1+x1 1+x2 1+xn n
p
1+ x1 x2 . . . xn . . . , xn >0, a1 , a2 , . . . , an ≥0 и a1 +a2 +. . .+an =1.
. . . , xn ≥1, n≥2.
 x +xa2 +. . .+xan 1/a  xb1 +xb2 +. . .+xbn 1/b
 a   
√ 27.  1  , где x , x , . . .
s  ≤ 
2 a+b a2 +b2 1 2
13. 1 1
≤ ab≤ ≤ , где a, b>0. n   n 
2 2
+ . . . , xn >0, a<b.
a b
12 13
РЕШЕНИЯ УПРАЖНЕНИЙ 7. Умножим обе части неравенства zn >1 y
на положительное число 1−zn+1 . Получим:
1. Это неравенство является√простым
√ следствием неотрицатель-

y=
zn −zn zn+1 >1−zn+1 . y2
ности квадрата разности чисел a и b:

x2
√ √ √ √ √ √ Перенеся слагаемое (−zn+1 ) в левую часть y1
a+b √ ( a)2 −2 a b+( b)2 ( a− b)2 с переменой знака, получим искомое нера-
− ab= = ≥0. x
2 2 2 венство (8). x1 x2
8. Вот как можно доказать выпуклость
2. Объединим слагаемые в пары a1 , a2 и a3 , a4 , а затем для функции y=x2 , не используя производных. Рис. 11
каждой из них применим неравенство Коши для n=2: Запишем уравнение прямой, проходя-
щей через точки (x1 , y1 ) и (x2 , y2 ) на параболе (рис. 11), в виде
a1 +a2 √ a3 +a4 √
≥ a1 a2 , ≥ a3 a4 . x−x1
2 2 y−y1 = (y −y1 )
x2 −x1 2
Используем эти два неравенства и ещё раз неравенство Коши для и сложим с ним неравенство x2 −y<0, которое нам необходимо
n=2: доказать для всех x из интервала (x1 , x2 ):
a1 +a2 a3 +a4 √ √ x−x1
a1 +a2 +a3 +a4 + a a + a3 a4 x2 −y1 < (y −y1 ).
2 2 x2 −x1 2
= ≥ 1 2 ≥
4 2 2
q√ √ √ Если мы докажем это неравенство, это будет означать, что ука-
≥ a1 a2 a3 a4 = 4 a1 a2 a3 a4 . занный отрезок прямой полностью лежит выше параболы, т. е.
весь принадлежит надграфику, что, в свою очередь, будет означать
3. Решается аналогично упражнению 2, только вместо сведе- его выпуклость. Итак, разделим полученное неравенство на x−x1 :
ния к неравенству Коши для n=2 нужно сводить к неравенству
Коши для n=m. x2 −y1 y −y1
4. Рассмотрим левую часть, т. е. среднее арифметическое. < 2 .
x−x1 x2 −x1
Ясно, что среднее арифметическое n чисел равно среднему ариф-
метическому себя и этих же n чисел. Это всё равно что к системе Осталось подставить вместо y1 и y2 соответствующие значения y1 =
точек добавить в её центр масс ещё одну точку и снова рассчи- =x21 , y2 =x22 , а затем сократить полученные дроби на разности
тать центр масс, который, естественно, не сдвинется. Подставьте x−x1 и x2 −x1 . Получим:
и убедитесь. Теперь осталось возвести всё в степень n, разделить x+x1 ≤x2 +x1 .
на сумму a1 +a2 +. . .+an−1 и извлечь корень (n−1)-й степени.
5. Доказательство индукцией по k. База индукции (k=1) — Это, очевидно, верное неравенство, которое в силу наших пре-
это уже доказанное в упражнении 1 неравенство Коши для 2k = образований является эквивалентным исходному. Утверждение
=21 =2 чисел. А шаг индукции — уже доказанное утверждение доказано.
упражнения 3, которое позволяет перейти к неравенству Коши для 9. Прямая является выпуклой и вогнутой одновременно. Этот
2k+1 чисел, если для 2k чисел оно уже доказано. пример очень хорош, потому как иллюстрирует, что почти в любых
6. Что такое метод математической индукции <вниз>? Очень определениях существуют предельные моменты. Кстати, можно
просто! Если в шаге доказывать, что из предположения индукции доказать, что других одновременно и выпуклых, и вогнутых функ-
следует верность высказывания не для n+1, а для n−1, то вы- ций нет.
сказывание окажется верным для всех n, не больших, а меньших 10. Докажем это утверждение по индукции. База для одной
базового. Таким образом, для решения данного упражнения нуж- точки очевидна, потому что одну точку мы можем брать только
но всего лишь доказать этот шаг <вниз>. Заметим, что именно он в одном порядке. Теперь докажем шаг индукции. Пусть для n то-
и был доказан в упражнении 4. чек мы уже доказали, что независимо от порядка, в котором мы
14 15
берём точки для вычисления координат центра масс, всё равно по- М А Г А З И Н матических кружков. В от- <Кропоткинская>, далее
лучаются выражения наподобие (10), т. е. <Математическая деле вузовской и научной
литературы можно найти
пешком (см. схему).
Телефоны для справок:
в М Ц Н М О книга> учебники и научные моно- 241 72 85, 241 05 00.
m1 x1 +m2 x2 +. . .+mn xn m1 y1 +m2 y2 +. . .+mn yn графии ведущих россий- Магазин работает еже-
xC = , yC = . Брошюры серии <Биб- ских и зарубежных матема- дневно кроме воскресенья
m1 +m2 +. . .+mn m1 +m2 +. . .+mn лиотека ,,Математическое тиков. В магазине имеет- (летом — кроме субботы и
просвещение“> вы може- ся отдел <книга—почтой>. воскресенья) с 1130 до 2000;
Теперь попробуем доказать то же самое для произвольных те приобрести в магазине Адрес магазина: 119002, перерывы: с 1330 до 1350
n+1 точек. Выберем произвольный порядок, в котором мы будем <Математическая книга> Москва, Г-2, Бол. Власьев- и с 1630 до 1650.
в МЦНМО. ский пер., 11. Проезд до E-mail: biblio@mccme.ru
брать точки для вычисления координат центра масс. Без ограни- В магазине представлен ст. м. <Смоленская> или http: //biblio.mccme.ru /
чения общности будем считать, что последней добавляется точка наиболее полный ассор-
(xn+1 , yn+1 ) (это означает, что такого можно добиться простой пе- тимент книг издательства
МЦНМО. Эти книги про-
ренумерацией точек). Таким образом, центр масс всей системы даются по издательским
из n+1 точек совпадает с центром масс системы двух точек — ценам. Здесь также мож-
точки массы mn+1 с координатами (xn+1 , yn+1 ) и точки массы m1 + но найти книги по мате-
матике других ведущих
+m2 +. . .+mn с координатами издательств.
В отделе школьной ли-
 m1 x1 +m2 x2 +. . .+mn xn m1 y1 +m2 y2 +. . .+mn yn  тературы представлен ши-
 
 , рокий ассортимент книг
m1 +m2 +. . .+mn m1 +m2 +. . .+mn

для школьников, учите-

лей, руководителей мате-
(эту вторую точку мы получаем по предположению индукции).
Мы уже знаем, что центр масс системы из этих двух точек имеет
координаты БИБЛИОТЕКА <МАТЕМАТИЧЕСКОЕ ПРОСВЕЩЕНИЕ>
m1 x1 +m2 x2 +. . .+mn xn
(m1 +m2 +. . .+mn )+xn+1 mn+1 Вып. 1. В. М. Тихомиров. Великие математики прошлого и их
m1 +m2 +. . .+mn
xC = , великие теоремы.
(m1 +m2 +. . .+mn )+mn+1
Вып. 2. А. А. Болибрух. Проблемы Гильберта (100 лет спустя).
m1 y1 +m2 y2 +. . .+mn yn Вып. 3. Д. В. Аносов. Взгляд на математику и нечто из неё.
(m1 +m2 +. . .+mn )+yn+1 mn+1
m1 +m2 +. . .+mn Вып. 4. В. В. Прасолов. Точки Брокара и изогональное сопря-
yC = . жение.
(m1 +m2 +. . .+mn )+mn+1
Вып. 5. Н. П. Долбилин. Жемчужины теории многогранников.
А именно это и нужно было доказать в шаге индукции. По- Вып. 6. А. Б. Сосинский. Мыльные плёнки и случайные блу-
скольку мы с самого начала взяли произвольный порядок выбора ждания.
точек, то формулы будут верны в любом случае, а значит, они Вып. 7. И. М. Парамонова. Симметрия в математике.
не зависят от порядка выбора точек. Что и требовалось. Вып. 8. В. В. Острик, М. А. Цфасман. Алгебраическая гео-
метрия и теория чисел: рациональные и эллиптические кривые.
Вып. 9. Б. П. Гейдман. Площади многоугольников.
Вып. 10. А. Б. Сосинский. Узлы и косы.
Вып. 11. Э. Б. Винберг. Симметрия многочленов.
Вып. 12. В. Г. Сурдин. Динамика звёздных систем.
Вып. 13. В. О. Бугаенко. Уравнения Пелля.
Вып. 14. В. И. Арнольд. Цепные дроби. ISBN 5 94057 190 5
Вып. 15. В. М. Тихомиров. Дифференци-
альное исчисление (теория и приложения).
(См. 4-ю стр. обложки.)
9 785940 571902