Задача из журнала «Квант» (1993 год, 11/12 выпуск)

Условие

Пусть сумма $n$ чисел равна $0$, причем $m$ — наименьшее из них, а $M$ — наибольшее. Докажите, что

1. сумма квадратов этих чисел не превосходит $-mMn$;
2. сумма четвертых степеней этих чисел не превосходит $-mMn(m^2 + M^2 +mM)$.

Решение

Пусть $x_{1}, x_{2}, \ldots, x_{n}$ — числа задачи: $$ m \leqslant x_{i} \leqslant M, x_{1}+x_{2}+ \ldots +x_{n} = 0$$

Обозначим сумму их квадратов через $D$, а сумму четвертых степеней — через $F.$

1. Первое решение. Для каждого числа $x_{i}$ задачи имеем $$(x_{i} — m)(x_{i} — M)\leqslant 0,$$ или $$x_{i}^{2} \leqslant(m+M) x_{i}-m M. \tag{*}$$

   Сложив $n$ этих неравенств, получаем $$D \leqslant -nmM.$$

   Второе решение. При $m = M$ утверждение очевидно. Пусть $m<M$. Расположим в точках $(x_{i},x_{i}^{2})$, где $x_{i}$ — числа задачи, единичные массы. Проведем через точки $(m, m^2)$ и $(M, M^2)$ прямую. Ее уравнение —

   $$\frac{x-m}{M-m}=\frac{y-m^{2}}{M^{2}-m^{2}}.$$

   Поскольку все массы расположены под прямой, этим же свойством обладает и центр масс $(0, D/n).$ Поэтому $$-m(m+M)+m^{2} \geqslant \frac{D}{n},$$ что и требовалось доказать.

2. Первое решение. Как и во втором решении пункта а) будем считать $m<M$. Попытаемся найти многочлен $x^4 + ax + b$, имеющий корнями числа $m$ и $M$. Заметим сразу, что многочлен такого вида имеет не более двух корней. Действительно, между любыми последовательными корнями многочлена найдется корень его произведения. Следовательно, если многочлен имеет хотя бы три корня, то его производная $4 x^{3} + a$ имеет не менее двух корней. Но уравнение $4 x^{3} = -a$ имеет единственный корень. Тогда из системы $$\left\{\begin{array}{l}m^{4}+a m+b=0 \\M^{4}+a M+b=0 \end{array}\right.$$ получаем $$a=-\left(m^{2}+M^{2}\right)(m+M),$$ $$b=m M\left(m^{2}+M^{2}+m M\right).$$

   С другой стороны, при этих значениях $a$ и $b$ равенства системы выполняются. Окончание решения аналогично первому решению пункта а).

   Второе решение. Рассуждая так же, как при втором решении пункта а), получаем уравнение прямой $$\frac{x-m}{M-m}=\frac{y-m^{4}}{M^{4}-m^{4}},$$ после чего без труда приходим к неравенству $$-m\left(M^{2}+m^{2}\right)(M+m)+m^{4} \geqslant \frac{F}{n},$$ что и требовалось доказать.

   Третье решение. Для каждого числа $x_{i}$ задачи из (*) следует $$\begin{aligned}
   x_{i}^{4} & \leqslant\left((m+M) x_{i}-m M\right)^{2}=\\
   &=(m+M)^{2} x_{i}^{2}-2(m+M) m M x_{i}+m^{2} M^{2}.
   \end{aligned}$$

   Сложив $n$ этих неравенств и воспользовавшись утверждением пункта а), получаем $$F \leqslant-n m M(m+M)^{2}+n m^{2} M^{2},$$ что и требовалось доказать.

Замечание. Неравенство (*), а следовательно, и неравенства задачи превратятся в равенства, если $k$ из чисел $x_{i}$ равны $m$, а $n-k$ остальных равны $M$ (при этом $k m+(n-k) M=0$).

Н.Васильев, В.Сендеров, Л.Туцеску

Задача из журнала «Квант» (1981 год, 10 выпуск)

Условие

На сторонах выпуклого четырехугольника площади $S$ вне его построены квадраты, центры которых служат вершинами нового четырехугольника площади $S_{1}$. Докажите, что:

1. $S_{1}$ $\geqslant$ $2S;$
2. $S_{1}$ $=$ $2S;$

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

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

