Условие
Внутри окружности расположен выпуклый пятиугольник (вершины могут лежать как
внутри, так и на окружности). Доказать, что хотя бы одна из его сторон не
больше стороны правильного пятиугольника, вписанного в эту окружность.
Решение
Предположим сначала, что центр
O окружности лежит
внутри данного пятиугольника
A1A2A3A4A5. Рассмотрим углы
A1OA2,
A2OA3,...,
A5OA1. В сумме эти пять углов дают 2
![$ \pi$](show_document.php?id=1060857)
,
поэтому один из них, например
A1OA2, не превосходит 2
![$ \pi$](show_document.php?id=1060857)
/5. Тогда
отрезок
A1A2 можно поместить в сектор
OBC, где
BOC = 2
![$ \pi$](show_document.php?id=1060857)
/5 и точки
B и
C расположены на окружности.
Докажем, что любой отрезок
MN, расположенный в треугольнике
ABC, не
больше наибольшей стороны. Пусть прямая
MN пересекает стороны
треугольника в точках
M1 и
N1. Ясно, что
MN
M1N1. Пусть
точка
M1 лежит на стороне
AB, а точка
N1 — на
BC.
Так как
AM1N1 +
BM1N1 = 180
o, то один из этих углов
не меньше
90
o. Пусть для определённости
AM1N1![$ \ge$](show_document.php?id=1060846)
90
o. Тогда
AN1
M1N1, так как против большего угла лежит
большая сторона. Аналогично доказывается, что либо
AN1
AB,
либо
AN1
AC. Следовательно, длина отрезка
MN не превосходит длины
отрезка с концами в вершинах треугольника.
В треугольнике
OBC наибольшей стороной является
BC,
поэтому
A1A2
BC.
Если точка
O не принадлежит данному пятиугольнику, то углы
A1OA2,...,
A5OA1 дают в объединении угол меньше
![$ \pi$](show_document.php?id=1060857)
, причём каждая
точка этого угла покрыта ими дважды. Поэтому в сумме эти пять углов
дают меньше 2
![$ \pi$](show_document.php?id=1060857)
, т. е. один из них меньше 2
![$ \pi$](show_document.php?id=1060857)
/5. Дальнейшее
доказательство аналогично предыдущему случаю.
Если точка
O лежит на стороне пятиугольника, то один из
рассматриваемых углов не больше
![$ \pi$](show_document.php?id=1060857)
/4, а если она является его
вершиной, то один из них не больше
![$ \pi$](show_document.php?id=1060857)
/3. Ясно,
что
![$ \pi$](show_document.php?id=1060857)
/4 <
![$ \pi$](show_document.php?id=1060857)
/3 < 2
![$ \pi$](show_document.php?id=1060857)
/5.
Источники и прецеденты использования