Дан правильный восьмиугольник. Докажите, что если его вершины последовательно соединить отрезками через одну, то получится квадрат. Какие теоретические факты используются в решении данной задачи?

• Формула для нахождения угла правильного многоугольника.
• Определение равнобедренного треугольника.
• Определение равностороннего треугольника.
• Свойство углов треугольника.
• Свойство измерения углов.
• Признак равенства треугольников по двум сторонам и углу между ними.
• Определение равных треугольников
• Определение квадрата.