\[Схематический\ рисунок.\]
\[Дано:\]
\[ABC\ldots - прав.восьмиугольник;\]
\[O - центр\ опис.\ окружности;\]
\[OA = OB = R.\]
\[Доказать:\]
\[AB = R\sqrt{2 - \sqrt{2}}.\]
\[Доказательство.\]
\[Решение:\]
\[1)\ \angle AOB = \frac{360{^\circ}}{8} = 45{^\circ}.\]
\[2)\ В\ \mathrm{\Delta}AOB:\]
\[AB^{2} = AO^{2} + OB^{2} - 2AO \bullet OB\cos{\angle O} =\]
\[= R^{2} + R^{2} - 2R \bullet R \bullet \cos{45{^\circ}} =\]
\[= 2R^{2} - \sqrt{2}R^{2};\ \ \]
\[AB = R\sqrt{2 - \sqrt{2}}.\]
\[Что\ и\ требовалось\ доказать.\]