Elliptik egri chiziqqa tegishli rasional nuqtalarni aniqlash usullari Oldindan shuni aytish lozimki, hozirgi kunda
y 2 x3 ax2 bx c,
tenglamaning barcha rasional yechimlarini topish matematikada nomalumligicha qolib kelmokda. Lekin, quyidagi ikkita usuldan foydalanib, rasional yechimlarni topish mumkin.
1-usul. Tanlangan y2=x3+ax+b tenglamaga xi qiymatlarni berib, tenglamaning o‘ng tomoni to‘la kvadrat tashkil qilish tekshiriladi. Agar biror xk qiymatda tenglikni o‘ng tomonidagi ifodaning qiymati to‘la kvadrat tashkil qilsa, u holda tenglamaga tegishli nuqta koordinatalarini
( xk ; yk xk3 axk b ) (5)
juftliklar bilan fiksirlanadi.
2- usul. Bu usulda nuqta koordinatalari (x; y) va tenglamaning bitta a – koeffisiyentini fiksirlab: (a; x; y R) ,
b=y2-x3-ax (6)
formula orqali b–koeffisiyent hisoblab topiladi va uning asosida tenglama quriladi. Elliptik egri chiziq koeffisiyentlarini olingan rasional koordinatali nuqta orqali aniqlashning bunday usuli samarali hisoblanadi.
Elliptik egri chiziqlarning rasional nuqtalarini qo‘shish
Ushbu
E : y 2 x3 ax2 bx c,
elliptik egri chiziqda P(x1, y1 ), Q(x2 , y2 ) nuqtalar berilgan bo‘lsin. Bu nuqtalar orqali to‘g‘ri chiziq o‘tkaziladi. U holda o‘tkazilgan chiziq, Ye - egri chiziqni uchinchi nuqtada kesib o‘tadi. Bu B(x3 , y3 ) nuqtani Ox- o‘qiga simmetrik ko‘chiriladi va hosil bo‘lgan:
B`(x3, y3) P(x1, y1) Q(x2 , y2 )
nuqta P(x1, y1) va Q(x2, y2) nuqtalarning elliptik egri chiziq ustida yig‘indisi deb elon qilinadi:
Bu grafik x3 ax2 bx c 0 tenglama bitta yechimga ega bo‘lgan hol uchun keltirildi.
Yuqorida elliptik egri chiziqda koordinatalari har xil bo‘lgan, ya’ni
P(x1, y1 ) Q(x2 , y2 ) 0 bo‘lgan nuqtalar yig‘indisini P(x1, y1 ) Q(x2 , y2 ) topish ko‘rib chiqildi. Endi P P ? qanday amalga oshirilishi haqida to‘xtab o‘tiladi. Buning uchun elliptik egri chiziqdagi P -nuqta orqali urinma to‘g‘ri chiziq o‘tkaziladi. Bu urinma elliptik egri chiziq grafigidagi ikkinchi qismni (giperbola qismida) biror nuqtada kesib o‘tadi. Ana shu kesib o‘tgan nuqta Ox-o‘qiga nisbatan simmetrik ko‘chiriladi va bu nuqta [2]P deb elon qilinadi:
So‘ngra, [3]P ni topish uchun, [3]P=[2]P+P, shu kabi [4]P=[3]P+P, [5]P=[4]P+P va hokazolar amalga oshiriladi.
Har doim ham P(x1, y1) va Q(x2, y2) nuqtalar orqali o‘tuvchi to‘g‘ri chiziq elliptik egri chiziqni uchinchi nuqtada kesib o‘tavermaydi. Masalan, P(x1, y1) va Q(x1, y1) nuqtalardan o‘tuvchi to‘g‘ri chiziq Ox-o‘qiga perpendikulyar bo‘lib, u elliptik egri chiziqni uchinchi nuqtada kesib o‘tmaydi:
Bunday holda o‘tkazilgan to‘g‘ri chiziq elliptik egri chiziqni cheksizlikda kesib o‘tadi deb qabul qilinib, cheksizlikdagi barcha nuqtalar bitta nol nuqtaga birlashtirilgan deb hisoblanadi, ya’ni cheksizlikdagi barcha nuqtalar, elliptik egri chiziq nuqtalari ustida aniqlangan qo‘shish amaliga nisbatan, haqiqiy sonlarni qo‘shishdagi nol qiymati kabi xossaga ega. Haqiqatan ham, P(x1, y1 ) va Q(x1, y1 ) nuqtalardan o‘tuvchi to‘g‘ri chiziq Ox-o‘qiga perpendikulyar bo‘lib, u elliptik egri chiziqni uchinchi nuqtada kesib o‘tmay, cheksizlikdagi 0E nuqtaga yo‘naladi. Cheksizlikdagi 0E nuqta bilan P(x1, y1 )-nuqtani qo‘shishni 0E +P(x1, y1 ) shaklida ko‘rib chiqadigan bo‘lsak, bu nuqtalardan o‘tuvchi to‘g‘ri chiziq Ox-o‘qiga perpendikulyar bo‘lib, elliptik egri chiziqni Q(x1, y1)- nuqtada kesib o‘tadi, so‘ngra 0E +P(x1, y1) -yig‘indini ifodalovchi nuqtani topish uchun bu Q(x1, y1)- nuqta Ox- o‘qiga simmetrik akslantirilsa, P(x1, y1)- nuqta bilan ustma-ust tushadi, ya’ni kiritilgan qo‘shish amali qoidasiga ko‘ra 0E +P(x1, y1 )=P(x1, y1 ) tenglik o‘rinli bo‘ladi. Bu 0E nuqtaOx- o‘qiga nisbatan akslantirilsa, yana qarama-qarshi tomon cheksizligidagi (-0E) - nuqtaga yo‘naladi. Ammo, cheksizlikdagi barcha nuqtalar bitta nol nuqtaga birlashtirilganda (-0E)+P(x1, y1 )=P(x1, y1 ) tenglikning o‘rinli bo‘lishiga keltirilgan fikr-mulohozalar asosida ham ishonch hosil qilish mumkin.
Bevosita hisoblashlar bilan ko‘rsatish mumkinki, elliptik egri chiziq nuqtalarini qo‘shish amali Abel gruppasini tashkil etadi, yani elliptik egri chiziqqa tegishli bo‘lgan a,b, c - nuqtalar uchun:
kommutativlik ab ba ;
assosiativlik (a b) c (b c) a ;
nol elementining mavjudligi a+ 0E = a;
teskari (qarama-qarshi ishorali) elementning mavjudligi a+(-a)= 0E kabi Abel gruppasining aksiomalari o‘rinlidir.
Do'stlaringiz bilan baham: |