Soit
m un nombre réel positif ou nul. Géométriquement, dans le plan complexe, l'égalité
∣z∣=m à pour solution tous les nombres complexes
z qui se trouvent sur le cercle de centre
O(0;0) et de rayon
m. Autrement dit, il y a une infinité de nombres complexes distincts
z qui ont le même module
m.
Soit
z1 et
z2 deux nombres complexes distincts qui se situent dans le plan complexe sur le cercle de centre
O(0;0) et de rayon
m. Donc
∣z1∣=∣z2∣=m. On a alors :
(z1=z2)⟹(∣z1∣=∣z2∣)Autrement écrit :
(z1=z2)⟹(f(z1)=f(z2))Donc l'application
f n'est pas injective