Назад
Задача

а) Докажите, что среди всех выпуклых четырёхугольников с данными углами и данным периметром наибольшую площадь имеет описанный четырёхугольник. б) Докажите, что среди всех выпуклыхn-угольниковA1...Anс данными величинами угловAiи данным периметром наибольшую площадь имеет описанныйn-угольник.

Решение

Для всех подобных многоугольников отношение площади к квадрату периметра постоянно. Поэтому достаточно доказать, что среди всех выпуклых многоугольников с данными углами отношение площади к квадрату периметра будет наибольшим для описанного многоугольника. а) Рассмотрим сначала случай, когда четырёхугольникABCD— параллелограмм с заданным углом α. Если его стороны равныaиb, то отношение площади к квадрату периметра равно

$\displaystyle {\frac{ab\sin\alpha }{4(a+b)^2}}$$\displaystyle \le$$\displaystyle \left(\vphantom{\frac{a+b}{2}}\right.$$\displaystyle {\frac{a+b}{2}}$$\displaystyle \left.\vphantom{\frac{a+b}{2}}\right)^{2}_{}$$\displaystyle {\frac{\sin\alpha }{4(a+b)^2}}$ = $\displaystyle {\textstyle\frac{1}{16}}$sin$\displaystyle \alpha$,

причём равенство достигается только приa=b, т.е. в случае, когдаABCD— ромб. Ромб является описанным четырёхугольником. Будем теперь считать, чтоABCD— не параллелограмм. Тогда продолжения двух его сторон пересекаются. Пусть для определённости лучиABиDCпересекаются в точкеE. Проведём прямуюB'C'||BC, касающуюся вписанной в треугольникAEDокружности (рис.; точкиB'иC'лежат на сторонахAEиDE). Пустьr— радиус вписанной окружности треугольникаAED,O-- её центр. Тогда
SEB'C' = SEB'O + SEOC' - SOB'C' = $\displaystyle {\frac{r}{2}}$(EB' + EC' - B'C') = qr,
гдеq= (EB'+EC'-B'C')/2. Поэтому
SABCD = SAED - SEBC = SAED - k2SEB'C' = pr - k2qr,
гдеp— полупериметр треугольникаAED,k=EB/EB'. Вычислим теперь периметрABCD. Сумма периметровABCDиEBCравна сумме периметраAEDи 2BC, поэтому периметрABCDравен2p- (EB+EC-BC) = 2p- 2kq. Следовательно, отношение площади четырёхугольникаABCDк квадрату его периметра равно${\frac{pr-k^2qr}{4(p-kq)^2}}$. Для описанного четырёхугольникаAB'C'D'такое отношение равно${\frac{pr-qr}{4(p-q)^2}}$, поскольку для негоk= 1. Остаётся доказать неравенство${\frac{pr-k^2qr}{4(p-kq)^2}}$$\le$${\frac{pr-qr}{4(p-q)^2}}$, т.е.${\frac{p-k^2q}{4(p-kq)^2}}$$\le$${\frac{1}{p-q}}$(сократить наp-qможно, потому чтоp>q). Неравенство(p-k2q)(p-q)$\le$(p-kq)2верно, поскольку его можно привести к виду-pq(1 -k)2$\le$0. Равенство достигается только приk= 1, т.е. в случае, когда четырёхугольникABCDописанный.
б) Доказательство проведём индукцией поn. Дляn= 4 утверждение доказано в задаче а). Доказательство шага индукции начнём с доказательства того, что приn$\ge$5 у любогоn-угольника есть сторона, для которой сумма прилегающих к ней углов больше180o. Действительно, сумма всех пар углов, прилегающих к сторонам, равна удвоенной сумме угловn-угольника, поэтому сумма углов, прилегающих к одной из сторон, не меньше(n- 2) . 360o/n$\ge$360o . 3/5 > 180o. Пусть для определённости сумма углов при вершинахA1иA2больше180o. Тогда лучиAnA1иA3A2пересекаются в точкеB(рис.). Рассмотрим также вспомогательный описанныйn-угольникA1'...An' со сторонами, параллельными сторонамA1...An. Обозначим точку пересечения лучейAn'A1' иA3'A2' черезB'. Для облегчения вычислений будем считать, что периметры (n- 1)-угольниковBA3A4...An - 1иB'A3'A4'...An - 1' одинаковы и равныP(этого можно добиться переходом к подобным многоугольникам). Пустьr— радиус вписанной окружности многоугольникаA1'...An'. Тогда площадь многоугольникаB'A3'A4'...An - 1' равнаrP/2. По предположению индукции площадь (n- 1)-угольникаBA3A4...An - 1не больше площадиB'A3'A4'...An - 1', т.е. она равна$\alpha$rP/2, где$\alpha$$\le$1, причём$\alpha$= 1 только в случае, когда многоугольникB'A3'A4'...An - 1' описанный. Пусть площадь треугольникаA1'A2'B'равнаS, а коэффициент подобия треугольниковA1A2BиA1'A2'B'равенk. Тогда площадь треугольникаA1A2Bравнаk2S. Ясно, что
S = $\displaystyle {\textstyle\frac{1}{2}}$rA1'B' + $\displaystyle {\textstyle\frac{1}{2}}$rA2'B' - $\displaystyle {\textstyle\frac{1}{2}}$rA1'A2' = $\displaystyle {\textstyle\frac{1}{2}}$rq,
гдеq=A1'B'+A2'B'-A1'A2'. Поэтому площади многоугольниковA1...AnиA1'...An' равныr(P-q)/2 иr($\alpha$P-k2q)/2, а их периметры равныP-qиP-kq. Остаётся доказать, что
$\displaystyle {\frac{\alpha P-k^2q}{(P-kq)^2}}$$\displaystyle \le$$\displaystyle {\frac{P-q}{(P-q)^2}}$ = $\displaystyle {\frac{1}{P-q}}$,
причём равенство достигается только при$\alpha$= 1 иk= 1 (если$\alpha$= 1, то многоугольникиBA3A4...An - 1иB'A3'A4'...An - 1' равны, а если при этом ещё иk= 1, то$\triangle$A1A2B=$\triangle$A1'A2'B', т.е. многоугольникиA1...AnиA1'...An' равны). Несложные вычисления показывают, что неравенство(P-q)($\alpha$P-k2q)$\le$(P-kq)2эквивалентно неравенству
0$\displaystyle \le$Pq(1 - k)2 + (1 - α)(P - q)P.
Последнее неравенство справедливо, причём равенство достигается только при α = 1.
Ответ

Ответ задачи отсутствует

Чтобы оставлять комментарии, войдите или зарегистрируйтесь

Комментариев нет