Il faut que je démontre l'équivalence suivante:
z réel ssi arg(z)=0[pi]

Bon alors je pars de l'égalité suivante: z=a+ib=rcos§ +isin§
Or si arg(z)=0[pi] alors z=rcos0 + isin0 = r
Donc z est réel.

Est-ce suffisant comme démonstration?