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
ekuazioaren ebazpen baten existentzia frogatzen du. Ebazpen honen existentzia desberdintza batek determinatzen du:
. Desberdintza hori betetzen duten
zatikiak,
zenbakiaren
. hondar bat dira ( zatiki jarraien bidezko bere garapenaren hondarra ). Honela Pell-en ekuazioaren ebazpenak:
. 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
moduko zenbakien zatiki jarraien bidezko garapena:
-periodikoa dela:
-etik aurrera, eta ebazpenak, periodoa osatu aurreko hondarrren artean daudela:
Hondarraren zenbakitzailea eta izendatzailea gorakorrak direnez: ebazpen minimoa edo oinarrizko ebazpena: ebazpena den periodo aurreko lehen hondarrean aurkitzen da:
, edo
.
, zenbaki irrazional bat bikarratua izendatzen da, koefiziente osoak dituen bigarren graduko polinomio baten erroa bada.
. Adieraziko da.
, bada non
, orduan
, bere konjokatua izendatuko da.
ren
. hondarra:
, beste modu honetan ere adieraziko da:
, beste zenbaki irrazionalen
. hondarretik bereizteko.
, zenbaki irrazional bikarratua, laburtua dela esango dugu, baldin eta:
bada eta
.
Zeinetan
eta
polinomio berdinaren erro konjokatuak diren.
Izan bedi
zenbaki irrazionala, zatiki jarraien bidezko bere garapena,
periodikoa dela esango dugu,
, segida periodikoa bada, eta segidaren periodoa:
, bada
-ren zatiki jarraien bidezko garapenaren periodoa:
, dela esango dugu.
Periodoaren lehen elementua:
, bada
-ren zatiki jarraien garapena,
-periodikoa dela esango da
-tik aurrera (heina N). Honela adieraziko da:
.
- Eulerrek frogatu zuen 1748.urtean:
-ren zatiki jarraien garapena periodikoa bada, orduan
zenbaki irrazionala bikarratua dela, eta Lagrangek frogatu zuen 1768.urtean:
zenbaki irrazional bikarratua bada, orduan zatiki jarraien bidezko garapena periodikoa dela. Biak idatziko dira proposizio batean.
Izan bedi
, zatiki jarraien bidezko bere garapena. Orduan: garapena periodikoa da baldin eta soilik baldin
zenbaki irrazional bikarratua bada.
Froga:
Suposa bedi
-ren zatiki jarraien bidezko garapena,
-periodikoa dela,
-tik aurrera:
.
-ren
. hondarra (zatiki laburtezin gisara adierazia):
.
-ren
.zatiki osatua:
.
Eta
.zatiki osatuaren:
,
. hondarra (zatiki laburtezina):
.
zenbaki irrazional baten,
.zatiki osatuak:
, ondorengo ezaugarriaren bidez definitzen dira:
(ikus zatiki jarraiak).
periodikoa dela kontuan hartuz:
. Ondorioz:
.
denez,
bikarratua da.
. Absurdura bideratuz: Baldin eta:
, eta ondorioz zatiki jarraien bidezko garapena finitua da (zatiki jarraiak) eta
denez,
-ren garapena ere finitua da, zeina ezinezkoa den (hipotesiagatik periodikoa delako).
Ondorioz:
, zenbaki irrazional bikarratua da:
modukoa non:
, eta
.
, gisakoa da, zeinetan:
.
frogatuko da.
, eta beraz zatiki jarraien bidezko garapena finitua. Ezinezkoa.
Ondorioz:
, zenbaki irrazional bikarratua da.
, zenbaki irraziona bikarratua bada:
i)
, ii)
eta iii)
.
, orohar betetzen da.
Eta
, bikarratua izateagatik:
rentzat:
Bat.
, frogatuko da.
, eta ondorioz
, arrazionala, ezinezkoa.
Bi:
, ren diskriminantea eta
en diskrimintea berdinak direla frogatuko da.
Hots:
.
.
Karratuak garatuz:
Terminuak ezbatuz:
Terminuak batuz:
Adierazpena lortu da.
Eta
berdintza aplikatuz (zatiki jarraiak).
,
.
Hiru
segidak barnatuak daudela frogatuko da.
-ren
. hondarra:
.
Zatiki jarraiek zenbaki irrazionaletara duten hurbilketa egokiengatik ( zatiki jarraiak: hurbilketa egokiak ):
betetzen da, eta ondorioz:
rentzat,
.
Eta:
, berdintza betetzen denez:
Ondorioz:
Barnatua.
, Barnatua.
Eta
.
, Barnatua.
Lau:
, periodikoa dela frogatuko da.
segidak barnatuak daude hirugarren atalagatik, orduan:
, eta ondorioz:
.
Zenbaki arrunten multzoa infinitua denez, eta
, multzoa berriz finitua.
desberdinak non:
.
Eta
aipaturiko polinomioen erroak badira hurrenez hurren. Polinomioak berdinak direnez, hiru erro horiek
-en erroak dira. Ondorioz gutsienez bi erro berdinak dira:
, suposatuko da orokortasunik galdu gabe.
, aukeratuz.
.
-rentzat.
-rentzat
.
Ondorioz
,
-ren zatitzaile baten periodokoa da, gutsienez
-tik aurrera.
Zenbaki irrazional baten, zatiki jarraien bidezko garapena, periodiko hutsa dela esaten da,
-tik aurrera periodikoa bada.
Galoisek zenbaki irrazional bikarratu laburtuak karakterizatzen ditu.
Zenbaki erreal bat: irrazional bikarratu laburtua da, baldin eta soilik baldin zatiki jarraien bidezko bere garapena periodiko hutsa bada.
Froga:
Izan bedi
zenbaki erreala, eta suposa bedi zenbaki irrazional bikarratu laburtua dela.
Bat:
,
:
-ren
. zatiki laburtua, zenbaki irrazional bikarratu laburtua dela frogatuko da.
, irrazional bikarratua bada, orduan Lagrangek dio zatiki jarraien bidezko bere garapena periodikoa dela.
rentzat,
-ren koefizienteak
-ren koefizienteen berdinak direnez
-tik aurrera,
-ren zatiki jarraien bidezko garapena periodikoa da, orduan Eulerrek dio
zenbaki irrazional bikarratua dela.
Ondorioz:
-rentzat
zenbaki irrazional bikarratua da.
-rentzat,
laburtua dela frogatuko da indukzioz.
, laburtua da hipotesiagatik.
Suposa bedi
laburtua dela, orduan:
.
, (
, parte osoa ).
, laburtua izatearen lehen baldintza.
, konjokatuen ezaugarriak erabiliz.
, laburtua izatearen bigarren baldintza.
laburtua
laburtua ondorioztatu da.
Indukzio printzipioagatik:
-rentzat
laburtua.
Bi:
periodiko hutsa dela frogatuko da.
Absurdura bideratuz,
periodiko hutsa ez bada:
, zeinetan
periodoa den, eta
berriz lehen periodoaren lehen indizea.
Periodiko hutsa ez izateagatik:
.
,
-peridikoa izateagatik ,
. zatiki laburtua:
,
-periodikoa da.
.
-ren,
. hondarrak:
laburtuak dira. Lehen baldintzagatik:
.
Bigarren baldintzagatik:
.
, eta
. (Parte osoak kasurako)
Eta ondorioz, lehen periodoaren lehen indizea
, edo txikiagoa da, zeina ezinezkoa den.
Suposa dezagun
-ren zatiki jarraien bidezko garapena, periodiko hutsa dela, orduan:
, ondorioz:
, eta beraz
,
, en erroa da.
-en erroak:
,
laburtua.
, eta ondorioz:
,
-en erroa da, eta
.
Bigarren erroa
bitartean dagoela frogatuko da.
.
, gorakorrak direnez:
.
, ezinezkoa. Ondorioz:
.
, jarraia denez erdiko balioaren teorema aplika daiteke.
, eta
-en erroak konjokatuak direnez:
.
Ondorioz,
laburtua da.
Izan bedi
, zenbaki ez karratua,
, eta
,
-ren zatiki osatuen segida. Orduan:
1:Zatiki jarraien bidezko
-ren garapena, periodikoa da
-etik aurrera.
2:
, bi segida non
.
3:
-ren periodoa
.
4: Baldin eta,
, eta beraz
bikoitia.
Froga
Izan bedi:
zatiki jarraien bidezko garapena, orduan
.
1:
, zenbaki irrazional bikarratu laburtua dela frogatuko da. (
, parte osoa).
,
, polinomioaren erroa da.
.
Beste erroa:
, ondorioz
zenbaki irrazional bikarratu laburtua da.
Galoisek dio,
-ren zatiki jarraien bidezko garapena periodiko hutsa dela:
.
-ren zatiki jarraien bidezko garapena periodikoa,
-etik aurrera.
2:
segidak errekurrentziz eraikiko dira, ondoren adierazten den bezala:
bada,
.
Suposa bedi
eraiki direla, ondorengo ezaugarriekin:
,
,
, eta
.
2.1:
, eraikiko dira. .
, zeinetan
.
, izango da.
.
, izango da.
2.2:
,
eta
. betetzen direla frogatuko da.
.
.
.
.
2.3:
, frogatuko da.
, zenbaki irrazional bikarratu laburtua izanagatik,
zatiki osatu guztiak zenbaki irrazional bikarratu laburtuak dira.
.
eta
, orduan:
.
, eta
, orduan:
.
2.4:
, frogatuko da.
,
.
Indukzio printzipioa aplikatuz, bigarren atala ondorioztatzen da.
3:
, ondorioztatu da 1, atalean.
3.1.
. Frogatuko da.
Absurdura bideratuz, baldin eta:
Ondorioz:
, ezinezkoa.
3.2
, frogatuko da.
Absurdura bideratuz:
.
, eta
.
2. atalagatik:
, ondorioz:
, honela:
, zeina ezinezkoa den 3.1. atalagatik.
4: Suposa bedi
.
ondorioztatuko da
4.1.
, frogatuko da.
4.1.1.
, frogatuko da lehenik.
.
Eta
zenbaki irrazional bikarratu laburtua izateagatik:
.
.
, eta
.
.
4.1.2. Suposa bedi orain:
.
Orduan
entzat 4.1. erlazioa betetzen dela frogatuko da.
.
,
,
.
4.2.
ondorioztatuko da.
. betetzen da 4.1 atalagatik.
, betetzen da eta 3. atalagatik:
.
bikoitia.
Galoisek ondorioztatuko du:
moduko zenbakien zatiki jarraien bidezko garapena:
-periodikoa dela:
-etik aurrera. Atal honetan frogatuko da,
parametrodun
edo
ekuazioaren,
-ren zatiki jarraien bidezko hondar bat dela eta ondar hori periodoa osatu aurrekoa dela:
Hondarraren zenbakitzailea eta izendatzailea gorakorrak direnez:
, izango da
-en ebazpen minimoa,
bikoitia denean, eta
, en ebazpena
bakoitia denean. Honela
bakoitia denean,
-en ebazpen minimoa
izango da.
Izan bedi:
, eta
.
Suposa bedi
.
Orduan
,
-ren zatiki jarraien bidezko hondar bat da.
Froga:
.
i)
bada,
, eta zatiki jarraien ataleko 3. proposizioa dela medio,
,
-ren zatiki jarraien bidezko
. hondar bat da.
ii)
bada,
.
Lehen desberdintzan:
, erabiliz eta bigarren desberdintzan:
.
Berriro ere zatiki jarraien ataleko 3. proposizioa dela medio:
,
-en zatiki jarraien bidezko
. hondar bat da:
, eta
, zeinetan
.
,
-ren
. hondarra.
, eta
. Emanik ondorengoak baiezta daitezke.
,
-ren
. zatiki osatua, zeinetan:
proposizioa3-n bezala definituak.
-ren
. hondarra:
,
eta
:
-periodikoa.
-rentzat,
adieraziko da. Orduan:
1:
bikoitia bada:
ekuazioak ebazpen ez neutroa du
.
Eta kasu horretan
, betetzen duten ebazpen guztiak, ondorengo multzoan daude:
.
2:
bakoitia bada,
ekuazioak ebazpena (ez neutroa) du
.
Eta kasu horretan
, betetzen duten ebazpen guztiak, ondorengo multzoan daude:
, edo
3: Edozein kasutan
, ekuazioak infinitu soluzio ditu.
FROGA
,
-ren
. zatiki osatua denez:
.
-ren garapena:
-periodikoa denez,
-etik aurrera,
ere
periodikoa da, eta modu bakarrean determinatzen dituenez:
balioak, hauek ere gutsienez;
periodikoak dira.
Ondorioz
.
-ren
. hondarra:
, adieraziko da.
betetzen dela frogatuko da.
Eta ondorioz:
-rentzat.
![{\displaystyle 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 }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdd2f1aa8f9f940ded61e9b0f59e82d1e60bba99)
.eta
Honela:
Eta:
, betetzen denez:
.
denean
, izan ere:
Ondorioz:
1:
bikoitia bada.
Suposa bedi:
,
ekuazioaren ebazpen ez neutroa dela,
orduan Lema3 gatik:
,
-ren hondar bat da:
. hondarra:
,
.
.
Zatidura euklidearra eginez, eta
adieraziz:
![{\displaystyle j-1=Tk+h:h\in [0,T-1]\Leftrightarrow j=Tk+h+1:h+1=N_{j}\in [1,T]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d50ac96978087776e0ddf3a4069715eaa2e4d06c)
, (
bikoitia eta
-
periodikoa)
.
Eta:
.
Alderantzizkoa:
bada,
.
Orduan:
, hartuaz:
.
Ondoriz
,
, ekuazioaren ebazpena da.
2:
bakoitia bada.
-ren ebazpen ez neutroa,
.
Aurreko atalean bezala argudiatuz:
,
-ren hondar bat da:
. hondarra:
,
.
.
Zatidura euklidearra eginez.
, zeinetan
.
Bi kasu eman daitezke:
2.1:
bikoitia bada
bikoitia da.
adieraziz:
.
.
bikoitia eta
,
-periodikoa.
2.2.
bakoitia bada
bakoitia da.(
bakoitia denez).
.
,
. alderantzizkoa
bada
, orduan:
.
bada
, orduan:
![{\displaystyle p_{N+(2k+1)T-1}^{2}-pq_{N+(2k+1)T-1}^{2}=(-1)^{N+(2k+1)T}v_{N+(2k+1)T}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/861cb221bc7aeb5c007b9a12e72d09e33e8d0afb)
.
3:
-ren garapenaren periodoa:
, bikoitia ala bakoitia denez:
bateragarria da eta teorema honen 1 eta 2 atalengatik infinitu ebazpen ditu.
, eta
,
-ren zatiki jarraien bidezko periodoa. Orduan:
1:
bikoitia bada,
-en ebazpen minimoa:
da. Zeinetan
,
-ren
. hondarra den.
2:
bakoitia bada,
-en ebazpen minimoa:
da. Zeinetan
,
-ren
. hondarra den.
Froga: Proposizioa3-ko 3. atalagatik:
, periodiko hutsa da, eta
periodokoa:
.
, honela
.
Honela aurreko teorema aplikatuz.
bikoitia bada,
.
Eta ebazpen txikiena:
.
bakoitia bada,
.
Eta beraz ebazpen txikiena:
.