Tout polynôme du second degré en X est factorisable dans l'ensemble C des complexes.
En effet l'équation aX² + bX + c = 0 possède deux solutions dans C (Si b²-4ac<0 les solutions sont deux complexes conjugués) appelons-les x1 et x2
la factorisation est alors P(X) = a(X - x1) (X - x2)
Dans ton cas
a = 1; b = -2cos a; c=1
b²-4ac = 4 cos²a - 4*1*1 = 4(cos²a -1) = 4(-sin²a) = -4sin²a < 0
x1 = (-b + rac(b²-4ac)) / 2a = (2 + 2isin a)/2 = 1+i sina
x2 = (1 - i sin a)
P(X) = 1 (X - 1 - i sin a) (X - 1 + i sin a)
