Транснеравенство

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

Другими словами, если $x_1⩽<!--\; ⩽\; -->x_2⩽<!--\; ⩽\; -->\cdots <!--\; \cdots \; -->⩽<!--\; ⩽\; -->x_n$$x_1\leqslant x_2 \leqslant \dots\leqslant x_n$ и $y_1⩽<!--\; ⩽\; -->y_2⩽<!--\; ⩽\; -->\cdots <!--\; \cdots \; -->⩽<!--\; ⩽\; -->y_n$$y_1\leqslant y_2 \leqslant \dots\leqslant y_n$, то для произвольной перестановки $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$ чисел $\{1,2,\dots <!--\; \dots \; -->,n\}$$\{1,2,\dots,n\}$ выполняется неравенство:

$x_1{y}_n+x_2{y}_{n-<!--\; -\; -->1}+\cdots <!--\; \cdots \; -->+x_n{y}_1⩽<!--\; ⩽\; -->x_1{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(1)}+x_2{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(2)}+\cdots <!--\; \cdots \; -->+x_n{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(n)}⩽<!--\; ⩽\; -->x_1{y}_1+x_2{y}_2+\cdots <!--\; \cdots \; -->+x_n{y}_n$$x_1 y_n + x_2 y_{n-1} + \cdots + x_n y_1 \leqslant x_1 y_{\sigma(1)} + x_2 y_{\sigma(2)} + \cdots + x_n y_{\sigma(n)} \leqslant x_1 y_1 + x_2 y_2 + \cdots + x_n y_n$

В частности, если $y_i=x_i$$y_{i}=x_{i}$, то $x_1{x}_{\mathrm{\sigma <!--\; \sigma \; -->}(1)}+\cdots <!--\; \cdots \; -->+x_n{x}_{\mathrm{\sigma <!--\; \sigma \; -->}(n)}\le <!--\; \le \; -->{x_1}^2+\dots <!--\; \dots \; -->{x_n}^2$$x_{1}x_{\sigma (1)}+\dots +x_{n}x_{\sigma (n)}\leq {x_{1}}^{2}+\dots {x_{n}}^{2}$ независимо от упорядочивания $x_1,\dots <!--\; \dots \; -->,x_n$$x_{1},\dots ,x_{n}$.

Следствием перестановочного неравенства является неравенство Чебышёва для сумм.

ДоказательствоПравить

Обозначим $V(\mathrm{\sigma <!--\; \sigma \; -->})=\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}{x}_i{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}$$V(\sigma )=\sum \limits _{i=1}^{n}{x_{i}y_{\sigma (i)}}$ . Для доказательства удобно несколько переформулировать утверждение:

