Euclidean norm on the Eisenstein integers

Every complex number can be written uniquely as $x+y\omega$ with real $x,y$, where $\omega =(-1+i\sqrt{3})/2$. Round $x,y$ separately to integers $m,n$. The error is $s+t\omega$ with $|s|,|t|\le 1/2$, andFor Eisenstein integers $\alpha ,\beta$ with $\beta \ne 0$, apply this to $\alpha /\beta$ to choose $q=m+n\omega$. The remainder $r=\alpha -q\beta$ is an Eisenstein integer and $N(r)\le 3N(\beta )/4<N(\beta )$ if nonzero. Thus the Eisenstein norm is a Euclidean function and these integers form a Euclidean domain. Coordinate rounding suffices; no closest-point theorem is needed.