Z(√-3)がユークリッド整域であることはどうやって示せばいいのでしょう。
Z(√-1)やZ(√-2)ならば、それぞれN(a+b√-1)=a^2+b^2、N(a+b√-2)=a^2+2b^2
をノルムとし、条件をみたすことが示せるのですが・・・。