 Solution

The Gaussian integers form an integral domain, since they are a subring of the complex numbers. Use the Gaussian integer normwhich is a positive integer for nonzero $a+bi$ and satisfies $N(\alpha \beta )=N(\alpha )N(\beta )$.

For $\alpha ,\beta \in \mathbb{Z}[i]$ with $\beta \ne 0$, write $\alpha /\beta =x+iy$. Choose integers $m,n$ with $|x-m|\le 1/2$ and $|y-n|\le 1/2$, put $q=m+in$, and set $r=\alpha -\beta q$. ThenThus division with remainder has either $r=0$ or a strictly smaller Gaussian integer norm. This proves that $N$ is a euclidean function and