# Equação de Pell

Na matemática, mais especificamente na Teoria dos Números, a equação de Pell (também chamada de equação de Pell-Fermat) é a equação:
$x^{2}-dy^{2}=1$
Onde $x$ e $y$ são números inteiros e $d$ um número natural.
Esta equação foi nomeada em homenagem ao matemático inglês John Pell, foi estudada por Brahmagupta no século VII e por Fermat no século XVII.

## Introdução

As equações de Pell-Fermat são estudadas há milênios na Índia e na Grécia. Eles tinham uma grande interesse particularmente no caso de $d$ = 2 uma vez que sua solução forneciam uma boas aproximações racionais de ${\sqrt {2}}\approx x/y.$ Baudhayana encontrou os pares (17,12) e (577, 408) forneciam muito boas a aproximações ${\sqrt {2}}\approx 577/408.$ Já Arquimedes usou a equação no caso de n = 3 e obteve a aproximação ${\sqrt {3}}\approx 1351/780$. com Brahmagupta , que desenvolveu o método chakravala para resolver a equação de Pell e outras equações indeterminadas quadráticas em sua Brahma Sphuta Siddhanta em 628, cerca de mil anos antes da época de Pell. O nome de Pell, nestas equações, ocorre devido a um erro de Euler atribuindo ao matemático inglês John Pell (1610-1685) o estudo da mesma. Aparentemente foi Lord Brouncker (1620-1684) o primeiro matemático europeu moderno a estudar as equações de Pell-Fermat.

## Soluções

Note que
Se ${\sqrt {d}}\in \mathbb {N}$, isto é, se $d$ é um quadrado perfeito, então
Como ${\sqrt {d}}\in \mathbb {N}$, então existe $n$ natural tal que $n={\sqrt {d}}$. Assim, no primeiro caso acima, temos que
Assim,
Substituindo $x=1$ em uma das equações do sistema, teremos que $y=0$.
Resolvendo o caso
Teremos $x=-1$ e $y=0$. Assim, os pares $(x,y)=(1,0)$ e $(x,y)=(-1,0)$ são ditos soluções triviais.
Joseph Louis Lagrange provou que, contanto que $d$ não seja um quadrado perfeito, a equação de Pell tem infinitas soluções inteiras distintas.

### Os inversíveis em $Z[{\sqrt {d}}]$

Como $x^{2}-dy^{2}=(x+{\sqrt {d}}y)(x-{\sqrt {d}}y)$, então iremos usar os números da forma $a+{\sqrt {d}}b$, números em $\mathbb {Z} [{\sqrt {d}}]$, para resolver a equação.

#### Definição

Definiremos a norma $N:\mathbb {R} \rightarrow \mathbb {R}$ da seguinte forma
Onde $u=x+{\sqrt {d}}y$ e ${\bar {u}}=x-{\sqrt {d}}y$.

#### Proposição

Seja $u=x+{\sqrt {d}}y$ uma solução da equação de Pell, qualquer potência $u^{n};2\leq n\in \mathbb {N}$ é, também, uma solução da equação de Pell.
Demonstração
   Usaremos o processo de indução. Assim, note que para $n=2$
   ${\begin{aligned}N(u^{2})&=N{\Big(x+{\sqrt {d}}y)(x+{\sqrt {d}}y){\Big )}\\&=N{\Bigx^{2}+dy^{2}+2{\sqrt {d}}xy{\Big )}\\&=\left(x^{2}+dy^{2}+2{\sqrt {d}}xy\right)\left(x^{2}+y^{2}-2{\sqrt {d}}xy\right)\\&=\left(x^{2}+dy^{2}\right)^{2}-\left(2{\sqrt {d}}xy\right)^{2}\\&=x^{4}+2dx^{2}y^{2}+d^{2}y^{4}-4dx^{2}y^{2}\\&=x^{4}-2dx^{2}y^{2}+d^{2}y^{4}\\&=(x^{2}-dy^{2})(x^{2}-dy^{2})\\&=N(u)N(u)\\&=1\end{aligned}}$
   Suponha que para todo $n\leq k,N(u^{n})=N(u^{n-1}\cdot u)=1$, então para $n=k+1$, temos que
   ${\begin{aligned}N(u^{k+1})&=N(u^{k}\cdot u)\\&=N(u^{k})N(u)\\&=1\end{aligned}}$
   Assim, fica demonstrado que qualquer potência de uma solução é, ainda, uma solução da equação de Pell.

