Soit D cet ensemble,
Supposons que z admet une forme algébrique de la forme x+yi
M€D <=> |z|=z
<=> sqrt(x²+y²)=x+iy
<=> x²+y²=(x+iy)²
<=> x²+y²=x²+2xiy-y²
<=>2y²=2xiy
<=>y²=iyx (en supposant que y non nul)
<=>y=ix
C´est à dire la droite d´équation y=x
Si y=0, on a |x|=x pour x>0 d´où M(x;0)€D
C´est à dire la demidroite d´équation {x>0;y=0}
D´où D est l´ensemble des droits y=x et {x>0;y=0}
Le résultat me semble étrange, possible que je me sois gouré. ^^