en fait, tu as un système de 4 équations à 3 inconnus. Ici tu as :
a = 1
b+ai = -8+i
c+bi = 17-8i
et c = 17
tu résout c = 17, b = -8 et a = 1 ... et c'est tout. Qu'est-ce qui te dérange ? Ici, avec ces valeurs de a, b et c, en remplaçant dans les 4 équations, tu obtient les bonnes valeurs, donc il n'y a aucun soucis. Si tu avait eu, par exemple :
a = 1
b+ai = -8+2i
tu aurais eu a = 1 et a = 2, c'est impossible donc il n'y a pas de solution (c'est à dire que l'équation z^3 + ( -8+2i)z² + ( 17-8i )z + 17i ne peut pas se mettre sous la forme factorisée ( z+i )( az² + bz + c ) )
mais là, tout va bien. Tu as z^3 + ( -8+i)z² + ( 17-8i )z + 17i = (z+i)(z²-8z+17).
C'est donc à sa que sert le 4ième monome, à vérifier que ton système est cohérent.