Для всех подобных многоугольников отношение площади к квадрату периметра
постоянно. Поэтому достаточно доказать, что среди всех выпуклых многоугольников
с данными углами отношение площади к квадрату периметра будет наибольшим для
описанного многоугольника.
а) Рассмотрим сначала случай, когда четырёхугольник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и
2
BC, поэтому периметр
ABCDравен2
p- (
EB+
EC-
BC) = 2
p- 2
kq. Следовательно,
отношение площади четырёхугольника
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-угольника есть сторона, для которой сумма прилегающих к
ней углов больше180
o. Действительно, сумма всех пар углов,
прилегающих к сторонам, равна удвоенной сумме углов
n-угольника, поэтому
сумма углов, прилегающих к одной из сторон, не меньше(
n- 2)
. 360
o/
n$\ge$360
o . 3/5 > 180
o.
Пусть для определённости сумма углов при вершинах
A1и
A2больше180
o. Тогда лучи
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.