J'avoue que j'ai eu du mal aussi, je sais pas pourquoi
Bon on arrive assez facilement à :
z1 = e^i(x + Pi/4) + 1 = e^i(x + Pi/4) + e^2iPi
Après la technique c'était de factoriser par la somme des arguments sur deux ou un truc comme ça, je me rappelle plus exactement mais là ça a marché :
e^i(x + Pi/4) + e^2iPi = e^i(x/2 + 9Pi/2)*[e^i(x/2 - 7Pi/8) + e^i(-x/2 + 7Pi/8)]
Et là on utilise la formule cos y = [e^(iy) + e^(-iy)]/2...
Puis on trouve ce que j'ai mis 