1º exemplo (bissecção)
Neste caso,
e
para n > 1,
pelo que a matriz A
tem exactamente n
valores próprios complexos distintos, dados por
para todo ,
sendo
uma raiz primitiva de ordem n
da unidade. Logo, vem
Assim, se n
é ímpar, os valores próprios são todos não nulos, pelo
que o determinante da matriz A
é não nulo e existe uma bijecção entre
os pontos iniciais e os pontos determinados pelo processo de bissecção.
Se n é
par, então
e o determinante de A
é 0,
pelo a correspondência entre os pontos iniciais e os pontos determinados
pelo processo de bissecção não é bijectiva.
2º exemplo (trissecção)
Neste caso, ,
e
para j > 1,
pelo que a matriz A
tem exactamente n
valores próprios complexos distintos, dados por
para todo ,
sendo
uma raiz primitiva de ordem n
da unidade. Logo, vem
sendo esta uma equação
impossível para .
Portanto, os valores próprios são todos não nulos, pelo que o
determinante da matriz A
é não nulo e a correspondência entre os pontos
iniciais e os pontos determinados pelo processo de trissecção é
bijectiva.
3º exemplo
Neste caso, dado algum
valor de p
entre 0 e 1,
,
e
para j > 1,
pelo que a matriz A
tem exactamente n
valores próprios complexos distintos, dados por
para todo ,
sendo
uma raiz primitiva de ordem n
da unidade. Logo, vem
sendo esta uma equação
impossível para
se
,
ou seja, se
(se
,
então temos
e
para j > 1,
o que já foi analisado no primeiro exemplo). Se
,
então os valores próprios são todos não nulos, pelo que
o determinante da matriz A
é não nulo (de facto, prova-se que o determinante
de A
é
)
e a correspondência entre os pontos iniciais e os pontos determinados por
este processo é bijectiva. Note-se que, se
,
então temos
,
e
para j > 1,
o que já tinha sido analisado no segundo exemplo.
4º exemplo
Neste caso,
e
para
,
pelo que a matriz A
tem n valores
próprios complexos (não necessariamente distintos), dados por
para todo ,
sendo
uma raiz primitiva de ordem n
da unidade. Logo, vem
Portanto, se n
não é múltiplo de 4,
os valores próprios são todos não nulos, pelo que o determinante
da matriz A é
não nulo e existe uma bijecção entre os pontos iniciais e os
pontos determinados por este processo. Se n
é múltiplo de 4,
então
e o determinante de A
é 0, pelo que
a correspondência entre os pontos iniciais e os pontos determinados por
este processo não é bijectiva.