I.2

Неравенства

[41/85%]
Показать
LaTeX
Задача I.2.1

Докажите, что для любой конечной последовательности {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} вещественных чисел

?
(а)

найдётся такой номер m∈{0,1,…,n}m \in \left\{ 0,1, \ldots , n\right\}, что

∣∑1⩽k⩽mak−∑m<k⩽nak∣⩽max⁡1⩽k⩽n∣ak∣ \left|\sum _{1 \leqslant k \leqslant m} a_{k}-\sum _{m<k \leqslant n} a_{k}\right| \leqslant \max _{1 \leqslant k \leqslant n}\left|a_{k}\right|

(при m=0m=0 считаем, что равна нулю первая сумма, при m=nm=n — вторая);

(б)

справедливо неравенство

max⁡1⩽k⩽n∣ak∣⩽12n∑εk=±1∣∑1⩽k⩽nεkak∣ \max _{1 \leqslant k \leqslant n}\left|a_{k}\right| \leqslant \frac{1}{2^{n}} \sum _{\varepsilon _{k}= \pm 1}\left|\sum _{1 \leqslant k \leqslant n} \varepsilon _{k} a_{k}\right|

(сумма по всевозможным расстановкам знаков ε1,…,εn\varepsilon_{1}, \ldots , \varepsilon_{n}).

Задача I.2.2

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} и {bk}k=1n\left\{ b_{k}\right\}_{k=1}^{n} — конечные неотрицательные последовательности, причём последовательность {ak}\left\{ a_{k}\right\} не возрастает; B=max⁡1⩽k⩽nbkB=\max_{1 \leqslant k \leqslant n} b_{k}. Докажите, что если номера m,Mm, M не превосходят nn и удовлетворяют неравенству mB⩽∑1⩽k⩽nbk⩽MBm B \leqslant \sum_{1 \leqslant k \leqslant n} b_{k} \leqslant M B, то

B∑n−m<k⩽nak⩽∑1⩽k⩽nakbk⩽B∑1⩽k⩽Mak. B \sum _{n-m<k \leqslant n} a_{k} \leqslant \sum _{1 \leqslant k \leqslant n} a_{k} b_{k} \leqslant B \sum _{1 \leqslant k \leqslant M} a_{k} .
?
Задача I.2.3

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} — конечная последовательность положительных чисел и M=max⁡1⩽k⩽nak,m=min⁡1⩽k⩽nakM=\max_{1 \leqslant k \leqslant n} a_{k}, m=\min_{1 \leqslant k \leqslant n} a_{k}. Докажите, что

?
(а)

2nmM⩽∑1⩽k⩽nakM+∑1⩽k⩽nmak⩽n(1+mM)2 n \sqrt{\frac{m}{M}} \leqslant \sum_{1 \leqslant k \leqslant n} \frac{a_{k}}{M}+\sum_{1 \leqslant k \leqslant n} \frac{m}{a_{k}} \leqslant n\left(1+\frac{m}{M}\right);

(б)

n2⩽∑1⩽k⩽nak∑1⩽k⩽n1ak⩽n2(m+M)24mMn^{2} \leqslant \sum_{1 \leqslant k \leqslant n} a_{k} \sum_{1 \leqslant k \leqslant n} \frac{1}{a_{k}} \leqslant n^{2} \frac{(m+M)^{2}}{4 m M}.

Задача I.2.4

Пусть {qk}k=1n\left\{ q_{k}\right\}_{k=1}^{n} — конечная последовательность чисел, причём qk⩾1q_{k} \geqslant 1 для всех kk. Докажите неравенство

1+1+…+1qnq2q1⩽1+1q1+1q1q2+…+1q1q2…qn. \sqrt[q_{1}]{1+\sqrt[q_{2}]{1+\ldots +\sqrt[q_{n}]{1}}} \leqslant 1+\frac{1}{q_{1}}+\frac{1}{q_{1} q_{2}}+\ldots +\frac{1}{q_{1} q_{2} \ldots q_{n}} .
?
Задача I.2.5

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} — конечная последовательность неотрицательных чисел, причём S=a1+a2+…+an<1S=a_{1}+a_{2}+\ldots +a_{n}<1. Докажите неравенства

1+S⩽∏1⩽k⩽n(1+ak)⩽11−Sˉ,1−S⩽∏1⩽k⩽n(1−ak)⩽11+Sˉ; 1+S \leqslant \prod _{1 \leqslant k \leqslant n}\left(1+a_{k}\right) \leqslant \frac{1}{1-\bar{S}}, \quad 1-S \leqslant \prod _{1 \leqslant k \leqslant n}\left(1-a_{k}\right) \leqslant \frac{1}{1+\bar{S}} ;

правые неравенства строгие, если S>0S>0; левые неравенства строгие, если среди чисел {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} по крайней мере два положительны.

?
Задача I.2.6

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} — конечная последовательность вещественных чисел, причём ak>−1a_{k}>-1 при k=1,…,nk=1, \ldots , n. Докажите, что

?
(а)

если S=a1+…+an⩾0S=a_{1}+\ldots +a_{n} \geqslant 0, то

∏1⩽k⩽n(1+ak)⩽1+S1!+…+Snn!; \prod _{1 \leqslant k \leqslant n}\left(1+a_{k}\right) \leqslant 1+\frac{S}{1!}+\ldots +\frac{S^{n}}{n!} ;

