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