$\arg <!--\; \; -->\underset{\mathrm{\sigma <!--\; \sigma \; -->}\in <!--\; \in \; -->S_n}{max}V(\mathrm{\sigma <!--\; \sigma \; -->})={\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\arg \max \limits _{\sigma \in S_{n}}{V(\sigma )}=\sigma _{0}$ 

Здесь $S_n$$S_{n}$  — множество всех возможных перестановок, а ${\mathrm{\sigma <!--\; \sigma \; -->}}_0:x\mapsto <!--\; \mapsto \; -->x$$\sigma _{0}:\ x\mapsto x$  — тождественная перестановка.

Основная идея доказательства состоит в том, что если $\mathrm{\sigma <!--\; \sigma \; -->}(i)>\mathrm{\sigma <!--\; \sigma \; -->}(j)$$\sigma (i)>\sigma (j)$  для некоторых $i<j$ , то, поменяв местами значения $\mathrm{\sigma <!--\; \sigma \; -->}(i)$$\sigma (i)$  и $\mathrm{\sigma <!--\; \sigma \; -->}(j)$$\sigma (j)$ , мы не уменьшим значение суммы $V(\mathrm{\sigma <!--\; \sigma \; -->})$$V(\sigma )$ .

Рассмотрим указанную сумму для некоторой перестановки $\mathrm{\sigma <!--\; \sigma \; -->}\ne {\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\sigma \not =\sigma _{0}$  и такой пары $i,j$$i,j$ . Рассмотрим перестановку, образуемую из $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  инверсий этой пары.

$\sigma ':x\mapsto \left\{{\begin{matrix}\sigma (j),&x=i,\\\sigma (i),&x=j,\\\sigma (x),&x\not \in \{{i,j}\}.\end{matrix}}\right.$ 

По определению,

$V({\mathrm{\sigma <!--\; \sigma \; -->}}^{\prime })=V(\mathrm{\sigma <!--\; \sigma \; -->})-<!--\; -\; -->x_i{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}-<!--\; -\; -->x_j{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(j)}+x_i{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(j)}+x_j{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}=V(\mathrm{\sigma <!--\; \sigma \; -->})+(x_j-<!--\; -\; -->x_i)(y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}-<!--\; -\; -->y_{\mathrm{\sigma <!--\; \sigma \; -->}(j)})$$V(\sigma ')=V(\sigma )-x_{i}y_{\sigma (i)}-x_{j}y_{\sigma (j)}+x_{i}y_{\sigma (j)}+x_{j}y_{\sigma (i)}=V(\sigma )+(x_{j}-x_{i})(y_{\sigma (i)}-y_{\sigma (j)})$ 

Согласно выбору $i,j$$i,j$  и предположению об упорядоченности $x,y$$x,y$ , справедливо неравенство $(x_j-<!--\; -\; -->x_i)(y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}-<!--\; -\; -->y_{\mathrm{\sigma <!--\; \sigma \; -->}(j)})\ge <!--\; \ge \; -->0$$(x_{j}-x_{i})(y_{\sigma (i)}-y_{\sigma (j)})\geq 0$ , так что $V({\mathrm{\sigma <!--\; \sigma \; -->}}^{\prime })\ge <!--\; \ge \; -->V(\mathrm{\sigma <!--\; \sigma \; -->})$$V(\sigma ')\geq V(\sigma )$ .

Следовательно, мы можем уменьшать число инверсий, не уменьшая значения $V(\mathrm{\sigma <!--\; \sigma \; -->})$$V(\sigma )$  (например, исправляя инверсии в порядке сортировки пузырьком). В итоге такой процесс приведёт к превращению $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  в ${\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\sigma _{0}$ , так что $V(\mathrm{\sigma <!--\; \sigma \; -->})\le <!--\; \le \; -->V({\mathrm{\sigma <!--\; \sigma \; -->}}_0)$$V(\sigma )\leq V(\sigma _{0})$ .

ОбобщенияПравить

Для нескольких перестановокПравить

Пусть даны $s$$s$  упорядоченных последовательностей $x_1^{(i)}\le <!--\; \le \; -->x_2^{(i)}\le <!--\; \le \; -->\cdots <!--\; \cdots \; -->\le <!--\; \le \; -->x_n^{(i)},i=1,\dots <!--\; \dots \; -->,s$$x_{1}^{(i)}\leq x_{2}^{(i)}\leq \dots \leq x_{n}^{(i)},\ i=1,\dots ,s$ . Обозначим $V({\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s)=x_{{\mathrm{\sigma <!--\; \sigma \; -->}}_1(1)}^{(1)}{x}_{{\mathrm{\sigma <!--\; \sigma \; -->}}_2(1)}^{(2)}\dots <!--\; \dots \; -->x_{{\mathrm{\sigma <!--\; \sigma \; -->}}_s(1)}^{(s)}+\cdots <!--\; \cdots \; -->+x_{{\mathrm{\sigma <!--\; \sigma \; -->}}_1(n)}^{(1)}{x}_{{\mathrm{\sigma <!--\; \sigma \; -->}}_2(n)}^{(2)}\dots <!--\; \dots \; -->x_{{\mathrm{\sigma <!--\; \sigma \; -->}}_s(n)}^{(s)}$$V(\sigma _{1},\dots ,\sigma _{s})=x_{\sigma _{1}(1)}^{(1)}x_{\sigma _{2}(1)}^{(2)}\dots x_{\sigma _{s}(1)}^{(s)}+\dots +x_{\sigma _{1}(n)}^{(1)}x_{\sigma _{2}(n)}^{(2)}\dots x_{\sigma _{s}(n)}^{(s)}$ . Тождественную перестановку по-прежнему будет обозначать как ${\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\sigma _{0}$ .

Тогда $V({\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s)\le <!--\; \le \; -->V({\mathrm{\sigma <!--\; \sigma \; -->}}_0,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_0)$$V(\sigma _{1},\dots ,\sigma _{s})\leq V(\sigma _{0},\dots ,\sigma _{0})$  для любого набора $({\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s)$$(\sigma _{1},\dots ,\sigma _{s})$ .

Доказательство

Доказывается аналогично обычному перестановочному неравенству (частному случаю этого при $s=2$$s=2$ ).

Не ограничивая общности, будем предполагать, что ${\mathrm{\sigma <!--\; \sigma \; -->}}_1={\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\sigma _{1}=\sigma _{0}$ , поскольку иначе можно просто умножить все перестановки на ${\mathrm{\sigma <!--\; \sigma \; -->}}_1^{-<!--\; -\; -->1}$$\sigma _{1}^{-1}$ , не изменив значение суммы.

Если хотя бы одна из перестановок ${\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s$$\sigma _{1},\dots ,\sigma _{s}$  отлична от ${\mathrm{\sigma <!--\; \sigma \; -->}}_0$$\sigma _{0}$ , то для неё (обозначим её ${\mathrm{\sigma <!--\; \sigma \; -->}}_k$$\sigma _{k}$ ) существуют $i<j$  такие, что ${\mathrm{\sigma <!--\; \sigma \; -->}}_k(i)>{\mathrm{\sigma <!--\; \sigma \; -->}}_k(j)$$\sigma _{k}(i)>\sigma _{k}(j)$ .

Тогда, если во всех перестановках $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$  из набора $({\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s)$$(\sigma _{1},\dots ,\sigma _{s})$ , для которых \sigma (i) > \sigma (j), поменять местами значения $\mathrm{\sigma <!--\; \sigma \; -->}(i)$$\sigma (i)$  и $\mathrm{\sigma <!--\; \sigma \; -->}(j)$$\sigma (j)$ , то значение $V$$V$  не уменьшиться, а общее количество инверрсий среди $({\mathrm{\sigma <!--\; \sigma \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_s)$$(\sigma _{1},\dots ,\sigma _{s})$  станет меньше.

Производя такие действия нужное (конечное) количество раз, придём к набору $({\mathrm{\sigma <!--\; \sigma \; -->}}_0,\dots <!--\; \dots \; -->,{\mathrm{\sigma <!--\; \sigma \; -->}}_0)$$(\sigma _{0},\dots ,\sigma _{0})$ , не уменьшив значение $V$$V$ .

Для выпуклых функцийПравить

Идея доказательства через пошаговое исправление инверсий применима для более широкого класса случаев, чем просто для скалярного произведения.

Пусть $f$$f$  — выпуклая функция, $x$$x$  и $y$$y$  упорядочены по неубыванию. Тогда

$f(x_1+y_{\mathrm{\sigma <!--\; \sigma \; -->}(1)})+\cdots <!--\; \cdots \; -->+f(x_n+y_{\mathrm{\sigma <!--\; \sigma \; -->}(n)})\le <!--\; \le \; -->f(x_1+y_1)+\dots <!--\; \dots \; -->f(x_n+y_n)$$f(x_{1}+y_{\sigma (1)})+\dots +f(x_{n}+y_{\sigma (n)})\leq f(x_{1}+y_{1})+\dots f(x_{n}+y_{n})$ 

Доказательство

По определению выпуклой функции, если $x_{1}<x_{2},\ c>0$ , то $f(x_1+c)-<!--\; -\; -->f(x_1)\le <!--\; \le \; -->f(x_2+c)-<!--\; -\; -->f(x_2)$$f(x_{1}+c)-f(x_{1})\leq f(x_{2}+c)-f(x_{2})$ , то есть $f(x_1+c)+f(x_2)\le <!--\; \le \; -->f(x_1)+f(x_2+c)$$f(x_{1}+c)+f(x_{2})\leq f(x_{1})+f(x_{2}+c)$ . Подствляя $c=c_2-<!--\; -\; -->c_1$$c=c_{2}-c_{1}$  и прибавляя к обоим $x_1,x_2$$x_{1},x_{2}$  величину $c_1$$c_{1}$ , получаем $f(x_1+c_2)+f(x_2+c_1)\le <!--\; \le \; -->f(x_1+c_1)+f(x_2+c_2)$$f(x_{1}+c_{2})+f(x_{2}+c_{1})\leq f(x_{1}+c_{1})+f(x_{2}+c_{2})$ . Иными словами, чем больше аргумент, тем больше изгиб функции вверх, и тем более ценнее для максимизации суммы прибавлять большее значение именно туда.

Как и в доказательстве обычного перестановочного неравенства, выберем $i<j$  такие, что $\mathrm{\sigma <!--\; \sigma \; -->}(i)>\mathrm{\sigma <!--\; \sigma \; -->}(j)$$\sigma (i)>\sigma (j)$ .

Тогда, как описано выше, $f(x_i+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)})+f(x_j+y_{\mathrm{\sigma <!--\; \sigma \; -->}(j)})\le <!--\; \le \; -->f(x_i+y_{\mathrm{\sigma <!--\; \sigma \; -->}(j)})+f(x_j+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)})$$f(x_{i}+y_{\sigma (i)})+f(x_{j}+y_{\sigma (j)})\leq f(x_{i}+y_{\sigma (j)})+f(x_{j}+y_{\sigma (i)})$ . Это позволяет провести индукцию, аналогичную обычному случаю.

Умножая все значения $f$$f$  на $-<!--\; -\; -->1$$-1$ , можно вывести аналогичное неравенство, но со знаком в другую сторону, для вогнутых функций.

СледствияПравить

• при $f(x)=e^x$$f(x)=e^{x}$  (выпуклая функция): обычное перестановочное неравенство для наборов $e^{x_1},\dots <!--\; \dots \; -->,e^{x_n}$$e^{x_{1}},\dots ,e^{x_{n}}$  и $e^{y_1},\dots <!--\; \dots \; -->,e^{y_n}$$e^{y_{1}},\dots ,e^{y_{n}}$ 

• при $f(x)=x^2$$f(x)=x^{2}$  (выпуклая функция): $\underset{i}{\overset{n}{\sum <!--\; \sum \; -->}}(x_i^2+2x_i{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}^2)\le <!--\; \le \; -->\underset{i}{\overset{n}{\sum <!--\; \sum \; -->}}(x_i^2+2x_i{y}_i+y_i^2)$$\sum \limits _{i}^{n}{(x_{i}^{2}+2x_{i}y_{\sigma (i)}+y_{\sigma (i)}^{2})}\leq \sum \limits _{i}^{n}{(x_{i}^{2}+2x_{i}y_{i}+y_{i}^{2})}$ 

После сокращения обеих частей на $\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}(x_i^2+y_i^2)$$\sum \limits _{i=1}^{n}{(x_{i}^{2}+y_{i}^{2})}$ , опять получаем обычное перестановочное неравенство.

• при $f(x)=\log <!--\; \; -->x$$f(x)=\log {x}$  (вогнутая функция): $\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}\ln <!--\; \; -->(x_i+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)})\ge <!--\; \ge \; -->\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}\ln <!--\; \; -->(x_i+y_i)$$\sum \limits _{i=1}^{n}{\ln(x_{i}+y_{\sigma (i)})}\geq \sum \limits _{i=1}^{n}{\ln(x_{i}+y_{i})}$ 

После взятия экспоненты от обеих частей: $\underset{i=1}{\overset{n}{\prod <!--\; \prod \; -->}}(x_i+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)})\ge <!--\; \ge \; -->\underset{i=1}{\overset{n}{\prod <!--\; \prod \; -->}}(x_i+y_i)$$\prod _{i=1}^{n}{(x_{i}+y_{\sigma (i)})}\geq \prod _{i=1}^{n}{(x_{i}+y_{i})}$ ;

• при $f(x)=\frac{1}{x}$$f(x)={\frac {1}{x}}$  (вогнутая функция): $\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{1}{x_i+y_{\mathrm{\sigma <!--\; \sigma \; -->}(i)}}\ge <!--\; \ge \; -->\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}\frac{1}{x_i+y_i}$$\sum \limits _{i=1}^{n}{\frac {1}{x_{i}+y_{\sigma (i)}}}\geq \sum \limits _{i=1}^{n}{\frac {1}{x_{i}+y_{i}}}$ 

