Zenbaki irrazional bikarratu

Zenbaki irrazional bikarratuen orrialde hau sortu da, Pellen ekuazioaren oinarrizko ebazpena determinatzeko bidean: Euler, Lagrangek eta Galoisek zenbaki irrazional bikarratu laburtuak karakterizatzen dituztelako, zatiki jarraien bidezko garapena eginez.

Dirichletek Pellen ekuazioa bateragarria dela frogatzen du, baina ez du ebazpena determinatzen. Bere teoremaren frogapenean erabilitako metodoa jarraituz oinarrizko ebazpena determinatzen da.

Ondorengoa da prozesua: Dirichletek $x^2-p{y}^2=1$ ekuazioaren ebazpen baten existentzia frogatzen du. Ebazpen honen existentzia desberdintza batek determinatzen du: $|x/y-\sqrt{p}|<1/y^2$. Desberdintza hori betetzen duten $x/y$ zatikiak, $\sqrt{p}$ zenbakiaren $n$. hondar bat dira ( zatiki jarraien bidezko bere garapenaren hondarra ). Honela Pell-en ekuazioaren ebazpenak: $n$. hondarretara mugatzen dira.

Galoisek zenbaki irrazional bikarratu laburtuak karakterizatuko ditu, eta ondorioztatuko du: zenbaki erreal bat, irrazional bikarratu laburtua dela baldin eta soilik baldin zatiki jarraien bidezko bere garapena periodiko hutsa bada. Honela erraz ondorioztatzen da $\sqrt{p}$ moduko zenbakien zatiki jarraien bidezko garapena: $T$-periodikoa dela: $hein(1)$-etik aurrera, eta ebazpenak, periodoa osatu aurreko hondarrren artean daudela: $R_{T-1},R_{2T-1},...$ Hondarraren zenbakitzailea eta izendatzailea gorakorrak direnez: ebazpen minimoa edo oinarrizko ebazpena: ebazpena den periodo aurreko lehen hondarrean aurkitzen da: $R_{T-1}$, edo $R_{2T-1}$.

Definizioa1:

$\alpha \in ℝ$, zenbaki irrazional bat bikarratua izendatzen da, koefiziente osoak dituen bigarren graduko polinomio baten erroa bada.

Notazioa:

${\mathbb{N}}^2=\{n^2:n\in \mathbb{N}\}$. Adieraziko da.

$\alpha \in \mathbb{Q}(\sqrt{p})$, bada non $\alpha =a+b\sqrt{p}$, orduan $\bar{\alpha }=a-b\sqrt{p}$ , bere konjokatua izendatuko da.

$\alpha \in ℝ$ ren $n$. hondarra: $R_n$, beste modu honetan ere adieraziko da: $R_n(\alpha )$, beste zenbaki irrazionalen $n$. hondarretik bereizteko.

Definizioa2:

$\alpha \in ℝ$, zenbaki irrazional bikarratua, laburtua dela esango dugu, baldin eta: $\alpha >1$ bada eta $-1<\bar{\alpha }<0$.

Zeinetan $\alpha$ eta $\bar{\alpha }$ polinomio berdinaren erro konjokatuak diren.

Definizioa3

Izan bedi $\alpha$ zenbaki irrazionala, zatiki jarraien bidezko bere garapena, $\alpha =[a_0,a_1,...,a_n,...]$ periodikoa dela esango dugu, $(a_n{)}_{n\ge 0}$, segida periodikoa bada, eta segidaren periodoa: $T$, bada $\alpha$-ren zatiki jarraien bidezko garapenaren periodoa: $T$, dela esango dugu.

Periodoaren lehen elementua: $a_N$, bada $\alpha$-ren zatiki jarraien garapena, $T$-periodikoa dela esango da $hein(N)$-tik aurrera (heina N). Honela adieraziko da:

$\alpha =[a_0,a_1,...,a_{N-1},\overline{a_N,...,a_{N+T-1}}]$.

• Eulerrek frogatu zuen 1748.urtean: $\alpha$-ren zatiki jarraien garapena periodikoa bada, orduan $\alpha$ zenbaki irrazionala bikarratua dela, eta Lagrangek frogatu zuen 1768.urtean: $\alpha$ zenbaki irrazional bikarratua bada, orduan zatiki jarraien bidezko garapena periodikoa dela. Biak idatziko dira proposizio batean.

Proposizioa1:

Izan bedi $\alpha =[a_0,a_1,...,a_n,...]$, zatiki jarraien bidezko bere garapena. Orduan: garapena periodikoa da baldin eta soilik baldin $\alpha$ zenbaki irrazional bikarratua bada.

Froga: $\Rightarrow Euler(1748)$

Suposa bedi $\alpha$-ren zatiki jarraien bidezko garapena, $T$-periodikoa dela, $hein(N)$-tik aurrera: $\alpha =[a_0,a_1,...,a_{N-1},\overline{a_N,...,a_{N+T-1}}]$ .

$\alpha$-ren $n$. hondarra (zatiki laburtezin gisara adierazia): $R_n=[a_0,a_1,...,a_n]=\frac{p_n}{q_n}$.

$\alpha$-ren $N$.zatiki osatua: ${\alpha }_N=[\overline{a_N,...,a_{N+T-1}}]$.

Eta $N$.zatiki osatuaren: ${\alpha }_N$, $n$. hondarra (zatiki laburtezina): $R_n({\alpha }_N)=[a_N,a_{N+1},...,a_{N+n}]=\frac{r_n}{s_n}$.

$\alpha$ zenbaki irrazional baten, $n$.zatiki osatuak: ${\alpha }_n$, ondorengo ezaugarriaren bidez definitzen dira:

$\alpha =[a_0,a_1,...,a_{n-1},{\alpha }_n]$ (ikus zatiki jarraiak). ${\alpha }_N$ periodikoa dela kontuan hartuz:

${\alpha }_N=[a_N,...,a_{N+T-1},\overline{a_N,...,a_{N+T-1}}]=[a_N,...,a_{N+T-1},{\alpha }_N]=\frac{r_{T-1}{\alpha }_N+r_{T-2}}{s_{T-1}{\alpha }_N+s_{T-2}}$. Ondorioz:

$s_{T-1}{\alpha }_N^2+(s_{T-2}-r_{T-1}){\alpha }_N-r_{T-2}=0$.

$s_{T-1}\in \mathbb{N}$ denez, ${\alpha }_N$ bikarratua da.

${\alpha }_N\in ̸\mathbb{Q}$. Absurdura bideratuz: Baldin eta: ${\alpha }_N\in \mathbb{Q}\Rightarrow \alpha \in \mathbb{Q}$ , eta ondorioz zatiki jarraien bidezko garapena finitua da (zatiki jarraiak) eta $\alpha =[a_0,a_1,...,a_n,{\alpha }_N]$ denez, $\alpha$-ren garapena ere finitua da, zeina ezinezkoa den (hipotesiagatik periodikoa delako).

Ondorioz: ${\alpha }_N$, zenbaki irrazional bikarratua da: ${\alpha }_N=a+b\sqrt{c}$ modukoa non: $a,b\in \mathbb{Q};b\ne 0$, eta $c\in \mathbb{N}-{\mathbb{N}}^2$.

$\alpha =[a_0,a_1,...,a_{N-1},{\alpha }_N]\Rightarrow \alpha =\frac{p_{N-1}{\alpha }_N+p_{N-2}}{q_{N-1}{\alpha }_N+q_{N-2}}$

