Ese cos("nx") es un polinomio de grado "n"-ésimo en cos("x") que puede obtenerse observando que cos("nx") es la parte real de un lado de la fórmula de De Moivre, y que la parte real del otro lado es un polinomio en cos("x") y sin("x"), en el que todas las potencias de sin("x") son pares, luego reemplazables vía la identidad cos²("x") + sin²("x") = 1.