Неудачные попытки обобщенияПравить

В 1946 году была опубликована (Scripta Mathematica 1946, 12(2), 164—169) попытка следующего обобщения неравенства:

Для $n\ge <!--\; \ge \; -->3$$n \ge 3$  и двух наборов вещественных чисел $x_1⩽<!--\; ⩽\; -->\cdots <!--\; \cdots \; -->⩽<!--\; ⩽\; -->x_n$$x_1\leqslant\cdots\leqslant x_n$  и $y_1⩽<!--\; ⩽\; -->\cdots <!--\; \cdots \; -->⩽<!--\; ⩽\; -->y_n$$y_1\leqslant\cdots\leqslant y_n$ , $x_1{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(1)}+\cdots <!--\; \cdots \; -->+x_n{y}_{\mathrm{\sigma <!--\; \sigma \; -->}(n)}⩽<!--\; ⩽\; -->x_1{y}_{\mathrm{\pi <!--\; \pi \; -->}(1)}+\cdots <!--\; \cdots \; -->+x_n{y}_{\mathrm{\pi <!--\; \pi \; -->}(n)}$$x_1 y_{\sigma (1)} + \cdots + x_n y_{\sigma (n)} \leqslant x_1 y_{\pi(1)} + \cdots + x_n y_{\pi(n)}$  если число инверсий в перестановке $\mathrm{\pi <!--\; \pi \; -->}$$\pi$  меньше чем в перестановке $\mathrm{\sigma <!--\; \sigma \; -->}$$\sigma$ .

