d:Z[i]−{0}→Z+ fonksiyonunu d(a+bi)=(a+bi)(a−bi)=a2+b2 ile tanımlayalım.
1) Her 0≠a+bi∈Z[i] için d(a+bi)∈Z+ şeklindedir.
2) Her a+bi,c+di∈Z[i] için d((a+bi)(c+di))≥d(a+bi) midir?
d((a+bi)(c+di))=d((ac−bd)+(ad+bc)i)=(ac−bd)2+(ad+bc)2=(a2+b2)c2+(a2+b2)d2=(a2+b2)(c2+d2)≥(a2+b2)=d(a+bi)
3) a+bi,c+di∈Z[i]−{0} için a+bi=(q0+q1i)(c+di)+(r0+r1i)
q0+q1i, r0+r1i∈Z[i] ve r0+r1i=0 veya d(r0+r1i)<d(c+di) olacak şekilde elemanlar mevcut mudur?
r0+r1i=(a+bi)−(c+di)(q0+q1i)=(c+di)[(a+bi)(c+di)−1−(q0+q1i) ve (a+bi)(c+di)−1=u+vi, u,v∈Q.
r0+r1i=(c+di)[(u+vi)−(q0+q1i)]=(c+di)[(u−q0)+(v−q1)i]=[c(u−q0)−d(v−q1)]+[c(v−q1)+d(u−q0)]i.
d(r0+r1i)=(c2+d2)[(u−q0)2+(v−q1)2] elde edilir. Eğer (u−q0)2+(v−q1)2<1 ise
d(r0+r1i)<d(c+di) olur. (u−q0)2≤14 ve (v−q1)2≤14 olacak şekilde q0,q1 seçtiğimizde (u−q0)2+(v−q1)2<1. Yani; a+bi=(c+di)(q0+q1i)+(r0+r1i) ve r0+r1i=0 veya d(r0+r1i)<d(c+di) şeklindedir.
Sonuç; Z[i] halkası Öklid bölgesidir.