равенство возможно лишь в тех случаях, когда n=1n=1 или a1=a2==…=an=0a_{1}=a_{2}= =\ldots =a_{n}=0;

(б)

если σ=a11+a1+…+an1+an⩾0\sigma =\frac{a_{1}}{1+a_{1}}+\ldots +\frac{a_{n}}{1+a_{n}} \geqslant 0, то

1+σ1!+…+σnn!⩽∏1⩽k⩽n(1+ak); 1+\frac{\sigma }{1!}+\ldots +\frac{\sigma ^{n}}{n!} \leqslant \prod _{1 \leqslant k \leqslant n}\left(1+a_{k}\right) ;

равенство возможно лишь в случае, когда a1=…=an=0a_{1}=\ldots =a_{n}=0.

Задача I.2.7

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} и {bk}k=1n\left\{ b_{k}\right\}_{k=1}^{n} — конечные последовательности неотрицательных чисел. Докажите, что

?
(а)

если Δ=min⁡1⩽k⩽n(bk−ak)⩾0\Delta =\min_{1 \leqslant k \leqslant n}\left(b_{k}-a_{k}\right) \geqslant 0, то b1…bnn⩾Δ+a1…ann\sqrt[n]{b_{1} \ldots b_{n}} \geqslant \Delta +\sqrt[n]{a_{1} \ldots a_{n}};

(б)

(a1+b1)…(an+bn)n⩾a1…ann+b1…bnn\sqrt[n]{\left(a_{1}+b_{1}\right) \ldots \left(a_{n}+b_{n}\right)} \geqslant \sqrt[n]{a_{1} \ldots a_{n}}+\sqrt[n]{b_{1} \ldots b_{n}} (неравенство Минковского).

Задача I.2.8

Пусть {zk}k=1n\left\{ z_{k}\right\}_{k=1}^{n} — конечная последовательность комплексных чисел, Sn=∣z1∣+…+∣zn∣S_{n}=\left|z_{1}\right|+\ldots +\left|z_{n}\right| и Pn=(1+z1)…(1+zn)P_{n}=\left(1+z_{1}\right) \ldots \left(1+z_{n}\right). Докажите, что ∣Pn∣⩽eSn\left|P_{n}\right| \leqslant e^{S_{n}} и ∣1−Pn∣⩽SneSn\left|1-P_{n}\right| \leqslant S_{n} e^{S_{n}}.

?
Задача I.2.9

Пусть t,p>0t, p>0. Докажите, что для всех n∈Nn \in \mathbb {N} выполняются неравенства

∏1⩽k⩽n(1+tkp)⩽{etpp−1 при p>1;(ne)t при p=1;exp⁡(t1−pn1−p) при p<1. \prod _{1 \leqslant k \leqslant n}\left(1+\frac{t}{k^{p}}\right) \leqslant \begin{cases} e^{\frac{t p}{p-1}} & \text{ при } p>1 ; \\ (n e)^{t} & \text{ при } p=1 ; \\ \exp \left(\frac{t}{1-p} n^{1-p}\right) & \text{ при } p<1 .\end{cases}

Для каких p⩽1p \leqslant 1 эти неравенства точны по порядку при неограниченном возрастании nn ?

?
Задача I.2.10

Докажите, что

?
(а)

(ne)n<n!\left(\frac{n}{e}\right)^{n}<n! при n⩾1n \geqslant 1;

(б)

n!<n(ne)nn!<n\left(\frac{n}{e}\right)^{n} при n⩾11n \geqslant 11.

Из этих неравенств следует, что n!=(ne)nnαnn!=\left(\frac{n}{e}\right)^{n} n^{\alpha_{n}}, где αn∈(0,1)\alpha_{n} \in (0,1). Более точные представления факториала рассматриваются в задачах II.2.9 и II.2.10.

В задачах 2.11-2.15 {pn}\left\{ p_{n}\right\} — последовательность простых чисел, занумерованных в порядке возрастания (p1=2p_{1}=2).

Задача I.2.11

Пусть s>0s>0. Докажите что

?
(а)

∑1⩽m⩽pn1ms<(1−12s)−1(1−13s)−1…(1−1pns)−1\sum_{1 \leqslant m \leqslant p_{n}} \frac{1}{m^{s}}<\left(1-\frac{1}{2^{s}}\right)^{-1}\left(1-\frac{1}{3^{s}}\right)^{-1} \ldots \left(1-\frac{1}{p_{n}^{s}}\right)^{-1};

(б)

∑m⩾11ms=∏k⩾1(1−1pks)−1\sum_{m \geqslant 1} \frac{1}{m^{s}}=\prod_{k \geqslant 1}\left(1-\frac{1}{p_{k}^{s}}\right)^{-1} при s>1s>1.

Задача I.2.12

Докажите, что при s>1s>1 выполняются неравенства

?
(а)

s−1s<∏k⩾1(1−1pks)<s−1\frac{s-1}{s}<\prod_{k \geqslant 1}\left(1-\frac{1}{p_{k}^{s}}\right)<s-1;

(б)

−1+ln⁡ss−1<∑k⩾11pks<ln⁡ss−1-1+\ln \frac{s}{s-1}<\sum_{k \geqslant 1} \frac{1}{p_{k}^{s}}<\ln \frac{s}{s-1}.

Задача I.2.13

Пусть π(n)\pi (n) — число простых чисел, не превосходящих числа nn. Убедитесь в том, что

nπ(2n)−π(n)<∏n<pk⩽2npk<C2nn. n^{\pi (2 n)-\pi (n)}<\prod _{n<p_{k} \leqslant 2 n} p_{k}<C_{2 n}^{n} .

Выведите отсюда, что для всех n∈Nn \in \mathbb {N} выполняются неравенства

?
(а)

∑1⩽k⩽nln⁡pk<3pn\sum_{1 \leqslant k \leqslant n} \ln p_{k}<3 p_{n};

(б)

∑1⩽k⩽nln⁡pkpk<2ln⁡pn\sum_{1 \leqslant k \leqslant n} \frac{\ln p_{k}}{p_{k}}<2 \ln p_{n};

(в)

π(n)<6nln⁡n\pi (n)<6 \frac{n}{\ln n};

(г)

pn>n6ln⁡np_{n}>\frac{n}{6} \ln n.

Задача I.2.14

Пусть QnQ_{n} — наименьшее общее кратное чисел n+1,n+2,…n+1, n+2, \ldots, 2n+12 n+1. Проверьте, что

?
(а)

1Qn<∫01xn(1−x)ndx<14n\frac{1}{Q_{n}}<\int_{0}^{1} x^{n}(1-x)^{n} d x<\frac{1}{4^{n}};

(б)

Qn<(2n+1)π(2n+1)Q_{n}<(2 n+1)^{\pi (2 n+1)}.

С помощью этих соотношений докажите, что оценки для π(n)\pi (n) и pnp_{n}, полученные в задачах 2.13 в), г), точны по порядку:

