Donc $P(z_0)=0$.
Si on choisit les réels $a$ et $b$ tels que $\left\{ \begin{array}{l} a-i\sqrt{2}=-\left(2+i\sqrt{2}\right)\\ b-ia\sqrt{2}=2\left(1+i\sqrt{2}\right)\\ -ib\sqrt{2}=-2i\sqrt{2} \end{array} \right.$, alors pour tout nombre complexe $z$ on aura $\left(z-i\sqrt{2}\right)\left(z^2+az+b\right)=P(z)$. Or,
Donc
pour tout nombre complexe $z$, $P(z)=\left(z-i\sqrt{2}\right)\left(z^2-2z+2\right)$.
Le discriminant de l'équation $z^2-2z+2=0$ est $\Delta=(-2)^2-4\times2=-4=(2i)^2$. Donc l'équation $z^2-2z+2=0$ admet deux solutions non réelles conjuguées à savoir $z_1=\dfrac{2+2i}{2}=1+i$ et $z_2=\overline{z_1}=1-i$.
Pour tout nombre complexe $z$, $P(z)=0\Leftrightarrow z\in\left\{i\sqrt{2},1+i,1-i\right\}$.
Le point $K$ est le milieu du segment $[JL]$. Par suite, $\dfrac{z_L+z_J}{2}=z_K$ puis
$z_L=-\sqrt{2}$.
Les points $A$, $B$, $J$ et $L$ appartiennent au cercle de centre $O$ et de rayon $\sqrt{2}$.
En résumé, les diagonales du parallélogramme $ABCD$ sont perpendiculaires et ont même longueur. On en déduit que
le quadrilatère $ABCD$ est un carré.