Условие
Числа
![$ \alpha_{1}^{}$](show_document.php?id=603736)
,...,
![$ \alpha_{n}^{}$](show_document.php?id=603740)
, сумма которых равна (
n - 2)
![$ \pi$](show_document.php?id=603785)
,
удовлетворяют неравенствам
0 <
![$ \alpha_{i}^{}$](show_document.php?id=603781)
< 2
![$ \pi$](show_document.php?id=603785)
. Докажите, что существует
n-угольник
A1...
An с углами
![$ \alpha_{1}^{}$](show_document.php?id=603736)
,...,
![$ \alpha_{n}^{}$](show_document.php?id=603740)
при вершинах
A1,...
An.
Решение
Доказательство проведем индукцией по
n. При
n = 3 утверждение
очевидно. Если одно из чисел
![$ \alpha_{i}^{}$](show_document.php?id=603781)
, равно
![$ \pi$](show_document.php?id=603785)
, то шаг
индукции очевиден, поэтому можно считать, что все числа
![$ \alpha_{i}^{}$](show_document.php?id=603781)
отличны от
![$ \pi$](show_document.php?id=603785)
. Если
n![$ \ge$](show_document.php?id=603706)
4, то
![$ {\frac{1}{n}}$](show_document.php?id=603701)
![$ \sum\limits_{i=1}^{n}$](show_document.php?id=603702)
(
![$ \alpha_{i}^{}$](show_document.php?id=603781)
+
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
) = 2(
n - 2)
![$ \pi$](show_document.php?id=603785)
/
n![$ \ge$](show_document.php?id=603706)
![$ \pi$](show_document.php?id=603785)
, причем равенство достигается
только для четырехугольника. Значит, в любом случае, кроме
параллелограмма
(
![$ \alpha_{1}^{}$](show_document.php?id=603736)
=
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{2}^{}$](show_document.php?id=603710)
=
![$ \alpha_{3}^{}$](show_document.php?id=603711)
=
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{4}^{}$](show_document.php?id=603713)
), найдутся два
соседних числа, сумма которых больше
![$ \pi$](show_document.php?id=603785)
. Более того, найдутся
такие числа
![$ \alpha_{i}^{}$](show_document.php?id=603781)
и
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
, что
![$ \pi$](show_document.php?id=603785)
<
![$ \alpha_{i}^{}$](show_document.php?id=603781)
+
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
< 3
![$ \pi$](show_document.php?id=603785)
. В самом деле, если все данные числа меньше
![$ \pi$](show_document.php?id=603785)
,
то можно взять вышеуказанную пару чисел; если же
![$ \alpha_{j}^{}$](show_document.php?id=603722)
>
![$ \pi$](show_document.php?id=603785)
, то
можно взять такие числа
![$ \alpha_{i}^{}$](show_document.php?id=603781)
и
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
, что
![$ \alpha_{i}^{}$](show_document.php?id=603781)
<
![$ \pi$](show_document.php?id=603785)
и
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
>
![$ \pi$](show_document.php?id=603785)
. Пусть
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
=
![$ \alpha_{i}^{}$](show_document.php?id=603781)
+
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
-
![$ \pi$](show_document.php?id=603785)
. Тогда
0 <
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
< 2
![$ \pi$](show_document.php?id=603785)
, поэтому по предположению индукции
существует (
n - 1)-угольник
M с углами
![$ \alpha_{1}^{}$](show_document.php?id=603736)
,...,
![$ \alpha_{i-1}^{}$](show_document.php?id=603737)
,
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
,
![$ \alpha_{i+2}^{}$](show_document.php?id=603739)
,...,
![$ \alpha_{n}^{}$](show_document.php?id=603740)
.
Возможны три случая: 1)
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
<
![$ \pi$](show_document.php?id=603785)
, 2)
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
=
![$ \pi$](show_document.php?id=603785)
,
3)
![$ \pi$](show_document.php?id=603785)
<
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
< 2
![$ \pi$](show_document.php?id=603785)
. В первом случае
ai +
ai + 1 < 2
![$ \pi$](show_document.php?id=603785)
,
поэтому одно из этих чисел, например
![$ \alpha_{i}^{}$](show_document.php?id=603781)
, меньше
![$ \pi$](show_document.php?id=603785)
.
Если
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
<
![$ \pi$](show_document.php?id=603785)
, то отрежем от
M треугольник с углами
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i}^{}$](show_document.php?id=603781)
,
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
,
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
(рис.,
а), если
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
>
![$ \pi$](show_document.php?id=603785)
, то приставим к
M треугольник с углами
![$ \alpha_{i}^{}$](show_document.php?id=603781)
,
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
-
![$ \pi$](show_document.php?id=603785)
,
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
(рис.,
б). Во втором
случае отрежем от
M трапецию с основанием, лежащим на стороне
Ai - 1Ai*Ai + 2 (рис.,
в). В третьем случае
![$ \alpha_{i}^{}$](show_document.php?id=603781)
+
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
>
![$ \pi$](show_document.php?id=603785)
, поэтому одно из этих чисел, например
![$ \alpha_{i}^{}$](show_document.php?id=603781)
,
больше
![$ \pi$](show_document.php?id=603785)
. Если
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
>
![$ \pi$](show_document.php?id=603785)
, то приставим
к
M треугольник с углами
![$ \alpha_{i}^{}$](show_document.php?id=603781)
-
![$ \pi$](show_document.php?id=603785)
,
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
-
![$ \pi$](show_document.php?id=603785)
,
2
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
(рис.,
г), если
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
<
![$ \pi$](show_document.php?id=603785)
, то отрежем от
M треугольник
с углами
2
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i}^{}$](show_document.php?id=603781)
,
![$ \pi$](show_document.php?id=603785)
-
![$ \alpha_{i+1}^{}$](show_document.php?id=603783)
и
![$ \alpha_{i}^{*}$](show_document.php?id=603784)
-
![$ \pi$](show_document.php?id=603785)
(рис.,
д).
Источники и прецеденты использования