π(n)>n3ln⁡n и pn<12nln⁡n(n=2,3,…). \pi (n)>\frac{n}{3 \ln n} \quad \text{ и } \quad p_{n}<12 n \ln n \quad (n=2,3, \ldots ) .
Задача I.2.15

Докажите, что

−1+ln⁡ln⁡pn<12+13+15+…+1pn<2+ln⁡ln⁡pn. -1+\ln \ln p_{n}<\frac{1}{2}+\frac{1}{3}+\frac{1}{5}+\ldots +\frac{1}{p_{n}}<2+\ln \ln p_{n} .
?
Задача I.2.16

Для конечных последовательностей вещественных чисел {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} и {bk}k=1n\left\{ b_{k}\right\}_{k=1}^{n} символами {a^k}k=1n\left\{ \hat{a}_{k}\right\}_{k=1}^{n} и {b^k}k=1n\left\{ \hat{b}_{k}\right\}_{k=1}^{n} (соответственно {aVk}k=1n\left\{ \stackrel{V}{a}_{k}\right\}_{k=1}^{n} и {bkV}k=1n\left\{ \stackrel{V}{b_{k}}\right\}_{k=1}^{n}) обозначим неубывающие (соответственно невозрастающие) перестановки этих последовательностей. Докажите неравенства

?
(а)

∑1⩽k⩽na^kbk⩽∑1⩽k⩽nakbk⩽∑1⩽k⩽na^kb^k\sum_{1 \leqslant k \leqslant n} \hat{a}_{k} b_{k} \leqslant \sum_{1 \leqslant k \leqslant n} a_{k} b_{k} \leqslant \sum_{1 \leqslant k \leqslant n} \hat{a}_{k} \hat{b}_{k};

(б)

∑1⩽k⩽na^kb∨k⩽1n∑1⩽k⩽nak∑1⩽k⩽nbk⩽∑1⩽k⩽na^kb^k\sum_{1 \leqslant k \leqslant n} \hat{a}_{k} \stackrel{\vee }{b}_{k} \leqslant \frac{1}{n} \sum_{1 \leqslant k \leqslant n} a_{k} \sum_{1 \leqslant k \leqslant n} b_{k} \leqslant \sum_{1 \leqslant k \leqslant n} \hat{a}_{k} \hat{b}_{k}.

При решении следующих задач может оказаться полезным преобразование Абеля (дискретный аналог формулы интегрирования по частям)

∑1⩽k⩽nakbk=anBn+∑1⩽k<n(ak−ak+1)Bk, \sum _{1 \leqslant k \leqslant n} a_{k} b_{k}=a_{n} B_{n}+\sum _{1 \leqslant k<n}\left(a_{k}-a_{k+1}\right) B_{k},

где Bk=b1+…+bk(k=1,…,n)B_{k}=b_{1}+\ldots +b_{k} \quad (k=1, \ldots , n). Это равенство особенно удобно использовать в тех случаях, когда последовательность {ak}\left\{ a_{k}\right\} монотонна.

Задача I.2.17

Пусть {bk}k=1n\left\{ b_{k}\right\}_{k=1}^{n} — конечная последовательность вещественных чисел. Докажите, что для любой конечной неотрицательной невозрастающей последовательности {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} выполняются неравенства

?
(а)

