Define a function $\delta : \mathbb{Z}[i] \rightarrow \mathbb{N}$ by $\delta(a+bi)=a^2 +b^2$. Show that $\delta$ is a Euclidean valuation on the Gaussian Integers $\mathbb{Z}[i]$ i.e. For Gaussian Integers $a,b$ there exists Gaussian Integers $q,r$ such that $a=qb+r$ with either $r=0$ or $\delta(r)<\delta(b)$.
What I have so far: Let $a=a_{1}+a_{2}i$ and $b=b_{1}+b_{2}i$ be Gaussian Integers. Then $\frac{a}{b}=\frac{(a_{1}b_{1}+a_{2}b_{2})+(a_{2}b_{1}-a_{1}b_{2})i}{\delta(b)}$. Let $q$ be the Gaussian Integer which is closest to $\frac{a}{b}$ in the complex plane and $r=a-qb$. I then think I need to show that $r$ is suitably small, but I'm unsure how to do this. Any help would be greatly appreciated.