- •Предисловие
- •Обозначения
- •Метод математической индукции
- •Аксиома индукции
- •Тождества, неравенства и делимость
- •Индукция в геометрии и комбинаторике
- •Комбинаторика
- •Сложить или умножить?
- •Принцип Дирихле
- •Размещения, перестановки и сочетания
- •Формула включений и исключений
- •Числа Каталана
- •Простые числа
- •Алгоритм Евклида
- •Мультипликативные функции
- •О том, как размножаются кролики
- •Цепные дроби
- •Арифметика остатков
- •Четность
- •Делимость
- •Сравнения
- •Теоремы Ферма и Эйлера
- •Признаки делимости
- •Китайская теорема об остатках
- •Числа, дроби, системы счисления
- •Рациональные и иррациональные числа
- •Десятичные дроби
- •Двоичная и троичная системы счисления
- •Многочлены
- •Квадратный трехчлен
- •Алгоритм Евклида для многочленов и теорема Безу
- •Разложение на множители
- •Многочлены с кратными корнями
- •Теорема Виета
- •Интерполяционный многочлен Лагранжа
- •Комплексные числа
- •Комплексная плоскость
- •Преобразования комплексной плоскости
- •Алгебра + геометрия
- •Геометрия помогает алгебре
- •Комплексные числа и геометрия
- •Тригонометрия
- •Уравнения и системы
- •Уравнения третьей степени
- •Тригонометрические замены
- •Итерации
- •Системы линейных уравнений
- •Неравенства
- •Различные неравенства
- •Суммы и минимумы
- •Выпуклость
- •Симметрические неравенства
- •Последовательности и ряды
- •Конечные разности
- •Рекуррентные последовательности
- •Производящие функции
- •Многочлены Гаусса
- •Шутки и ошибки
- •Ответы, указания, решения
- •Глава 1
- •Глава 2
- •Глава 3
- •Глава 4
- •Глава 5
- •Глава 6
- •Глава 7
- •Глава 8
- •Глава 9
- •Глава 10
- •Глава 11
- •Глава 12
- •Литература
- •Программа курса
- •Путеводитель
- •Формулы и числа
- •Предметный указатель
Ответы, указания, решения |
229 |
9.95. Нет. Если x и y— два вектора решений, то решением будет и вектор λx + (1 − λ)y при любом действительном λ.
9.97. Первый игрок всегда может добиться того, чтобы решением системы был вектор (1, 1, 1).
Глава 10
10.1. Поделите неравенство (x − 1)2 > 0 на x. 10.2. Возведите неравенство в квадрат.
10.3. Воспользуйтесь два раза неравенством задачи 10.2.
10.4. Возведите неравенство в квадрат и воспользуйтесь неравенством между средним арифметическим и средним геометрическим.
10.5. Воспользуйтесь неравенством между средним арифметическим и средним геометрическим.
10.6. Воспользуйтесь неравенством между средним арифметическим и средним геометрическим.
10.7. Раскройте скобки в неравенстве (x− y)2 + (y− z)2 + (x− z)2 > 0. 10.8. Воспользуйтесь неравенством предыдущей задачи.
10.9. Сложите неравенства (x1/2)2 + x22 > x1x2, . . . , (x1/2)2 + x25 > > x1x5.
10.11. После упрощений воспользуйтесь неравенством между средним арифметическим и средним геометрическим.
10.12. После раскрытия скобок получается неравенство задачи 10.7. 10.13. Примените два раза неравенство между средним арифметическим и средним геометрическим: сначала к числам, а потом к их
показателям.
10.14. a2 + b2 + c2 + 2ab + 2ac + 2bc = (a + b + c)2 = 0.
10.15. Число 1 + xy всегда положительно. После домножения на это число, неравенство может быть записано в виде (1 ± x)(1 ± y) > 0.
10.16. Сначала докажите неравенство для рациональных α и β.
10.17. Воспользуйтесь неравенством a2(b−c)2+b2(a−c)2+c2(a−b)2 > 0. 10.18. Раскройте скобки и воспользуйтесь неравенством между сред-
ним арифметическим и средним геометрическим.
10.21. После извлечения квадратного корня задача сводится к неравенству (√x − √y)4 > 0.
10.22. Воспользуйтесь неравенством a(b−c)2+b(a−c)2+c(a−b)2 > 0. 10.23. Раскройте скобки и воспользуйтесь неравенством между сред-
ним арифметическим и средним геометрическим. 10.24. Воспользуйтесь неравенством
(1 + a4)(1 − b2)2 + (1 + b4)(1 − a2)2 > 0.
230 |
Ответы, указания, решения |
10.25. Воспользуйтесь неравенствами из задач 10.7 и 10.17. 10.27. Докажите сначала неравенство a3 + b3 > a2b + ab2. 10.29. Смотрите задачу 10.22.
10.30. Воспользуйтесь неравенством между средним арифметическим и средним геометрическим.
10.31. После домножения на общий знаменатель и сокращений задача сводится к неравенству из задачи 10.27.
10.32. Воспользуйтесь неравенством между средним арифметическим и средним гармоническим (задача 10.11).
10.37. Докажите неравенство по индукции.
10.41. Всегда можно подобрать натуральные x и y так, чтобы выполнялись равенства
p = |
x + y |
, |
q = |
x + y |
. |
x |
|
||||
|
|
|
y |
После замены α = a1/x, β = b1/y исходное неравенство принимает вид
xαx+y + yβx+y > αxβy.
x + y
Для его доказательства достаточно воспользоваться неравенством между средним арифметическим и средним геометрическим:
|
xαx+y + yβx+y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= α |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
.x. . α |
|
|
|
β |
|
|
|
.y. . β |
|
|
|
β |
|
. |
|||||||||||||
|
x + y |
|
> x+qα |
x+y |
x+y |
x+y |
x+y |
x |
y |
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
·| |
|
|
|
|
|
{z |
|
· |
|
}| |
|
|
|
|
|
{z |
|
|
|
} |
|
|
|
|
|
|||
|
n |
= |
n (1 n) . . . (n |
|
|
|
|
|
|
n |
|
|
|
|
= n. Вторая часть |
|||||||||||||||||||||
10.43. а) (√n!)2 |
|
1) > √nn |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
неравенства между средним арифметическим |
||||||||||||||||||||||||||||||
неравенства следует из p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
и средним геометрическим. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
10.44. Так как для x из интервала (0; π/2) |
выполняется оценка |
|||||||||||||||||||||||||||||||||||
x < tg x, то |
1 |
|
|
1 |
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
− |
|
|
< |
|
|
− |
|
|
= 1. |
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
sin2 x |
x2 |
sin2 x |
tg2 x |
|
|
|
|
|
|
|
10.46. Если m, n, k > 2, то m(nk) > (mn)k.
10.47. а) Воспользуйтесь неравенством |
1 |
> |
1 |
(1 6 k 6 n − 1). |
|
n + k |
2n |
||||
|
|
|
б) Разбейте сумму на блоки по 2k слагаемых (0 6 k 6 n). в) Сравните произведение из условия задачи с произведениями
2 |
· |
4 |
. . . |
100 |
и |
1 |
· |
2 |
· |
4 |
· |
6 |
. . . |
98 |
. |
3 |
5 |
101 |
2 |
3 |
5 |
7 |
99 |
г) Оцените отдельно произведение
78 · 109 . . . 10099 .
Ответы, указания, решения |
231 |
||||||
10.48. |
x |
· |
y |
· |
z |
= 1. |
|
y |
z |
x |
|
||||
10.50. Выберите fk(x) = akx2 + bkx. |
|
||||||
10.52. Рассмотрите функции fk(x) = akex − bk(x + 1). |
|
||||||
10.53. а) Положите b1 = . . . = bn = 1. б) Положите a1 |
= . . . = |
||||||
= an = 1. в) Положите a1 = b1c1, . . . , an = bncn. |
|
||||||
10.55. Пусть l(x) — касательная к графику функции f(x) |
в точке |
||||||
α1x1 + α2x2. Тогда, по определению выпуклости, |
|
α1f(x1) + α2f(x2) < α1l(x1) + α2l(x2) = l(α1x1 + α2x2) = f(α1x1 + α2x2).
10.56. Применим индукцию. При n = 2 неравенство Иенсена было доказано в задаче 10.55. Предположим, что оно верно для некоторого n > 2 и докажем его при n + 1. Пусть β = α1 + . . . + αn > 0. Тогда
αβ1 + . . . + αβn = 1. Используя неравенство с n = 2, находим
f(α1x1 + . . . + αn+1xn+1) = f β αβ1 x1 + . . . + αβn xn + αn+1xn+1 > > αn+1f(xn+1) + βf αβ1 x1 + . . . + αβn xn .
Далее, по предположению индукции,
f αβ1 x1 + . . . + αβn xn > αβ1 f(x1) + . . . + αβn f(xn).
Следовательно
f(α1x1 + . . . + αn+1xn+1) > α1f(x1) + . . . + αn+1f(xn+1).
10.58. Воспользуйтесь неравенством Иенсена для следующих функ-
√
ций: а) f(x) = x; б) f(x) = 1/x2; в) f(x) = enx; г) f(x) = 1/x. 10.60. Применяя неравенство Иенсена к функции y = xp, получаем
(α1x1 + α2x2 + . . . + αnxn)p 6 α1xp1 + α2xp2 + . . . + αnxpn.
После замены
α1 = |
β1 |
, . . . , αn = |
βn |
β1 + . . . + βn |
β1 + . . . + βn |
приходим к неравенству
(β1x1 + β2x2 + . . . + βnxn)p 6 (β1 + . . . + βn)p−1(β1xp1 + . . . + βnxpn)
или
β1x1 + β2x2 + . . . + βnxn 6 (β1 + . . . + βn)1/q(β1xp1 + . . . + βnxpn)1/p.
232 Ответы, указания, решения
Для получения нужного неравенства остается сделать подстановку
βk = bqk, xk = akb1k−q (k = 1, 2, . . . , n).
10.63. Для доказательства неравенств достаточно рассмотреть функцию f(x) = eαx и точки ln x1, . . . , ln xn.
Для подсчета пределов воспользуемся приближенной формулой для функции ex, которая верна на отрезке x [−1; 1]:
ex = 1 + x + θx2 (|θ| < 1).
При достаточно малом α получим
S |
x |
|
eα ln x1 + . . . + eα ln xn |
|
1/α |
|
|
|
|
|
α |
|
|
2A |
1/α, |
||||||||
|
α( ) = |
|
|
|
|
|
|
|
|
|
= 1 + |
|
ln(x1 . . . xn) + α1/α |
|
|
||||||||
|
|
α |
n |
|
|
1/α |
|
n |
|
||||||||||||||
|
|
S0(x) = en ln(x1...xn) |
|
|
= 1 + |
α |
ln(x1 . . . xn) + α2B |
, |
|
||||||||||||||
|
|
|
|
n |
|
||||||||||||||||||
где |
A |
= θ1(ln2 x1 |
+ . . . + ln2 xn); B |
= |
θ2 |
ln2(x1 . . . xn); |
|θ1|, |θ2| < 1. |
||||||||||||||||
2 |
|||||||||||||||||||||||
Поэтому |
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
lim |
Sα(x) |
= lim |
1 + (α/n) ln(x1 . . . xn) + α2A |
|
1/α |
= 1. |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
α→0 |
S0(x) |
α→0 1 + (α/n) ln(x1 . . . xn) + α2B |
|
|
|
|
|||||||||||||||
10.71. а) Других нет; |
б) (5, 1, 1) и (4, 3, 0); (4, 1, 1, 1) и (3, 3, 1, 0). |
10.72. Рассмотрите несколько случаев: x = y = z = t; x = y = t, z = 1; x = t, y = z = 1 и сравните степени полученных полиномов от t.
10.73. Очевидно, что достаточно доказать неравенство в случае, когда набор β получается из набора α сбрасыванием одного «кирпича» на диаграмме Юнга. Проведем доказательство для случая, когда делается переход от α = (α1, α2, α3, . . . , αn) к β = (α1 − 1, α2 + 1, α3, . . . , αn),
где α1 − α2 > 2. При этом каждый одночлен вида |
α1 α2 α3 |
αn |
||||
xi1 xi2 xi3 |
. . . xin |
|||||
α1−1 |
α2+1 |
α3 |
αn |
. Для доказательства |
||
заменяется одночленом вида xi1 |
xi2 |
xi3 |
. . . xin |
неравенства Tα(x1, . . . , xn) > Tβ(x1, . . . , xn) сгруппируем все одночлены, входящие в данное неравенство парами:
|
xα1 xα2 A + xα1 xα2 A; xα1−1xα2+1A + xα1−1xα2+1A, |
|||||||||
|
i1 i2 |
i2 |
i1 |
i1 |
i2 |
|
i2 |
|
i1 |
|
α3 |
αn |
|
|
|
|
|
|
|
|
|
(A = xi3 |
. . . xin > 0) и проверим, что разность таких пар всегда неот- |
|||||||||
рицательна. Действительно, |
|
|
|
|
|
|
|
|||
|
xα1 xα2 + xα1 xα2 − xα1−1xα2+1 − xα1−1xα2+1 = |
|||||||||
|
i1 i2 |
i2 i1 |
i1 |
i2 |
|
i2 |
i1 |
|||
|
α1−1 |
α2 |
α1−1 |
α2 |
)(xi1 − xi2 ) |
> 0, |
||||
|
= (xi1 |
|
xi2 |
− xi2 |
xi1 |
|||||
поскольку α1 − 1 > α2 и разность |
α1 |
−1 |
α2 |
α1 |
−1 |
α2 |
||||
xi1 |
|
xi2 |
− xi2 |
|
xi1 имеет тот же |
знак, что и xi1 − xi2 .