Однако впоследствии оказалось, что это обобщение верно только для $n=3$$n=3$ . Начиная с $n=4$$n=4$  для этого обобщения существуют контрпримеры, как например:

${\textstyle 0\cdot 0+1\cdot 1+2\cdot 10+3\cdot 2=27<31=0\cdot 2+1\cdot 1+2\cdot 0+3\cdot 10.}$ 

СледствияПравить

Перестановочное неравенство интересно тем, что позволяет интуитивно объединить на общей основой внешне совершенно непохожие, применяемые в разных областях математики, числовые неравенства.

В этом разделе рассматриваются наборы чисел длины $n$$n$  и подразумевается, что обозначение $x_i$$x_{i}$  при $i>n$$i>n$  обозначает $x_{i-<!--\; -\; -->n}$$x_{i-n}$ , то есть зацикленность индексов.

Неравенство Коши — БуняковскогоПравить

Согласно перестановочному неравенству, для любого $k$$k$  выполняется $\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i{a}_{i+k}\le <!--\; \le \; -->\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i^2$$\sum \limits _{i=0}^{n-1}{a_{i}a_{i+k}}\leq \sum \limits _{i=0}^{n-1}{a_{i}^{2}}$ .

Из этого выводится частный случай неравенства Коши-Буняковского:

