cos3θ=cos3(θ)
cos3(θ−π3)=cos(3θ−π)=−cos3θ
Como −y=−cos(θ−π3)=cos(θ+2π3),
cos3(θ+π3)=cos(2π+3θ)=cos3θ
cos3(θ−2π3)=cos(3θ−2π)=cos3θ
Ahora, cos3θ=4cos3θ−3cosθ
Si cos3θ=a cosθ=t
Por eso, x,−y,z son las raíces de 4t3−3t−a=0
=>x+(−y)+z=0
=>x(−y)+(−y)z+zx=34
=>x2+y2+z2=(x+(−y)+z)2−2(x(−y)+(−y)z+zx)=0+234
=>x2+y2+z2=32
Observar que (x,y,z) satisfacer un plano general de la ecuación de Ax+By+CZ+D=0 donde A,B,C,D constantes, no todos los ceros.
Además, satisface la ecuación general de la circunferencia en 3-D, (x−a)2+(y−b)2+(z−c)2=d2. a=b=c=0,d2=32
En caso de x,y,z,w,
z=cos(θ−2π4)=sinθ,
√2y=cosθ+sinθ,
√2w=−cosθ+sinθ
Por eso,x2+z2=1 w2+y2=1
x2+y2+z2+w2=2
Ahora √2(y+w)=2sinθ=2z=>√2z=y+w
Del mismo modo, y−w=√2x
Observar que (x,y,z,w) cumple dos plano general de las ecuaciones Ax+By+CZ+Dw=E donde A,B,C,D,E constantes, no todos los ceros.
Además, satisface la ecuación general de la circunferencia en 4-D, (x−a)2+(y−b)2+(z−c)2+(w−d)2=e2 . a=b=c=d=0,e2=2
De nuevo, sabemos cosnx=parte Real de la (cosx+isinx)n=(cosx)n+nC2(cosx)n−2(sinx)2+nC4(cosx)n−4(sinx)4+...
Observar no hay ningún término que contiene a =(cosx)n−1
Como cosn(2x−2riπn)=cos(2nx−2riπ)=cos2nx=C(say)
Por eso, cos(2x−2riπn)=Ri(por ejemplo), donde todos los ris son distintos enteros con 0≤ri<n son las raíces de la ecuación
2n−1yn+C1yn−2+...−C=0
Por eso, ∑Ri=0 como el coeficiente de yn−1 es 0.
Si xi=cos(x−riπn)=>Ri=2(xi)2−1
Por eso, ∑(2(xi)2−1)=0=>∑(xi)2=n2
Esta es otra manera de generalización("La curva se encuentra en una esfera") ya alcanzado por Rahul Narain.