−zr−zi+i⋅(zr−zi) ist eine komplexe Zahl.
I(−zr−zi+i⋅(zr−zi)) ist der Imaginärteil dieser Zahl.
Weil −zr−zi und zr−zi reelle Zahlen sind, ist zr−zi der Imaginärteil dieser Zahl.
Also habe ich in der Gleichung
I(−zr−zi+i⋅(zr−zi))=0
den Teil I(−zr−zi+i⋅(zr−zi)) durch zr−zi ersetzt.