$\alpha =\frac{p_{N-1}{\alpha }_N+p_{N-2}}{q_{N-1}{\alpha }_N+q_{N-2}}=\frac{p_{N-1}(a+b\sqrt{c})+p_{N-2}}{q_{N-1}(a+b\sqrt{c})+q_{N-2}}=u+v\sqrt{c}$, gisakoa da, zeinetan: $u,v\in \mathbb{Q}$.

$v\ne 0$ frogatuko da.

$v=0\Rightarrow \alpha \in \mathbb{Q}$, eta beraz zatiki jarraien bidezko garapena finitua. Ezinezkoa.

Ondorioz: $\alpha$, zenbaki irrazional bikarratua da.

$\Leftarrow Lagrange(1768)$

$\alpha \in ℝ$, zenbaki irraziona bikarratua bada: $\mathrm{\exists }a,b,c\in \mathbb{Z}:$i) $a\ne 0$, ii) $a{\alpha }^2+b\alpha +c=0$ eta iii) $\mathrm{\Delta }=b^2-4ac\in \mathbb{N}-{\mathbb{N}}^2$.

$\mathrm{\forall }n\ge 2\Rightarrow \alpha =[a_0,a_1,...,a_{n-1},{\alpha }_n]=\frac{p_{n-1}{\alpha }_n+p_{n-2}}{q_{n-1}{\alpha }_n+q_{n-2}}$, orohar betetzen da.

Eta $\alpha$, bikarratua izateagatik: $a(\frac{p_{n-1}{\alpha }_n+p_{n-2}}{q_{n-1}{\alpha }_n+q_{n-2}}{)}^2+b\frac{p_{n-1}{\alpha }_n+p_{n-2}}{q_{n-1}{\alpha }_n+q_{n-2}}+c=0\iff$

$a(p_{n-1}{\alpha }_n+p_{n-2}{)}^2+b(p_{n-1}{\alpha }_n+p_{n-2})(q_{n-1}{\alpha }_n+q_{n-2})+c(q_{n-1}{\alpha }_n+q_{n-2}{)}^2=0\iff$ $A_n{\alpha }_n^2+B_n{\alpha }_n+C_n=0.$

$n\ge 2$ rentzat:

$\{\begin{array}{c}{A}_n=a{p}_{n-1}^2+b{p}_{n-1}{q}_{n-1}+c{q}_{n-1}^2\\ B_n=2a{p}_{n-1}{p}_{n-2}+b(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2})+2c{q}_{n-1}{q}_{n-2}\\ C_n=a{p}_{n-2}^2+b{p}_{n-2}{q}_{n-2}+c{q}_{n-2}^2\end{array}$

Bat. $A_n\ne 0$, frogatuko da.

$A_n=a{p}_{n-1}^2+b{p}_{n-1}{q}_{n-1}+c{q}_{n-1}^2=0\iff a(\frac{p_{n-1}}{q_{n-1}}{)}^2+b\frac{p_{n-1}}{q_{n-1}}+c=0$, eta ondorioz $\alpha$, arrazionala, ezinezkoa.

Bi: $p(x)=a{x}^2+bx+c$, ren diskriminantea eta $p_n(x)=A_n{x}^2+B_{n}x+C_n$en diskrimintea berdinak direla frogatuko da.

Hots: $\mathrm{\forall }n\ge 2$. ${\mathrm{\Delta }}_n=B_n^2-4A_n{C}_n=b^2-4ac=\mathrm{\Delta }$.

$\{\begin{array}{c}{B}_n^2-4A_n{C}_n=(2a{p}_{n-1}{p}_{n-2}+b(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2})+2c{q}_{n-1}{q}_{n-2}{)}^2\\ -4(a{p}_{n-1}^2+b{p}_{n-1}{q}_{n-1}+c{q}_{n-1}^2)(a{p}_{n-2}^2+b{p}_{n-2}{q}_{n-2}+c{q}_{n-2}^2)\end{array}$

Karratuak garatuz:

$\{\begin{array}{c}{B}_n^2-4A_n{C}_n=4a^2{p}_{n-1}^2{p}_{n-2}^2+b^2(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2+4c^2{q}_{n-1}^2{q}_{n-2}^2\\ +4ab{p}_{n-1}{p}_{n-2}(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2})+4bc{q}_{n-1}{q}_{n-2}(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2})\\ +8ac{p}_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2}\\ -4a^2{p}_{n-1}^2{p}_{n-2}^2-4ab{p}_{n-1}^2{p}_{n-2}{q}_{n-2}-4ac{p}_{n-1}^2{q}_{n-2}^2\\ -4ab{p}_{n-1}{p}_{n-2}^2{q}_{n-1}-4b^2{p}_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2}-4bc{p}_{n-1}{q}_{n-1}{q}_{n-2}^2\\ -4ac{p}_{n-2}^2{q}_{n-1}^2-4bc{p}_{n-2}{q}_{n-1}^2{q}_{n-2}-4c^2{q}_{n-1}^2{q}_{n-2}^2\end{array}$

Terminuak ezbatuz:

$\{\begin{array}{c}{B}_n^2-4A_n{C}_n=b^2(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2\\ \\ +8ac{p}_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2}\\ -4ac{p}_{n-1}^2{q}_{n-2}^2\\ -4b^2{p}_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2}\\ -4ac{p}_{n-2}^2{q}_{n-1}^2\end{array}$

Terminuak batuz:

