Дан выпуклый четырехугольник ABCD, у которого диагонали пересекаются под углом 90°; изучите набор возможных соотношений длин сторон и диагоналей и докажите неравенства, связывающие их
Обозначим точку пересечения диагоналей OOO. Пусть AO=a, CO=c, BO=b, DO=dAO=a,\;CO=c,\;BO=b,\;DO=dAO=a,CO=c,BO=b,DO=d. Тогда AC=a+c, BD=b+dAC=a+c,\;BD=b+dAC=a+c,BD=b+d. Так как диагонали перпендикулярны, треугольники AOB, BOC, COD, DOAAOB,\,BOC,\,COD,\,DOAAOB,BOC,COD,DOA прямоугольные, поэтому AB2=a2+b2,BC2=b2+c2,CD2=c2+d2,DA2=d2+a2.
AB^2=a^2+b^2,\quad BC^2=b^2+c^2,\quad CD^2=c^2+d^2,\quad DA^2=d^2+a^2. AB2=a2+b2,BC2=b2+c2,CD2=c2+d2,DA2=d2+a2. 1) Сумма квадратов сторон и диагоналей. Складывая последние равенства, получаем AB2+BC2+CD2+DA2=2(a2+b2+c2+d2).
AB^2+BC^2+CD^2+DA^2=2(a^2+b^2+c^2+d^2). AB2+BC2+CD2+DA2=2(a2+b2+c2+d2).
С другой стороны AC2+BD2=(a+c)2+(b+d)2=a2+c2+b2+d2+2(ac+bd).
AC^2+BD^2=(a+c)^2+(b+d)^2=a^2+c^2+b^2+d^2+2(ac+bd). AC2+BD2=(a+c)2+(b+d)2=a2+c2+b2+d2+2(ac+bd).
Вычитая, получаем тождество AB2+BC2+CD2+DA2−(AC2+BD2)=(a2+c2−2ac)+(b2+d2−2bd)=(a−c)2+(b−d)2≥0.
\begin{aligned} &AB^2+BC^2+CD^2+DA^2-(AC^2+BD^2)\\ &= (a^2+c^2-2ac)+(b^2+d^2-2bd)=(a-c)^2+(b-d)^2\ge0. \end{aligned} AB2+BC2+CD2+DA2−(AC2+BD2)=(a2+c2−2ac)+(b2+d2−2bd)=(a−c)2+(b−d)2≥0.
Следовательно AB2+BC2+CD2+DA2≥AC2+BD2,
AB^2+BC^2+CD^2+DA^2\ge AC^2+BD^2, AB2+BC2+CD2+DA2≥AC2+BD2,
причём равенство выполняется тогда и только тогда, когда a=ca=ca=c и b=db=db=d (диагонали делят друг друга пополам — квадралаты с перпендикулярными диагоналями при этом являются ромбами). 2) Суммы квадратов противоположных сторон. Из формул видно также AB2+CD2=a2+b2+c2+d2,
AB^2+CD^2=a^2+b^2+c^2+d^2, AB2+CD2=a2+b2+c2+d2,
и поэтому AC2+BD2=(AB2+CD2)+2(ac+bd)≥AB2+CD2,
AC^2+BD^2=(AB^2+CD^2)+2(ac+bd)\ge AB^2+CD^2, AC2+BD2=(AB2+CD2)+2(ac+bd)≥AB2+CD2,
т.е. AB2+CD2≤AC2+BD2.
AB^2+CD^2\le AC^2+BD^2. AB2+CD2≤AC2+BD2.
Аналогично BC2+DA2≤AC2+BD2.
BC^2+DA^2\le AC^2+BD^2. BC2+DA2≤AC2+BD2.
(Неравенства строгие для невырожденного выпуклого четырехугольника, так как ac+bd>0ac+bd>0ac+bd>0.) 3) Отдельные стороны. Из равенств AB2=a2+b2AB^2=a^2+b^2AB2=a2+b2 и т.д. следует, в частности, что каждая сторона определяется раскладкой диагоналей на отрезки; из (1) следует тривиальная оценка max{AB2,BC2,CD2,DA2}≤AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2,
\max\{AB^2,BC^2,CD^2,DA^2\}\le AB^2+BC^2+CD^2+DA^2=AC^2+BD^2+(a-c)^2+(b-d)^2, max{AB2,BC2,CD2,DA2}≤AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2,
а также по среднему значению хотя бы одна сторона удовлетворяет max{AB,BC,CD,DA}≥12AC2+BD2.
\max\{AB,BC,CD,DA\}\ge\frac{1}{2}\sqrt{AC^2+BD^2}. max{AB,BC,CD,DA}≥21AC2+BD2.
(Последнее вытекает из того, что среднее арифметическое квадратов сторон не меньше (AC2+BD2)/4(AC^2+BD^2)/4(AC2+BD2)/4.) Краткое резюме ключевых соотношений: AB2=a2+b2, …, DA2=d2+a2;AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2≥AC2+BD2;AB2+CD2≤AC2+BD2,BC2+DA2≤AC2+BD2.
\begin{aligned} &AB^2=a^2+b^2,\ \ldots,\ DA^2=d^2+a^2;\\ &AB^2+BC^2+CD^2+DA^2=AC^2+BD^2+(a-c)^2+(b-d)^2\ge AC^2+BD^2;\\ &AB^2+CD^2\le AC^2+BD^2,\qquad BC^2+DA^2\le AC^2+BD^2. \end{aligned} AB2=a2+b2,…,DA2=d2+a2;AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2≥AC2+BD2;AB2+CD2≤AC2+BD2,BC2+DA2≤AC2+BD2. Эти тождества и неравенства полностью описывают возможные соотношения длин сторон и диагоналей для выпуклого четырёхугольника с перпендикулярными диагоналями; равенства достигаются в случае, когда диагонали делят друг друга пополам (ромб).
AB2=a2+b2,BC2=b2+c2,CD2=c2+d2,DA2=d2+a2. AB^2=a^2+b^2,\quad BC^2=b^2+c^2,\quad CD^2=c^2+d^2,\quad DA^2=d^2+a^2.
AB2=a2+b2,BC2=b2+c2,CD2=c2+d2,DA2=d2+a2.
1) Сумма квадратов сторон и диагоналей. Складывая последние равенства, получаем
AB2+BC2+CD2+DA2=2(a2+b2+c2+d2). AB^2+BC^2+CD^2+DA^2=2(a^2+b^2+c^2+d^2).
AB2+BC2+CD2+DA2=2(a2+b2+c2+d2). С другой стороны
AC2+BD2=(a+c)2+(b+d)2=a2+c2+b2+d2+2(ac+bd). AC^2+BD^2=(a+c)^2+(b+d)^2=a^2+c^2+b^2+d^2+2(ac+bd).
AC2+BD2=(a+c)2+(b+d)2=a2+c2+b2+d2+2(ac+bd). Вычитая, получаем тождество
AB2+BC2+CD2+DA2−(AC2+BD2)=(a2+c2−2ac)+(b2+d2−2bd)=(a−c)2+(b−d)2≥0. \begin{aligned}
&AB^2+BC^2+CD^2+DA^2-(AC^2+BD^2)\\
&= (a^2+c^2-2ac)+(b^2+d^2-2bd)=(a-c)^2+(b-d)^2\ge0.
\end{aligned}
AB2+BC2+CD2+DA2−(AC2+BD2)=(a2+c2−2ac)+(b2+d2−2bd)=(a−c)2+(b−d)2≥0. Следовательно
AB2+BC2+CD2+DA2≥AC2+BD2, AB^2+BC^2+CD^2+DA^2\ge AC^2+BD^2,
AB2+BC2+CD2+DA2≥AC2+BD2, причём равенство выполняется тогда и только тогда, когда a=ca=ca=c и b=db=db=d (диагонали делят друг друга пополам — квадралаты с перпендикулярными диагоналями при этом являются ромбами).
2) Суммы квадратов противоположных сторон. Из формул видно также
AB2+CD2=a2+b2+c2+d2, AB^2+CD^2=a^2+b^2+c^2+d^2,
AB2+CD2=a2+b2+c2+d2, и поэтому
AC2+BD2=(AB2+CD2)+2(ac+bd)≥AB2+CD2, AC^2+BD^2=(AB^2+CD^2)+2(ac+bd)\ge AB^2+CD^2,
AC2+BD2=(AB2+CD2)+2(ac+bd)≥AB2+CD2, т.е.
AB2+CD2≤AC2+BD2. AB^2+CD^2\le AC^2+BD^2.
AB2+CD2≤AC2+BD2. Аналогично
BC2+DA2≤AC2+BD2. BC^2+DA^2\le AC^2+BD^2.
BC2+DA2≤AC2+BD2. (Неравенства строгие для невырожденного выпуклого четырехугольника, так как ac+bd>0ac+bd>0ac+bd>0.)
3) Отдельные стороны. Из равенств AB2=a2+b2AB^2=a^2+b^2AB2=a2+b2 и т.д. следует, в частности, что каждая сторона определяется раскладкой диагоналей на отрезки; из (1) следует тривиальная оценка
max{AB2,BC2,CD2,DA2}≤AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2, \max\{AB^2,BC^2,CD^2,DA^2\}\le AB^2+BC^2+CD^2+DA^2=AC^2+BD^2+(a-c)^2+(b-d)^2,
max{AB2,BC2,CD2,DA2}≤AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2, а также по среднему значению хотя бы одна сторона удовлетворяет
max{AB,BC,CD,DA}≥12AC2+BD2. \max\{AB,BC,CD,DA\}\ge\frac{1}{2}\sqrt{AC^2+BD^2}.
max{AB,BC,CD,DA}≥21 AC2+BD2 . (Последнее вытекает из того, что среднее арифметическое квадратов сторон не меньше (AC2+BD2)/4(AC^2+BD^2)/4(AC2+BD2)/4.)
Краткое резюме ключевых соотношений:
AB2=a2+b2, …, DA2=d2+a2;AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2≥AC2+BD2;AB2+CD2≤AC2+BD2,BC2+DA2≤AC2+BD2. \begin{aligned}
&AB^2=a^2+b^2,\ \ldots,\ DA^2=d^2+a^2;\\
&AB^2+BC^2+CD^2+DA^2=AC^2+BD^2+(a-c)^2+(b-d)^2\ge AC^2+BD^2;\\
&AB^2+CD^2\le AC^2+BD^2,\qquad BC^2+DA^2\le AC^2+BD^2.
\end{aligned}
AB2=a2+b2, …, DA2=d2+a2;AB2+BC2+CD2+DA2=AC2+BD2+(a−c)2+(b−d)2≥AC2+BD2;AB2+CD2≤AC2+BD2,BC2+DA2≤AC2+BD2.
Эти тождества и неравенства полностью описывают возможные соотношения длин сторон и диагоналей для выпуклого четырёхугольника с перпендикулярными диагоналями; равенства достигаются в случае, когда диагонали делят друг друга пополам (ромб).