If |z1+z2|2 = |z1−z2|2 where z1 and z2 are non-zero complex numbers, then :
|z1+z2|2 =|z1|2+|z2|2 + 2cos(α−β) and |z1−z2|2 = |z1|2+|z2|2−2cos(α−β)
Where α = Argz1 and β = Argz2
If |z1+z2|2 = |z1−z2|2 then cos(α−β) = 0 ⇒ α - β = π2
Argz1 - Argz2 = π2 ⇒ Arg z1z2 = π2 so Re(z1z2) = 0