a1min⁡1⩽k⩽n(b1+…+bk)⩽∑1⩽k⩽nakbk⩽a1max⁡1⩽k⩽n(b1+…+bk)a_{1} \min_{1 \leqslant k \leqslant n}\left(b_{1}+\ldots +b_{k}\right) \leqslant \sum_{1 \leqslant k \leqslant n} a_{k} b_{k} \leqslant a_{1} \max_{1 \leqslant k \leqslant n}\left(b_{1}+\ldots +b_{k}\right);

(б)

∣∑1⩽k⩽nakbk∣⩽a1max⁡1⩽k⩽n∣b1+…+bk∣\left|\sum_{1 \leqslant k \leqslant n} a_{k} b_{k}\right| \leqslant a_{1} \max_{1 \leqslant k \leqslant n}\left|b_{1}+\ldots +b_{k}\right|;

(в)

β∑1⩽k⩽nak⩽∑1⩽k⩽nakbk⩽B∑1⩽k⩽nak\beta \sum_{1 \leqslant k \leqslant n} a_{k} \leqslant \sum_{1 \leqslant k \leqslant n} a_{k} b_{k} \leqslant B \sum_{1 \leqslant k \leqslant n} a_{k},

где β=min⁡1⩽k⩽nb1+…+bkk\beta =\min_{1 \leqslant k \leqslant n} \frac{b_{1}+\ldots +b_{k}}{k} и B=max⁡1⩽k⩽nb1+…+bkkB=\max_{1 \leqslant k \leqslant n} \frac{b_{1}+\ldots +b_{k}}{k}. При этом множитель BB нельзя заменить на меньший, а множитель β\beta — на больший.

Задача I.2.18

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} — конечная последовательность вещественных чисел. Докажите, что

δ212(n2−1)⩽1n∑1⩽k⩽nak2−(1n∑1⩽k⩽nak)2⩽Δ212(n2−1), \frac{\delta ^{2}}{12}\left(n^{2}-1\right) \leqslant \frac{1}{n} \sum _{1 \leqslant k \leqslant n} a_{k}^{2}-\left(\frac{1}{n} \sum _{1 \leqslant k \leqslant n} a_{k}\right)^{2} \leqslant \frac{\Delta ^{2}}{12}\left(n^{2}-1\right),

где Δ=max⁡1⩽k<n∣ak−ak+1∣,δ=min⁡1⩽j<k⩽n∣ak−aj∣\Delta =\max_{1 \leqslant k<n}\left|a_{k}-a_{k+1}\right|, \delta =\min_{1 \leqslant j<k \leqslant n}\left|a_{k}-a_{j}\right|. В каких случаях эти неравенства обращаются в равенства?

?
Задача I.2.19

Пусть {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} — неубывающая выпуклая (или невозрастающая вогнутая) последовательность вещественных чисел. Докажите неравенства

13n2∑1⩽k<n(n−k)3(ak+1−ak)2⩽1n∑1⩽k⩽nak2−(1n∑1⩽k⩽nak)2⩽⩽13n2∑1⩽k<n(k+1)3(ak+1−ak)2 \begin{aligned} & \frac{1}{3 n^{2}} \sum _{1 \leqslant k<n}(n-k)^{3}\left(a_{k+1}-a_{k}\right)^{2} \leqslant \frac{1}{n} \sum _{1 \leqslant k \leqslant n} a_{k}^{2}-\left(\frac{1}{n} \sum _{1 \leqslant k \leqslant n} a_{k}\right)^{2} \leqslant \\ & \leqslant \frac{1}{3 n^{2}} \sum _{1 \leqslant k<n}(k+1)^{3}\left(a_{k+1}-a_{k}\right)^{2} \end{aligned}

Если последовательность {ak}k=1n\left\{ a_{k}\right\}_{k=1}^{n} не возрастает и выпукла (или не убывает и вогнута), то знаки неравенств следует заменить на противоположные.

В задачах 2.21 и 2.22, посвящённых классическим неравенствам для многочленов, используются многочлены Чебышёва. Поэтому мы предваряем эту тему задачей, в которой изучаются основные свойства этих многочленов. Более подробную информацию можно найти в книге [Па].

?
Задача I.2.20

Многочленом Чебышёва TnT_{n} называется многочлен, определяемый на промежутке [−1,1]\left[-1,1\right] равенством

Tn(x)=cos⁡(narccos⁡x)(n=0,1,2,…) T_{n}(x)=\cos (n \arccos x) \quad (n=0,1,2, \ldots )

(графики TnT_{n} при n=1,2,3n=1,2,3 изображены на рис. 4 , при n=8n=8 на рис. 5).

Рис. 4Рис. 4

Рис. 5Рис. 5

Докажите, что

?
(а)

TnT_{n} — многочлен степени nn;

(б)

при n∈Nn \in \mathbb {N} старший коэффициент TnT_{n} равен 2n−12^{n-1};

(в)

многочлены Чебышёва удовлетворяют рекуррентному соотношению Tn+1(x)=2xTn(x)−Tn−1(x)(n∈N)T_{n+1}(x)=2 x T_{n}(x)-T_{n-1}(x) \quad (n \in \mathbb {N});

(г)

многочлены Чебышёва удовлетворяют дифференциальному уравнению (1−x2)y′′−xy′+n2y=0\left(1-x^{2}\right) y^{\prime \prime }-x y^{\prime }+n^{2} y=0;

(д)