Из рисунка 1 видно, что площадь $S_{1}$ четырехугольника $MNPQ$ (M, N, P, и Q — центры квадратов, построенных на сторонах данного четырехугольника ABCD) равна сумме площадей четырех розовых четырехугольников (с вершинами, соответственно, в центрах двух соседних квадратов и серединах двух соседних сторон исходного четырехугольника) и голубого параллелограмма. Найдем, чему равна площадь одного такого розового четырехугольника EMNF (см. рис. 1).

Обозначим через $\varphi$ угол при вершине $B$ исходного четырехугольника. Заметим, что $$S_{EMNF} = S_{EBF} + S_{EMB} + S_{FNB} \pm S_{MBN}$$ причем знак «$+$» берется, если $\dfrac{3\pi}{2}-\varphi < \pi$ (рис. 2),

то есть $\dfrac{\pi}{2} < \varphi < \pi,$ и знак «$-$», если $0 < \varphi \leqslant {\pi}{2}$ (рис. 3).

Подсчитав алгебраическую сумму последних трех слагаемых, найдем $$S_{EMNF} = S_{EBF} + \dfrac{|AB|^2}{8} + \dfrac{|BC|^2}{8} + \dfrac{|AB|\cdot|BC|}
{4}\sin\left({\dfrac{3\pi}{2}-\varphi}\right) = $$$$S_{EBF} + \dfrac{1}{8}\left(|AB|^2-2|AB|\cdot|BC|\cos\left(\varphi-|BC|^2\right)\right) = S_{EBF} + \dfrac{|AC|^2}{8}.$$ (мы воспользовались теоремой косинусов для треугольника ABC)

Проведя аналогичные вычисления для остальных розовых четырехугольников, окончательно получим, что $$S_{1} = S + \dfrac{1}{4}\left(|AC|^2 + |BD|^2\right).$$ Но $S = \dfrac{1}{2}\left(|AC| \cdot |BD|\sin\alpha\right)$ ($\alpha$ — угол между диагоналями AC и BD), так что $\dfrac{1}{4}\left(|AC|^2 + |BD|^2\right) \geqslant \dfrac{1}{2}|AC| \cdot |BD| \geqslant S$ и $S_{1} \geqslant 2S.$ — мы решили задачу а)
Поскольку последние неравенства превращаются в равенства в том и только в том случае, когда $|AC| = |BD|$ и $\sin\alpha = 1,$ то есть $(AC) \bot (BD),$ мы попутно получаем утверждение б).

П. Гусятников

Задача из журнала «Квант» (2002 год, 5 выпуск)

Условие

Пусть $0 < x < \frac{\pi}{4}$. Докажите, что $$\left(\cos x\right)^{\cos^2 x} > \left(\sin x\right)^{\sin^2 x},$$ а также $$\left(\cos x\right)^{\cos^4 x} < \left(\sin x\right)^{\sin^4 x}.$$

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

На первый взгляд кажется, что одно из неравенств противоречит другому, но это не так.

Рассмотрим $$f(y) = \cos^y x − \sin^y x ,$$ где $ 0 < x < \frac{\pi}{4}$, $y \geqslant 0$. Имеем: $f(0) = 0$, $f(y) > 0$ при $y > 0$, $f(y) \to 0$ при $y \to \infty$. Далее, $$f'(y) = \cos^y x \ln \cos x − \sin^y x \ln \sin x =\\= \cos^y x\left(\ln \cos x − \mathrm {tg}^y\,x \ln \sin x\right),$$ поэтому $f'(y)$ имеет единственный корень при $y > 0$, так как функция $g(y) = \mathrm {tg}^y\,x$ монотонна. Из равенства $$f(2) = f(2)\left(\cos^2 x + \sin^2 x\right) = f(4)$$ следует, что $f'(2) > 0$, $f'(4) < 0$.

Перепишем первое неравенство: $$\cos^2 x \ln \cos x > \sin^2 x \ln \sin x ,$$ что эквивалентно первому неравенству задачи. Аналогично, $f'(4) < 0$, или $$\cos^4 x \ln \cos x < \sin^4 x \ln \sin x ,$$ что эквивалентно второму неравенству задачи.

В. Сендеров