Дан выпуклый четырехугольник с точками пересечения диагоналей O; исследуйте зависимость площади четырехугольника от соотношения длин отрезков, на которые делят диагонали друг друга в O; какие функции отношений дают экстремумы площади?
Обозначим диагонали ACACAC и BDBDBD, точку пересечения OOO. Пусть AO=x1,OC=x2,BO=y1,OD=y2,
AO=x_1,\quad OC=x_2,\quad BO=y_1,\quad OD=y_2, AO=x1,OC=x2,BO=y1,OD=y2,
и угол между диагоналями θ\thetaθ. Положим также отношения r=AOOC=x1x2,s=BOOD=y1y2.
r=\frac{AO}{OC}=\frac{x_1}{x_2},\qquad s=\frac{BO}{OD}=\frac{y_1}{y_2}. r=OCAO=x2x1,s=ODBO=y2y1. 1) Базовая формула площади. Сумма площадей четырёх треугольников даёт S=12sinθ (x1y1+y1x2+x2y2+y2x1)=12sinθ (x1+x2)(y1+y2).
S=\tfrac12\sin\theta\,(x_1y_1+y_1x_2+x_2y_2+y_2x_1) =\tfrac12\sin\theta\,(x_1+x_2)(y_1+y_2). S=21sinθ(x1y1+y1x2+x2y2+y2x1)=21sinθ(x1+x2)(y1+y2).
То есть S=12sinθ AC⋅BD
\boxed{\,S=\tfrac12\sin\theta\;AC\cdot BD\,} S=21sinθAC⋅BD
(здесь AC=x1+x2, BD=y1+y2AC=x_1+x_2,\;BD=y_1+y_2AC=x1+x2,BD=y1+y2). Из этой формулы следует главный вывод: - При фиксированных длинах диагоналей AC,BDAC,BDAC,BD и фиксированном угле θ\thetaθ площадь не зависит от отношений rrr и sss (т.е. от того, как диагонали делят друг друга) — площадь константна. 2) Экстремумы при изменении угла. Если ACACAC и BDBDBD фиксированы, то S(θ)=12AC⋅BDsinθ,
S(\theta)=\tfrac12 AC\cdot BD\sin\theta, S(θ)=21AC⋅BDsinθ,
максимум достигается при θ=π2\theta=\tfrac\pi2θ=2π (перпендикулярные диагонали), Smax=12AC⋅BDS_{\max}=\tfrac12 AC\cdot BDSmax=21AC⋅BD; минимум S=0S=0S=0 при θ=0,π\theta=0,\piθ=0,π (вырождение). 3) Другие естественные ограничения на отношения. Если вместо фиксированных сумм AC,BDAC,BDAC,BD заданы, например, фиксированные произведения x1x2=Px_1x_2=Px1x2=P и y1y2=Qy_1y_2=Qy1y2=Q (и θ\thetaθ фиксирован), то S=12sinθ (r+1)(s+1) x2y2=12sinθ (r+1)(s+1)PQrs.
S=\tfrac12\sin\theta\,(r+1)(s+1)\,x_2y_2 =\tfrac12\sin\theta\,(r+1)(s+1)\sqrt{\frac{PQ}{rs}}. S=21sinθ(r+1)(s+1)x2y2=21sinθ(r+1)(s+1)rsPQ.
При фиксированном sss функция по r>0r>0r>0f(r)=r+1r
f(r)=\frac{r+1}{\sqrt r} f(r)=rr+1
имеет единственную критическую точку r=1r=1r=1 и она даёт минимум (так как f(r)→∞f(r)\to\inftyf(r)→∞ при r→0+r\to0^+r→0+ и r→∞r\to\inftyr→∞). Аналогично по sss. Следовательно: - При фиксированных x1x2x_1x_2x1x2 и y1y2y_1y_2y1y2 площадь минимальна при r=s=1r=s=1r=s=1 (точка пересечения — середины диагоналей), а при стремлении rrr или sss к 000 или ∞\infty∞ площадь растёт неограниченно (при прочих фиксированных данных). Выводы — кратко: - При фиксированных длинах диагоналей и фиксированном угле между ними площадь не зависит от отношений r,sr,sr,s (нет экстремумов по этим переменным). - При позволенных изменениях угла максимум при θ=π/2\theta=\pi/2θ=π/2, минимум при вырождении. - При других заданных ограничениях (например, фиксированные произведения частей диагоналей) экстремумы по r,sr,sr,s обычно достигаются при симметрии r=s=1r=s=1r=s=1 (и это минимум в приведённом примере).
AO=x1,OC=x2,BO=y1,OD=y2, AO=x_1,\quad OC=x_2,\quad BO=y_1,\quad OD=y_2,
AO=x1 ,OC=x2 ,BO=y1 ,OD=y2 , и угол между диагоналями θ\thetaθ. Положим также отношения
r=AOOC=x1x2,s=BOOD=y1y2. r=\frac{AO}{OC}=\frac{x_1}{x_2},\qquad s=\frac{BO}{OD}=\frac{y_1}{y_2}.
r=OCAO =x2 x1 ,s=ODBO =y2 y1 .
1) Базовая формула площади. Сумма площадей четырёх треугольников даёт
S=12sinθ (x1y1+y1x2+x2y2+y2x1)=12sinθ (x1+x2)(y1+y2). S=\tfrac12\sin\theta\,(x_1y_1+y_1x_2+x_2y_2+y_2x_1)
=\tfrac12\sin\theta\,(x_1+x_2)(y_1+y_2).
S=21 sinθ(x1 y1 +y1 x2 +x2 y2 +y2 x1 )=21 sinθ(x1 +x2 )(y1 +y2 ). То есть
S=12sinθ AC⋅BD \boxed{\,S=\tfrac12\sin\theta\;AC\cdot BD\,}
S=21 sinθAC⋅BD (здесь AC=x1+x2, BD=y1+y2AC=x_1+x_2,\;BD=y_1+y_2AC=x1 +x2 ,BD=y1 +y2 ). Из этой формулы следует главный вывод:
- При фиксированных длинах диагоналей AC,BDAC,BDAC,BD и фиксированном угле θ\thetaθ площадь не зависит от отношений rrr и sss (т.е. от того, как диагонали делят друг друга) — площадь константна.
2) Экстремумы при изменении угла. Если ACACAC и BDBDBD фиксированы, то
S(θ)=12AC⋅BDsinθ, S(\theta)=\tfrac12 AC\cdot BD\sin\theta,
S(θ)=21 AC⋅BDsinθ, максимум достигается при θ=π2\theta=\tfrac\pi2θ=2π (перпендикулярные диагонали), Smax=12AC⋅BDS_{\max}=\tfrac12 AC\cdot BDSmax =21 AC⋅BD; минимум S=0S=0S=0 при θ=0,π\theta=0,\piθ=0,π (вырождение).
3) Другие естественные ограничения на отношения. Если вместо фиксированных сумм AC,BDAC,BDAC,BD заданы, например, фиксированные произведения x1x2=Px_1x_2=Px1 x2 =P и y1y2=Qy_1y_2=Qy1 y2 =Q (и θ\thetaθ фиксирован), то
S=12sinθ (r+1)(s+1) x2y2=12sinθ (r+1)(s+1)PQrs. S=\tfrac12\sin\theta\,(r+1)(s+1)\,x_2y_2
=\tfrac12\sin\theta\,(r+1)(s+1)\sqrt{\frac{PQ}{rs}}.
S=21 sinθ(r+1)(s+1)x2 y2 =21 sinθ(r+1)(s+1)rsPQ . При фиксированном sss функция по r>0r>0r>0 f(r)=r+1r f(r)=\frac{r+1}{\sqrt r}
f(r)=r r+1 имеет единственную критическую точку r=1r=1r=1 и она даёт минимум (так как f(r)→∞f(r)\to\inftyf(r)→∞ при r→0+r\to0^+r→0+ и r→∞r\to\inftyr→∞). Аналогично по sss. Следовательно:
- При фиксированных x1x2x_1x_2x1 x2 и y1y2y_1y_2y1 y2 площадь минимальна при r=s=1r=s=1r=s=1 (точка пересечения — середины диагоналей), а при стремлении rrr или sss к 000 или ∞\infty∞ площадь растёт неограниченно (при прочих фиксированных данных).
Выводы — кратко:
- При фиксированных длинах диагоналей и фиксированном угле между ними площадь не зависит от отношений r,sr,sr,s (нет экстремумов по этим переменным).
- При позволенных изменениях угла максимум при θ=π/2\theta=\pi/2θ=π/2, минимум при вырождении.
- При других заданных ограничениях (например, фиксированные произведения частей диагоналей) экстремумы по r,sr,sr,s обычно достигаются при симметрии r=s=1r=s=1r=s=1 (и это минимум в приведённом примере).