при ∣x∣⩾1\left|x\right| \geqslant 1 для многочленов Чебышёва справедливо равенство Tn(x)=12((x+x2−1)n+(x−x2−1)n);T_{n}(x)=\frac{1}{2}\left(\left(x+\sqrt{x^{2}-1}\right)^{n}+\left(x-\sqrt{x^{2}-1}\right)^{n}\right) ;

(е)

дробь 1−tx1−2tx+t2\frac{1-t x}{1-2 t x+t^{2}} является производящей функцией для полиномов Чебышёва, т.е.

1−tx1−2tx+t2=∑n⩾0tnTn(x) при x,t∈(−1,1). \frac{1-t x}{1-2 t x+t^{2}}=\sum _{n \geqslant 0} t^{n} T_{n}(x) \quad \text{ при } \quad x, t \in (-1,1) .
Задача I.2.21

Докажите экстремальное свойство многочленов Чебышёва: если PP — алгебраический многочлен степени nn (с вещественными или комплексными коэффициентами) и ∣P(x)∣⩽1\left|P(x)\right| \leqslant 1 для всех x∈[−1,1]x \in [-1,1], то ∣P(j)(x)∣⩽∣Tn(j)(x)∣\left|P^{(j)}(x)\right| \leqslant \left|T_{n}^{(j)}(x)\right| для всех j=0,1,…,nj=0,1, \ldots , n и x∈R,∣x∣>1x \in \mathbb {R},\left|x\right|>1. Неравенство строгое, если P≠cTnP \neq c T_{n}, где c∈C,∣c∣=1c \in \mathbb {C},\left|c\right|=1.

В частности, при j=0j=0 получаем ∣P(x)∣⩽∣Tn(x)∣\left|P(x)\right| \leqslant \left|T_{n}(x)\right| вне промежутка [−1,1]\left[-1,1\right], а из неравенства при j=nj=n вытекает, что старший коэффициент многочлена PP по абсолютной величине не больше 2n−12^{n-1}, причём равенство возможно лишь для P=cTnP=c T_{n}, где c∈C,∣c∣=1c \in \mathbb {C},\left|c\right|=1.

?
Задача I.2.22

Пусть P(φ)=a0+∑k=1n(akcos⁡kφ+bksin⁡kφ)P(\varphi )=a_{0}+\sum_{k=1}^{n}\left(a_{k} \cos k \varphi +b_{k} \sin k \varphi \right) — тригонометрический многочлен порядка nn с вещественными коэффициентами a0,a1,…,ana_{0}, a_{1}, \ldots , a_{n} и b1,…,bnb_{1}, \ldots , b_{n}. Положим M=max⁡φ∈R∣P(φ)∣M=\max_{\varphi \in \mathbb {R}}\left|P(\varphi )\right|. Докажите неравенство Бернштейна:

∣P′(φ)∣⩽nM для всех φ∈R. \left|P^{\prime }(\varphi )\right| \leqslant n M \quad \text{ для всех } \quad \varphi \in \mathbb {R} .

Выведите отсюда неравенство Бернштейна для алгебраических многочленов:

∣P′(x)∣⩽nM1−x2 для всех x∈(−1,1), \left|P^{\prime }(x)\right| \leqslant \frac{n M}{\sqrt{1-x^{2}}} \quad \text{ для всех } \quad x \in (-1,1),

где PP — алгебраический многочлен степени nn с вещественными коэффициентами, M=max⁡∣x∣⩽1∣P(x)∣M=\max_{\left|x\right| \leqslant 1}\left|P(x)\right|.

В каких случаях эти неравенства обращаются в равенства хотя бы в одной точке?

?
Задача I.2.23

Пусть n∈Nn \in \mathbb {N}. Докажите неравенства

?
(а)

x2n2e−x<e−x−(1−xn)n⩽x2ne−x\frac{x^{2}}{n^{2}} e^{-x}<e^{-x}-\left(1-\frac{x}{n}\right)^{n} \leqslant \frac{x^{2}}{n} e^{-x} \quad при x∈[0,n],n>1x \in [0, n], n>1;

(б)

x24ne−x⩽(1+xn)−n−e−x⩽x2ne−x\frac{x^{2}}{4 n} e^{-x} \leqslant \left(1+\frac{x}{n}\right)^{-n}-e^{-x} \leqslant \frac{x^{2}}{n} e^{-x} при x∈[0,n]x \in [0, \sqrt{n}].

Задача I.2.24

Пусть n∈Nn \in \mathbb {N} и φn(x)=e−x22n−ex(1−xn)n\varphi_{n}(x)=e^{-\frac{x^{2}}{2 n}}-e^{x}\left(1-\frac{x}{n}\right)^{n}. Докажите, что функция φn\varphi_{n} неотрицательна на промежутке [0,n]\left[0, n\right] и

14en⩽max⁡[0,n]φn⩽1en \frac{1}{4 \sqrt{e n}} \leqslant \max _{\left[0, n\right]} \varphi _{n} \leqslant \frac{1}{\sqrt{e n}}

В следующей задаче рассматриваются соотношения, которые дополняют классические неравенства

sin⁡x<x<tg⁡x,ln⁡(1+x)<x<ex−1,arctg⁡x<x<arcsin⁡x. \sin x<x<\operatorname {tg} x, \quad \ln (1+x)<x<e^{x}-1, \quad \operatorname {arctg} x<x<\arcsin x .
?
Задача I.2.25

