Funciones trigonomtricas de

radianes de un entero no divisible por 3 (por ejemplo,

e
) no se
pueden expresar en trminos de sumas, productos y finitos extracciones de races de nmeros racionales ,
porque 9 no es un producto de la distinta Fermat prepara . Esto tambin significa que el
ordinario nongono no es un polgono construible .
Sin embargo, las expresiones exactas que involucran races de complejos nmeros todava pueden derivar
utilizando la identidad trigonomtrica

(1)
Deje

. A continuacin, la identidad anterior da la ecuacin cbica

(2)
(3)
Este cbico es de la forma

(4)
donde
(5)
(6)
El discriminante polinomio es luego

(7)
Hay por lo tanto tres reales races distintas, que son aproximadamente
que el uno en el primer cuadrante , que es aproximadamente 0.3420.

, 0,3420, y 0,6428. Queremos

(8)

(9)

(10)
(11)
Del mismo modo,
(12)
(13)

Debido a la frmulas de Vieta , tenemos las identidades

(14)
(15)
(16)
( 15 ) se conoce como la ley de Morrie .
Ramanujan descubri la identidad interesante

(17)