Mit \(z=x+iy\) (Spaltenvektoren) gilt
\(\det(z,\overline{z},a,b)=\det(z-\overline{z},\overline{z},a,b)=\det(2iy,\overline{z},a,b)=\)
\(=2i\det(y,\overline{z},a,b)=2i\det(y,\overline{z}+iy,a,b)=2i\det(y,x,a,b)\).
Die letztgenannte Determinante ist offenbar reell.