Bonjour,
Il y a mieux et plus simple:
Montrer que Re(z)>0 et |z²-1/2|<1/2 entrainent que |z-1/2|<1/2.
La condition |z-1/2|<1/2 est équivalente à (x-1/2)²+y²<1/4 soit encore x²+y²<x soit encore r<cos(t) en passant en coordonnées polaires.
En l'écrivant pour z² on obtient r²<cos(2t)=cos(t)²-sin(t)² d'où r²<cos(t)² qui donne bien, puisque cos(t)>0 , r<cos(t) c'est-à-dire la conclusion.
Le disque de centre 1/2 et de rayon 1/2 est inclus dans le disque de centre 1/3 et de rayon 2/3.