Hey andiwei,
dein Ergebnis ist komplett RICHTIG! Hier die Begründung:
Da der Betrag \(|z-z_0|\) den Abstand der komplexen Zahl \(z\) zur komplexen Zahl \(z_0\) beschreibt, liegen in der Menge \(M = \left\{z\in\mathbb{C}:\ | z - 1 - \mathrm{i} | = | z + 1 | \right\}\) alle komplexen Zahlen, deren Abstand zu \(1+\mathrm{i}\) gleich dem Abstand zu \(-1\) ist. Wenn man sich die beiden Punkte der komplexen Zahlenebene, also \(P_1=(1,1)\) und \(P_2=(-1,0)\), mal aufmalt, sieht man direkt, dass es unendlich viele Punkte gibt, die den gleichen Abstand zu beiden haben. Alle diese Punkte liegen sogar auf einer Geraden.
Um die Gleichung der Gerade aufzustellen braucht man nur zwei Punkte oder einen Punkt und den Anstieg der Gerade. Ein Punkt wäre der, der genau zwischen \(P_1\) und \(P_2\) liegt, also \(P_{\text{M}}=\frac{1}{2}(P_1+P_2)=(0,\frac12)\). Der Anstieg der Gerade ist einfach der negative Kehrwert vom Anstieg zwischen den beiden Punkten \(P_1\) und \(P_2\), denn diese Gerade soll ja senkrecht auf der Verbindung von den beiden stehen. Damit hat die Gerade den Anstieg \(m=-2\).
Und ja, damit hast du Recht. Diese Gerade lässt sich schreiben als \(y=-2x+0,5\).
Viel Spaß!
MathePeter