Обозначим коэффициент подобия треугольников FCD и FC’D’ через k (k может быть больше или меньше единицы). Очевидно, что:
Отсюда:
или, если обозначить
AB+BF+FAчерез 2p, а CF+FD-DC- через 2q:
Далее, из подобия треугольников CDF и C’D’F следует:
C’F+ FD’- C’D’=2kq, откуда AB+BC+CD+DA=AB+BF+FA-(CF+FD-CD)=2(p-q),
AB+BC’+C’D’+D’A=AB+BF+FA-(C’F+FD’-C’D’)=2(p-kq).
В силу этого неравенство (*) примет следующий вид:
Перенося оба члена неравенства в левую часть и умножая его на (положительное) число (p-q) (p-kq) 2, получим:
(p-kq) 2 -(p-q) (p-k2q)
что после раскрытия скобок и упрощения дает:
(1- k) 2pq
Последнее неравенство очевидно справедливо. [6, 249]
б) Для простоты решим сначала задачу для случая пятиугольника, и пусть М=АВСDЕ иM’= А’В’С’D’Е’- два пятиугольника с периметрами Р и Р’ и площадями S и S’, имеющие равные углы, причем М описан вокруг окружности s радиуса r, а M’ не подобен М. Для того что бы доказать неравенство:
отбросим соответствующие стороны DЕ и D’E’ пятиугольников М и М’ (такие, что D+
Е=
D’+
E’>1800) и продолжим примыкающие к DЕ и D’E’ стороны до их пересечения. При этом мы получим два четырехугольника ABCT и A’B’C’T’ с соответственно равными углами, причем четырехугольник ABCT описан вокруг окружности s (рис. 1.2.13). Для упрощения выкладок будем считать, что размеры исходных пятиугольников выбраны так, что рассматриваемые четырехугольники имеют одинаковые периметры, равные Р1(выполнение этого условия всегда можно добиться, преобразовав, если надо, пятиугольник М’ подобно).
Рис. 1.2.13
Ясно, что
В силу результата задачи а)
1, причем
=1, лишь, если A’B’C’T’ тоже описан около окружности, т.е. если он равен ABCT.
Далее обозначим DT+ТЕ-DЕ=pиD’T’+Т’Е’-D’Е’=kp , гдеk- коэффициент подобия треугольников
то
Далее имеем:
S=SM=
P=AB+BC+CD+DE+EA=(AB+BC+CT+TA)- (DT+TE-ED).
S’=S M’ =
P’ =A’B’+B’C’+C’D’+D’E’+E’A’=(A’B’+B’C’+C’T’+T’A’)- (D’T’+T’E’-E’D’).
Поэтому неравенство (**) примет вид:
т.е.
Но последнее неравенство действительно справедливо:
так как 1- ,а
по самому определению этих величин. В последнем неравенстве стоит знак >, а не
Решение задачи для n-угольника проводится по методу математической индукции. Оно ничем не отличается от выше приведенного, и все выкладки имеют точно такой же вид. Только вместо пятиугольника всюду надо говорить об n-угольнике и вместо четырехугольника - об (п-1)-угольнике, для которого, по предположению индукции, теорема считается уже доказанной (что позволяет утверждать, что
Задача №1.2.5
Пусть АВ — хорда фигуры Ф, делящая периметр Ф пополам. Если хорда АВ делит площадь Ф на две неравные части, то существует фигура
S A’P’B’ >S
APB. [8, 237]
Рис. 1.2.14
Отразив теперь полученную фигуру А’Р’В’ относительно хорды А’В’,мы получим фигуру