Pellen ekuazioaren ebazpen guztiak



Pellen ekuazioaren ebazpen guztiak

Sarrrera 
Pellen ekuazioa:   bateragarria dela frogatzen du Dirichletek.

Pell-en ekuazioak ebazpen ez neutro bat baduenez, badu ebazpen minimo bat, ebazpen minimo honek gainerako ebazpenak eratzen dituenez, ebazpen minimo hau oinarrizko ebazpen izendatuko da.

Oinarrizko ebazpena existitzen dela frogatuko da atal honetan eta oinarrizko ebazpenetik abiatuta gainerako ebazpenak eratzeko errekurrentzi arau bat finkatuko da. 

Definizioa

 -ren edozein baliorentzat  edo ,  beti dira , ekuazioaren ebazpen. Ebazpen hauek ebazpen neutroak edo berealakoak izendatzen dira.

,   ekuazioaren ebazpena bada eta bi osagaiak positiboak badira: , ebazpen hori ebazpen positibo izendatuko da .(Testuinguru honetan).

Definizioa 
 Zenbaki arrunt eta ez karratua izanik, ,   ekuazioaren oinarrizko ebazpena izendatuko da,  positiboa bada ( hots: ), eta edozein ebazpen positibo emanik: .

Ondorengo proposizioan oinarrizko ebazpena existitzen dela frogatuko da.

Proposizioa 
 Zenbaki arrunt eta ez karratua izanik,   ekuazioak badu oinarrizko ebazpena.

Froga

Dirichleten emaitzagatik:   Zenbaki arrunt eta ez karratua izanik,    ekuazioak badu ebazpen ez neutro bat: , eta beraz:  eta zenbakiak ere ebazpen ez neutroak dira. Horietako bakar bat da positiboa:  positiboa dela suposatuko da orokortasuna galdu gabe. Honela: 

 

 aukeratuz ebazpen minimoa edo oinarrizko ebazpena existitzen da.

Proposizioa 
 Zenbaki arrunt eta ez karratua izanik, ,   ekuazioaren oinarrizko 

ebazpena bada. Ebazpen positibo guztiak ondorengo multzoan daude:

Froga

  Ebazpena dela frogatuko da.

 Ebazpena denez: 

, adierazpena  aldagaia duen . graduko polinomio gisara ikus daiteke. Newtonen bidezko binomioaren garapena eginez:  adierazten bada: koefizienteak modu bakarrean determinatzen dira:

,  -ren berretzaile bakoitiak ezabatzen dira.

,   -ren berretzaile bikoitiak ezabatzen dira.

 Edozein ebazpen positibo  gisakoa dela frogatuko da.

Absurdura bideratuz suposa bedi, ebazpen positiboa dela eta ez dela  gisakoa.

 segida ertsiki gorakorra denez, -rekiko: . 
   adieraziz ondorengo emaitza lortu da: .
 Ikus dezagun ebazpena dela. 
 Ikus dezagun ebazpen positiboa dela. Edozein ebazpen positibok: , ondorengo desberdintza betetzen du. ,  eta positiboak direnez:.
 Ikus dezagun beste osagaia:  positiboa dela. Absurdura bideratuz  bada. . Eta bestalde: , ezinezkoa. Eta ondorioz positiboa da.
 Ondorengo errekurrentzi araua ondorioaztatu da. Baldin eta existizen bada ebazpen  postiboa eta ez dena  gisakoa, orduan existitzen da  :ebazpen positiboa, ez denagisakoa, eta  baino txikiagoa.  Araua  aldiz errepikatuz: Existizen da :, ebazpen positboa non:. Eta bestalde ebazpen minioa izateagatik: . Ezinezkoa da.
 Ondorioa: edozein ebazpen positibo  gisakoa da.

Ekuazio diofantikoak