Докажите неравенства

?
(а)

(1+x)ln⁡2(1+x)<x2(1+x) \ln^{2}(1+x)<x^{2} \quad при x>−1,x≠0x>-1, x \neq 0;

(б)

x1+2πx<arctg⁡x\frac{x}{1+\frac{2}{\pi } x}<\operatorname {arctg} x \quad при x>0x>0;

(в)

x2<ln⁡(1+tg⁡2x)<sin⁡xtg⁡xx^{2}<\ln \left(1+\operatorname {tg}^{2} x\right)<\sin x \operatorname {tg} x \quad при x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right);

(г)

3x−x3<2sin⁡(π2x)3 x-x^{3}<2 \sin \left(\frac{\pi }{2} x\right) \quad при x∈(0,1)x \in (0,1);

(д)

x3<sin⁡2xtg⁡xx^{3}<\sin^{2} x \operatorname {tg} x \quad при x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right).

(е)

Справедливо ли на (0,π20, \frac{\pi }{2}) неравенство x3+ε<sin⁡2+εxtg⁡xx^{3+\varepsilon }<\sin^{2+\varepsilon } x \operatorname {tg} x при каком-нибудь фиксированном ε>0\varepsilon >0 ?

Задача I.2.26

Докажите, что на промежутке [−1,1]\left[-1,1\right] выполняются неравенства

?
(а)

(1−x2)(1−14x2)⩽cos⁡π2x⩽(1−x2)(1−15x2)\left(1-x^{2}\right)\left(1-\frac{1}{4} x^{2}\right) \leqslant \cos \frac{\pi }{2} x \leqslant \left(1-x^{2}\right)\left(1-\frac{1}{5} x^{2}\right);

(б)

(1−x2)(1−23x2)⩽sin⁡πxπx⩽(1−x2)(1−12x2)\left(1-x^{2}\right)\left(1-\frac{2}{3} x^{2}\right) \leqslant \frac{\sin \pi x}{\pi x} \leqslant \left(1-x^{2}\right)\left(1-\frac{1}{2} x^{2}\right).

Задача I.2.27

Докажите неравенства

?
(а)

(ex−1)ln⁡(1+x)>x2\left(e^{x}-1\right) \ln (1+x)>x^{2} \quad при x>0x>0;

(б)

tg⁡xarctg⁡x>x2\operatorname {tg} x \operatorname {arctg} x>x^{2} \quad при x∈(0,π2)x \in \left(0, \frac{\pi }{2}\right);

(в)

((1+x)p−1)((1+x)1/p−1)>x2\left((1+x)^{p}-1\right)\left((1+x)^{1 / p}-1\right)>x^{2} при x>0,p>0,p≠1x>0, p>0, p \neq 1.

Что будет при p<0p<0 ?

(г)

((1−x)p−1)(1−(1+x)1/p)>x2\left((1-x)^{p}-1\right)\left(1-(1+x)^{1 / p}\right)>x^{2} при x∈(0,1),p<−1x \in (0,1), p<-1.

Что будет при p∈(−1,0)p \in (-1,0) ?

Задача I.2.28

Докажите неравенства

2πsin⁡(π2x)arcsin⁡x<x2<sin⁡xarcsin⁡x при x∈(0,1). \frac{2}{\pi } \sin \left(\frac{\pi }{2} x\right) \arcsin x<x^{2}<\sin x \arcsin x \quad \text{ при } \quad x \in (0,1) .
?
Задача I.2.29

Докажите, что для любых x∈Rx \in \mathbb {R} и n∈Nn \in \mathbb {N} выполняются неравснства

?
(а)

∣(sin⁡xx)(n)∣⩽1n+1\left|\left(\frac{\sin x}{x}\right)^{(n)}\right| \leqslant \frac{1}{n+1};

(б)

∣(1−cos⁡xx2)(n)∣⩽1(n+1)(n+2)\left|\left(\frac{1-\cos x}{x^{2}}\right)^{(n)}\right| \leqslant \frac{1}{(n+1)(n+2)};

(в)

∣(11+x2)(n)∣⩽n!(1+x2)n+12\left|\left(\frac{1}{1+x^{2}}\right)^{(n)}\right| \leqslant \frac{n!}{\left(1+x^{2}\right)^{\frac{n+1}{2}}}.

Задача I.2.30

Докажите, что ∣(sin⁡xx)′∣⩽1kπ\left|\left(\frac{\sin x}{x}\right)^{\prime }\right| \leqslant \frac{1}{k \pi } при x∈[kπ,kπ+π](k∈N)x \in [k \pi , k \pi +\pi ](k \in \mathbb {N}).

?
Задача I.2.31

Докажите, что при любом x∈[0,1]x \in [0,1] справедливы неравенства

?
(а)

2⩽(1+x)p+(1−x)p⩽2p(p⩾1)2 \leqslant (1+x)^{p}+(1-x)^{p} \leqslant 2^{p} \quad (p \geqslant 1);

(б)

2(1+xp)⩽(1+x)p+(1−x)p⩽2p−1(1+xp)(p⩾2)2\left(1+x^{p}\right) \leqslant (1+x)^{p}+(1-x)^{p} \leqslant 2^{p-1}\left(1+x^{p}\right) \quad (p \geqslant 2);

