Построение правильного восьмиугольника путем отсечения углов квадрата

Пусть катет красного треугольника равен х см, а сторона квадрата равна а см. Тогда:
(a-2*x)=sqrt(2*x²)
a²-4*a*x+4*x²=2*x²
2*x²-4*a*x+a²=0
Решаем ЭЛЕМЕНТАРНОЕ квадратное уравнение:
x=(4*a+/-√(16*a²-8*a²))/4=a*(1+/-√(2)/2)
Поскольку x<a, то:
x=a*(1-√(2)/2)≈0,293*a,
а сторона восьмиугольника равна:
a-2*x=a-2*a+√(2)*a=a*(√(2)-1)≈0,414*a
По математике-то в школе что было? "Твердый троячок-с", верно?

Через синус 360/16 и умножить его на 2.

Свернуть квадрат по диагонали и загнуть два угла, распрямить согнуть в другую сторону по диагонали загнуть два угла, у шестиугольника загнуть два угла и будет восьмикгольник