\(-z_r - z_i + i\cdot (z_r - z_i)\) ist eine komplexe Zahl.
\(\mathfrak{I}(-z_r - z_i + i\cdot (z_r - z_i))\) ist der Imaginärteil dieser Zahl.
Weil \(-z_r - z_i\) und \(z_r - z_i\) reelle Zahlen sind, ist \(z_r - z_i\) der Imaginärteil dieser Zahl.
Also habe ich in der Gleichung
\(\mathfrak{I}(-z_r - z_i + i\cdot (z_r - z_i)) = 0\)
den Teil \(\mathfrak{I}(-z_r - z_i + i\cdot (z_r - z_i))\) durch \(z_r - z_i\) ersetzt.