Академический Документы
Профессиональный Документы
Культура Документы
<Математическое просвещение>
Выпуск 30
Ю. П. Соловьёв
Н а у ч н о - р е д а к ц и о н н ы й с о в е т с е р и и:
В. В. Прасолов, А. Б. Сосинский (гл. ред.),
А. В. Спивак, В. М. Тихомиров, И. В. Ященко.
НЕРАВЕНСТВА
Серия основана в 1999 году.
где 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. дет посвящена этим доказательствам.
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