Je note z* le conjugué de z.
L'affixe du vecteur BM' est z(BM) = z' + 2 = (|z|^2 - 4)(z* - 2).
L'affixe du vecteur AM est z(AM) = z - 2.
Donc z(BM')/z(AM) = (|z|^2 - 4) / [ (z* - 2)(z - 2)] = (|z|^2 - 4) / ( |z|^2 -4Re(z) + 4)
ceci est un réel !
Conclusion : z(BM') = (un réel).z(AM), ce qui implique que les vecteurs BM' et AM sont colinéaires.