Сторона правильного четырехугольника, вписанного в окружность: теория и вычисления