ПРАВИЛЬНІ МНОГОКУТНИКИ
51
Мал. 70 Мал. 71
Теорема (властивість правильного многокутника).
Якщо многокутник правильний, то навколо нього
можна описати коло і в нього можна вписати коло.
Дано: многокутник АВСD…F;
АВ = ВС = СD = … = FA, A = B = C = … = F.
Довести: 1) OA = OB = OC = … = OF (мал. 70);
2) OM = ON = OP = …= OE (мал. 71).
Доведення. 1) Нехай бісектриси кутів А і В правильного многокутника
АВСD…F перетинаються в точці О (мал. 70).
Оскільки А = В, то і ОАВ = ОВА =
α
2
, де α – кут многокутника.
Тоді АОВ – рівнобедрений і ОА = ОВ.
Сполучимо точку О відрізками з рештою вершин многокутника.
У трикутників АОВ і ВОС сторона ОВ – спільна, АВ = ВС за умовою,
ОВА = ОВС =
α
2
, оскільки ОВ – бісектриса кута В. Отже, АОВ = ВОС,
звідки ОВ = ОС.
Так само у трикутників ВОС і СОD сторона ОС – спільна, ВС = СD, за умо>
вою, ОСВ = ОСD =
α
2
(за доведеним, ВОС – рівнобедрений і
ОВС = ОСВ =
α
2
, тоді і ОСD =
α
2
).
Отже, ВОС = СОD, звідки OC=OD. Таким чином, ОА = ОВ = ОС = ОD.
Продовжуючи порівняння сусідніх трикутників, отримаємо:
ОА=ОВ=ОС=ОD= … = OF.
Отже, всі вершини даного многокутника лежать на колі з центром О.
2) Ми довели, що АОВ = ВОС = СОD = … = FOA
(мал. 71). Тому висоти
цих трикутників, проведені з вершини О, також рівні: ОM=ON= OP=…=OE.
Звідси випливає, що коло з центром О і радіусом ОМ проходить через точки M,
N, P,…, E і дотикається до сторін многокутника АВСD…F в цих точках, тобто це
коло вписане в даний правильний многокутник.
geom_9_2009_1_r1_r4_n.pmd 08.07.2009, 17:3451