x2 - 2y2 = (х - у)( х + у),
x = P 2k және y = Q 2k деп ұйғарайық, мұндағы P2k және Q 2k санын бөлшек тізбегіне жіктегендегі лайықты бөлшектің алымы мен бөлімі. Сонда
P 2k2 - 2 Q 2k 2 = (P 2k - Q 2k )( P 2k + Q 2k ), (7)
Теңдігінің оң бөлігі, яғни сол бөлігі де бүтін сан болып табылады. Бұл бүтін санның нөлден үлкен, бірақ екіден кіші екенін көрсетейік. Демек, бұл сан бірге тең. Ол үшін α = мәнін (5) теңсіздікке апарып қояйық:
0 < < (8)
Шыққан теңсіздіктен (7) теңдіктің оң бөлігіндегі 2 көбейткіштің де оң екенін көреміз,
.
Басқаша айтқанда
< ,
және
δ2k = > , < , + < 2
Сонымен (7) теңсіздіктің оң жағындағы көбейткіштер үшін келесі теңсіздіктер орынды:
<
<
Шыққан теңсіздіктердің көбейтіндісі мынаны бередi:
<
<
Және осылай барлық k≥1 үшін
≤
Сонда
< + < 2
Осы әдіспен біз кез – келген к≥1 үшін
бүтін саны 0 < < 2 теңсіздігін қанағаттандыратынын дәлелдедік. = 1 болғандықтан, х = P2k, у = Q2k сандары кез – келген k≥1 үшін x2 - 2y2 = 1 теңдеуінің шешімдерін береді. Біз, әзірше, табылған шешімдер (6) теңдеудің барлық шешімдері бола ма, білмейміз. Енді бізге А > 0 (бүтін) және (иррационал) болғанда
x2 - Аy2 = 1 (9)
теңдеуінің бүтін сандар жиынында барлық х, у шешімдерін қалай табуға болатындығы туралы сұрақ туады. Әрине, (9) теңдеудің ең болмағанда бір шешімі белгілі болса, қалған шешімдерін көретуге болады. Мұндай теңдеулердің шешімі бар екендігін (6) теңдеудегі мысалдан көрдік. Біз енді (9) теңдеудің бір шешімі табылса, қалған шешімдерін қалай табуға болатындығы туралы сұраққа көшейік.
Анықталған бірінші шешімді ең кіші деп алып, (9) теңдеудің әруақытта мардымсыз х = 1, у = 0 шешімдерінен басқа бүтін сандар жиынында ең болмағанда бір шешімі бола ма? – деген сұрақты ашық түрде кейінге қалдырайық.
(9) теңдеудің [x0, y0], x0> 0, y0 >0 мардымды шешімі болсын дап ұйғарайық және
x0 2 – Аy0 2 = 1 (10)
Біз бұл [x0, y0] шешімін ең кіші деп аламыз, егер x0 = 0 және y0 = 0 үшін екімүшелігі барлық мүмкін мәндерінен ең кіші өлшемге ие болса.
Мысалы, (6) теңдеудің x = 3 , y = 2 ең кіші шешімі болады, сол сияқты осы мәндерде ең кіші өлшемге ие және (6) теңдеудің басқа кіші шешімідері болмайды.
Шындығында, (6) теңдеудің келесі шешімдері х = 17, у = 12 болсын және екендігі көрініп тұр, демек, екі бірдей кіші шешімі бола алмайды.
Керсінше ұйғарайық, екімүшелігіне бірдей мән беретін [x1, y1] және [x2, y2] шешімдері болсын,
(11)
бірақ – иррационал сан, ал x1, y1, x2, y2 – бүтін сандар. Ал (11) теңдіктен
екендігі шығады, бұлай болу мүмкін емес, себеді: – бүтін сан, – бүтін санның иррационал санға көбейтіндісі иррационал сан, ал бүтін сан иррационал сан бола алмайды. Қарама – қайшылық жойылады, егер x1 = x2 және y1= y2 болса, басқаша айтқанда, біз әртүрлі 2 шешімді емес, бір шешімді алсақ. Енді (9) теңдеудің ең маңызды қасиетін айтып өтейік, [x1, y1] (9) теңдеудің шешімі болсын
немесе
(12)
Енді (12) теңдіктің 2 жағын да бүтін n дәрежеге шығарайық:
(13)
Биномдық дәреже ережесі бойынша дәрежеге шығарамыз:
(14)
Биномдық дәреже ережесі бойынша жіктелген бірінші, үшінші, барлық тақ мүшелері бүтін сандар болғандықтан, xn және yn бүтін сандар болады, ал жұп мүшелері – ға көбейтілген бүтін сандар болады. Бүтін қосылғыштарды және – ға еселі сандарды бөлек жинасақ, біз (14) теңдікті аламыз, сонымен қатар xn және yn сандары да (9) теңдеудің шешімдері болатынын дәлелдейміз.
Шындығында, (14) теңдіктегі – ның таңбасын өзгертсек, келесі теңдікті аламыз:
(15)
(14) және (15) теңдіктерді мүшелеп көбейтсек,
(16)
теңдігін аламыз, басқаша айтқанда, [xn, yn] (9) теңдеудің шешімі. Енді біз (9) теңдеудің шешіміне қатысты негізгі теореманы дәлелдей аламыз.
Достарыңызбен бөлісу: |