Considere o polinômio
P(x) = xn + ?n-1xn-1 +... + ?1x + ?o .
em que ?o , ..., ?n-1 ? ?. Sabe-se que as suas n raízes estão sobre a circunferência unitária e que ?o < 0.
O produto das n raízes de P(x), para qualquer inteiro n ? 1 , é: