Tu poses A et B comme ils ont fait. Soit M le point d'affixe z. Notre nombre appartient à $iR$ si son argument vaut $pi/2$ mod pi. Tu utilises tes propriétés : $arg(z-z_a)-arg(z-z_b)=pi/2 (mod pi)$.
D'où en angle orienté, (u, AM)-(u, BM)=pi/2 modulo pi. Tu simplifies et tu utilises Chasles
D'où (BM,AM)=pi/2 (mod pi).
Donc tu as un cercle de diamètre AB en M.
Faut faire gaffe quelque fois tu as des subtilités, ce n'est pas un cercle mais un demi-cercle en fonction de ta congruence