Je viens de me rendre compte que l'on n'avait pas noté cette démonstration dans le cours, mais en fait elle découle du résultat suivant :
arg(1/z)= - arg(z)
1/z = (conjugué de z) / z*conjugué de z
Si z= r(cos a +i sin a)
conjugué de z =(r(cos -a + i sin -a)
d'où 1/z = [r (cos -a + i sin -a)] / r²
1/z= 1/r (cos-a + i sin -a)
donc module de 1/z = 1/r et arg 1/z = -arg z
Or on sait que arg(zz') = arg(z) + arg(z')
Donc arg(z/z') = arg(z*(1/z')) = arg z - arg(z')
Ca doit être ça.