(в)

(1+x)p+(1−x)p⩽2(1+(p−1)x2)p2(p⩾2)\quad (1+x)^{p}+(1-x)^{p} \leqslant 2\left(1+(p-1) x^{2}\right)^{\frac{p}{2}} \quad (p \geqslant 2);

(г)

(1+x)p+(1−x)p⩽2(1+xpp−1)p−1(p⩾2)\quad (1+x)^{p}+(1-x)^{p} \leqslant 2\left(1+x^{\frac{p}{p-1}}\right)^{p-1} \quad (p \geqslant 2).

В случае, когда 1⩽p⩽21 \leqslant p \leqslant 2, знаки неравенств в б) - г) меняются на противоположные.

Задача I.2.32

Пусть f,g∈C([0,1])f, g \in C(\left[0,1\right]), причём функция ff не убывает и 0⩽f,g⩽10 \leqslant f, g \leqslant 1 на [0,1]\left[0,1\right]. Докажите неравенство

∫01f(g(x))dx⩽∫01f(x)dx+∫01g(x)dx \int _{0}^{1} f(g(x)) d x \leqslant \int _{0}^{1} f(x) d x+\int _{0}^{1} g(x) d x

В задачах 2.33−2.392.33-2.39 рассматриваются интегральные неравенства, имеющие очевидные сумматорные аналоги. Их доказательства можно получить двумя путями: или предельным переходом в сумматорном неравенстве, или модификацией доказательств, использованных в дискретном случае. Отметим также, что с помощью предельного перехода некоторые неравенства (см., например, задачу 2.34) переносятся на случай несобственных интегралов по промежутку [a,+∞)[a,+\infty ).

?
Задача I.2.33

Пусть функция ff интегрируема на промежутке [a,b]\left[a, b\right] и 0<m=inf⁡f,M=sup⁡f0<m=\inf f, M=\sup f. Тогда справедливы неравенства

2mM(b−a)⩽1M∫abf(x)dx+m∫abdxf(x)⩽(1+mM)(b−a)(b−a)2⩽∫abf(x)dx∫abdxf(x)⩽(m+M)24mM(b−a)2 \begin{aligned} 2 \sqrt{\frac{m}{M}}(b-a) & \leqslant \frac{1}{M} \int _{a}^{b} f(x) d x+m \int _{a}^{b} \frac{d x}{f(x)} \leqslant \left(1+\frac{m}{M}\right)(b-a) \\ (b-a)^{2} & \leqslant \int _{a}^{b} f(x) d x \int _{a}^{b} \frac{d x}{f(x)} \leqslant \frac{(m+M)^{2}}{4 m M}(b-a)^{2} \end{aligned}
?
Задача I.2.34

Пусть функции ff и gg интегрируемы на промежутке [a,b]\left[a, b\right], причём f↓,f⩾0f \downarrow , f \geqslant 0. Для x∈[a,b]x \in [a, b] положим G(x)=∫axg(t)dtG(x)=\int_{a}^{x} g(t) d t. Тогда справедливы неравенства

?
(а)

f(a)inf⁡a⩽x⩽bG(x)⩽∫abf(x)g(x)dx⩽f(a)sup⁡a⩽x⩽bG(x)f(a) \inf_{a \leqslant x \leqslant b} G(x) \leqslant \int_{a}^{b} f(x) g(x) d x \leqslant f(a) \sup_{a \leqslant x \leqslant b} G(x);

(б)

∣∫abf(x)g(x)dx∣⩽f(a)sup⁡a⩽x⩽b∣G(x)∣\left|\int_{a}^{b} f(x) g(x) d x\right| \leqslant f(a) \sup_{a \leqslant x \leqslant b}\left|G(x)\right|;

(в)

(inf⁡a<x⩽bG(x)x−a)∫abf(x)dx⩽∫abf(x)g(x)dx⩽\left(\inf_{a<x \leqslant b} \frac{G(x)}{x-a}\right) \int_{a}^{b} f(x) d x \leqslant \int_{a}^{b} f(x) g(x) d x \leqslant

⩽(sup⁡a<x⩽bG(x)x−a)∫abf(x)dx \leqslant \left(\sup _{a<x \leqslant b} \frac{G(x)}{x-a}\right) \int _{a}^{b} f(x) d x
Задача I.2.35

Пусть функции ff и gg интегрируемы на промежутке [a,b]\left[a, b\right], причём f↓f \downarrow и 0⩽g⩽10 \leqslant g \leqslant 1. Положим c=∫abg(x)dxc=\int_{a}^{b} g(x) d x. Тогда

∫b−cbf(x)dx⩽∫abf(x)g(x)dx⩽∫aa+cf(x)dx \int _{b-c}^{b} f(x) d x \leqslant \int _{a}^{b} f(x) g(x) d x \leqslant \int _{a}^{a+c} f(x) d x
?
Задача I.2.36

Пусть f∈C1([a,b]),δ=min⁡[a,b]∣f′∣,Δ=max⁡[a,b]∣f′∣f \in C^{1}(\left[a, b\right]), \delta =\min_{\left[a, b\right]}\left|f^{\prime }\right|, \Delta =\max_{\left[a, b\right]}\left|f^{\prime }\right|. Тогда