$\{\begin{array}{c}{B}_n^2-4A_n{C}_n=b^2(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2\\ -4b^2{p}_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2}\\ -4ac(p_{n-1}^2{q}_{n-2}^2+q_{n-1}^2{p}_{n-2}^2-2p_{n-1}{p}_{n-2}{q}_{n-1}{q}_{n-2})\end{array}$

$B_n^2-4A_n{C}_n=b^2(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2-4ac(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2$

$B_n^2-4A_n{C}_n=(b^2-4ac)(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2$Adierazpena lortu da.

Eta $(p_{n-1}{q}_{n-2}+q_{n-1}{p}_{n-2}{)}^2=(-1{)}^{2n}$berdintza aplikatuz (zatiki jarraiak).

$\mathrm{\forall }n\ge 2$, $B_n^2-4A_n{C}_n=b^2-4ac$.

Hiru $(A_n{)}_{n\ge 0},(B_n{)}_{n\ge 0},(C_n{)}_{n\ge 0}$segidak barnatuak daudela frogatuko da.

$\alpha$-ren $n$. hondarra: $R_n=\frac{p_n}{q_n}=[a_0,a_1,...,a_{n-1},a_n]$.

Zatiki jarraiek zenbaki irrazionaletara duten hurbilketa egokiengatik ( zatiki jarraiak: hurbilketa egokiak ):

$|\alpha -R_{n-1}|<\frac{1}{q_n{q}_{n-1}}\iff |q_{n-1}\alpha -p_{n-1}|<\frac{1}{q_n}\le \frac{1}{q_{n-1}}$betetzen da, eta ondorioz:

$\mathrm{\forall }n\ge 2$ rentzat, $\mathrm{\exists }{\delta }_{n-1}\in (-1,1):q_{n-1}\alpha -p_{n-1}=-\frac{{\delta }_{n-1}}{q_{n-1}}\iff p_{n-1}=q_{n-1}\alpha +\frac{{\delta }_{n-1}}{q_{n-1}}$.

$A_n=a{p}_{n-1}^2+b{p}_{n-1}{q}_{n-1}+c{q}_{n-1}^2=a(q_{n-1}\alpha +\frac{{\delta }_{n-1}}{q_{n-1}}{)}^2+b(q_{n-1}\alpha +\frac{{\delta }_{n-1}}{q_{n-1}})q_{n-1}+c{q}_{n-1}^2$

Eta: $a{\alpha }^2+b\alpha +c=0$, berdintza betetzen denez:

$A_n=q_{n-1}^2(a{\alpha }^2+b\alpha +c)+2a{\delta }_{n-1}\alpha +a\frac{{\delta }_{n-1}^2}{q_{n-1}^2}+b{\delta }_{n-1}=2a{\delta }_{n-1}\alpha +a\frac{{\delta }_{n-1}^2}{q_{n-1}^2}+b{\delta }_{n-1}$

Ondorioz: $\mathrm{\forall }n\ge 1,|A_n|\le 2|a||\alpha |+|a|+|b|\Rightarrow (A_n{)}_{n\ge 0}$ Barnatua.

$\mathrm{\forall }n\ge 2,|C_n|=|A_{n-1}|\le 2|a||\alpha |+|a|+|b|\Rightarrow (C_n{)}_{n\ge 0}$, Barnatua.

Eta $B_n^2-4A_n{C}_n=b^2-4ac\Rightarrow B_n^2=4A_n{C}_n+b^2-4ac\le 4|A_n||C_n|+b^2-4ac$.

$\Rightarrow (B_n{)}_{n\ge 0}$, Barnatua.

Lau: $\alpha =[a_0,a_1,...,a_n,...]$, periodikoa dela frogatuko da.

$(A_n{)}_{n\ge 0},(B_n{)}_{n\ge 0},(C_n{)}_{n\ge 0}$ segidak barnatuak daude hirugarren atalagatik, orduan:

$\mathrm{\exists }A,B,C\in \mathbb{N}:\mathrm{\forall }n\in \mathbb{N}\cup \{0\}\Rightarrow |A_n|\le A,|B_n|\le B,|C_n|\le C$, eta ondorioz:

$\{(A_n,B_n,C_n):n\in \mathbb{N}\cup \{0\}\}\subset [1,A]\times [1,B]\times [1,C]$.

Zenbaki arrunten multzoa infinitua denez, eta $[1,A]\times [1,B]\times [1,C]$, multzoa berriz finitua.

$\Rightarrow \mathrm{\exists }j,k,l\in \mathbb{N}\cup \{0\}$desberdinak non: $(A_j,B_j,C_j)=(A_k,B_k,C_k)=(A_l,B_l,C_l)\Rightarrow p_j(x)=p_k(x)=p_l(x)$.

Eta ${\alpha }_j,{\alpha }_k,{\alpha }_l$ aipaturiko polinomioen erroak badira hurrenez hurren. Polinomioak berdinak direnez, hiru erro horiek $p_j(x)$-en erroak dira. Ondorioz gutsienez bi erro berdinak dira: ${\alpha }_j={\alpha }_k;k>j$, suposatuko da orokortasunik galdu gabe.

$T=k-j$, aukeratuz.${\alpha }_j={\alpha }_k\Rightarrow [a_j,a_{j+1},...]=[a_k,a_{k+1},...]\Rightarrow a_{j+n}=a_{k+n}$.

$\mathrm{\forall }n\ge 0$-rentzat. $a_{j+n}=a_{j+n+k-j}=a_{j+n+T}$ $\Rightarrow$ -rentzat $a_n=a_{n+T}$.

Ondorioz $(a_n{)}_{n\ge 0}$, $T$-ren zatitzaile baten periodokoa da, gutsienez $hein(j)$-tik aurrera.

Definizioa4

Zenbaki irrazional baten, zatiki jarraien bidezko garapena, periodiko hutsa dela esaten da, $hein(0)$-tik aurrera periodikoa bada.

Galoisek zenbaki irrazional bikarratu laburtuak karakterizatzen ditu.

Proposizioa2 (Galois 1828)

Zenbaki erreal bat: irrazional bikarratu laburtua da, baldin eta soilik baldin zatiki jarraien bidezko bere garapena periodiko hutsa bada.

Froga: $\Rightarrow$

Izan bedi $\alpha$ zenbaki erreala, eta suposa bedi zenbaki irrazional bikarratu laburtua dela.

Bat: $\mathrm{\forall }n\in \mathbb{N}\cup \{0\}$, ${\alpha }_n$: $\alpha$-ren $n$. zatiki laburtua, zenbaki irrazional bikarratu laburtua dela frogatuko da.

$\alpha$, irrazional bikarratua bada, orduan Lagrangek dio zatiki jarraien bidezko bere garapena periodikoa dela.

$\mathrm{\forall }n\in \mathbb{N}\cup \{0\}$rentzat, ${\alpha }_n$-ren koefizienteak $\alpha$-ren koefizienteen berdinak direnez $hein(n)$-tik aurrera, ${\alpha }_n$-ren zatiki jarraien bidezko garapena periodikoa da, orduan Eulerrek dio ${\alpha }_n$ zenbaki irrazional bikarratua dela.

Ondorioz: $\mathrm{\forall }n\in \mathbb{N}\cup \{0\}$-rentzat ${\alpha }_n$zenbaki irrazional bikarratua da.

$\mathrm{\forall }n\in \mathbb{N}\cup \{0\}$-rentzat, ${\alpha }_n$ laburtua dela frogatuko da indukzioz.

$\alpha ={\alpha }_0$, laburtua da hipotesiagatik.

Suposa bedi ${\alpha }_n$laburtua dela, orduan: ${\alpha }_n>1;\overline{{\alpha }_n}\in (-1,0)$.

${\alpha }_{n+1}=\frac{1}{{\alpha }_n-[{\alpha }_n]}\iff {\alpha }_n=a_n+\frac{1}{{\alpha }_{n+1}}>1$, ( $[{\alpha }_n]=a_n$, parte osoa ).

${\alpha }_n-a_n\in (0,1)\Rightarrow \frac{1}{{\alpha }_{n+1}}\in (0,1)\Rightarrow {\alpha }_{n+1}>1$, laburtua izatearen lehen baldintza. ${\alpha }_n=a_n+\frac{1}{{\alpha }_{n+1}}\Rightarrow \overline{{\alpha }_n}=\overline{a_n+\frac{1}{{\alpha }_{n+1}}}=\overline{a_n}+\overline{(\frac{1}{{\alpha }_{n+1}})}=a_n+\frac{1}{\overline{{\alpha }_{n+1}}}$, konjokatuen ezaugarriak erabiliz.

${\alpha }_n>1\Rightarrow [{\alpha }_n]=a_n\ge 1$

$\overline{{\alpha }_{n+1}}=\frac{1}{\overline{{\alpha }_n}-a_n}\Rightarrow \frac{1}{\overline{{\alpha }_{n+1}}}=\overline{{\alpha }_n}-a_n\le \overline{{\alpha }_n}-1<-1\Rightarrow \overline{{\alpha }_{n+1}}\in (-1,0)$, laburtua izatearen bigarren baldintza.

${\alpha }_n$laburtua $\Rightarrow {\alpha }_{n+1}$laburtua ondorioztatu da.

Indukzio printzipioagatik: $\mathrm{\forall }n\in \mathbb{N}\cup \{0\}$-rentzat ${\alpha }_n$laburtua.

Bi: $\alpha$ periodiko hutsa dela frogatuko da.

Absurdura bideratuz, $\alpha$ periodiko hutsa ez bada:

$\alpha =[a_0,a_1,...,a_{N-1},\overline{a_N,...,a_{N+T-1}}]$, zeinetan $T$ periodoa den, eta $N$ berriz lehen periodoaren lehen indizea.

Periodiko hutsa ez izateagatik: $N\ge 1$.

$\alpha =[a_0,a_1,...,a_{N-1},{\alpha }_N]$, $T$-peridikoa izateagatik , $N$. zatiki laburtua: ${\alpha }_N$, $T$-periodikoa da.

${\alpha }_N=[\overline{a_0,a_1,...,a_{N+T-1}}]=[\overline{a_{N+T},a_{N+T+1},...,a_{N+2T-1}}]={\alpha }_{N+T}$.

$\alpha$-ren, $n$. hondarrak: ${\alpha }_n$ laburtuak dira. Lehen baldintzagatik:

${\alpha }_N={\alpha }_{N+T}\Rightarrow \overline{{\alpha }_N}=\overline{{\alpha }_{N+T}}\Rightarrow -\frac{1}{\overline{{\alpha }_N}}=-\frac{1}{\overline{{\alpha }_{N+T}}}>1$.

$\{\begin{array}{c}-\frac{1}{{\alpha }_N}=a_{N-1}-{\alpha }_{N-1}\Rightarrow -\frac{1}{\overline{{\alpha }_N}}=a_{N-1}-\overline{{\alpha }_{N-1}}>1\\ -\frac{1}{{\alpha }_{N+T}}=a_{N+T-1}-{\alpha }_{N+T-1}\Rightarrow -\frac{1}{\overline{{\alpha }_{N+T}}}=a_{N+T-1}-\overline{{\alpha }_{N+T-1}}>1\end{array}$

Bigarren baldintzagatik:

$\{\begin{array}{c}\overline{{\alpha }_{N-1}}\in (-1,0);a_{N-1}-\overline{{\alpha }_{N-1}}>1\Rightarrow a_{N-1}>0\\ \overline{{\alpha }_{N+T-1}}\in (-1,0);a_{N+T-1}-\overline{{\alpha }_{N+T-1}}>1\Rightarrow a_{N+T-1}>0\end{array}$.

$[a_{N-1}-\overline{{\alpha }_{N-1}}]=a_{N-1}$, eta $[a_{N+T-1}-\overline{{\alpha }_{N+T-1}}]=a_{N+T-1}$. (Parte osoak kasurako)

$[-\frac{1}{\overline{{\alpha }_N}}]=[-\frac{1}{\overline{{\alpha }_{N+T}}}]\Rightarrow a_{N-1}=[a_{N-1}-\overline{{\alpha }_{N-1}}]=[a_{N+T-1}-\overline{{\alpha }_{N+T-1}}]=a_{N+T-1}$

Eta ondorioz, lehen periodoaren lehen indizea $N-1$ , edo txikiagoa da, zeina ezinezkoa den.

$\Leftarrow$

Suposa dezagun $\alpha$-ren zatiki jarraien bidezko garapena, periodiko hutsa dela, orduan:

$\mathrm{\exists }T\in \mathbb{N}:\alpha =[\overline{a_0,a_1,...,a_{T-1}}]\Rightarrow a_0=a_T\in \mathbb{N}$, ondorioz: $\alpha >a_0\ge 1$

$T=1\Rightarrow \alpha =[a_0,\alpha ]=a_0+\frac{1}{\alpha }$, eta beraz $\alpha$, $p(x)=x^2-a_{0}x-1$, en erroa da.

$p(x)$-en erroak: $\alpha =\frac{a_0+\sqrt{a_0^2+4}}{2};\bar{\alpha }=\frac{a_0-\sqrt{a_0^2+4}}{2}\Rightarrow \bar{\alpha }\in (-1,0)$, $\alpha$ laburtua.

$T>1\Rightarrow \alpha =[a_0,...,a_{T-1},\alpha ]=\frac{p_{T-1}\alpha +p_{T-2}}{q_{T-1}\alpha +q_{T-2}}\iff q_{T-1}{\alpha }^2+(q_{T-2}-p_{T-1})\alpha -p_{T-2}=0$, eta ondorioz:

$\alpha$, $p(x)=q_{T-1}{x}^2+(q_{T-2}-p_{T-1})x-p_{T-2}$-en erroa da, eta $\alpha >a_0\ge 1$.

Bigarren erroa $(-1,0)$ bitartean dagoela frogatuko da.

$p(0)=-p_{T-2}<0$.

$q_n\uparrow ,p_n\uparrow$, gorakorrak direnez: $p(-1)=q_{T-1}-q_{T-2}+p_{T-1}-p_{T-2}\ge 0$.

$p(-1)=0\Rightarrow p_{T-1}=q_{T-1};p_{T-2}=q_{T-2}\Rightarrow R_{T-1}=R_{T-2}$, ezinezkoa. Ondorioz:

$p(-1)>0$.

$p(x)$, jarraia denez erdiko balioaren teorema aplika daiteke.

$\mathrm{\exists }\zeta \in (-1,0):p(\zeta )=0$, eta $p(x)$-en erroak konjokatuak direnez: $\zeta =\bar{\alpha }\in (-1,0)$.

Ondorioz, $\alpha$ laburtua da.

Proposizioa3:

Izan bedi $p\in \mathbb{N}-{\mathbb{N}}^2$, zenbaki ez karratua, $\alpha =[\sqrt{p}]+\sqrt{p}$, eta $({\alpha }_n{)}_{n\ge 0}$, $\alpha$-ren zatiki osatuen segida. Orduan:

1:Zatiki jarraien bidezko $\sqrt{p}$-ren garapena, periodikoa da $hein(1)$-etik aurrera.

2: $\mathrm{\exists }{u}_n,v_n\in \mathbb{N}$ , bi segida non $\mathrm{\forall }n\in \mathbb{N}\cup \{0\}\Rightarrow {\alpha }_n=\frac{u_n+\sqrt{p}}{v_n},u_n\le a_0;p-u_n^2\in v_n\mathbb{Z}$.

3:$\sqrt{p}$-ren periodoa $T=Min\{k\in \mathbb{N}:a_k=2a_0\}$.

4: Baldin eta, $\mathrm{\exists }N\in [1,T-1]:u_N\in v_N\mathbb{Z}\Rightarrow T=2N$, eta beraz $T$ bikoitia.

Froga

Izan bedi:$\sqrt{p}=[a_0,a_1,...,a_n,...]$ zatiki jarraien bidezko garapena, orduan $\alpha =[2a_0,a_1,...,a_n,...]$.

1: $\alpha =a_0+\sqrt{p}$ , zenbaki irrazional bikarratu laburtua dela frogatuko da. ($a_0=[\sqrt{p}]$, parte osoa).

$\alpha$, $p(x)=x^2-2a_{0}x+a_0^2-p$, polinomioaren erroa da. $\alpha =[\sqrt{p}]+\sqrt{p}>1$ .

Beste erroa: $\bar{\alpha }=-(\sqrt{p}-a_0)\in (-1,0)$, ondorioz $\alpha$ zenbaki irrazional bikarratu laburtua da.

Galoisek dio, $\alpha$-ren zatiki jarraien bidezko garapena periodiko hutsa dela:

$\alpha =[\overline{2a_0,a_1,...,a_{T-1}}]\Rightarrow \sqrt{p}=[a_0,\overline{a_1,...,a_{T-1},a_{2a_0}}]$.

$\sqrt{p}$-ren zatiki jarraien bidezko garapena periodikoa, $hein(1)$-etik aurrera.

2: $u_n,v_n$ segidak errekurrentziz eraikiko dira, ondoren adierazten den bezala:

$n=0$ bada, ${\alpha }_0=\alpha =a_0+\sqrt{p}\Rightarrow u_0=a_0,v_0=1;p-a_0^2\in 1\cdot \mathbb{Z}$.

Suposa bedi $u_n;v_n$eraiki direla, ondorengo ezaugarriekin:

${\alpha }_n=\frac{u_n+\sqrt{p}}{v_n}$, $p-u_n^2\in v_n\mathbb{Z}$, $u_n,v_n\in \mathbb{N}$, eta $u_n\le a_0$.

2.1: $u_{n+1};v_{n+1}$, eraikiko dira. .

${\alpha }_n=\frac{u_n+\sqrt{p}}{v_n}=b_n+\frac{u_n-b_n{v}_n+\sqrt{p}}{v_n}$, zeinetan $b_n=[{\alpha }_n]$.

$u_{n+1}=b_n{v}_n-u_n$, izango da.

${\alpha }_n=b_n+\frac{u_n-b_n{v}_n+\sqrt{p}}{v_n}=b_n+\frac{-u_{n+1}+\sqrt{p}}{v_n}=b_n+\frac{p-u_{n+1}^2}{v_n(\sqrt{p}+u_{n+1})}$. ${\alpha }_n=b_n+\frac{1}{\frac{u_{n+1}+\sqrt{p}}{\frac{p-u_{n+1}^2}{v_n}}}\Rightarrow v_{n+1}=\frac{p-u_{n+1}^2}{v_n}$

$v_{n+1}=\frac{p-u_{n+1}^2}{v_n}$, izango da.

2.2: ${\alpha }_{n+1}=\frac{u_{n+1}+\sqrt{p}}{v_{n+1}}$, $u_{n+1},v_{n+1}\in \mathbb{N}$ eta $p-u_{n+1}^2\in v_{n+1}\mathbb{Z}$. betetzen direla frogatuko da.

${\alpha }_{n+1}=\frac{1}{{\alpha }_n-b_n}=\frac{1}{\frac{u_n-\sqrt{p}}{v_n}-b_n}=\frac{v_n}{-u_{n+1}+\sqrt{p}}=\frac{u_{n+1}+\sqrt{p}}{\frac{p-u_{n+1}^2}{v_n}}=\frac{u_{n+1}+\sqrt{p}}{v_{n+1}}$.

$u_{n+1}=b_n{v}_n-u_n\in \mathbb{Z}$.

$v_{n+1}=\frac{p-u_{n+1}^2}{v_n}=\frac{p-(b_n{v}_n-u_n{)}^2}{v_n}=\frac{p-u_n^2}{v_n}+2u_n{b}_n-b_n^2{v}_n\in \mathbb{Z}$.

$v_{n+1}=\frac{p-u_{n+1}^2}{v_n}\in \mathbb{Z}\Rightarrow p-u_{n+1}^2\in v_{n+1}\mathbb{Z}$.

2.3: $u_{n+1},v_{n+1}\in \mathbb{N}$, frogatuko da.

$\alpha$, zenbaki irrazional bikarratu laburtua izanagatik, ${\alpha }_n$ zatiki osatu guztiak zenbaki irrazional bikarratu laburtuak dira.

$\{\begin{array}{c}{\alpha }_n>1\Rightarrow 2[{\alpha }_n]>{\alpha }_n\Rightarrow b_n=[{\alpha }_n]>\frac{{\alpha }_n}{2}\\ {\alpha }_n=\frac{u_n+\sqrt{p}}{v_n}>\frac{u_n+a_0}{v_n}\ge \frac{2u_n}{v_n}\end{array}\Rightarrow b_n>\frac{{\alpha }_n}{2}>\frac{u_n}{v_n}\Rightarrow b_n{v}_n-u_n>0$.

$u_{n+1}=b_n{v}_n-u_n\in \mathbb{Z}$ eta $b_n{v}_n-u_n>0$, orduan:

$u_{n+1}\in \mathbb{N}$.

$b_n=[{\alpha }_n]<{\alpha }_n=\frac{u_n+\sqrt{p}}{v_n}\Rightarrow u_{n+1}=v_n{b}_n-u_n<\sqrt{p}\Rightarrow \sqrt{p}-u_{n+1}>0$

$p-u_{n+1}^2>0;v_n\in \mathbb{N}\Rightarrow v_{n+1}=\frac{p-u_{n+1}^2}{v_n}>0$, eta $v_{n+1}\in \mathbb{Z}$, orduan:

$v_{n+1}\in \mathbb{N}$.

2.4: $u_{n+1}\le a_0$, frogatuko da.

$u_n\le a_0<\sqrt{p};u_{n+1}=b_n{v}_n-u_n<{\alpha }_n{v}_n-u_n=\sqrt{p}$,

$u_{n+1}<\sqrt{p};u_{n+1}\in \mathbb{N}\Rightarrow u_{n+1}\le [\sqrt{p}]=a_0$.

Indukzio printzipioa aplikatuz, bigarren atala ondorioztatzen da.

3:$\sqrt{p}=[a_0,\overline{a_1,...,a_{T-1},a_{2a_0}}]$, ondorioztatu da 1, atalean.

3.1. $\mathrm{\forall }j\in [1,T-1],{\alpha }_j\ne \alpha$. Frogatuko da.

Absurdura bideratuz, baldin eta:$\mathrm{\exists }j\in [1,T-1]:{\alpha }_j=\alpha$

$\alpha =[2a_0,a_1,...,a_{j-1},{\alpha }_j]=[2a_0,a_1,...,a_{j-1},\alpha ]=[\overline{2a_0,a_1,...,a_{j-1}}]$

Ondorioz:$\sqrt{p}=[a_0,\overline{a_1,...,a_{j-1},a_{2a_0}}]\Rightarrow T=j<T$, ezinezkoa.

3.2 $\mathrm{\forall }j\in [1,T-1],a_j\ne 2a_0$, frogatuko da.

Absurdura bideratuz: $\mathrm{\exists }j\in [1,T-1]:a_j=2a_0$.

$j\ge 1\Rightarrow b_j=a_j=2a_0$, eta $u_{j+1}=2a_0{v}_j-u_j\Rightarrow 2a_0{v}_j=u_j+u_{j+1}\le 2a_0\Rightarrow v_j=1$.

2. atalagatik: $u_n\le a_0$, ondorioz:

$2a_0=u_j+u_{j+1}\le u_j+a_0\Rightarrow a_0\le u_j\le a_0\Rightarrow u_j=a_0$, honela:

${\alpha }_j=\frac{u_j+\sqrt{p}}{v_j}=u_j+\sqrt{p}=a_0+\sqrt{p}=\alpha$, zeina ezinezkoa den 3.1. atalagatik.

4: Suposa bedi $\mathrm{\exists }N\in [1,T-1]:u_N\in v_N\mathbb{Z}$. $\Rightarrow T=2N$ ondorioztatuko da

4.1. $\mathrm{\forall }j\in [0,N-1]\Rightarrow u_{N+j+1}=u_{N-j},v_{N+j+1}=v_{N-j-1};b_{N+j+1}=b_{N-j-1}$, frogatuko da.

4.1.1. $j=0\Rightarrow u_{N+1}=u_N,v_{N+1}=v_{N-1};b_{N+1}=b_{N-1}$, frogatuko da lehenik.

$\{\begin{array}{c}{u}_N\in v_N\mathbb{Z}\Rightarrow \frac{2u_N}{v_N}\in \mathbb{N}\\ u_N\le a_0<\sqrt{p}\end{array}\Rightarrow \frac{2u_N}{v_N}<\frac{u_N+\sqrt{p}}{v_N}={\alpha }_N$.

Eta $\alpha$ zenbaki irrazional bikarratu laburtua izateagatik:

$\frac{u_N+\sqrt{p}}{v_N}>1;\frac{u_N-\sqrt{p}}{v_N}\in (-1,0)$.

${\alpha }_N=\frac{u_N+\sqrt{p}}{v_N}=\frac{2u_N}{v_N}-\frac{u_N-\sqrt{p}}{v_N}<\frac{2u_N}{v_N}+1$

$\{\begin{array}{c}{b}_N=[{\alpha }_N]=[\frac{u_N+\sqrt{p}}{v_N}]\le \frac{2u_N}{v_N}\in \mathbb{N}\\ \frac{2u_N}{v_N}<\frac{u_N+\sqrt{p}}{v_N}\end{array}\Rightarrow b_N=[\frac{u_N+\sqrt{p}}{v_N}]=\frac{2u_N}{v_N}$

$u_{N+1}=b_N{v}_N-u_N=\frac{2u_N}{v_N}{v}_N-u_N=u_N\Rightarrow u_{N+1}=u_N$

$v_{N+1}=\frac{p-u_{N+1}^2}{v_N}\Rightarrow u_{N+1}^2+v_{N+1}{v}_N=p=u_N^2+v_N{v}_{N-1}\Rightarrow v_{N+1}=v_{N-1}$.

$b_{N+1}=[{\alpha }_{N+1}]=[\frac{u_{N+1}+\sqrt{p}}{v_{N+1}}]=[\frac{u_N+\sqrt{p}}{v_{N-1}}]$, eta $u_N=b_{N-1}{v}_{N-1}-u_{N-1}$.

$b_{N+1}=[{\alpha }_{N+1}]=[\frac{u_N-\sqrt{p}}{v_{N-1}}]=[b_{N-1}-\frac{u_{N-1}-\sqrt{p}}{v_{N-1}}]=[b_{N-1}-\overline{{\alpha }_{N-1}}]=b_{N-1}$.

4.1.2. Suposa bedi orain: $\mathrm{\exists }j\in [0,T-2]:u_{N+j+1}=u_{N-j},v_{N+j+1}=v_{N-j-1};b_{N+j+1}=b_{N-j-1}$.

Orduan $(j+1)$entzat 4.1. erlazioa betetzen dela frogatuko da.

$u_{N+j+2}=b_{N+j+1}{v}_{N+j+1}-u_{N+j+1}=b_{N-j-1}{v}_{N-j-1}-u_{N-j}$

$=b_{N-j-1}{v}_{N-j-1}-(b_{N-j-1}{v}_{N-j-1}-u_{N-j-1})=u_{N-j-1}\Rightarrow u_{N+j+2}=u_{N-j-1}$.

$v_{N+j+2}=\frac{p-u_{N+j+2}^2}{v_{N+j+1}}\Rightarrow u_{N+j+2}^2+v_{N+j+2}{v}_{N+j+1}=p$,

$u_{N+j+2}^2+v_{N+j+2}{v}_{N+j+1}=u_{N-j-1}^2+v_{N-j-2}{v}_{N-j-1}=u_{N+j+2}^2+v_{N-j-2}{v}_{N+j+1}$, $\Rightarrow v_{N+j+2}=v_{N-j-2}$.

$b_{N+j+2}=[{\alpha }_{N+j+2}]=[\frac{u_{N+j+2}+\sqrt{p}}{v_{N+j+2}}]=[\frac{u_{N-j-1}+\sqrt{p}}{v_{N-j-2}}]$

$=[\frac{b_{N-j-2}{v}_{N-j-2}-u_{N-j-2}++\sqrt{p}}{v_{N-j-2}}]=[b_{N-j-2}-\overline{{\alpha }_{N-j-2}}]=b_{N-j-2}\Rightarrow b_{N+j+2}=b_{N-j-2}$

4.2. $T=2N$ ondorioztatuko da.

$\mathrm{\forall }j\in [0,N-1]\Rightarrow u_{N+j+1}=u_{N-j},v_{N+j+1}=v_{N-j-1};b_{N+j+1}=b_{N-j-1}$. betetzen da 4.1 atalagatik.

$j=N-1\Rightarrow b_{2N}=b_0$, betetzen da eta 3. atalagatik: $2N=\zeta T:\zeta \in \mathbb{N}$.

$2\le 2N\le 2(T-1)N<2T;2N=\zeta T\ge T\Rightarrow N<T\le 2N\Rightarrow \zeta =1;T=2N$bikoitia.

Pellen ekuazioaren oinarrizko ebazpena

Galoisek ondorioztatuko du: $\sqrt{p}$ moduko zenbakien zatiki jarraien bidezko garapena: $T$-periodikoa dela: $hein(1)$-etik aurrera. Atal honetan frogatuko da, $p$ parametrodun $x^2-p{y}^2=1$ edo $x^2-p{y}^2=-1$ ekuazioaren, $\sqrt{p}$ -ren zatiki jarraien bidezko hondar bat dela eta ondar hori periodoa osatu aurrekoa dela: $R_{T-1},R_{2T-1},...$ Hondarraren zenbakitzailea eta izendatzailea gorakorrak direnez: $R_{T-1}$, izango da $x^2-p{y}^2=1$-en ebazpen minimoa, $T$ bikoitia denean, eta $x^2-p{y}^2=-1$, en ebazpena $T$ bakoitia denean. Honela $T$ bakoitia denean, $x^2-p{y}^2=1$-en ebazpen minimoa $R_{2T-1}$izango da.

Lema1

Izan bedi: $p\in \mathbb{N}-{\mathbb{N}}^2$, eta $m\in \mathbb{Z}-\{0\}:1\le |m|<\sqrt{p}$.

Suposa bedi $\mathrm{\exists }(x,y)\in \mathbb{N}\times \mathbb{N}:zkh(x,y)=1;x^2-p{y}^2=m$.

Orduan $\frac{x}{y}$, $\sqrt{p}$-ren zatiki jarraien bidezko hondar bat da.

Froga:

$x^2-p{y}^2=m\Rightarrow x-y\sqrt{p}=\frac{m}{x+y\sqrt{p}}$.

i) $m>0$ bada, $x^2=m+p{y}^2>p{y}^2\Rightarrow x>y\sqrt{p}$

$|\sqrt{p}-\frac{x}{y}|=|\frac{x-y\sqrt{p}}{y}|=|\frac{x^2-p{y}^2}{y(x+y\sqrt{p})}|=\frac{m}{xy+y^2\sqrt{p}}<\frac{\sqrt{p}}{2y^2\sqrt{p}}=\frac{1}{2y^2}$, eta zatiki jarraien ataleko 3. proposizioa dela medio, $\frac{x}{y}$, $\sqrt{p}$ -ren zatiki jarraien bidezko $n$. hondar bat da.

ii) $m<0$ bada, $p{y}^2=x^2-m>x^2\Rightarrow \sqrt{p}y>x$.

Lehen desberdintzan: $|m|<\sqrt{p}$, erabiliz eta bigarren desberdintzan: $\sqrt{p}y>x$.$|\frac{1}{\sqrt{p}}-\frac{y}{x}|=|\frac{x-y\sqrt{p}}{x\sqrt{p}}|=|\frac{x^2-p{y}^2}{x\sqrt{p}(x+y\sqrt{p})}|=\frac{|m|}{x^2\sqrt{p}+xyp}<\frac{\sqrt{p}}{\sqrt{p}(x^2+xy\sqrt{p})}<\frac{1}{2x^2}$Berriro ere zatiki jarraien ataleko 3. proposizioa dela medio: $\frac{y}{x}$, $\frac{1}{\sqrt{p}}$-en zatiki jarraien bidezko $n$. hondar bat da:

$\sqrt{p}=[a_0,a_1,...,a_n,...]\Rightarrow \frac{1}{\sqrt{p}}=[0,\sqrt{p}]=[0,a_0,a_1,...,a_n,...]$, eta $\frac{y}{x}=[0,a_0,a_1,...,a_{n-1}]$, zeinetan $y\ne 0\Rightarrow n\ne 0\Rightarrow n\in \mathbb{N}$.

$\frac{y}{x}=0+\frac{1}{[a_0,a_1,...,a_{n-1}]}\Rightarrow \frac{x}{y}=[a_0,a_1,...,a_{n-1}]$, $\sqrt{p}$-ren $(n-1)$. hondarra.

Teorema.

$p\in \mathbb{N}-{\mathbb{N}}^2$, eta $m\in \mathbb{Z}:1\le |m|<\sqrt{p}$. Emanik ondorengoak baiezta daitezke.

${\delta }_n=\frac{u_n+\sqrt{p}}{v_n}$, $\sqrt{p}$-ren $n$. zatiki osatua, zeinetan: $u_n,v_n$proposizioa3-n bezala definituak.

$\sqrt{p}$-ren $n$. hondarra: $\frac{p_n}{q_n}$, $zkh(p_n,q_n)=1$ eta $\sqrt{p}$: $T$-periodikoa.

$\mathrm{\forall }l\in \mathbb{Z}$-rentzat, ${\xi }_l=\{j\in [1,T]:(-1{)}^j{v}_j=l\}$ adieraziko da. Orduan:

1: $T$ bikoitia bada: $x^2-p{y}^2=m$ ekuazioak ebazpen ez neutroa du $\iff {\xi }_m\ne \mathrm{\varnothing }$.

Eta kasu horretan $zkh(x,y)=1$, betetzen duten ebazpen guztiak, ondorengo multzoan daude:$\bigcup _{N\in {\xi }_m}\{(p_{N+kT-1},q_{N+kT-1}):k\in \mathbb{N}\cup \{0\}\}$.

2: $T$ bakoitia bada,$x^2-p{y}^2=m$ ekuazioak ebazpena (ez neutroa) du $\iff {\xi }_m\cup {\xi }_{-m}\ne \mathrm{\varnothing }$.

Eta kasu horretan $zkh(x,y)=1$ , betetzen duten ebazpen guztiak, ondorengo multzoan daude: $\bigcup _{N\in {\xi }_m}\{(p_{N+2kT-1},q_{N+2kT-1}):k\in \mathbb{N}\cup \{0\}\}$, edo

$\bigcup _{M\in {\xi }_{-m}}\{(p_{M+(2k+1)T-1},q_{M+(2k+1)T-1}):k\in \mathbb{N}\cup \{0\}\}$

3: Edozein kasutan $x^2-p{y}^2=m$, ekuazioak infinitu soluzio ditu.

FROGA

${\delta }_n=\frac{u_n+\sqrt{p}}{v_n}$, $\sqrt{p}$-ren $n$. zatiki osatua denez: $\sqrt{p}=[a_0,a_1,...,a_{n-1},{\delta }_n]$.

$\sqrt{p}$-ren garapena: $T$-periodikoa denez, $hein(1)$-etik aurrera, ${\delta }_n$ere $T$ periodikoa da, eta modu bakarrean determinatzen dituenez: $u_n,v_n$balioak, hauek ere gutsienez; $T$ periodikoak dira.

Ondorioz $v_n\in \{v_1,...,v_T\}$.

$\sqrt{p}$-ren $n$. hondarra: $R_n=\frac{p_n}{q_n}=[a_0,a_1,...,a_n]$, adieraziko da.

$\mathrm{\forall }n\in \mathbb{N},p_{n-1}^2-p{q}_{n-1}^2=(-1{)}^n{v}_n$ betetzen dela frogatuko da.

$\sqrt{p}=[a_0,a_1,...,a_{n-1},{\delta }_n]=\frac{p_{n-1}{\delta }_n+p_{n-2}}{q_{n-1}{\delta }_n+q_{n-2}}=\frac{p_{n-1}(u_n+\sqrt{p})+p_{n-2}{v}_n}{q_{n-1}(u_n+\sqrt{p})+q_{n-2}{v}_n}$

Eta ondorioz: $\mathrm{\forall }n\ge 2$-rentzat.

$q_{n-1}p+(q_{n-1}{u}_n+q_{n-2}{v}_n)\sqrt{p}=p_{n-1}{u}_n+p_{n-2}{v}_n+p_{n-1}\sqrt{p}\Rightarrow$$q_{n-1}p=p_{n-1}{u}_n+p_{n-2}{v}_n$.eta $p_{n-1}=q_{n-1}{u}_n+q_{n-2}{v}_n$

Honela:

$p_{n-1}^2-p{q}_{n-1}^2=p_{n-1}(q_{n-1}{u}_n+q_{n-2}{v}_n)-q_{n-1}(p_{n-1}{u}_n+p_{n-2}{v}_n)$

Eta: $p_{n-1}{q}_{n-2}-q_{n-1}{p}_{n-2}=(-1{)}^n$, betetzen denez:$p_{n-1}^2-p{q}_{n-1}^2=v_n(p_{n-1}{q}_{n-2}-q_{n-1}{p}_{n-2})=v_n(-1{)}^n$.

$n=1$ denean $p_0^2-p{q}_0^2=a_0^2-p=(-1)v_1$, izan ere: $\frac{p_0}{q_0}=a_0,u_1=a_0{v}_0-u_0=a_0;v_1=\frac{p-u_1^2}{v_0}=p-a_0^2.$

Ondorioz:$\mathrm{\forall }n\in \mathbb{N},p_{n-1}^2-p{q}_{n-1}^2=(-1{)}^n{v}_n$

1: $T$ bikoitia bada.

Suposa bedi: $(x,y)$ , $x^2-p{y}^2=m$ ekuazioaren ebazpen ez neutroa dela, $zkh(x,y)=1$ orduan Lema3 gatik:

$\frac{x}{y}$, $\sqrt{p}$-ren hondar bat da: $j-1$. hondarra: $\frac{x}{y}=R_{j-1}$, $j\in \mathbb{N}$.

$x=p_{j-1};y=q_{j-1}\Rightarrow m=x^2-p{y}^2=p_{j-1}^2-p{q}_{j-1}^2=(-1{)}^j{v}_j$.

Zatidura euklidearra eginez, eta $h+1=N_j$ adieraziz:

$j-1=Tk+h:h\in [0,T-1]\iff j=Tk+h+1:h+1=N_j\in [1,T]$$\iff j=Tk+N_j:N_j\in [1,T]$

$(-1{)}^j{v}_j=(-1{)}^{Tk+N_j}{v}_{Tk+N_j}=(-1{)}^{N_j}{v}_{N_j}=m$, ($T$ bikoitia eta $v_n$- $T$ periodikoa)$\Rightarrow N_j\in {\xi }_m\ne \mathrm{\varnothing }$.

Eta: $(x,y)=(p_{N_j+kT-1},q_{N_j+kT-1})\in \bigcup _{N\in {\xi }_m}\{(p_{N+kT-1},q_{N+kT-1}):k\in \mathbb{N}\}$.

Alderantzizkoa: $\Leftarrow {\xi }_m\ne \mathrm{\varnothing }$ bada, $\mathrm{\exists }N\in [1,T]:(-1{)}^N{v}_N=m$.

Orduan: $k\in \mathbb{N}\cup \{0\}$, hartuaz:

$p_{N+kT-1}^2-p{q}_{N+kT-1}^2=(-1{)}^{N+kT}{v}_{N+kT}=(-1{)}^N{v}_N=m$.

Ondoriz $x=p_{N+kT-1},y=q_{N+kT-1}$, $x^2-p{y}^2=m$, ekuazioaren ebazpena da.

2: $T$ bakoitia bada.

$\Rightarrow (x,y),x^2-p{y}^2=m$-ren ebazpen ez neutroa, $zkh(x,y)=1$.

Aurreko atalean bezala argudiatuz:

$\frac{x}{y}$, $\sqrt{p}$-ren hondar bat da: $j-1$. hondarra: $\frac{x}{y}=R_{j-1}$, $j\in \mathbb{N}$.

$m=p_{j-1}^2-p{q}_{j-1}^2=(-1{)}^j{v}_j$.

Zatidura euklidearra eginez.

$j-1=kT+h:h\in [0,T-1]\iff j=kT+N_j:N_j\in [1,T]$, zeinetan $N_j=h+1$.

Bi kasu eman daitezke:

2.1: $k$ bikoitia bada $kT$ bikoitia da. $k=2r:r\in \mathbb{N}\cup \{0\}$adieraziz:

$m=x^2-p{y}^2=p_{j-1}^2-p{q}_{j-1}^2=p_{N_j+2rT-1}^2-p{q}_{N_j+2rT-1}^2=(-1{)}^j{v}_j$.

$(-1{)}^j=(-1{)}^{N_j};v_j=v_{N_j}$. $k$ bikoitia eta $v_n$, $T$-periodikoa. $N_j\in {\xi }_m\ne \mathrm{\varnothing }$

$(x,y)\in \bigcup _{N\in {\xi }_m}\{(p_{N+2kT-1},q_{N+2kT-1}):k\in \mathbb{N}\cup \{0\}\}$

2.2. $k$ bakoitia bada $kT$ bakoitia da.( $T$ bakoitia denez). $k=2r+1:r\in \mathbb{N}\cup \{0\}$.

$m=x^2-p{y}^2=p_{j-1}^2-p{q}_{j-1}^2=(-1{)}^j{v}_j$

$(-1{)}^j{v}_j=(-1{)}^{N_j+(2r+1)T}{v}_{N_j+(2r+1)T}=-(-1{)}^{N_j}{v}_{N_j}$

$\Rightarrow N_j\in {\xi }_{-m}\ne \mathrm{\varnothing }$, $(x,y)\in \bigcup _{N\in {\xi }_{-m}}\{(p_{N+(2k+1)T-1},q_{N+(2k+1)T-1}):k\in \mathbb{N}\cup \{0\}\}$. alderantzizkoa

$\Leftarrow {\xi }_m\ne \mathrm{\varnothing }$ bada $\mathrm{\exists }N\in [1,T]:(-1{)}^N{v}_N=m$, orduan: $k\in \mathbb{N}\cup \{0\}$

$p_{N+2kT-1}^2-p{q}_{N+2kT-1}^2=(-1{)}^{N+2kT}{v}_{N+2kT}=(-1{)}^N{v}_N=m$.

${\xi }_{-m}\ne \mathrm{\varnothing }$ bada $\mathrm{\exists }N\in [1,T]:(-1{)}^N{v}_N=-m$, orduan: $k\in \mathbb{N}\cup \{0\}$

$p_{N+(2k+1)T-1}^2-p{q}_{N+(2k+1)T-1}^2=(-1{)}^{N+(2k+1)T}{v}_{N+(2k+1)T}=$$=(-1{)}^{N+(2k+1)T}{v}_{N+(2k+1)T}=-(-1{)}^N{v}_N=-(-m)=m$.

3: $\sqrt{p}$-ren garapenaren periodoa: $T$ , bikoitia ala bakoitia denez: $x^2-p{y}^2=m$ bateragarria da eta teorema honen 1 eta 2 atalengatik infinitu ebazpen ditu.

Korolarioa.

$p\in \mathbb{N}-{\mathbb{N}}^2$, eta $T$, $\sqrt{p}$-ren zatiki jarraien bidezko periodoa. Orduan:

1: $T$ bikoitia bada, $x^2-p{y}^2=1$ -en ebazpen minimoa: $x=p_{T-1},y=q_{T-1}$da. Zeinetan $\frac{p_{T-1}}{q_{T-1}}$, $\sqrt{p}$-ren $(T-1)$. hondarra den.

2: $T$ bakoitia bada, $x^2-p{y}^2=1$ -en ebazpen minimoa: $x=p_{2T-1},y=q_{2T-1}$da. Zeinetan $\frac{p_{2T-1}}{q_{2T-1}}$, $\sqrt{p}$-ren $(2T-1)$. hondarra den.

Froga: Proposizioa3-ko 3. atalagatik: $T=Min\{k\in \mathbb{N}:a_k=2a_0\}$

$\alpha =[\sqrt{p}]+\sqrt{p}=a_0+\sqrt{p}$, periodiko hutsa da, eta $T$ periodokoa: ${\alpha }_j={\alpha }_{j+T}$.

${\alpha }_T={\alpha }_0\Rightarrow \frac{u_T+\sqrt{p}}{v_T}=a_0+\sqrt{p}$, honela $v_T=1$.

Honela aurreko teorema aplikatuz.

$T$ bikoitia bada, $(-1{)}^T{v}_T=1\Rightarrow T\in {\xi }_1\ne \mathrm{\varnothing }$.

Eta ebazpen txikiena: $x=p_{T-1},y=q_{T-1}\Rightarrow \frac{x}{y}=R_{T-1}$.

$T$ bakoitia bada, $(-1{)}^T{v}_T=-1\Rightarrow T\in {\xi }_{-1}\ne \mathrm{\varnothing }$.

Eta beraz ebazpen txikiena: $x=p_{2T-1},y=q_{2T-1}\Rightarrow \frac{x}{y}=R_{2T-1}$.