${\left(\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i\right)}^2=\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}\underset{j=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i{a}_j=\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}\underset{j=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i{a}_{i+j}\le <!--\; \le \; -->\underset{j=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}{a}_i^2=n\underset{i=1}{\overset{n}{\sum <!--\; \sum \; -->}}{a}_i^2$$\left({\sum \limits _{i=0}^{n-1}{a_{i}}}\right)^{2}=\sum \limits _{i=0}^{n-1}\sum \limits _{j=0}^{n-1}{a_{i}a_{j}}=\sum \limits _{i=0}^{n-1}\sum \limits _{j=0}^{n-1}{a_{i}a_{i+j}}\leq \sum \limits _{j=0}^{n-1}{\sum \limits _{i=1}^{n}{a_{i}^{2}}}=n\sum \limits _{i=1}^{n}{a_{i}^{2}}$ 

Аналогично, разбивая сумму на $n^{k-<!--\; -\; -->1}$$n^{k-1}$  частей по всем возможным $(k-<!--\; -\; -->1)$$(k-1)$ -мерным сдвигам индексов и используя обобщение на несколько перестановок, выводится более общее неравенство для целых $k$$k$ :

${\left(\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i\right)}^k\le <!--\; \le \; -->n^{k-<!--\; -\; -->1}\underset{i=0}{\overset{n-<!--\; -\; -->1}{\sum <!--\; \sum \; -->}}{a}_i^k$$\left({\sum \limits _{i=0}^{n-1}{a_{i}}}\right)^{k}\leq n^{k-1}\sum \limits _{i=0}^{n-1}{a_{i}^{k}}$ 

Общее неравенство Коши-БуняковскогоПравить

$2(a_1{b}_1+\cdots <!--\; \cdots \; -->+a_n{b}_n)=a_1{b}_1+\cdots <!--\; \cdots \; -->+a_n{b}_n+b_1{a}_1+\cdots <!--\; \cdots \; -->+b_n{a}_n\le <!--\; \le \; -->a_1^2+\cdots <!--\; \cdots \; -->+a_n^2+b_1^2+\cdots <!--\; \cdots \; -->+b_n^2$$2(a_{1}b_{1}+\dots +a_{n}b_{n})=a_{1}b_{1}+\dots +a_{n}b_{n}+b_{1}a_{1}+\dots +b_{n}a_{n}\leq a_{1}^{2}+\dots +a_{n}^{2}+b_{1}^{2}+\dots +b_{n}^{2}$ 

Если нормировать значения $a_i$$a_{i}$  и $b_i$$b_{i}$  таким образом, чтобы выполнялось $a_1^2+\cdots <!--\; \cdots \; -->+a_n^2=b_1^2+\cdots <!--\; \cdots \; -->+b_n^2=1$$a_{1}^{2}+\dots +a_{n}^{2}=b_{1}^{2}+\dots +b_{n}^{2}=1$ , то как следствие получается неравенство Коши-Буняковского. Для этого достаточно разделить все $a_i$$a_{i}$  на $\sqrt{a_1^2+\cdots <!--\; \cdots \; -->+a_n^2}$${\sqrt {a_{1}^{2}+\dots +a_{n}^{2}}}$ , а все $b_i$$b_{i}$  на $\sqrt{b_1^2+\cdots <!--\; \cdots \; -->+b_n^2}$${\sqrt {b_{1}^{2}+\dots +b_{n}^{2}}}$ . Поскольку неравенство Коши-Буняковского допускает такие деления без изменения истинности, то это доказывает утверждение.

Неравенства среднихПравить

Квадратичное и арифметическоеПравить

Неравенство между средним квадратичным и средним арифметическим элементарно выводится из доказанного выше частного случая неравенства Коши-Буняковского.

Арифметическое и геометрическоеПравить

Неравенство между арифметическим и геометрическим средним гласит, что

$\sqrt[n]{x_1\dots <!--\; \dots \; -->x_n}\le <!--\; \le \; -->\frac{x_1+\cdots <!--\; \cdots \; -->+x_n}{n}$${\sqrt[{n}]{x_{1}\dots x_{n}}}\leq {\frac {x_{1}+\dots +x_{n}}{n}}$ 

Умножая обе части на $n$$n$  и рассматривая $n$$n$ -ые степени переменных, увидим, что это то же самое, что

$n{x}_1\dots <!--\; \dots \; -->x_n\le <!--\; \le \; -->x_1^n+\dots <!--\; \dots \; -->x_n^n$$nx_{1}\dots x_{n}\leq x_{1}^{n}+\dots x_{n}^{n}$ 

$x_1{x}_2\dots <!--\; \dots \; -->x_{n-<!--\; -\; -->1}{x}_n+x_2{x}_3\dots <!--\; \dots \; -->x_n{x}_1+\cdots <!--\; \cdots \; -->+x_n{x}_1\dots <!--\; \dots \; -->x_{n-<!--\; -\; -->2}{x}_{n-<!--\; -\; -->1}\le <!--\; \le \; -->x_1^n+\dots <!--\; \dots \; -->x_n^n$$x_{1}x_{2}\dots x_{n-1}x_{n}+x_{2}x_{3}\dots x_{n}x_{1}+\dots +x_{n}x_{1}\dots x_{n-2}x_{n-1}\leq x_{1}^{n}+\dots x_{n}^{n}$ 

Последнее же неравенство легко получается из обобщения перестановочного неравенство на несколько перестановок при ${\mathrm{\sigma <!--\; \sigma \; -->}}_k(i)=i+(k-<!--\; -\; -->1)$$\sigma _{k}(i)=i+(k-1)$ 

Геометрическое и гармоническоеПравить

Приведём неравенство к тому же виду, что и предыдущее:

$\sqrt[n]{x_1\dots <!--\; \dots \; -->x_n}\ge <!--\; \ge \; -->\frac{n}{\frac{1}{x_1}+\dots <!--\; \dots \; -->\frac{1}{x_n}}$${\sqrt[{n}]{x_{1}\dots x_{n}}}\geq {\frac {n}{{\frac {1}{x_{1}}}+\dots {\frac {1}{x_{n}}}}}$ 

$\frac{1}{x_1}+\dots <!--\; \dots \; -->\frac{1}{x_n}\ge <!--\; \ge \; -->\frac{n}{\sqrt[n]{x_1\dots <!--\; \dots \; -->x_n}}$${\frac {1}{x_{1}}}+\dots {\frac {1}{x_{n}}}\geq {\frac {n}{\sqrt[{n}]{x_{1}\dots x_{n}}}}$ 

Рассматривая $n$$n$ -ые степени переменных, получаем

$n\left(\frac{1}{x_1}\right)\dots <!--\; \dots \; -->\left(\frac{1}{x_n}\right)\le <!--\; \le \; -->{\left(\frac{1}{x_1}\right)}^n+\dots <!--\; \dots \; -->{\left(\frac{1}{x_n}\right)}^n$$n\left({\frac {1}{x_{1}}}\right)\dots \left({\frac {1}{x_{n}}}\right)\leq \left({\frac {1}{x_{1}}}\right)^{n}+\dots \left({\frac {1}{x_{n}}}\right)^{n}$ 

Последнее неравенство легко получить прямым применением перестановочного неравенства для нескольких перестановок.

СсылкиПравить

• Л. В. Радзивиловский. Обобщение перестановочного неравенства и монгольское неравенство // Математическое Просвещение. — 2006. — № 10.
• В. И. Мурашко, С. М. Горский, Я. И. Сандрыгайло. KφKψ-выпуклые функции и обобщения классических неравенств // ПФМТ. — 2018. — Вып. 37, № 4. — С. 98–102.
• Yue Kwok Choy, Rearrangement inequality