Так как углы меньшего многоугольника располагаются на середине сторон, а сторон восемь, значит и углов будет восемь. Т.е. меньший многоугольник является восьмиугольником. Теперь докажем, что он правильный.
Рассмотрим треугольники ABC, CDE и EFG. AB=BC=CD=DE=EF=FG (по определению правильного многоугольника).
/ABC=/CDE=/EFG (по определению правильного многоугольника).
Следовательно, рассматриваемые треугольники равны (по первому признаку равенства треугольников).
Это означает, что AC=CE=EG=GA.
Из равенства этих треугольников также следует, что все их острые углы тоже равны (/BAC=/BCA=/DCE=...и т.д.). Следовательно, /ACE=/CEG=...и так далее
В итоге, по определению правильного многоугольника получается, меньший восьмиугольник - правильный.
Рассмотрим треугольники ABC, CDE и EFG. AB=BC=CD=DE=EF=FG (по определению правильного многоугольника).
/ABC=/CDE=/EFG (по определению правильного многоугольника).
Следовательно, рассматриваемые треугольники равны (по первому признаку равенства треугольников).
Это означает, что AC=CE=EG=GA.
Из равенства этих треугольников также следует, что все их острые углы тоже равны (/BAC=/BCA=/DCE=...и т.д.). Следовательно, /ACE=/CEG=...и так далее
В итоге, по определению правильного многоугольника получается, меньший восьмиугольник - правильный.