Se è vera l'uguaglianza, allora vuol dire che nel piano di Argand Gauss i numeri complessi $z_0,z_1,z_2$ individuano un triangolo rettangolo in $z_0$: è praticamente il teorema di Pitagora.
Segue pertanto che i vettori $z_1-z_0$ e $z_2-z_0$ sono perpendicolari: detti $\theta_1,\theta_2$ i loro argomenti, rispettivamente, e $\rho_1,\rho_2$ i loro moduli, si ha che $\theta_2-\theta_1 = \pi/2$ (vedi nota) e quindi:
$z_2-z_0 =\rho_2(\cos(\theta_2) +i\sin(\theta_2))= $
$=\rho_2(\cos(\theta_1+pi/2) +i\sin(\theta_1+pi/2))=$
$=\rho_2(-\sin(\theta_1) +i\cos(\theta_1))=$
Moltiplico e divido per $i\rho_1\ne 0$
$=\frac{\rho_2} {i\rho_1}\rho_1(-\cos(\theta_1) - i\sin(\theta_1))=$
$=\frac{\rho_2}{\rho_1}i (z_1-z_0)$.
Posto $\lambda=\frac{\rho_2}{\rho_1}$, ottengo l'uguaglianza richiesta.
Nota. Avrei dovuto scrivere la dimostrazione richiedendo che $\theta_2-\theta_1=pi/2+k pi$ con $k$ intero, però ho preferito ragionare con il caso particolare: la generalizzazione è ovvia.
[Edit]: Chiaramente sono curioso di sapere la tua soluzione, axpgn.