Macavity писал(а):
Вероятно, отсутствие формулы связано с неразрешимостью трисекции угла. Или нет?
Не из-за отсутствия формулы эта задача с помощью циркуля и линейки неразрешима. Несложно доказать, что с помощью циркуля и линейки можно получить только числа, выражаемые квадратичными расширениями поля Q. Для решения общего уравнения третьей степени (хотя оно и разрешимо в радикалах, т.е. Группа Галуа разрешимая группа), приходится пользоваться кубическими корнями, чего нельзя добиться циркулем и линейкой. В частности, в задаче построения правильного n угольника, разрешимость имеет место тогда и только тогда, когда максимальный нечётный делитель n представляется в виде произведения различных простых чисел Ферма. Пока известно только 5 простых числа Ферма 3,5,17,257,65537 (и есть соображения, что других нет), соответственно циркулем и линейкой можно построить только 32 правильных многоугольника с нечётным числом сторон.