\(\mathbb{Z}\left[\sqrt{2}\right]\)

\(\mathbb{Z}\left[\sqrt{2}\right]\) é o conjunto dos números da forma \(a+b\sqrt{2}\), onde \(a\) e \(b\) são números inteiros. Aqui temos a relação de ordem usual entre números reais, mas não será essa a usada para comparar o resto com o divisor nas divisões. O que será usado, para um número \(a+b\sqrt{2}\), será \(\left|a^{2}-2b^{2}\right|\).

Para qualquer \(a+b\sqrt{2}\), com \(a,b\) inteiros, seja \(v\left(a+b\sqrt{2}\right)=\left|a^{2}-2b^{2}\right|\). Vamos ver que para qualquer \(x,y\in\mathbb{Z}\left[\sqrt{2}\right]\), com \(y\neq0\) , existem \(q,r\in\mathbb{Z}\left[\sqrt{2}\right]\) tais que \[\left\{ \begin{array}{c} x=yq+r\\ v(r)<v(y) \end{array}\right.\] (a segunda condição é a generalização da condição de o resto ser menor do que o divisor; é importante lembrar que isso não tem nada a ver com o resto ser menor do que o divisor para a ordem usual: por exemplo \(\sqrt{2}<1+\sqrt{2}\) mas \(v\left(\sqrt{2}\right)=2>1=v\left(1+\sqrt{2}\right)\)) .

Dados \(x=a+b\sqrt{2}\) e \(y=c+d\sqrt{2}\), como podemos procurar \(q=q_{1}+q_{2}\sqrt{2}\) e \(r=r_{1}+r_{2}\sqrt{2}\) tais que \(z=wq+r\) e \(v(r)<v(w)\)?

Procurar \(q\) e \(r\) nestas condições equivale a procurar \(q_{1}+q_{2}\sqrt{2}\) e \(r_{1}+r_{2}\sqrt{2}\) tais que \(a+b\sqrt{2}=\left(c+d\sqrt{2}\right)\left(q_{1}+q_{2}\sqrt{2}\right)+r_{1}+r_{2}\sqrt{2}\), o que é o mesmo que: \[\frac{a+b\sqrt{2}}{c+d\sqrt{2}}-\left(q_{1}+q_{2}\sqrt{2}\right)=\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}},\] ou ainda \[\frac{\left(a+b\sqrt{2}\right)\left(c-d\sqrt{2}\right)}{c^{2}-2d^{2}}-\left(q_{1}+q_{2}\sqrt{2}\right)=\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}},\] o que ainda é o mesmo que: \[\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}+\left(\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right)\sqrt{2}=\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}}.\]

Queremos \(q_{1},q_{2},r_{1},r_{2}\) tais que \(v\left(r_{1}+r_{2}\sqrt{2}\right)<v\left(c+d\sqrt{2}\right)\) o que é o mesmo que \[\frac{v\left(r_{1}+r_{2}\sqrt{2}\right)}{v\left(c+d\sqrt{2}\right)}<1\]

Pode-se verificar com algumas contas que, \[\frac{v\left(r_{1}+r_{2}\sqrt{2}\right)}{v\left(c+d\sqrt{2}\right)}=v\left(\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}}\right),\] portanto basta que \[v\left(\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}}\right)<1.\]

Como \[\begin{array}{ccc} v\left(\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}}\right) & = & v\left(\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}+\left(\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right)\sqrt{2}\right)=\\ & = & \left(\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}\right)^{2}-2\left(\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right)^{2} \end{array}\] basta que \[\left(\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}\right)^{2}+\left(\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right)^{2}<1.\]

Ora, \[\frac{ac-2bd}{c^{2}-2d^{2}}\] e \[\frac{bc-ad}{c^{2}-2d^{2}}\] são números racionais; para qualquer número racional, existe um número inteiro a uma distância menor ou igual que \(\frac{1}{2}\) dele, portanto existem \(q_{1}\) e \(q_{2}\) inteiros tais que \[\left|\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}\right|<\frac{1}{2}\] e \[\left|\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right|<\frac{1}{2}.\]

O que acontece se escolhermos \(q_{1}\) e \(q_{2}\) nessas condições e tomarmos \(q=q_{1}+q_{2}\sqrt{2}\) e \(r=a+b\sqrt{2}-\left(c+d\sqrt{2}\right)\left(q_{1}+q_{2}\sqrt{2}\right)\left(=r_{1}+r_{2}\sqrt{2}\right)\)?

Temos \[\begin{array}{ccc} v\left(\frac{r_{1}+r_{2}\sqrt{2}}{c+d\sqrt{2}}\right) & = & \left(\frac{ac-2bd}{c^{2}-2d^{2}}-q_{1}\right)^{2}+\left(\frac{bc-ad}{c^{2}-2d^{2}}-q_{2}\right)^{2}\\ & \leq & \left(\frac{1}{2}\right)^{2}+2.\left(\frac{1}{2}\right)^{2}=\frac{1}{4}+\frac{2}{4}=\frac{3}{4}<1 \end{array}\]

Exemplo (algoritmo da divisão)

Tendo o algoritmo da divisão em \(\mathbb{Z}\left[\sqrt{2}\right]\), podemos agora usar o algoritmo de Euclides para achar um máximo divisor comum.

Temos a certeza que o algoritmo acaba ao fim de um certo número de passos porque \(v\left(r_{1}\right)>v\left(r_{2}\right)>v\left(r_{3}\right)>...>0\), enquanto o resto não é zero.

Os argumentos para concluir que o que se obtém é um máximo divisor comum (máximo no sentido de ser um divisor comum que é múltiplo de todos os outros divisores) são exactamente os mesmos que foram vistos no caso dos números inteiros.

Exemplo \((m.d.c.)\)