δ212(b−a)2⩽1b−a∫abf2(x)dx−(1b−a∫abf(x)dx)2⩽Δ212(b−a)2 \frac{\delta ^{2}}{12}(b-a)^{2} \leqslant \frac{1}{b-a} \int _{a}^{b} f^{2}(x) d x-\left(\frac{1}{b-a} \int _{a}^{b} f(x) d x\right)^{2} \leqslant \frac{\Delta ^{2}}{12}(b-a)^{2}

Равенства выполняются лишь для линейных функций.

?
Задача I.2.37

Если непрерывно дифференцируемая функция ff не убывает и выпукла (или не возрастает и вогнута) на промежутке [0,1]\left[0,1\right], то

13∫01(1−x)3(f′(x))2dx⩽∫01f2(x)dx−(∫01f(x)dx)2⩽⩽13∫01x3(f′(x))2dx \begin{aligned} \frac{1}{3} \int _{0}^{1}(1-x)^{3}\left(f^{\prime }(x)\right)^{2} d x \leqslant \int _{0}^{1} f^{2}(x) d x-\left(\int _{0}^{1} f(x) d x\right)^{2} & \leqslant \\ & \leqslant \frac{1}{3} \int _{0}^{1} x^{3}\left(f^{\prime }(x)\right)^{2} d x \end{aligned}

Для неубывающей вогнутой (или невозрастающей выпуклой) функции знаки неравенств заменяются на противоположные. Равенство возможно лишь для линейной функции.

?
Задача I.2.38

Пусть функции ff и gg положительны и интегрируемы на промежуткс [a,b]\left[a, b\right]. Тогда справедливы неравенства

?
(а)

exp⁡(1b−a∫abln⁡f(x)dx)⩽1b−a∫abf(x)dx\exp \left(\frac{1}{b-a} \int_{a}^{b} \ln f(x) d x\right) \leqslant \frac{1}{b-a} \int_{a}^{b} f(x) d x (аналог неравенства Коши между средним арифметическим и средним геометрическим);

(б)

exp⁡(1b−a∫abln⁡f(x)dx)+exp⁡(1b−a∫abln⁡g(x)dx)⩽\exp \left(\frac{1}{b-a} \int_{a}^{b} \ln f(x) d x\right)+\exp \left(\frac{1}{b-a} \int_{a}^{b} \ln g(x) d x\right) \leqslant

⩽exp⁡(1b−a∫abln⁡(f(x)+g(x))dx) \leqslant \exp \left(\frac{1}{b-a} \int _{a}^{b} \ln (f(x)+g(x)) d x\right)

(аналог неравенства Минковского - см. задачу 2.7 б)).

Задача I.2.39

Пусть функции ff и gg монотонны на промежутке [a,b]\left[a, b\right], а функция hh неотрицательна и интегрируема на нём. Если монотонность функций f,gf, g одного типа, то выполняется неравенство

∫abf(x)h(x)dx∫abg(x)h(x)dx⩽∫abh(x)dx∫abf(x)g(x)h(x)dx, \int _{a}^{b} f(x) h(x) d x \int _{a}^{b} g(x) h(x) d x \leqslant \int _{a}^{b} h(x) d x \int _{a}^{b} f(x) g(x) h(x) d x,

а если монотонность разного типа, то знак неравенства заменяется на противоположный.

?
Задача I.2.40
  1. Пусть f∈C1([0,π])f \in C^{1}(\left[0, \pi \right]), причём f(0)=f(π)=0f(0)=f(\pi )=0. Докажите неравенство

    ∫0πf2(x)dx⩽∫0π(f′(x))2dx \int _{0}^{\pi } f^{2}(x) d x \leqslant \int _{0}^{\pi }\left(f^{\prime }(x)\right)^{2} d x

    представив разность этих интегралов в виде интеграла от неотрицательной функции.

  2. Докажите, что неравенство сохранится, если вместо условия f(0)=f(π)=0f(0)=f(\pi )=0 предположить, что f(0)=f(π)f(0)=f(\pi ) и ∫0πf(x)dx=0\int_{0}^{\pi } f(x) d x=0.

  3. Пусть f∈C1([0,2π]),f(0)=f(2π)f \in C^{1}(\left[0,2 \pi \right]), f(0)=f(2 \pi ) и ∫02πf(x)dx=0\int_{0}^{2 \pi } f(x) d x=0. Докажите

    ∫02πf2(x)dx⩽∫02π(f′(x))2dx \int _{0}^{2 \pi } f^{2}(x) d x \leqslant \int _{0}^{2 \pi }\left(f^{\prime }(x)\right)^{2} d x

Для каких функций эти неравенства обращаются в равенства?

?
Задача I.2.41

Пусть гладкая замкнутая кривая длины LL ограничивает на шлоскости фигуру площади SS. Используя натуральную параметризацию кривой и неравенство Виртингера, докажите изопериметрическое неравенство: 4πS⩽L24 \pi S \leqslant L^{2}. Выясните с его помощью, какова максимальная площадь фигуры, которую можно ограничить лежащей в полуплоскости кривой длины LL с концами на границе полуплоскости «задача Дидоны» ∗){ }^{*)}.

?