#### Proposição

Seja $u=x+{\sqrt {d}}y$ a solução fundamental da equação de Pell e $u^{k}=x_{k}+{\sqrt {d}}y_{k}$ a k-ésima potência de $u$, então
Demonstração
   Note que $u^{k}=u^{k-1}u$, logo
   ${\begin{aligned}u^{k}&=(x_{k-1}+{\sqrt {d}}y_{k-1})(x+{\sqrt {d}}y)\\&=x_{k-1}x+x_{k-1}{\sqrt {d}}y+{\sqrt {d}}y_{k-1}x+dy_{k-1}y\\\Rightarrow x_{k}+{\sqrt {d}}y_{k}&=(x_{k-1}x+dy_{k-1}y)+{\sqrt {d}}(x_{k-1}y+y_{k-1}x)\end{aligned}}$
   Comparando os termos, temos que $x_{k}=x_{k-1}x+dy_{k-1}y{\text{ e }}y_{k}=x_{k-1}y+y_{k-1}x$.
Observação: note que $u=x_{1}+y_{1}{\sqrt {d}}$ é a solução fundamental

### O grupo dos inversíveis em $\mathbb {Z} [{\sqrt {d}}]$

Seja a restrição,
$N:\mathbb {Z} [{\sqrt {d}}]^{*}\rightarrow \mathbb {Z} ^{*}$
Onde $\mathbb {Z} [{\sqrt {d}}]^{*}=\{u\in \mathbb {Z} [{\sqrt {d}}];N(u)=1\}$ e $\mathbb {Z} ^{*}=\{-1,1\}$ (inversíveis em $\mathbb {Z}$).
Note que a norma definida dessa forma é um homomorfismo.
Agora iremos verificar que $G=(\mathbb {Z} [{\sqrt {d}}]^{*},\cdot )$ é um grupo:
* Associatividade: como $\mathbb {Z} [{\sqrt {d}}]\subset \mathbb {R}$ e a operação é a multiplicação usual, garantimos a associatividade;
* Elemento neutro: Note que $1\cdot u=u\ \forall \ u\in \mathbb {R}$, logo, $u\in \mathbb {Z} [{\sqrt {d}}]^{*}\Rightarrow 1\cdot u=u$;
* Inverso : Por construção, todo $u\in \mathbb {Z} [{\sqrt {d}}]^{*}$possui inverso.
Seja $u\in \mathbb {Z} [{\sqrt {d}}]^{*}$ a solução fundamental da equação de Pell, então $u^{k}$ ainda será uma solução da equação, logo, $u$ gera $G$, portanto, $G$ é um grupo cíclico, logo, abeliano. Assim,

## Aplicações

Da equação de Pell, temos que $x^{2}=1+dy^{2}$, logo
Intuitivamente, podemos perceber que a razão $x/y$ nos dará boas aproximações para ${\sqrt {d}}$ quando $1/y^{2}$ for pequeno. Matematicamente, podemos formular essa ideia como
Com isso, podemos usar frações continuadas para escrever o número irracional ${\sqrt {d}}$ na forma ${\sqrt {d}}=[a_{0},{\overline {a_{1},\dots ,2a_{0}}}]$

## Exemplo

Seja a equação de Pell
A solução fundamental dessa equação é o par $(3,2)$, pois, $3^{2}-2(2)^{2}=9-8=1$. Assim, $u=3+2{\sqrt {2}}$, então $u^{k}=3x_{k-1}+4y_{k-1}+{\sqrt {2}}(x_{k-1}2+y_{k-1}3)$, daí
Fazendo a razão entre os coeficientes das soluções, temos que
Essas razões estão se aproximando de ${\sqrt {2}}=1,414213562373\dots$